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 "3478471".
- Cut_Elimination_Theorem wikiPageRedirects Cut-elimination_theorem.
- Cut_Elimination_Theorem wikiPageRevisionID "32076377".
- Cut_Elimination_Theorem label "Cut Elimination Theorem".
- Cut_Elimination_Theorem sameAs m.03p1l3.
- Cut_Elimination_Theorem wasDerivedFrom Cut_Elimination_Theorem?oldid=32076377.
- Cut_Elimination_Theorem isPrimaryTopicOf Cut_Elimination_Theorem.