Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Theorem_proving> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Theorem_proving wikiPageID "1064472".
- Theorem_proving wikiPageLength "39".
- Theorem_proving wikiPageOutDegree "1".
- Theorem_proving wikiPageRedirects Automated_theorem_proving.
- Theorem_proving wikiPageRevisionID "16837440".
- Theorem_proving wikiPageWikiLink Automated_theorem_proving.
- Theorem_proving wikiPageWikiLinkText "Theorem proving".
- Theorem_proving wikiPageWikiLinkText "mechanical theorem proving".
- Theorem_proving wikiPageWikiLinkText "theorem proving".
- Theorem_proving label "Theorem proving".
- Theorem_proving wasDerivedFrom Theorem_proving?oldid=16837440.
- Theorem_proving isPrimaryTopicOf Theorem_proving.