About: Theorem proving software systems

Property	Value
rdf:type	skos:Concept
rdfs:label	Theorem proving software systems
skos:broader	dbpedia:Category:Automated_theorem_proving dbpedia:Category:Formal_methods_tools dbpedia:Category:Mathematical_software
skos:prefLabel	Theorem proving software systems
is skos:broader of	dbpedia:Category:Theorem_prover_languages dbpedia:Category:Interactive_theorem_proving_software dbpedia:Category:Free_theorem_provers
is skos:subject of	dbpedia:Lean_theorem_prover dbpedia:Mizar_system dbpedia:ACL2 dbpedia:Gandalf_(theorem_prover) dbpedia:KeY dbpedia:OBJ dbpedia:EQP dbpedia:CARINE dbpedia:E_equational_theorem_prover dbpedia:Larch_Prover dbpedia:Mathematica dbpedia:Isabelle_(theorem_prover) dbpedia:Metamath dbpedia:Vampire_(theorem_prover) dbpedia:Nqthm dbpedia:OBJ3 dbpedia:SPASS dbpedia:Twelf dbpedia:Uclid dbpedia:Prover9 dbpedia:Tau_(theorem_prover) dbpedia:Theorem_Proving_System