Coq

Coq - assistant de preuve. Ce langage de programmation est le 168e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 153e le plus populaire langages de programmation sur Wikipédia en finnois. L'article "Coq" sur Wikipédia en finnois a 16 points pour la qualité (au 1 août 2024). 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 "Coq", son contenu a été rédigé par 2 utilisateurs enregistrés de Wikipédia en finnois et édité par 330 utilisateurs Wikipédia enregistrés dans toutes les langues.

Coq est à la 153^e place du classement local des langages de programmation sur Wikipédia en finnois et à la 168^e place dans le classement mondial des langages de programmation dans tout le temps.

L'article est cité 2 fois dans Wikipédia en finnois et cité 373 fois dans toutes les langues.

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

• Local (finnois): n° 5151 en décembre 2014
• Mondial: n° 21280 en avril 2004

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

• Local (finnois): n° 82267 en juin 2021
• Mondial: n° 150907 en avril 2021

Il existe 12 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 août 2024 (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) Coq (software)		38.9759
2	allemand (de) Coq (Software)		34.2615
3	chinois (zh) Coq		25.0341
4	ukrainien (uk) Coq		24.129
5	portugais (pt) Coq		24.0981
6	russe (ru) Coq		23.8687
7	français (fr) Coq (logiciel)		19.6796
8	finnois (fi) Coq		15.9546
9	grec (el) Coq		14.3332
10	japonais (ja) Coq		14.0752

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" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Coq (software)		897 942
2	français (fr) Coq (logiciel)		124 132
3	russe (ru) Coq		94 551
4	japonais (ja) Coq		76 139
5	allemand (de) Coq (Software)		54 674
6	chinois (zh) Coq		32 208
7	espagnol (es) Coq		31 301
8	portugais (pt) Coq		5 617
9	grec (el) Coq		3 815
10	finnois (fi) Coq		1 900

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" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Coq (software)		6 260
2	français (fr) Coq (logiciel)		1 484
3	allemand (de) Coq (Software)		604
4	japonais (ja) Coq		513
5	russe (ru) Coq		392
6	chinois (zh) Coq		361
7	espagnol (es) Coq		119
8	portugais (pt) Coq		42
9	néerlandais (nl) Coq		11
10	grec (el) Coq		10

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" 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 (software)		148
2	français (fr) Coq (logiciel)		73
3	allemand (de) Coq (Software)		36
4	russe (ru) Coq		23
5	japonais (ja) Coq		15
6	espagnol (es) Coq		10
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" présentant le plus grand intérêt des auteurs en juillet 2024

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

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

Plus...

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

Meilleur rang

finnois: n° 82267 06.2021

Mondial: n° 150907 04.2021

Meilleur rang

finnois: n° 5151 12.2014

Mondial: n° 21280 04.2004

Au 19 novembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Mike Tyson, Elon Musk, MGM-140 ATACMS, Gladiator 2, Journée internationale de l'homme, Ligue des nations de l'UEFA 2024-2025, Donald Trump, Jake Paul, Jon Jones, décès en 2024.

Sur Wikipédia en finnois, les articles les plus populaires ce jour-là étaient: Kansainvälinen miestenpäivä, Sexmane, Ajolähtö (elokuva), Tero Niva, Somalimaa, Isaac Sene, Anders Behring Breivik, Frank Robson, Tony Miettinen, Petteri Kilpinen.

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 août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 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