Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,754 papers from all fields of science
Search
Sign In
Create Free Account
Vampire Theorem Prover
Known as:
Vampire (disambiguation)
, Theorem prover Vampire
, Vampire reasoner
Expand
Vampire's kernel implements the calculi of ordered binary resolution and superposition for handling equality. The splitting rule and negative…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Automated theorem proving
CADE ATP System Competition
Conjunctive normal form
DPLL algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Têtes de chauve-souris
Schinz Heinrich Rudolf
2015
Corpus ID: 229993943
legendes Pl. 58 Lanzennase, Phyllostoma hastatum, Phyllostome Fer-de-lance Sperrnase, Glossophaga Soricinum, Glossophage…
Expand
2014
2014
A Study of vampire Attack to Avoid the Intruders without Backtracking Method
M. M. Priya
,
J. Emi
,
Karmichael M. Tech
2014
Corpus ID: 55883697
In a Wireless sensor network, every hub gathers the information and transmits all the information parcels to the sink hub…
Expand
2013
2013
VAMPIRE - Analyse, observation et prévention de vulnérabilités dans l'Internet du futur - Compte-rendu de fin de projet
Laurent Andrey
,
O. Festor
2013
Corpus ID: 194112217
Internet est devenu le lieu de l'integration de nombreux services autrefois separes. Citons la telephonie filaire ou mobile. De…
Expand
2012
2012
The homosexual vampire as a metaphor for…the homosexual vampire?' : True Blood, Homonormativity and Assimilation
Darren Elliott-Smith
2012
Corpus ID: 142401983
2012
2012
The decadent vampire
Justine J. Spatola
2012
Corpus ID: 192517492
John William Polidori published "The Vampyre" in 1819, and, as the first person to author a work of English vampire fiction, he…
Expand
2011
2011
The Twilight Saga
Jennifer Anderson
,
J. Ayles
,
Kelly Dickinson
2011
Corpus ID: 193475567
The story of The Twilight Saga centres around the relationship between the teenager Isabella "Bella" Swan, and her relationship…
Expand
2011
2011
Blood, Sperm and Astral Energy-Suckers : Edvard Munch's Vampire
Per Faxneld
2011
Corpus ID: 170790573
2010
2010
English Assimilation and Invasion From Outside the Empire: Problems of the Outsider in England in Bram Stoker's Dracula
Jeffrey S. Moore
2010
Corpus ID: 159536477
.........................................................................................iii DEDICATION…
Expand
2007
2007
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers
Paul S. Steyn
,
J. A. V. D. Poll
Modelling, Simulation, Verification and…
2007
Corpus ID: 1524558
Proceedings of the Fifth Workshop on modelling simulation Verification and Validation of Enterprise Information Systems (MSVVEIS…
Expand
1983
1983
A. Cremene. Mythologie du vampire en Roumanie, avec la collaboration de F. Zemmal
I. P. Culianu
1983
Corpus ID: 170839387
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)
ACCEPT & CONTINUE