Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Automated theorem prover
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Automated_theorem_prover
http://dbpedia.org/ontology/wikiPageID 1531203
http://dbpedia.org/ontology/wikiPageLength 39
http://dbpedia.org/ontology/wikiPageRedirects http://dbpedia.org/resource/Automated_theorem_proving +
http://dbpedia.org/ontology/wikiPageRevisionID 243774250
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/Automated_theorem_proving +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Automated_theorem_prover?oldid=243774250&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/Automated_theorem_prover +
owl:sameAs http://dbpedia.org/resource/Automated_theorem_prover +
rdfs:label Automated theorem prover
hide properties that link here 
http://dbpedia.org/resource/Theorem_prover + http://dbpedia.org/ontology/wikiPageDisambiguates
http://dbpedia.org/resource/Domain-specific_language + , http://dbpedia.org/resource/ACL2 + , http://dbpedia.org/resource/Fifth_Generation_Computer_Systems + , http://dbpedia.org/resource/Peter_B._Andrews + , http://dbpedia.org/resource/CARINE + , http://dbpedia.org/resource/Well-formed_formula + , http://dbpedia.org/resource/Models_And_Counter-Examples + , http://dbpedia.org/resource/Formal_methods + , http://dbpedia.org/resource/SPASS + , http://dbpedia.org/resource/Verve_%28operating_system%29 + , http://dbpedia.org/resource/Concolic_testing + , http://dbpedia.org/resource/Term_indexing + , http://dbpedia.org/resource/Zipper_%28data_structure%29 + , http://dbpedia.org/resource/Theorem_prover + , http://dbpedia.org/resource/Common_Lisp + , http://dbpedia.org/resource/Reification_%28linguistics%29 + , http://dbpedia.org/resource/Leo_II + , http://dbpedia.org/resource/Glossary_of_artificial_intelligence + , http://dbpedia.org/resource/Backward_chaining + , http://dbpedia.org/resource/Beki%C4%87%27s_theorem + , http://dbpedia.org/resource/Isabelle_%28proof_assistant%29 + , http://dbpedia.org/resource/Compiler_correctness + , http://dbpedia.org/resource/Cantor%27s_theorem + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/Coq + , http://dbpedia.org/resource/Verification_condition_generator + , http://dbpedia.org/resource/Specification_language + , http://dbpedia.org/resource/Rippling + , http://dbpedia.org/resource/ESC/Java + , http://dbpedia.org/resource/Artificial_intelligence + , http://dbpedia.org/resource/Common_sense + , http://dbpedia.org/resource/Computer_algebra + , http://dbpedia.org/resource/Philosophy_of_logic + , http://dbpedia.org/resource/Edmund_M._Clarke + , http://dbpedia.org/resource/Alphabet_of_human_thought + , http://dbpedia.org/resource/SNARK_%28theorem_prover%29 + , http://dbpedia.org/resource/Formal_proof + , http://dbpedia.org/resource/Harald_Ganzinger + , http://dbpedia.org/resource/Provenance_Markup_Language + , http://dbpedia.org/resource/Logic_for_Computable_Functions + , http://dbpedia.org/resource/Proof-carrying_code + , http://dbpedia.org/resource/Ontology + , http://dbpedia.org/resource/Outline_of_artificial_intelligence + , http://dbpedia.org/resource/Ontological_argument + , http://dbpedia.org/resource/Programming_language_specification + , http://dbpedia.org/resource/Superposition_calculus + , http://dbpedia.org/resource/Computer-assisted_proof + , http://dbpedia.org/resource/QED_manifesto + http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/Automated_theorem_prover + http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/Automated_theorem_prover + 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-2FAutomated_theorem_prover"