KOPS - The Institutional Repository of the University of Konstanz

A polynomial encoding provability in pure mathematics (outline of an explicit construction)

A polynomial encoding provability in pure mathematics (outline of an explicit construction)

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

CARL, Merlin, Boris MOROZ, 2013. A polynomial encoding provability in pure mathematics (outline of an explicit construction). In: Bulletin of the Belgian Mathematical Society - Simon Stevin. 20(1), pp. 181-187. ISSN 1370-1444

@article{Carl2013polyn-23006, title={A polynomial encoding provability in pure mathematics (outline of an explicit construction)}, year={2013}, number={1}, volume={20}, issn={1370-1444}, journal={Bulletin of the Belgian Mathematical Society - Simon Stevin}, pages={181--187}, author={Carl, Merlin and Moroz, Boris} }

<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/rdf/resource/123456789/23006"> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/23006"/> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dc:contributor>Carl, Merlin</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:rights>terms-of-use</dc:rights> <dc:creator>Moroz, Boris</dc:creator> <dc:contributor>Moroz, Boris</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:language>eng</dc:language> <dc:creator>Carl, Merlin</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-04-24T07:20:05Z</dcterms:available> <dcterms:issued>2013</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:bibliographicCitation>Bulletin of the Belgian Mathematical Society - Simon Stevin ; 20 (2013), 1. - S. 181-187</dcterms:bibliographicCitation> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-04-24T07:20:05Z</dc:date> <dcterms:title>A polynomial encoding provability in pure mathematics (outline of an explicit construction)</dcterms:title> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account