Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Prover9_theorem_prover> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Prover9_theorem_prover wikiPageID "13457719".
- Prover9_theorem_prover wikiPageLength "21".
- Prover9_theorem_prover wikiPageOutDegree "1".
- Prover9_theorem_prover wikiPageRedirects Prover9.
- Prover9_theorem_prover wikiPageRevisionID "160645711".
- Prover9_theorem_prover wikiPageWikiLink Prover9.
- Prover9_theorem_prover label "Prover9 theorem prover".
- Prover9_theorem_prover wasDerivedFrom Prover9_theorem_prover?oldid=160645711.
- Prover9_theorem_prover isPrimaryTopicOf Prover9_theorem_prover.