@inproceedings{Carl2018-07-03Tamin-46815,
  year={2018},
  doi={10.1007/978-3-319-94418-0_13},
  title={Taming Koepke's Zoo},
  number={10936},
  isbn={978-3-319-94417-3},
  issn={0302-9743},
  publisher={Springer},
  address={Cham},
  series={Lecture Notes in Computer Science},
  booktitle={Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings},
  pages={126--135},
  editor={Manea, Florin and Miller, Russell G. and Nowotka, Dirk},
  author={Carl, Merlin and Ouazzani, Sabrina and Welch, Philip}
}

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/46815">
    <dc:creator>Carl, Merlin</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Welch, Philip</dc:contributor>
    <dcterms:issued>2018-07-03</dcterms:issued>
    <dc:contributor>Ouazzani, Sabrina</dc:contributor>
    <dc:creator>Welch, Philip</dc:creator>
    <dc:language>eng</dc:language>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:creator>Ouazzani, Sabrina</dc:creator>
    <dcterms:title>Taming Koepke's Zoo</dcterms:title>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/46815"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-09-11T09:14:26Z</dc:date>
    <dc:contributor>Carl, Merlin</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-09-11T09:14:26Z</dcterms:available>
  </rdf:Description>
</rdf:RDF>