Cut-elimination

http://dbpedia.org/resource/Cut-elimination

rdfs:label

rdf:langString Cut-elimination

dbpedia-owl:wikiPageID

xsd:integer 929956

dbpedia-owl:wikiPageRevisionID

xsd:integer 529102708

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 37

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Cut-elimination_theorem>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Cut-elimination_theorem>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Cut-elimination?oldid=529102708&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Cut-elimination>

data from the linked data cloud