Թեորեմների ավտոմատացված ապացուցում

Qualità:

L'articolo “Թեորեմների ավտոմատացված ապացուցում” nella Wikipedia in armeno ha 11.7 punti per la qualità (al 1 luglio 2025). L'articolo contiene 3 riferimenti e 6 sezioni.

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

Dalla creazione dell'articolo “Թեորեմների ավտոմատացված ապացուցում”, il suo contenuto è stato scritto da 10 utenti registrati di Wikipedia in armeno e modificato da 452 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 2 volte nella Wikipedia in armeno e citato 1245 volte in tutte le lingue.

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

• Locale (armeno): N. 1450 nel gennaio 2019
• Globale: N. 160 nel novembre 2001

Il grado di popolarità più alto dal 2008:

• Locale (armeno): N. 13425 nel gennaio 2021
• Globale: N. 76291 nell'agosto 2008

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 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) Automated theorem proving		41.4029
2	portoghese (pt) Prova automática de teoremas		34.4439
3	catalano (ca) Demostració automàtica de teoremes		27.8085
4	giapponese (ja) 自動定理証明		22.7638
5	italiano (it) Dimostrazione automatica di teoremi		20.1055
6	serbo (sr) Automatsko dokazivanje teorema		20.0177
7	spagnolo (es) Demostración automática de teoremas		14.0262
8	armeno (hy) Թեորեմների ավտոմատացված ապացուցում		11.7305
9	basco (eu) Teoremen frogapen automatiko		11.422
10	polacco (pl) Automatyczne dowodzenie twierdzeń		10.6074

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Automated theorem proving		1 064 415
2	spagnolo (es) Demostración automática de teoremas		163 216
3	giapponese (ja) 自動定理証明		101 163
4	russo (ru) Автоматическое доказательство		88 443
5	polacco (pl) Automatyczne dowodzenie twierdzeń		65 211
6	cinese (zh) 自動化定理證明		36 476
7	francese (fr) Démonstration automatique de théorèmes		30 711
8	portoghese (pt) Prova automática de teoremas		19 771
9	italiano (it) Dimostrazione automatica di teoremi		12 611
10	persiano (fa) اثبات قضیه خودکار		12 053

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		5 067
2	giapponese (ja) 自動定理証明		351
3	russo (ru) Автоматическое доказательство		267
4	francese (fr) Démonstration automatique de théorèmes		232
5	cinese (zh) 自動化定理證明		173
6	spagnolo (es) Demostración automática de teoremas		115
7	polacco (pl) Automatyczne dowodzenie twierdzeń		60
8	portoghese (pt) Prova automática de teoremas		47
9	italiano (it) Dimostrazione automatica di teoremi		45
10	serbo (sr) Automatsko dokazivanje teorema		44

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		217
2	spagnolo (es) Demostración automática de teoremas		35
3	francese (fr) Démonstration automatique de théorèmes		28
4	giapponese (ja) 自動定理証明		28
5	polacco (pl) Automatyczne dowodzenie twierdzeń		26
6	russo (ru) Автоматическое доказательство		23
7	italiano (it) Dimostrazione automatica di teoremi		20
8	portoghese (pt) Prova automática de teoremas		16
9	cinese (zh) 自動化定理證明		13
10	armeno (hy) Թեորեմների ավտոմատացված ապացուցում		10

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) Automated theorem proving		1
2	giapponese (ja) 自動定理証明		1
3	russo (ru) Автоматическое доказательство		1
4	azero (az) Teoremlərin avtomatik sübutu		0
5	catalano (ca) Demostració automàtica de teoremes		0
6	spagnolo (es) Demostración automática de teoremas		0
7	basco (eu) Teoremen frogapen automatiko		0
8	persiano (fa) اثبات قضیه خودکار		0
9	francese (fr) Démonstration automatique de théorèmes		0
10	armeno (hy) Թեորեմների ավտոմատացված ապացուցում		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 armeno 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 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