http://dbpedia.org/page/Category:Free_theorem_provers

Property	Value
rdf:type	skos:Concept
rdfs:label	Free theorem provers (en)
skos:broader	dbpedia:Category:Free_mathematics_software dbpedia:Category:Theorem_proving_software_systems
skos:prefLabel	Free theorem provers (en)
is skos:subject of	dbpedia:ACL2 dbpedia:Coq dbpedia:E_equational_theorem_prover dbpedia:HOL_theorem_prover_family dbpedia:Isabelle_%28theorem_prover%29 dbpedia:Jape dbpedia:KeY dbpedia:Matita dbpedia:Otter_%28theorem_prover%29 dbpedia:Paradox_%28theorem_prover%29 dbpedia:PhoX dbpedia:Prototype_Verification_System dbpedia:Prover9 dbpedia:SNARK_theorem_prover dbpedia:Beaver_Bit-vector_Decision_Procedure dbpedia:SPASS_theorem_prover

About: Free theorem provers