Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Free_theorem_provers> . }
Showing items 1 to 16 of
16
with 100 items per page.
- ACL2 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.