Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automatic_theorem_proving> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Automatic_theorem_proving wikiPageID "1449270".
- Automatic_theorem_proving wikiPageLength "39".
- Automatic_theorem_proving wikiPageOutDegree "1".
- Automatic_theorem_proving wikiPageRedirects Automated_theorem_proving.
- Automatic_theorem_proving wikiPageRevisionID "17156554".
- Automatic_theorem_proving wikiPageWikiLink Automated_theorem_proving.
- Automatic_theorem_proving wikiPageWikiLinkText "automatic theorem proving".
- Automatic_theorem_proving wikiPageWikiLinkText "mechanical theorem proving".
- Automatic_theorem_proving label "Automatic theorem proving".
- Automatic_theorem_proving sameAs m.0_8m.
- Automatic_theorem_proving wasDerivedFrom Automatic_theorem_proving?oldid=17156554.
- Automatic_theorem_proving isPrimaryTopicOf Automatic_theorem_proving.