Editing Vampire (theorem prover) (section)

{{Use dmy dates|date=April 2022}}
{{Multiple issues|
{{primary sources|date=May 2018}}
{{Technical|date=December 2009}}
}}

{{Infobox software
| name = Vampire Theorem Prover
| title = 
| logo = 
| logo caption = 
| screenshot = 
| caption = 
| collapsible = 
| author = [[Andrei Voronkov]]<ref>{{cite web|url=https://vprover.github.io/history.html|title=History|website=vprover.github.io|access-date=2018-05-24}}</ref>
| developer = Vampire team
| released = <!-- {{Start date|YYYY|MM|DD|df=yes/no}} -->
| discontinued = 
| latest release version = 4.5.1
| latest release date = 2020-07-15
| latest preview version = 
| latest preview date = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} -->
| programming language = [[C++]]
| operating system = 
| platform = 
| size = 
| language = Vampire Modified [[BSD Licence]]<ref>{{cite web|url=https://vprover.github.io/licence.html|title=Vampire Licence (Modified BSD)|website=vprover.github.io|access-date=2022-11-02}}</ref>
| language count = <!-- DO NOT include this parameter unless you know what it does -->
| language footnote = 
| genre = [[Automated theorem proving]]
| license = 
| website = {{URL|vprover.github.io/}}
| alexa = 
| standard = 
| AsOf = 
}}
'''Vampire''' is an [[Automated theorem proving|automatic theorem prover]] for [[First-order logic|first-order]] [[classical logic]] developed in the [[Department of Computer Science, University of Manchester|Department of Computer Science]] at the [[University of Manchester]]. Up to Version 3, it was developed by [[Andrei Voronkov]] together with Kryštof Hoder and previously with Alexandre Riazanov. Since Version 4, the development has involved a wider international team including Laura Kovacs, Giles Reger, and Martin Suda. Since 1999 it has won at least 53 trophies in the [[CADE ATP System Competition]], the "world cup for theorem provers", including the most prestigious FOF division and the theory-reasoning TFA division.<ref name="riaznov">{{Cite journal | last1 = Riazanov | first1 = A. | last2 = Voronkov | first2 = A. | author-link2 = Andrei Voronkov| title = The design and implementation of VAMPIRE | journal = AI Communications | volume = 15| number = 2–3/2002 | pages = 91–110 | year = 2002 | issn = 0921-7126}}</ref><ref>{{Cite journal | last1 = Voronkov | first1 = A. | author-link1 = Andrei Voronkov| title = The anatomy of vampire | doi = 10.1007/BF00881918 | journal = [[Journal of Automated Reasoning]] | volume = 15 | issue = 2 | pages = 237–265 | year = 1995 | s2cid = 1541122 }}</ref>