Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Cut_Elimination_Theorem> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Cut_Elimination_Theorem wikiPageID "3478471".
- Cut_Elimination_Theorem wikiPageLength "36".
- Cut_Elimination_Theorem wikiPageOutDegree "1".
- Cut_Elimination_Theorem wikiPageRedirects Cut-elimination_theorem.
- Cut_Elimination_Theorem wikiPageRevisionID "32076377".
- Cut_Elimination_Theorem wikiPageWikiLink Cut-elimination_theorem.
- Cut_Elimination_Theorem label "Cut Elimination Theorem".
- Cut_Elimination_Theorem wasDerivedFrom Cut_Elimination_Theorem?oldid=32076377.
- Cut_Elimination_Theorem isPrimaryTopicOf Cut_Elimination_Theorem.