Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Vampire_(theorem_prover)> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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) wikiPageRevisionID "556418877".
- 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) subject Category:School_of_Computer_Science,_University_of_Manchester.
- Vampire_(theorem_prover) subject Category:Theorem_proving_software_systems.
- Vampire_(theorem_prover) type Software.
- Vampire_(theorem_prover) type Work.
- Vampire_(theorem_prover) type CreativeWork.
- Vampire_(theorem_prover) type InformationEntity.
- 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=556418877.
- Vampire_(theorem_prover) homepage www.vprover.org.
- Vampire_(theorem_prover) isPrimaryTopicOf Vampire_(theorem_prover).
- Vampire_(theorem_prover) name "Vampire Theorem Prover".