Formal verification

Qualità:

L'articolo "Formal verification" nella Wikipedia in inglese ha 31.4 punti per la qualità (al 1 novembre 2023). L'articolo contiene 22 riferimenti e 7 sezioni.

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

Nel ottobre 2023 l'articolo "Formal verification" è stato modificato da 3 autori nella Wikipedia in inglese e scritto da 5 autori in tutte le lingue.

Dalla creazione dell'articolo "Formal verification", il suo contenuto è stato scritto da 163 utenti registrati di Wikipedia in inglese e modificato da 342 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 276 volte nella Wikipedia in inglese e citato 713 volte in tutte le lingue.

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

• Locale (inglese): N. 14882 nell'aprile 2004
• Globale: N. 20053 nel novembre 2003

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 101784 nel settembre 2014
• Globale: N. 149624 nel settembre 2014

Ci sono 19 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) Formal verification		31.4352
2	basco (eu) Egiaztapen formala (informatika)		26.4615
3	arabo (ar) التحقق الشكلي		21.7851
4	svedese (sv) Formell verifiering		21.4736
5	greco (el) Τυπική επαλήθευση		16.7359
6	italiano (it) Verifica formale		14.8767
7	russo (ru) Формальная верификация		13.3645
8	giapponese (ja) 形式的検証		13.348
9	spagnolo (es) Verificación formal		12.4295
10	ucraino (uk) Формальна верифікація		8.0367

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Formal verification		1 070 776
2	russo (ru) Формальная верификация		123 578
3	giapponese (ja) 形式的検証		73 722
4	cinese (zh) 形式验证		54 880
5	spagnolo (es) Verificación formal		38 412
6	francese (fr) Vérification formelle		33 437
7	ebraico (he) אימות תוכנה		20 846
8	portoghese (pt) Verificação formal		15 772
9	polacco (pl) Weryfikacja formalna		15 607
10	ucraino (uk) Формальна верифікація		12 366

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) Formal verification		5 424
2	russo (ru) Формальная верификация		464
3	cinese (zh) 形式验证		316
4	giapponese (ja) 形式的検証		209
5	spagnolo (es) Verificación formal		184
6	francese (fr) Vérification formelle		109
7	italiano (it) Verifica formale		51
8	ebraico (he) אימות תוכנה		37
9	inglese semplice (simple) Formal verification		36
10	portoghese (pt) Verificação formal		32

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

#	Lingua	Premio IA	IA relativi
1	inglese (en) Formal verification		163
2	russo (ru) Формальная верификация		28
3	francese (fr) Vérification formelle		25
4	ebraico (he) אימות תוכנה		22
5	cinese (zh) 形式验证		19
6	spagnolo (es) Verificación formal		13
7	giapponese (ja) 形式的検証		11
8	ucraino (uk) Формальна верифікація		10
9	polacco (pl) Weryfikacja formalna		9
10	turco (tr) Program doğrulama		9

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

#	Lingua	Premio IA	IA relativi
1	inglese (en) Formal verification		3
2	ceco (cs) Formální verifikace		1
3	russo (ru) Формальная верификация		1
4	arabo (ar) التحقق الشكلي		0
5	greco (el) Τυπική επαλήθευση		0
6	spagnolo (es) Verificación formal		0
7	basco (eu) Egiaztapen formala (informatika)		0
8	persiano (fa) درستی‌یابی صوری		0
9	francese (fr) Vérification formelle		0
10	ebraico (he) אימות תוכנה		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