Coq (logiciel)

Coq - assistant de preuve. Ce langage de programmation est le 173e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 103e le plus populaire langages de programmation sur Wikipédia en français. L'article "Coq (logiciel)" sur Wikipédia en français a 18 points pour la qualité (au 1 novembre 2023). L'article contient 7 références et 8 sections.

Cet article a la meilleure qualité sur Wikipédia en allemand. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

Depuis la création de l'article "Coq (logiciel)", son contenu a été rédigé par 69 utilisateurs enregistrés de Wikipédia en français et édité par 312 utilisateurs Wikipédia enregistrés dans toutes les langues.

Coq est à la 103^e place du classement local des langages de programmation sur Wikipédia en français et à la 173^e place dans le classement mondial des langages de programmation dans tout le temps.

L'article est cité 66 fois dans Wikipédia en français et cité 322 fois dans toutes les langues.

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

• Local (français): n° 4894 en décembre 2004
• Mondial: n° 21290 en avril 2004

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

• Local (français): n° 88977 en novembre 2012
• Mondial: n° 151332 en avril 2021

Il existe 11 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	allemand (de) Coq (Software)		34.3537
2	anglais (en) Coq		31.9262
3	portugais (pt) Coq		25.3571
4	chinois (zh) Coq		24.9959
5	russe (ru) Coq		23.8444
6	ukrainien (uk) Coq		22.6317
7	français (fr) Coq (logiciel)		18.0305
8	finnois (fi) Coq		15.9389
9	grec (el) Coq		14.6271
10	japonais (ja) Coq		13.9687

Plus...

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

Les versions linguistiques les plus populaires de l'article "Coq (logiciel)" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Coq		857 113
2	français (fr) Coq (logiciel)		117 204
3	russe (ru) Coq		90 249
4	japonais (ja) Coq		71 959
5	allemand (de) Coq (Software)		51 724
6	espagnol (es) Coq		29 983
7	chinois (zh) Coq		28 919
8	portugais (pt) Coq		5 033
9	grec (el) Coq		3 711
10	finnois (fi) Coq		1 756

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 "Coq (logiciel)" en octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Coq		6 057
2	français (fr) Coq (logiciel)		763
3	russe (ru) Coq		637
4	japonais (ja) Coq		476
5	allemand (de) Coq (Software)		334
6	chinois (zh) Coq		183
7	espagnol (es) Coq		150
8	portugais (pt) Coq		91
9	ukrainien (uk) Coq		64
10	finnois (fi) Coq		37

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 "Coq (logiciel)" 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) Coq		139
2	français (fr) Coq (logiciel)		69
3	allemand (de) Coq (Software)		36
4	russe (ru) Coq		23
5	japonais (ja) Coq		14
6	espagnol (es) Coq		9
7	chinois (zh) Coq		8
8	ukrainien (uk) Coq		6
9	grec (el) Coq		5
10	finnois (fi) Coq		2

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 "Coq (logiciel)" présentant le plus grand intérêt des auteurs en octobre 2023

#	Langue	Prox de IA	IA relatif
1	anglais (en) Coq		2
2	ukrainien (uk) Coq		1
3	allemand (de) Coq (Software)		0
4	grec (el) Coq		0
5	espagnol (es) Coq		0
6	finnois (fi) Coq		0
7	français (fr) Coq (logiciel)		0
8	japonais (ja) Coq		0
9	portugais (pt) Coq		0
10	russe (ru) Coq		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 "Coq (logiciel)" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Coq		116
2	français (fr) Coq (logiciel)		66
3	russe (ru) Coq		36
4	chinois (zh) Coq		22
5	japonais (ja) Coq		21
6	allemand (de) Coq (Software)		19
7	ukrainien (uk) Coq		15
8	espagnol (es) Coq		12
9	portugais (pt) Coq		7
10	grec (el) Coq		6

Plus...

#	Langue	Valeur
de	allemand Coq (Software)
el	grec Coq
en	anglais Coq
es	espagnol Coq
fi	finnois Coq
fr	français Coq (logiciel)
ja	japonais Coq
pt	portugais Coq
ru	russe Coq
uk	ukrainien Coq
zh	chinois Coq

Meilleur rang

français: n° 88977 11.2012

Mondial: n° 151332 04.2021

Meilleur rang

français: n° 4894 12.2004

Mondial: n° 21290 04.2004

Au 28 avril 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: YouTube, Fallout, Facebook, Baby Reindeer, Challengers, championnat d'Angleterre de football, Fallout, décès en 2024, La Reine des larmes, Arsenal FC.

Sur Wikipédia en français, les articles les plus populaires ce jour-là étaient: Doully, Jean-Pierre Ferland, Cookie (informatique), François Sureau, L'Année du dragon, Les Animaux fantastiques : Les Secrets de Dumbledore, Le Grand Pardon, Omar Sy, Mickey Rourke, Les Animaux fantastiques (film).

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