Questo software è il 6645° più popolare nella classifica globale di Wikipedia di software. L'articolo "Paradox (theorem prover)" nella Wikipedia in inglese ha 21.2 punti per la qualità (al 1 agosto 2024). L'articolo contiene 10 riferimenti e 3 sezioni.
Dalla creazione dell'articolo "Paradox (theorem prover)", il suo contenuto è stato scritto da 27 utenti registrati di Wikipedia in inglese e modificato da 27 utenti registrati di Wikipedia in tutte le lingue.
Paradox è al 6645° posto nella classifica globale software su Wikipedia in tutto il tempo.
L'articolo è citato 88 volte nella Wikipedia in inglese e citato 88 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. 1104020 03.2008 |
Globale: N. 1813977 03.2008 |
| Miglior Rango | inglese: N. 43873 11.2018 |
Globale: N. 99290 02.2004 |
Il 26 ottobre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Ilia Topuria, Lyle and Erik Menendez, Hans-Dieter Flick, Venom: The Last Dance, El Clásico, elezioni presidenziali negli Stati Uniti d'America del 2024, Khamzat Chimaev, BRICS, Max Holloway, Shohei Otani.
Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Freddie Freeman, Rodney Alcala, UFC 308, Venom: The Last Dance, Fernando Valenzuela, Woman of the Hour, Ilia Topuria, Lyle and Erik Menéndez, Deaths in 2024, Phil Lesh.
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(13.35+8.2+0+21.43+63.2)$$
dove:
I risultati dei calcoli potrebbero essere leggermente diversi a causa dei valori arrotondati delle metriche normalizzate nelle formule
