Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Category:Free theorem provers
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Category:Free_theorem_provers
http://dbpedia.org/ontology/wikiPageID 6829164
http://dbpedia.org/ontology/wikiPageRevisionID 486050264
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Portal_box +
http://www.w3.org/2004/02/skos/core#broader http://dbpedia.org/resource/Category:Free_mathematics_software + , http://dbpedia.org/resource/Category:Theorem_proving_software_systems +
http://www.w3.org/2004/02/skos/core#prefLabel Free theorem provers
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Category:Free_theorem_provers?oldid=486050264&ns=14 +
owl:sameAs http://dbpedia.org/resource/Category:Free_theorem_provers +
rdf:type http://www.w3.org/2004/02/skos/core#Concept +
rdfs:label Free theorem provers
hide properties that link here 
http://dbpedia.org/resource/ACL2 + , http://dbpedia.org/resource/HOL_Light + , http://dbpedia.org/resource/Prover9 + , http://dbpedia.org/resource/E_%28theorem_prover%29 + , http://dbpedia.org/resource/Models_And_Counter-Examples + , http://dbpedia.org/resource/Jape_%28software%29 + , http://dbpedia.org/resource/Metamath + , http://dbpedia.org/resource/SPASS + , http://dbpedia.org/resource/Matita + , http://dbpedia.org/resource/Paradox_%28theorem_prover%29 + , http://dbpedia.org/resource/Isabelle_%28proof_assistant%29 + , http://dbpedia.org/resource/Prototype_Verification_System + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Coq + , http://dbpedia.org/resource/SNARK_%28theorem_prover%29 + , http://dbpedia.org/resource/PhoX + , http://dbpedia.org/resource/Otter_%28theorem_prover%29 + http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/ACL2 + , http://dbpedia.org/resource/HOL_Light + , http://dbpedia.org/resource/Prover9 + , http://dbpedia.org/resource/E_%28theorem_prover%29 + , http://dbpedia.org/resource/Models_And_Counter-Examples + , http://dbpedia.org/resource/Jape_%28software%29 + , http://dbpedia.org/resource/Metamath + , http://dbpedia.org/resource/SPASS + , http://dbpedia.org/resource/Matita + , http://dbpedia.org/resource/Paradox_%28theorem_prover%29 + , http://dbpedia.org/resource/Isabelle_%28proof_assistant%29 + , http://dbpedia.org/resource/Prototype_Verification_System + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Coq + , http://dbpedia.org/resource/SNARK_%28theorem_prover%29 + , http://dbpedia.org/resource/PhoX + , http://dbpedia.org/resource/Otter_%28theorem_prover%29 + http://purl.org/dc/terms/subject
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fdbpedia.org-2Fresource-2FCategory:Free_theorem_provers"