Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Prover> }
Showing triples 1 to 15 of
15
with 100 triples per page.
- Flow_computer wikiPageWikiLink Prover.
- Coq hypernym Prover.
- E_theorem_prover hypernym Prover.
- Gandalf_(theorem_prover) hypernym Prover.
- Isabelle_(proof_assistant) hypernym Prover.
- Lean_theorem_prover hypernym Prover.
- Logic_for_Computable_Functions hypernym Prover.
- Models_And_Counter-Examples hypernym Prover.
- Nqthm hypernym Prover.
- Otter_(theorem_prover) hypernym Prover.
- Prover9 hypernym Prover.
- SNARK_(theorem_prover) hypernym Prover.
- SPASS hypernym Prover.
- Vampire_(theorem_prover) hypernym Prover.
- Prover primaryTopic Prover.