Lean (trợ lý chứng minh)

Lean - assistant de preuve. L'article "Lean (trợ lý chứng minh)" sur Wikipédia en vietnamien a 13.6 points pour la qualité (au 1 novembre 2023). L'article contient 3 références et 4 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Lean (trợ lý chứng minh)", son contenu a été rédigé par 3 utilisateurs enregistrés de Wikipédia en vietnamien et édité par 64 utilisateurs Wikipédia enregistrés dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (vietnamien): n° 1790 en octobre 2022
• Mondial: n° 58562 en octobre 2023

Le classement de popularité le plus élevé depuis 2008:

• Local (vietnamien): n° 94698 en octobre 2022
• Mondial: n° 246309 en octobre 2023

Il existe 7 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 novembre 2023 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Lean (proof assistant)		33.0469
2	ukrainien (uk) Lean		24.9066
3	russe (ru) Lean		21.3277
4	japonais (ja) Lean (証明アシスタント)		14.0086
5	vietnamien (vi) Lean (trợ lý chứng minh)		13.6153
6	français (fr) Lean (assistant de preuve)		10.6629
7	tchèque (cs) Lean (programovací jazyk)		0.2887

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Lean (trợ lý chứng minh)" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Lean (proof assistant)		133 587
2	russe (ru) Lean		6 219
3	français (fr) Lean (assistant de preuve)		4 088
4	japonais (ja) Lean (証明アシスタント)		1 273
5	ukrainien (uk) Lean		196
6	tchèque (cs) Lean (programovací jazyk)		172
7	vietnamien (vi) Lean (trợ lý chứng minh)		104

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Lean (trợ lý chứng minh)" en octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Lean (proof assistant)		8 354
2	japonais (ja) Lean (証明アシスタント)		328
3	français (fr) Lean (assistant de preuve)		250
4	russe (ru) Lean		145
5	ukrainien (uk) Lean		59
6	tchèque (cs) Lean (programovací jazyk)		21
7	vietnamien (vi) Lean (trợ lý chứng minh)		6

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Lean (trợ lý chứng minh)" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Lean (proof assistant)		39
2	français (fr) Lean (assistant de preuve)		8
3	russe (ru) Lean		8
4	japonais (ja) Lean (証明アシスタント)		3
5	vietnamien (vi) Lean (trợ lý chứng minh)		3
6	ukrainien (uk) Lean		2
7	tchèque (cs) Lean (programovací jazyk)		1

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Lean (trợ lý chứng minh)" présentant le plus grand intérêt des auteurs en octobre 2023

#	Langue	Prox de IA	IA relatif
1	anglais (en) Lean (proof assistant)		8
2	ukrainien (uk) Lean		2
3	tchèque (cs) Lean (programovací jazyk)		0
4	français (fr) Lean (assistant de preuve)		0
5	japonais (ja) Lean (証明アシスタント)		0
6	russe (ru) Lean		0
7	vietnamien (vi) Lean (trợ lý chứng minh)		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Lean (trợ lý chứng minh)" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Lean (proof assistant)		340
2	russe (ru) Lean		75
3	français (fr) Lean (assistant de preuve)		5
4	tchèque (cs) Lean (programovací jazyk)		3
5	ukrainien (uk) Lean		2
6	japonais (ja) Lean (証明アシスタント)		1
7	vietnamien (vi) Lean (trợ lý chứng minh)		0

Plus...

#	Langue	Valeur
cs	tchèque Lean (programovací jazyk)
en	anglais Lean (proof assistant)
fr	français Lean (assistant de preuve)
ja	japonais Lean (証明アシスタント)
ru	russe Lean
uk	ukrainien Lean
vi	vietnamien Lean (trợ lý chứng minh)

Meilleur rang

vietnamien: n° 94698 10.2022

Mondial: n° 246309 10.2023

Meilleur rang

vietnamien: n° 1790 10.2022

Mondial: n° 58562 10.2023

Au 12 août 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Jeux olympiques d'été de 2024, Jeux olympiques, Jeux olympiques d'été de 2028, Tom Cruise, Deadpool and Wolverine, Stephen Curry, Imane Khelif, Décompte des médailles olympiques par nation, Snoop Dogg, ville olympique.

Sur Wikipédia en vietnamien, les articles les plus populaires ce jour-là étaient: Cục An ninh chính trị nội bộ (Việt Nam), Đài Truyền hình Kỹ thuật số VTC, Đinh Văn Nơi, Tô Lâm, Xung đột biên giới Thái Lan-Campuchia 2009, Phạm Thế Tùng, Vũ Hồng Văn, Bộ Công an (Việt Nam), Nội chiến Myanmar, Nguyễn Ngọc Lâm.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de novembre 2023. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de octobre 2023 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information