Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Category:Proof assistants
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Category:Proof_assistants
http://dbpedia.org/ontology/wikiPageID 33159529
http://dbpedia.org/ontology/wikiPageRevisionID 451672569
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Cat_main +
http://www.w3.org/2004/02/skos/core#broader http://dbpedia.org/resource/Category:Theorem_proving_software_systems + , http://dbpedia.org/resource/Category:Domain-specific_programming_languages + , http://dbpedia.org/resource/Category:Dependently_typed_programming +
http://www.w3.org/2004/02/skos/core#prefLabel Proof assistants
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Category:Proof_assistants?oldid=451672569&ns=14 +
owl:sameAs http://dbpedia.org/resource/Category:Proof_assistants +
rdf:type http://www.w3.org/2004/02/skos/core#Concept +
rdfs:label Proof assistants
hide properties that link here 
http://dbpedia.org/resource/Mizar_system + , http://dbpedia.org/resource/F%2A_%28programming_language%29 + , http://dbpedia.org/resource/Logic_for_Computable_Functions + , http://dbpedia.org/resource/Coq + , http://dbpedia.org/resource/ACL2 + , http://dbpedia.org/resource/Dafny + , http://dbpedia.org/resource/Total_functional_programming + , http://dbpedia.org/resource/MINLOG + , http://dbpedia.org/resource/Proof_assistant + , http://dbpedia.org/resource/Matita + , http://dbpedia.org/resource/Epigram_%28programming_language%29 + , http://dbpedia.org/resource/Lean_%28proof_assistant%29 + , http://dbpedia.org/resource/Nuprl + , http://dbpedia.org/resource/Isabelle_%28proof_assistant%29 + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Jape_%28software%29 + , http://dbpedia.org/resource/Agda_%28programming_language%29 + , http://dbpedia.org/resource/Automath + , http://dbpedia.org/resource/QED_manifesto + , http://dbpedia.org/resource/Metamath + , http://dbpedia.org/resource/PhoX + , http://dbpedia.org/resource/HOL_%28proof_assistant%29 + , http://dbpedia.org/resource/ALF_%28proof_assistant%29 + , http://dbpedia.org/resource/HOL_Light + , http://dbpedia.org/resource/Prototype_Verification_System + , http://dbpedia.org/resource/LEGO_%28proof_assistant%29 + http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/Mizar_system + , http://dbpedia.org/resource/F%2A_%28programming_language%29 + , http://dbpedia.org/resource/Logic_for_Computable_Functions + , http://dbpedia.org/resource/Coq + , http://dbpedia.org/resource/ACL2 + , http://dbpedia.org/resource/Dafny + , http://dbpedia.org/resource/Total_functional_programming + , http://dbpedia.org/resource/MINLOG + , http://dbpedia.org/resource/Proof_assistant + , http://dbpedia.org/resource/Matita + , http://dbpedia.org/resource/Epigram_%28programming_language%29 + , http://dbpedia.org/resource/Lean_%28proof_assistant%29 + , http://dbpedia.org/resource/Nuprl + , http://dbpedia.org/resource/Isabelle_%28proof_assistant%29 + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Jape_%28software%29 + , http://dbpedia.org/resource/Agda_%28programming_language%29 + , http://dbpedia.org/resource/Automath + , http://dbpedia.org/resource/QED_manifesto + , http://dbpedia.org/resource/Metamath + , http://dbpedia.org/resource/PhoX + , http://dbpedia.org/resource/HOL_%28proof_assistant%29 + , http://dbpedia.org/resource/ALF_%28proof_assistant%29 + , http://dbpedia.org/resource/HOL_Light + , http://dbpedia.org/resource/Prototype_Verification_System + , http://dbpedia.org/resource/LEGO_%28proof_assistant%29 + , http://dbpedia.org/resource/Logical_framework + http://purl.org/dc/terms/subject
http://dbpedia.org/resource/Category:Proof_assistants + owl:sameAs
 

 

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:Proof_assistants"