About: Free theorem provers

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	6829164 (xsd:integer)
dbo:wikiPageRevisionID	486050264 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Portal_box
rdf:type	skos:Concept
rdfs:label	Free theorem provers (en)
skos:broader	dbc:Free_mathematics_software dbc:Theorem_proving_software_systems
skos:prefLabel	Free theorem provers (en)
prov:wasDerivedFrom	wikipedia-en:Category:Free_theorem_provers?oldid=486050264&ns=14
is dbo:wikiPageWikiLink of	dbr:Prover9 dbr:E_(theorem_prover) dbr:Coq dbr:Otter_(theorem_prover) dbr:SPASS dbr:PhoX dbr:Prototype_Verification_System dbr:Matita dbr:HOL_Light dbr:Jape_(software) dbr:ACL2 dbr:Paradox_(theorem_prover) dbr:Isabelle_(proof_assistant) dbr:KeY dbr:Metamath dbr:Models_And_Counter-Examples dbr:SNARK_(theorem_prover)
is dcterms:subject of	dbr:Prover9 dbr:E_(theorem_prover) dbr:Coq dbr:Otter_(theorem_prover) dbr:SPASS dbr:PhoX dbr:Prototype_Verification_System dbr:Matita dbr:HOL_Light dbr:Jape_(software) dbr:ACL2 dbr:Paradox_(theorem_prover) dbr:Isabelle_(proof_assistant) dbr:KeY dbr:Metamath dbr:Models_And_Counter-Examples dbr:SNARK_(theorem_prover)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License