Otomatik teorem kanıtlama

Qualità:

L'articolo "Otomatik teorem kanıtlama" nella Wikipedia in turco ha 0.2 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 "Otomatik teorem kanıtlama", il suo contenuto è stato scritto da 1 utenti registrati di Wikipedia in turco e modificato da 433 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 7 volte nella Wikipedia in turco e citato 1209 volte in tutte le lingue.

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

• Locale (turco): N. 30920 nel dicembre 2017
• Globale: N. 159 nel novembre 2001

Il grado di popolarità più alto dal 2008:

• Locale (turco): N. 151685 nel marzo 2019
• 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 8 dicembre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Bashar al-Assad, Siria, Guerra civile siriana, Hafiz al-Assad, Asma al-Assad, Tahrir al-Sham, Abu Muhammad al-Jawlani, alauiti, Bandiera della Siria, Ayrton Senna.

Nella Wikipedia in turco gli articoli più popolari quel giorno erano: Beşşar Esad, Suriye İç Savaşı, Suriye, Esma Esad, Ebu Muhammed el-Cevlani, Suriye bayrağı, Esad ailesi, Hey'etu Tahrîri'ş-Şâm, 1935 Türkiye genel seçimleri, Mahir Esad.

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