Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,208,643 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
2015
2015
Bataille's vampire
Fred Botting
2015
Corpus ID: 191535346
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
Blood, Sperm and Astral Energy-Suckers : Edvard Munch's Vampire
Per Faxneld
2011
Corpus ID: 170790573
2010
2010
Metamorphoses of the Vampire in Literature and Film: The Bourgeois Vampire and Nineteenth-Century Identity Theft
E. Butler
2010
Corpus ID: 162438736
2007
2007
Boy Cultures and the Performance of Teenage Masculinities
Cliona Barnes
2007
Corpus ID: 142586842
This thesis is a response to negative media and public portrayals of young white working class men in Ireland. It is prompted by…
Expand
1994
1994
Charles Nodier, Oeuvres dramatiques, I : Le Vampire ; Le Délateur. II : Bertram ; Le Monstre et le Magicien ; Le Songe d'or
Jacques-Rémi Dahan
1994
Corpus ID: 192301358
1983
1983
A. Cremene. Mythologie du vampire en Roumanie, avec la collaboration de F. Zemmal
I. P. Culianu
1983
Corpus ID: 170839387