Prueba formal

Qualità:

Dimostrazione - sequenza finita di proposizioni, ognuna delle quali è un assioma, un'ipotesi o segue dalle proposizioni precedenti per una regola di inferenza. L'articolo "Prueba formal" nella Wikipedia in spagnolo ha 13.7 punti per la qualità (al 1 agosto 2024). L'articolo contiene 0 riferimenti e 13 sezioni.

Questo articolo ha la migliore qualità nella Wikipedia in inglese. Inoltre, questo articolo è il più popolare in quella versione linguistica.

Dalla creazione dell'articolo "Prueba formal", il suo contenuto è stato scritto da 3 utenti registrati di Wikipedia in spagnolo e modificato da 128 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 15 volte nella Wikipedia in spagnolo e citato 1015 volte in tutte le lingue.

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

• Locale (spagnolo): N. 18336 nel luglio 2015
• Globale: N. 76621 nel giugno 2005

Il grado di popolarità più alto dal 2008:

• Locale (spagnolo): N. 289907 nell'aprile 2021
• Globale: N. 192710 nel giugno 2010

Ci sono 8 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 agosto 2024 (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 proof		23.4607
2	italiano (it) Dimostrazione		21.5948
3	portoghese (pt) Derivação formal		15.8082
4	spagnolo (es) Prueba formal		13.6917
5	arabo (ar) برهان فلسفي		10.8116
6	francese (fr) Démonstration formelle		9.4283
7	ucraino (uk) Формальне доведення		6.1949
8	olandese (nl) Formeel bewijs		1.7856

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Formal proof		482 899
2	arabo (ar) برهان فلسفي		155 663
3	italiano (it) Dimostrazione		106 170
4	portoghese (pt) Derivação formal		26 164
5	spagnolo (es) Prueba formal		13 443
6	ucraino (uk) Формальне доведення		10 879
7	olandese (nl) Formeel bewijs		5 203
8	francese (fr) Démonstration formelle		4 949

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 proof		1 389
2	arabo (ar) برهان فلسفي		237
3	italiano (it) Dimostrazione		221
4	francese (fr) Démonstration formelle		66
5	spagnolo (es) Prueba formal		53
6	portoghese (pt) Derivação formal		45
7	ucraino (uk) Формальне доведення		15
8	olandese (nl) Formeel bewijs		6

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

#	Lingua	Premio IA	IA relativi
1	inglese (en) Formal proof		41
2	italiano (it) Dimostrazione		38
3	arabo (ar) برهان فلسفي		14
4	portoghese (pt) Derivação formal		11
5	ucraino (uk) Формальне доведення		11
6	francese (fr) Démonstration formelle		5
7	olandese (nl) Formeel bewijs		5
8	spagnolo (es) Prueba formal		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	inglese (en) Formal proof		1
2	ucraino (uk) Формальне доведення		1
3	arabo (ar) برهان فلسفي		0
4	spagnolo (es) Prueba formal		0
5	francese (fr) Démonstration formelle		0
6	italiano (it) Dimostrazione		0
7	olandese (nl) Formeel bewijs		0
8	portoghese (pt) Derivação formal		0

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

Il 27 agosto 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Oasis, Sven-Göran Eriksson, Pavel Durov, Liam Gallagher, Noel Gallagher, Franco Colapinto, Mariah Carey, Wojciech Szczęsny, Lyle and Erik Menendez, Cristiano Ronaldo.

Nella Wikipedia in spagnolo gli articoli più popolari quel giorno erano: Oasis (banda), Franco Colapinto, Lyle y Erik Menéndez, Dani Olmo, Tabla periódica de los elementos, ChatGPT, Liam Gallagher, Marisol, Sven-Göran Eriksson, Isabel Preysler.

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