×

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].

MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)

Software:

VAMPIRE
PDFBibTeX XMLCite
Full Text: Link