Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Cut_elimination_theorem> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Cut_elimination_theorem wikiPageID "3478462".
- Cut_elimination_theorem wikiPageRedirects Cut-elimination_theorem.
- Cut_elimination_theorem wikiPageRevisionID "32076238".
- Cut_elimination_theorem label "Cut elimination theorem".
- Cut_elimination_theorem sameAs m.03p1l3.
- Cut_elimination_theorem wasDerivedFrom Cut_elimination_theorem?oldid=32076238.
- Cut_elimination_theorem isPrimaryTopicOf Cut_elimination_theorem.