Skip to search formSkip to main contentSkip to account menu

Vampire Theorem Prover

Known as: Vampire (disambiguation), Theorem prover Vampire, Vampire reasoner 
Vampire's kernel implements the calculi of ordered binary resolution and superposition for handling equality. The splitting rule and negative… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Automated theorem provingCADE ATP System CompetitionConjunctive normal formDPLL algorithm

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Têtes de chauve-souris
legendes Pl. 58 Lanzennase, Phyllostoma hastatum, Phyllostome Fer-de-lance Sperrnase, Glossophaga Soricinum, Glossophage… 
2014
2014
A Study of vampire Attack to Avoid the Intruders without Backtracking Method
In a Wireless sensor network, every hub gathers the information and transmits all the information parcels to the sink hub… 
2013
2013
VAMPIRE - Analyse, observation et prévention de vulnérabilités dans l'Internet du futur - Compte-rendu de fin de projet
Internet est devenu le lieu de l'integration de nombreux services autrefois separes. Citons la telephonie filaire ou mobile. De… 
2012
2012
The homosexual vampire as a metaphor for…the homosexual vampire?' : True Blood, Homonormativity and Assimilation
2012
2012
The decadent vampire
John William Polidori published "The Vampyre" in 1819, and, as the first person to author a work of English vampire fiction, he… 
2011
2011
The Twilight Saga
The story of The Twilight Saga centres around the relationship between the teenager Isabella "Bella" Swan, and her relationship… 
2011
2011
Blood, Sperm and Astral Energy-Suckers : Edvard Munch's Vampire
2010
2010
English Assimilation and Invasion From Outside the Empire: Problems of the Outsider in England in Bram Stoker's Dracula
.........................................................................................iii DEDICATION… 
2007
2007
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers
Proceedings of the Fifth Workshop on modelling simulation Verification and Validation of Enterprise Information Systems (MSVVEIS… 
1983
1983
A. Cremene. Mythologie du vampire en Roumanie, avec la collaboration de F. Zemmal
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)