Este software es el 4086º más popular en el ranking mundial de Wikipedia de software. El artículo “Vampire (theorem prover)” en Wikipedia en inglés tiene 13.2 puntos por calidad (a 1 de julio de 2025). El artículo contiene 5 referencias y 3 secciones. El artículo también contiene plantillas que señalan deficiencias de calidad, por lo que su puntuación se redujo en 2,34 puntos.
Desde la creación del artículo “Vampire (theorem prover)”, , su contenido fue escrito por 31 usuarios registrados de Wikipedia en inglés fue editado por 31 usuarios registrados de Wikipedia en todos los idiomas.
Vampire (theorem prover) está en el 4086º lugar en el ranking mundial de software en Wikipedia en todo el tiempo.
El artículo es citado 16 veces en Wikipedia en inglés y es citado 16 veces en todos los idiomas.
La clasificación más alta de interés de los autores desde 2001:
El rango de popularidad más alto de 2008:
Hay 1 versión lingüística de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).
La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de julio de 2025 (incluido el historial de revisiones y las páginas vistas de años anteriores).
| Mejor rango | inglés: Nº 354529 01.2009 |
Global: Nº 560061 07.2008 |
| Mejor rango | inglés: Nº 61293 06.2004 |
Global: Nº 113971 06.2004 |
El 26 de septiembre de 2025 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Claudia Cardinale, The Battle of Baktan Cross, ChatGPT, Alice in Borderland, Guinness, muertes en 2025, Benjamín Netanyahu, Assata Shakur, Charlie Kirk, Arthur Guinness.
En Wikipedia en inglés los artículos más populares de ese día fueron: Google Chrome, Assata Shakur, James Comey, Voddie Baucham, They Call Him OG, Wounded Knee Massacre, Deaths in 2025, Ryder Cup, House of Guinness, Snake Eyes (1998 film).
El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de julio de 2025. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de junio de 2025. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2025... Más información
$$Calidad=1/c∑↙{i=1}↖c nm_i-RS=1/5(9.81+4.07+0+21.43+42.6)-2.34$$
dónde:
Los resultados de los cálculos pueden ser ligeramente diferentes debido a los valores redondeados de las métricas normalizadas en las fórmulas
