Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Cut_elimination> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Cut_elimination wikiPageID "1796753".
- Cut_elimination wikiPageLength "37".
- Cut_elimination wikiPageOutDegree "1".
- Cut_elimination wikiPageRedirects Cut-elimination_theorem.
- Cut_elimination wikiPageRevisionID "17443480".
- Cut_elimination wikiPageWikiLink Cut-elimination_theorem.
- Cut_elimination wikiPageWikiLinkText "cut elimination".
- Cut_elimination wikiPageWikiLinkText "cut-free".
- Cut_elimination label "Cut elimination".
- Cut_elimination wasDerivedFrom Cut_elimination?oldid=17443480.
- Cut_elimination isPrimaryTopicOf Cut_elimination.