Questo software è il 4140° più popolare nella classifica globale di Wikipedia di software. L'articolo "Vampire (theorem prover)" nella Wikipedia in inglese ha 13.3 punti per la qualità (al 1 agosto 2024). L'articolo contiene 5 riferimenti e 3 sezioni. L'articolo contiene anche un modello di difetti di qualità, che riduce il punteggio di qualità.
Dalla creazione dell'articolo "Vampire (theorem prover)", il suo contenuto è stato scritto da 31 utenti registrati di Wikipedia in inglese e modificato da 31 utenti registrati di Wikipedia in tutte le lingue.
Vampire (theorem prover) è al 4140° posto nella classifica globale software su Wikipedia in tutto il tempo.
L'articolo è citato 16 volte nella Wikipedia in inglese e citato 16 volte in tutte le lingue.
Il grado di interesse degli autori più alto dal 2001:/p>
Il grado di popolarità più alto dal 2008:
C'è 1 versione linguistica per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).
La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 agosto 2024 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).
| Miglior Rango | inglese: N. 355287 01.2009 |
Globale: N. 560947 07.2008 |
| Miglior Rango | inglese: N. 61346 06.2004 |
Globale: N. 113980 06.2004 |
Il 25 gennaio 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Donald Trump, Madison Keys, Elon Musk, Aryna Sabalenka, Melania Trump, Emilia Pérez, Abdukodir Khusanov, Pete Hegseth, Nosferatu, Karla Sofía Gascón.
Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Madison Keys, Pete Hegseth, Brian Schottenheimer, Aryna Sabalenka, Donald Trump, Sky Force (film), Elon Musk, Melania Trump, Nosferatu (2024 film), Emilia Pérez.
Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del agosto 2024. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del luglio 2024. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information
$$Qualità=1/c∑↙{i=1}↖c nm_i-RS=1/5(9.85+4.1+0+21.43+42.83)-2.35$$
dove:
I risultati dei calcoli potrebbero essere leggermente diversi a causa dei valori arrotondati delle metriche normalizzate nelle formule
