Vampire (theorem prover) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Vampire (theorem prover)" in English language version.

refsWebsite

Global rank English rank

3vprover.github.io

low place

low place

5^th place

5^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

doi.org

Voronkov, A. (1995). "The anatomy of vampire". Journal of Automated Reasoning. 15 (2): 237–265. doi:10.1007/BF00881918. S2CID 1541122.

semanticscholar.org

api.semanticscholar.org

Voronkov, A. (1995). "The anatomy of vampire". Journal of Automated Reasoning. 15 (2): 237–265. doi:10.1007/BF00881918. S2CID 1541122.

vprover.github.io

"History". vprover.github.io. Retrieved 24 May 2018.
"Vampire Licence (Modified BSD)". vprover.github.io. Retrieved 2 November 2022.
"Vampire". vprover.github.io. Retrieved 2 November 2022.

worldcat.org

search.worldcat.org

Riazanov, A.; Voronkov, A. (2002). "The design and implementation of VAMPIRE". AI Communications. 15 (2–3/2002): 91–110. ISSN 0921-7126.