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