Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Theorem_prover> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Theorem_prover wikiPageDisambiguates Automated_theorem_proving.
- Theorem_prover wikiPageID "161885".
- Theorem_prover wikiPageRevisionID "505473209".
- Theorem_prover label "System wspomagający dowodzenie twierdzeń".
- Theorem_prover label "Theorem prover".
- Theorem_prover sameAs System_wspomagający_dowodzenie_twierdzeń.
- Theorem_prover sameAs m.0sdmq1y.
- Theorem_prover sameAs Q7782349.
- Theorem_prover sameAs Q7782349.
- Theorem_prover wasDerivedFrom Theorem_prover?oldid=505473209.
- Theorem_prover isPrimaryTopicOf Theorem_prover.