Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gandalf_(theorem_prover)> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Gandalf_(theorem_prover) abstract "Gandalf is a first-order automated theorem prover applied to several domain-specifictasks such as Semantic web. It has also participated in The CADE ATP System Competition and had impressive results in that competition. It is programmed in the Scheme programming language which is then compiled to the C programming language using Hobbit from SCM.".
- Gandalf_(theorem_prover) wikiPageExternalLink gandalf.
- Gandalf_(theorem_prover) wikiPageID "162046".
- Gandalf_(theorem_prover) wikiPageLength "604".
- Gandalf_(theorem_prover) wikiPageOutDegree "6".
- Gandalf_(theorem_prover) wikiPageRevisionID "466369158".
- Gandalf_(theorem_prover) wikiPageWikiLink Automated_theorem_proving.
- Gandalf_(theorem_prover) wikiPageWikiLink C_(programming_language).
- Gandalf_(theorem_prover) wikiPageWikiLink Category:Theorem_proving_software_systems.
- Gandalf_(theorem_prover) wikiPageWikiLink SCM_(Scheme_implementation).
- Gandalf_(theorem_prover) wikiPageWikiLink Scheme_(programming_language).
- Gandalf_(theorem_prover) wikiPageWikiLink Semantic_Web.
- Gandalf_(theorem_prover) wikiPageWikiLinkText "Gandalf (theorem prover)".
- Gandalf_(theorem_prover) wikiPageWikiLinkText "Gandalf".
- Gandalf_(theorem_prover) wikiPageUsesTemplate Template:Compu-AI-stub.
- Gandalf_(theorem_prover) subject Category:Theorem_proving_software_systems.
- Gandalf_(theorem_prover) hypernym Prover.
- Gandalf_(theorem_prover) type Software.
- Gandalf_(theorem_prover) type Redirect.
- Gandalf_(theorem_prover) type Tool.
- Gandalf_(theorem_prover) comment "Gandalf is a first-order automated theorem prover applied to several domain-specifictasks such as Semantic web. It has also participated in The CADE ATP System Competition and had impressive results in that competition. It is programmed in the Scheme programming language which is then compiled to the C programming language using Hobbit from SCM.".
- Gandalf_(theorem_prover) label "Gandalf (theorem prover)".
- Gandalf_(theorem_prover) sameAs Q5520592.
- Gandalf_(theorem_prover) sameAs m.015hl8.
- Gandalf_(theorem_prover) sameAs Q5520592.
- Gandalf_(theorem_prover) wasDerivedFrom Gandalf_(theorem_prover)?oldid=466369158.
- Gandalf_(theorem_prover) isPrimaryTopicOf Gandalf_(theorem_prover).