Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Theorem_proving_software_systems> . }
Showing items 1 to 28 of
28
with 100 items per page.
- ACL2 subject Category:Theorem_proving_software_systems.
- CARINE subject Category:Theorem_proving_software_systems.
- EQP subject Category:Theorem_proving_software_systems.
- E_theorem_prover subject Category:Theorem_proving_software_systems.
- Gandalf_(theorem_prover) subject Category:Theorem_proving_software_systems.
- Geometry_Expert subject Category:Theorem_proving_software_systems.
- Isabelle_(proof_assistant) subject Category:Theorem_proving_software_systems.
- KeY subject Category:Theorem_proving_software_systems.
- Larch_Prover subject Category:Theorem_proving_software_systems.
- Lean_theorem_prover subject Category:Theorem_proving_software_systems.
- Logic_Theorist subject Category:Theorem_proving_software_systems.
- MALPAS_Software_Static_Analysis_Toolset subject Category:Theorem_proving_software_systems.
- MASON_(Java) subject Category:Theorem_proving_software_systems.
- Mathematica subject Category:Theorem_proving_software_systems.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform subject Category:Theorem_proving_software_systems.
- Nqthm subject Category:Theorem_proving_software_systems.
- OBJ3 subject Category:Theorem_proving_software_systems.
- OBJ_(programming_language) subject Category:Theorem_proving_software_systems.
- Planner_(programming_language) subject Category:Theorem_proving_software_systems.
- Prover9 subject Category:Theorem_proving_software_systems.
- SPASS subject Category:Theorem_proving_software_systems.
- Theorem_Proving_System subject Category:Theorem_proving_software_systems.
- Twelf subject Category:Theorem_proving_software_systems.
- Uclid subject Category:Theorem_proving_software_systems.
- Vampire_(theorem_prover) subject Category:Theorem_proving_software_systems.
- Category:Free_theorem_provers broader Category:Theorem_proving_software_systems.
- Category:Proof_assistants broader Category:Theorem_proving_software_systems.
- Category:Application_software related Category:Theorem_proving_software_systems.