Lean (trợ lý chứng minh)

Qualità:

Questo linguaggio di programmazione è il 453° più popolare nella classifica globale di Wikipedia di linguaggi di programmazione e il 111° più popolare linguaggi di programmazione nella Wikipedia in vietnamita. L'articolo "Lean (trợ lý chứng minh)" nella Wikipedia in vietnamita ha 13.6 punti per la qualità (al 1 agosto 2024). L'articolo contiene 3 riferimenti e 4 sezioni.

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

Realizzazioni in tutto il tempo:

Wikipedia in vietnamita:

Il 111° più popolare in linguaggi di programmazione nella Wikipedia in vietnamita.

Wikipedia globale:

Il 453° più popolare in linguaggi di programmazione.

Dalla creazione dell'articolo "Lean (trợ lý chứng minh)", il suo contenuto è stato scritto da 3 utenti registrati di Wikipedia in vietnamita e modificato da 98 utenti registrati di Wikipedia in tutte le lingue.

Lean (trợ lý chứng minh) è al 111° posto nella classifica locale dei linguaggi di programmazione nella Wikipedia in vietnamita e al 453° posto nella classifica globale dei linguaggi di programmazione in tutto il tempo.

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

• Locale (vietnamita): N. 1773 nell'ottobre 2022
• Globale: N. 28638 nel giugno 2024

Il grado di popolarità più alto dal 2008:

• Locale (vietnamita): N. 94386 nell'ottobre 2022
• Globale: N. 160905 nel luglio 2024

Ci sono 12 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	cinese (zh) Lean		44.1679
2	inglese (en) Lean (proof assistant)		39.2322
3	giapponese (ja) Lean (証明アシスタント)		33.3528
4	tedesco (de) Lean (Beweisassistent)		31.898
5	spagnolo (es) Lean		27.6817
6	persiano (fa) لین (دستیار اثبات)		25.4167
7	ucraino (uk) Lean		24.9286
8	russo (ru) Lean		21.4148
9	vietnamita (vi) Lean (trợ lý chứng minh)		13.5515
10	olandese (nl) Lean (bewijsassistent)		10.554

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		198 539
2	russo (ru) Lean		7 610
3	francese (fr) Lean (assistant de preuve)		5 505
4	giapponese (ja) Lean (証明アシスタント)		5 106
5	tedesco (de) Lean (Beweisassistent)		1 729
6	spagnolo (es) Lean		808
7	cinese (zh) Lean		355
8	ucraino (uk) Lean		323
9	ceco (cs) Lean (programovací jazyk)		251
10	vietnamita (vi) Lean (trợ lý chứng minh)		182

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) Lean (proof assistant)		11 293
2	giapponese (ja) Lean (証明アシスタント)		654
3	tedesco (de) Lean (Beweisassistent)		561
4	russo (ru) Lean		330
5	cinese (zh) Lean		226
6	francese (fr) Lean (assistant de preuve)		163
7	spagnolo (es) Lean		110
8	ceco (cs) Lean (programovací jazyk)		15
9	olandese (nl) Lean (bewijsassistent)		15
10	vietnamita (vi) Lean (trợ lý chứng minh)		14

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

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		53
2	francese (fr) Lean (assistant de preuve)		9
3	tedesco (de) Lean (Beweisassistent)		8
4	russo (ru) Lean		8
5	giapponese (ja) Lean (証明アシスタント)		7
6	spagnolo (es) Lean		3
7	vietnamita (vi) Lean (trợ lý chứng minh)		3
8	olandese (nl) Lean (bewijsassistent)		2
9	ucraino (uk) Lean		2
10	ceco (cs) Lean (programovací jazyk)		1

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) Lean (proof assistant)		1
2	spagnolo (es) Lean		1
3	giapponese (ja) Lean (証明アシスタント)		1
4	olandese (nl) Lean (bewijsassistent)		1
5	ceco (cs) Lean (programovací jazyk)		0
6	tedesco (de) Lean (Beweisassistent)		0
7	persiano (fa) لین (دستیار اثبات)		0
8	francese (fr) Lean (assistant de preuve)		0
9	russo (ru) Lean		0
10	ucraino (uk) Lean		0

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

Il 20 ottobre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Liam Payne, Lyle and Erik Menendez, One Direction, Lionel Messi, Rodney Alcala, Yahya Sinwar, The Substance, Cheryl, morti nel 2024, elezioni presidenziali negli Stati Uniti d'America del 2024.

Nella Wikipedia in vietnamita gli articoli più popolari quel giorno erano: Đài Truyền hình Kỹ thuật số VTC, Nguyễn Tân Cương, Lương Tam Quang, Nguyễn Doãn Anh, Nguyễn Xuân Thắng, Phan Văn Giang, Ngày Phụ nữ Việt Nam, Tô Lâm, Lương Cường, Lê Minh Hưng.

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