Isabelle (proof assistant)

Qualità:

Questo software è il 1570° più popolare nella classifica globale di Wikipedia di software. L'articolo "Isabelle (proof assistant)" nella Wikipedia in inglese ha 30.8 punti per la qualità (al 1 novembre 2023). 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.

Realizzazioni in tutto il tempo:

Wikipedia globale:

Il 1570° più popolare in software.

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

Isabelle è al 1570° posto nella classifica globale software su Wikipedia in tutto il tempo.

L'articolo è citato 102 volte nella Wikipedia in inglese e citato 140 volte in tutte le lingue.

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

• Locale (inglese): N. 8581 nel dicembre 2002
• Globale: N. 12183 nel dicembre 2002

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 288972 nell'agosto 2014
• Globale: N. 439030 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 novembre 2023 (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.7879
2	tedesco (de) Isabelle (Theorembeweiser)		25.2635
3	cinese (zh) Isabelle		23.0816
4	russo (ru) Isabelle		19.2628
5	portoghese (pt) Isabelle		15.9828
6	spagnolo (es) Isabelle		3.9882
7	francese (fr) Isabelle (logiciel)		1.8732

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Isabelle (proof assistant)		321 579
2	tedesco (de) Isabelle (Theorembeweiser)		34 352
3	spagnolo (es) Isabelle		16 087
4	francese (fr) Isabelle (logiciel)		13 907
5	portoghese (pt) Isabelle		9 513
6	russo (ru) Isabelle		4 900
7	cinese (zh) Isabelle		2 711

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 948
2	spagnolo (es) Isabelle		126
3	tedesco (de) Isabelle (Theorembeweiser)		125
4	russo (ru) Isabelle		123
5	francese (fr) Isabelle (logiciel)		65
6	cinese (zh) Isabelle		54
7	portoghese (pt) Isabelle		38

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)		88
2	tedesco (de) Isabelle (Theorembeweiser)		31
3	portoghese (pt) Isabelle		15
4	francese (fr) Isabelle (logiciel)		11
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 27 luglio 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Giochi della XXXIII Olimpiade, Céline Dion, giochi olimpici, Kamala Harris, sindrome dell'uomo rigido, Deadpool & Wolverine, Giochi della XXXII Olimpiade, Aya Nakamura, Lady Gaga, Maria Antonietta d'Asburgo-Lorena.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Deadpool & Wolverine, 2024 Summer Olympics, Celine Dion, Kamala Harris, List of Olympic Games host cities, Stiff-person syndrome, Katie Ledecky, Lady Gaga, Aya Nakamura, Simone Biles.

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