Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Vampire_(theorem_prover)> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Vampire_(theorem_prover) abstract "Vampire is an automatic theorem prover for first-order classical logic developed in the School of Computer Science at the University of Manchester by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. So far it has won the "world cup for theorem provers" (the CADE ATP System Competition) in the most prestigious CNF (MIX) division eleven times (1999, 2001–2010).".
- Vampire_(theorem_prover) developer Andrei_Voronkov.
- Vampire_(theorem_prover) genre Automated_theorem_proving.
- Vampire_(theorem_prover) wikiPageExternalLink www.vprover.org.
- Vampire_(theorem_prover) wikiPageID "720408".
- Vampire_(theorem_prover) wikiPageLength "5154".
- Vampire_(theorem_prover) wikiPageOutDegree "25".
- Vampire_(theorem_prover) wikiPageRevisionID "679005493".
- Vampire_(theorem_prover) wikiPageWikiLink Andrei_Voronkov.
- Vampire_(theorem_prover) wikiPageWikiLink Automated_theorem_proving.
- Vampire_(theorem_prover) wikiPageWikiLink Binary_resolution.
- Vampire_(theorem_prover) wikiPageWikiLink CADE_ATP_System_Competition.
- Vampire_(theorem_prover) wikiPageWikiLink Category:School_of_Computer_Science,_University_of_Manchester.
- Vampire_(theorem_prover) wikiPageWikiLink Category:Theorem_proving_software_systems.
- Vampire_(theorem_prover) wikiPageWikiLink Classical_logic.
- Vampire_(theorem_prover) wikiPageWikiLink Conjunctive_normal_form.
- Vampire_(theorem_prover) wikiPageWikiLink Craig_interpolation.
- Vampire_(theorem_prover) wikiPageWikiLink DPLL_algorithm.
- Vampire_(theorem_prover) wikiPageWikiLink Executable.
- Vampire_(theorem_prover) wikiPageWikiLink First-order_logic.
- Vampire_(theorem_prover) wikiPageWikiLink GNU_Lesser_General_Public_License.
- Vampire_(theorem_prover) wikiPageWikiLink Hierarchy.
- Vampire_(theorem_prover) wikiPageWikiLink Kernel_(computing).
- Vampire_(theorem_prover) wikiPageWikiLink Kernel_(operating_system).
- Vampire_(theorem_prover) wikiPageWikiLink Knuth–Bendix_completion_algorithm.
- Vampire_(theorem_prover) wikiPageWikiLink Resolution_(logic).
- Vampire_(theorem_prover) wikiPageWikiLink Run-time_algorithm_specialisation.
- Vampire_(theorem_prover) wikiPageWikiLink School_of_Computer_Science,_University_of_Manchester.
- Vampire_(theorem_prover) wikiPageWikiLink Sigma_knowledge_engineering_environment.
- Vampire_(theorem_prover) wikiPageWikiLink Superposition_calculus.
- Vampire_(theorem_prover) wikiPageWikiLink Tautology_(logic).
- Vampire_(theorem_prover) wikiPageWikiLink Term_indexing.
- Vampire_(theorem_prover) wikiPageWikiLink University_of_Manchester.
- Vampire_(theorem_prover) wikiPageWikiLinkText "Vampire (theorem prover)".
- Vampire_(theorem_prover) wikiPageWikiLinkText "Vampire theorem prover".
- Vampire_(theorem_prover) wikiPageWikiLinkText "Vampire".
- Vampire_(theorem_prover) developer Andrei_Voronkov.
- Vampire_(theorem_prover) developer "Alexandre Riazanov".
- Vampire_(theorem_prover) developer "Kryštof Hoder".
- Vampire_(theorem_prover) genre Automated_theorem_proving.
- Vampire_(theorem_prover) hasPhotoCollection Vampire_(theorem_prover).
- Vampire_(theorem_prover) name "Vampire Theorem Prover".
- Vampire_(theorem_prover) wikiPageUsesTemplate Template:Infobox_software.
- Vampire_(theorem_prover) wikiPageUsesTemplate Template:Logic-stub.
- Vampire_(theorem_prover) wikiPageUsesTemplate Template:Reflist.
- Vampire_(theorem_prover) wikiPageUsesTemplate Template:Technical.
- Vampire_(theorem_prover) subject Category:School_of_Computer_Science,_University_of_Manchester.
- Vampire_(theorem_prover) subject Category:Theorem_proving_software_systems.
- Vampire_(theorem_prover) hypernym Prover.
- Vampire_(theorem_prover) type Software.
- Vampire_(theorem_prover) type Work.
- Vampire_(theorem_prover) type CreativeWork.
- Vampire_(theorem_prover) type Thing.
- Vampire_(theorem_prover) type Q386724.
- Vampire_(theorem_prover) type Q7397.
- Vampire_(theorem_prover) comment "Vampire is an automatic theorem prover for first-order classical logic developed in the School of Computer Science at the University of Manchester by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. So far it has won the "world cup for theorem provers" (the CADE ATP System Competition) in the most prestigious CNF (MIX) division eleven times (1999, 2001–2010).".
- Vampire_(theorem_prover) label "Vampire (theorem prover)".
- Vampire_(theorem_prover) sameAs m.035lz6.
- Vampire_(theorem_prover) sameAs Q7912960.
- Vampire_(theorem_prover) sameAs Q7912960.
- Vampire_(theorem_prover) wasDerivedFrom Vampire_(theorem_prover)?oldid=679005493.
- Vampire_(theorem_prover) homepage www.vprover.org.
- Vampire_(theorem_prover) isPrimaryTopicOf Vampire_(theorem_prover).
- Vampire_(theorem_prover) name "Vampire Theorem Prover".