Riazanov, Alexandre; Voronkov, Andrei Vampire 1. 1 (system description). (English) Zbl 0988.68607 GorĂ©, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 376-380 (2001). Summary: In this abstract we describe version 1.1 of the theorem prover Vampire. We give a general description and comment on Vampire’s original features and differences with the previously described version 0.0.For the entire collection see [Zbl 0968.00052]. Cited in 13 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Software:VAMPIRE PDFBibTeX XMLCite \textit{A. Riazanov} and \textit{A. Voronkov}, Lect. Notes Comput. Sci. 2083, 376--380 (2001; Zbl 0988.68607) Full Text: Link