{
  "@context" : "http://lobid.org/resources/context.jsonld",
  "id" : "http://lobid.org/resources/search?filter=inCollection.id%3A%22http%3A%2F%2Flobid.org%2Fresources%2FHT013494180%23%21%22&q=rpbId%3A929t01034399%20OR%20hbzId%3A929t01034399%20OR%20almaMmsId%3A929t01034399%20OR%20zdbId%3A929t01034399%20OR%20hebisId%3A929t01034399%20OR%20id%3A%22https%3A%2F%2Flobid.org%2Fresources%2F929t01034399%22&size=1&format=json&from=0&location=&sort=",
  "totalItems" : 1,
  "member" : [ {
    "note" : [ "edoweb - Rheinland-pfälzischer Archivserver für elektronische Dokumente und Websites" ],
    "rpbId" : "929t01034399",
    "subject" : [ {
      "id" : "http://purl.org/lobid/rpb#n794010",
      "label" : "Einzelne Hochschule",
      "type" : [ "Concept" ],
      "source" : {
        "id" : "http://purl.org/lobid/rpb",
        "label" : "Systematik der Rheinland-Pfälzischen Bibliographie"
      }
    }, {
      "type" : [ "ComplexSubject" ],
      "label" : "Universität Koblenz-Landau. Fachbereich Informatik | Bericht",
      "componentList" : [ {
        "id" : "https://d-nb.info/gnd/5293803-7",
        "label" : "Universität Koblenz-Landau. Fachbereich Informatik",
        "altLabel" : [ "Universität Koblenz-Landau. Department of Computer Science", "Universität Koblenz-Landau. Fachbereich 4", "Universität Koblenz-Landau. Campus Koblenz. Fachbereich Informatik" ],
        "source" : {
          "id" : "https://d-nb.info/gnd/7749153-1",
          "label" : "Gemeinsame Normdatei (GND)"
        }
      }, {
        "id" : "https://d-nb.info/gnd/4128022-2",
        "label" : "Bericht",
        "altLabel" : [ "Berichte", "Jahresbericht <Formbegriff>", "Tätigkeitsbericht <Formbegriff>", "Berichtswesen" ],
        "source" : {
          "id" : "https://d-nb.info/gnd/7749153-1",
          "label" : "Gemeinsame Normdatei (GND)"
        }
      } ]
    } ],
    "responsibilityStatement" : [ "Baumgartner, Peter ; Furbach, Ulrich; Pelzer, Björn. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik" ],
    "inCollection" : [ {
      "id" : "http://lobid.org/resources/HT013494180#!",
      "type" : [ "Collection" ],
      "label" : "Rheinland-Pfälzische Bibliographie"
    } ],
    "fulltextOnline" : [ {
      "id" : "https://nbn-resolving.org/urn:nbn:de:hbz:929:02-edoweb:26453071",
      "label" : "urn:nbn:de:hbz:929:02-edoweb:26453071"
    } ],
    "type" : [ "BibliographicResource", "Book" ],
    "isPartOf" : [ {
      "type" : [ "IsPartOfRelation" ],
      "hasSuperordinate" : [ {
        "id" : "274145",
        "label" : "Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau"
      } ],
      "numbering" : "Nr. 12/2007"
    } ],
    "title" : "Hyper Tableaux with equality [Elektronische Ressource]",
    "@context" : "http://lobid.org/resources/context.jsonld",
    "contribution" : [ {
      "agent" : {
        "id" : "http://rpb.lobid.org/sw/00Pn01k34399750a",
        "label" : "Baumgartner, Peter",
        "type" : [ "Person" ]
      },
      "role" : {
        "id" : "http://id.loc.gov/vocabulary/relators/aut",
        "label" : "Verfasser/in"
      },
      "type" : [ "Contribution" ]
    }, {
      "agent" : {
        "id" : "https://d-nb.info/gnd/110084497",
        "label" : "Furbach, Ulrich",
        "type" : [ "Person" ]
      },
      "role" : {
        "id" : "http://id.loc.gov/vocabulary/relators/aut",
        "label" : "Verfasser/in"
      },
      "type" : [ "Contribution" ]
    }, {
      "agent" : {
        "id" : "http://rpb.lobid.org/sw/00Pn01k34399576c",
        "label" : "Pelzer, Björn",
        "type" : [ "Person" ]
      },
      "role" : {
        "id" : "http://id.loc.gov/vocabulary/relators/aut",
        "label" : "Verfasser/in"
      },
      "type" : [ "Contribution" ]
    }, {
      "agent" : {
        "id" : "https://d-nb.info/gnd/5030229-2",
        "label" : "Universität Koblenz-Landau. Institut für Informatik",
        "altLabel" : [ "Universität Koblenz-Landau. Abteilung Koblenz. Koblenzer Informatikinstitut", "Institute for Computer Science (Koblenz)", "Universität Koblenz-Landau. Abteilung Koblenz. Informatik", "Universität Koblenz-Landau. Fachbereich Informatik. Institut für Informatik", "Universität Koblenz-Landau. Abteilung Koblenz. Institut für Informatik", "Universität Koblenz-Landau. Abteilung Koblenz. Informatikinstitut", "Institut für Informatik. Koblenz", "Universität Koblenz-Landau. Fachbereich Informatik. Institute for Computer Science", "Informatikinstitut (Universität Koblenz-Landau)", "Koblenzer Informatikinstitut" ],
        "type" : [ "CorporateBody" ]
      },
      "role" : {
        "id" : "http://id.loc.gov/vocabulary/relators/isb",
        "label" : "Herausgebendes Organ"
      },
      "type" : [ "Contribution" ]
    } ],
    "publication" : [ {
      "location" : [ "Koblenz" ],
      "dateStatement" : "2007",
      "startDate" : "2007",
      "publishedBy" : [ "Inst. für Informatik" ],
      "type" : [ "PublicationEvent" ]
    } ],
    "id" : "https://lobid.org/resources/929t01034399",
    "hbzId" : "HT015288509",
    "spatial" : [ {
      "id" : "https://rpb.lobid.org/spatial#n11100000",
      "label" : "Koblenz, Kreisfreie Stadt",
      "type" : [ "Concept" ],
      "source" : {
        "id" : "https://rpb.lobid.org/spatial",
        "label" : "RPB-Raumsystematik"
      }
    } ]
  } ]
}