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 (Global: 2^nd place; English: 2^nd place)

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

semanticscholar.org (Global: 11^th place; English: 8^th place)

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 (Global: low place; English: low place)

"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 (Global: 5^th place; English: 5^th place)

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.