اثبات قضیه خودکار

Qualità:

L'articolo "اثبات قضیه خودکار" nella Wikipedia in persiano ha 2.9 punti per la qualità (al 1 agosto 2024).

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

Dalla creazione dell'articolo "اثبات قضیه خودکار", il suo contenuto è stato scritto da 5 utenti registrati di Wikipedia in persiano e modificato da 433 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 23 volte nella Wikipedia in persiano e citato 1209 volte in tutte le lingue.

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

• Locale (persiano): N. 6727 nell'aprile 2014
• Globale: N. 159 nel novembre 2001

Il grado di popolarità più alto dal 2008:

• Locale (persiano): N. 27282 nell'aprile 2009
• Globale: N. 76366 nell'agosto 2008

Ci sono 18 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) Automated theorem proving		39.4863
2	portoghese (pt) Prova automática de teoremas		34.3326
3	giapponese (ja) 自動定理証明		22.9521
4	italiano (it) Dimostrazione automatica di teoremi		20.3953
5	serbo (sr) Automatsko dokazivanje teorema		20.1405
6	spagnolo (es) Demostración automática de teoremas		14.509
7	basco (eu) Teoremen frogapen automatiko		11.4527
8	polacco (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	russo (ru) Автоматическое доказательство		8.8433
10	azero (az) Teoremlərin avtomatik sübutu		8.2056

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Automated theorem proving		1 013 140
2	spagnolo (es) Demostración automática de teoremas		161 826
3	giapponese (ja) 自動定理証明		97 457
4	russo (ru) Автоматическое доказательство		84 998
5	polacco (pl) Automatyczne dowodzenie twierdzeń		64 193
6	cinese (zh) 自動化定理證明		33 880
7	francese (fr) Démonstration automatique de théorèmes		29 520
8	portoghese (pt) Prova automática de teoremas		19 296
9	italiano (it) Dimostrazione automatica di teoremi		11 984
10	persiano (fa) اثبات قضیه خودکار		11 542

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) Automated theorem proving		4 735
2	giapponese (ja) 自動定理証明		374
3	russo (ru) Автоматическое доказательство		227
4	cinese (zh) 自動化定理證明		216
5	spagnolo (es) Demostración automática de teoremas		118
6	italiano (it) Dimostrazione automatica di teoremi		99
7	francese (fr) Démonstration automatique de théorèmes		92
8	polacco (pl) Automatyczne dowodzenie twierdzeń		70
9	persiano (fa) اثبات قضیه خودکار		58
10	serbo (sr) Automatsko dokazivanje teorema		56

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

#	Lingua	Premio IA	IA relativi
1	inglese (en) Automated theorem proving		214
2	spagnolo (es) Demostración automática de teoremas		35
3	francese (fr) Démonstration automatique de théorèmes		27
4	giapponese (ja) 自動定理証明		27
5	polacco (pl) Automatyczne dowodzenie twierdzeń		25
6	russo (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		19
8	portoghese (pt) Prova automática de teoremas		16
9	cinese (zh) 自動化定理證明		13
10	ucraino (uk) Автоматизоване доведення теорем		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	serbo (sr) Automatsko dokazivanje teorema		1
2	azero (az) Teoremlərin avtomatik sübutu		0
3	inglese (en) Automated theorem proving		0
4	spagnolo (es) Demostración automática de teoremas		0
5	basco (eu) Teoremen frogapen automatiko		0
6	persiano (fa) اثبات قضیه خودکار		0
7	francese (fr) Démonstration automatique de théorèmes		0
8	armeno (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italiano (it) Dimostrazione automatica di teoremi		0
10	giapponese (ja) 自動定理証明		0

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

Il 6 novembre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Donald Trump, elezioni presidenziali negli Stati Uniti d'America del 2024, Kamala Harris, elezioni presidenziali negli Stati Uniti d'America del 2020, collegio elettorale degli Stati Uniti d'America, presidente degli Stati Uniti d'America, elezioni presidenziali negli Stati Uniti d'America del 2016, Melania Trump, presidenti degli Stati Uniti d'America, Joe Biden.

Nella Wikipedia in persiano gli articoli più popolari quel giorno erano: دونالد ترامپ, انتخابات ریاست‌جمهوری ایالات متحده آمریکا (۲۰۲۴), مجمع گزینندگان ایالات متحده آمریکا, انتخابات ریاست‌جمهوری ایالات متحده آمریکا, انتخابات ریاست‌جمهوری ایالات متحده آمریکا (۲۰۲۰), کامالا هریس, ملانیا ترامپ, خانواده دونالد ترامپ, فهرست رئیس‌جمهورهای ایالات متحده آمریکا, رئیس‌جمهور ایالات متحده آمریکا.

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