Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Free_theorem_provers> }
Showing triples 1 to 34 of
34
with 100 triples per page.
- ACL2 wikiPageWikiLink Category:Free_theorem_provers.
- Albatross_(programming_language) wikiPageWikiLink Category:Free_theorem_provers.
- Coq wikiPageWikiLink Category:Free_theorem_provers.
- E_theorem_prover wikiPageWikiLink Category:Free_theorem_provers.
- HOL_Light wikiPageWikiLink Category:Free_theorem_provers.
- Isabelle_(proof_assistant) wikiPageWikiLink Category:Free_theorem_provers.
- Jape_(software) wikiPageWikiLink Category:Free_theorem_provers.
- KeY wikiPageWikiLink Category:Free_theorem_provers.
- Matita wikiPageWikiLink Category:Free_theorem_provers.
- Models_And_Counter-Examples wikiPageWikiLink Category:Free_theorem_provers.
- Otter_(theorem_prover) wikiPageWikiLink Category:Free_theorem_provers.
- Paradox_(theorem_prover) wikiPageWikiLink Category:Free_theorem_provers.
- PhoX wikiPageWikiLink Category:Free_theorem_provers.
- Prototype_Verification_System wikiPageWikiLink Category:Free_theorem_provers.
- Prover9 wikiPageWikiLink Category:Free_theorem_provers.
- SNARK_(theorem_prover) wikiPageWikiLink Category:Free_theorem_provers.
- SPASS wikiPageWikiLink Category:Free_theorem_provers.
- ACL2 subject Category:Free_theorem_provers.
- Albatross_(programming_language) subject Category:Free_theorem_provers.
- Coq subject Category:Free_theorem_provers.
- E_theorem_prover subject Category:Free_theorem_provers.
- HOL_Light subject Category:Free_theorem_provers.
- Isabelle_(proof_assistant) subject Category:Free_theorem_provers.
- Jape_(software) subject Category:Free_theorem_provers.
- KeY subject Category:Free_theorem_provers.
- Matita subject Category:Free_theorem_provers.
- Models_And_Counter-Examples subject Category:Free_theorem_provers.
- Otter_(theorem_prover) subject Category:Free_theorem_provers.
- Paradox_(theorem_prover) subject Category:Free_theorem_provers.
- PhoX subject Category:Free_theorem_provers.
- Prototype_Verification_System subject Category:Free_theorem_provers.
- Prover9 subject Category:Free_theorem_provers.
- SNARK_(theorem_prover) subject Category:Free_theorem_provers.
- SPASS subject Category:Free_theorem_provers.