Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Prover> }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 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.
- Prover9 hypernym Prover.
- SNARK_(theorem_prover) hypernym Prover.
- SPASS hypernym Prover.
- Vampire_(theorem_prover) hypernym Prover.
- Prover primaryTopic Prover.