Cut elimination

http://dbpedia.org/resource/Cut_elimination

rdfs:label

rdf:langString Cut elimination

dbpedia-owl:wikiPageID

xsd:integer 1796753

dbpedia-owl:wikiPageRevisionID

xsd:integer 17443480

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 37

dbpedia-owl:wikiPageWikiLink

dbpedia:Cut-elimination_theorem

dbpedia-owl:wikiPageRedirects

dbpedia:Cut-elimination_theorem

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Cut_elimination?oldid=17443480&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Cut_elimination>

data from the linked data cloud