Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_theorem_prover> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- Automated_theorem_prover wikiPageID "1531203".
- Automated_theorem_prover wikiPageLength "39".
- Automated_theorem_prover wikiPageOutDegree "1".
- Automated_theorem_prover wikiPageRedirects Automated_theorem_proving.
- Automated_theorem_prover wikiPageRevisionID "243774250".
- Automated_theorem_prover wikiPageWikiLink Automated_theorem_proving.
- Automated_theorem_prover wikiPageWikiLinkText "Automated theorem prover".
- Automated_theorem_prover wikiPageWikiLinkText "Theorem prover".
- Automated_theorem_prover wikiPageWikiLinkText "automated theorem prover".
- Automated_theorem_prover wikiPageWikiLinkText "automated theorem proving systems".
- Automated_theorem_prover wikiPageWikiLinkText "solver".
- Automated_theorem_prover wikiPageWikiLinkText "theorem prover".
- Automated_theorem_prover wikiPageWikiLinkText "theorem provers".
- Automated_theorem_prover label "Automated theorem prover".
- Automated_theorem_prover sameAs m.0_8m.
- Automated_theorem_prover wasDerivedFrom Automated_theorem_prover?oldid=243774250.
- Automated_theorem_prover isPrimaryTopicOf Automated_theorem_prover.