Isabelle (proof assistant)

Qualità:

L'articolo "Isabelle (proof assistant)" nella Wikipedia in inglese ha 30.6 punti per la qualità (al 1 luglio 2025). L'articolo contiene 14 riferimenti e 8 sezioni.

In questa versione linguistica di Wikipedia l'articolo ha la migliore qualità. Inoltre, questo articolo è il più popolare in quella versione linguistica.

Dalla creazione dell'articolo "Isabelle (proof assistant)", il suo contenuto è stato scritto da 95 utenti registrati di Wikipedia in inglese e modificato da 173 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 158 volte nella Wikipedia in inglese e citato 199 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 8562 nel dicembre 2002
• Globale: N. 12166 nel dicembre 2002

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 288025 nell'agosto 2014
• Globale: N. 438019 nel marzo 2011

Ci sono 7 versioni linguistiche 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 luglio 2025 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	inglese (en) Isabelle (proof assistant)		30.6003
2	tedesco (de) Isabelle (Theorembeweiser)		25.5607
3	cinese (zh) Isabelle		22.9713
4	russo (ru) Isabelle		21.219
5	portoghese (pt) Isabelle		15.9409
6	spagnolo (es) Isabelle		3.8839
7	francese (fr) Isabelle (logiciel)		1.873

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Isabelle (proof assistant)		358 489
2	tedesco (de) Isabelle (Theorembeweiser)		38 146
3	spagnolo (es) Isabelle		16 994
4	francese (fr) Isabelle (logiciel)		15 207
5	portoghese (pt) Isabelle		12 778
6	russo (ru) Isabelle		7 086
7	cinese (zh) Isabelle		4 544

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Isabelle (proof assistant)		1 812
2	portoghese (pt) Isabelle		177
3	russo (ru) Isabelle		123
4	cinese (zh) Isabelle		99
5	tedesco (de) Isabelle (Theorembeweiser)		66
6	francese (fr) Isabelle (logiciel)		58
7	spagnolo (es) Isabelle		30

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Isabelle (proof assistant)		95
2	tedesco (de) Isabelle (Theorembeweiser)		32
3	portoghese (pt) Isabelle		15
4	francese (fr) Isabelle (logiciel)		12
5	spagnolo (es) Isabelle		8
6	russo (ru) Isabelle		8
7	cinese (zh) Isabelle		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	tedesco (de) Isabelle (Theorembeweiser)		0
2	inglese (en) Isabelle (proof assistant)		0
3	spagnolo (es) Isabelle		0
4	francese (fr) Isabelle (logiciel)		0
5	portoghese (pt) Isabelle		0
6	russo (ru) Isabelle		0
7	cinese (zh) Isabelle		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 12 agosto 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Cristiano Ronaldo, Mercoledì, Georgina Rodríguez, ChatGPT, Weapon, Jenna Ortega, morti nel 2025, Taylor Swift, Miguel Uribe Turbay, UEFA Champions League 2025-2026.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

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 luglio 2025. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del giugno 2025. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2025... More information