Isabelle (Theorembeweiser)

Isabelle - logiciel. Ce logiciel est le 1547e le plus populaire dans le classement mondial Wikipédia de logiciels. L'article "Isabelle (Theorembeweiser)" sur Wikipédia en allemand a 25.2 points pour la qualité (au 1 août 2024). L'article contient 5 références et 3 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 "Isabelle (Theorembeweiser)", son contenu a été rédigé par 31 utilisateurs enregistrés de Wikipédia en allemand et édité par 167 utilisateurs Wikipédia enregistrés dans toutes les langues.

Isabelle est à la 1547^e place dans le classement mondial des logiciels sur Wikipédia dans tout le temps.

L'article est cité 5 fois dans Wikipédia en allemand et cité 192 fois dans toutes les langues.

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

• Local (allemand): n° 40202 en octobre 2017
• Mondial: n° 12174 en décembre 2002

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

• Local (allemand): n° 146862 en février 2024
• Mondial: n° 438580 en mars 2011

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 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) Isabelle (proof assistant)		30.7145
2	allemand (de) Isabelle (Theorembeweiser)		25.2041
3	chinois (zh) Isabelle		23.0617
4	russe (ru) Isabelle		19.2925
5	portugais (pt) Isabelle		15.8977
6	espagnol (es) Isabelle		3.9796
7	français (fr) Isabelle (logiciel)		1.8728

Plus...

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

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

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Isabelle (proof assistant)		338 486
2	allemand (de) Isabelle (Theorembeweiser)		37 069
3	espagnol (es) Isabelle		16 604
4	français (fr) Isabelle (logiciel)		14 470
5	portugais (pt) Isabelle		9 745
6	russe (ru) Isabelle		5 867
7	chinois (zh) Isabelle		3 474

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 "Isabelle (Theorembeweiser)" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Isabelle (proof assistant)		1 802
2	chinois (zh) Isabelle		177
3	allemand (de) Isabelle (Theorembeweiser)		135
4	russe (ru) Isabelle		69
5	français (fr) Isabelle (logiciel)		46
6	espagnol (es) Isabelle		34
7	portugais (pt) Isabelle		24

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 "Isabelle (Theorembeweiser)" 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) Isabelle (proof assistant)		91
2	allemand (de) Isabelle (Theorembeweiser)		31
3	portugais (pt) Isabelle		15
4	français (fr) Isabelle (logiciel)		11
5	espagnol (es) Isabelle		8
6	russe (ru) Isabelle		8
7	chinois (zh) Isabelle		3

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 "Isabelle (Theorembeweiser)" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	allemand (de) Isabelle (Theorembeweiser)		0
2	anglais (en) Isabelle (proof assistant)		0
3	espagnol (es) Isabelle		0
4	français (fr) Isabelle (logiciel)		0
5	portugais (pt) Isabelle		0
6	russe (ru) Isabelle		0
7	chinois (zh) Isabelle		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 "Isabelle (Theorembeweiser)" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Isabelle (proof assistant)		153
2	français (fr) Isabelle (logiciel)		13
3	espagnol (es) Isabelle		11
4	russe (ru) Isabelle		6
5	allemand (de) Isabelle (Theorembeweiser)		5
6	portugais (pt) Isabelle		2
7	chinois (zh) Isabelle		2

Plus...

#	Langue	Valeur
de	allemand Isabelle (Theorembeweiser)
en	anglais Isabelle (proof assistant)
es	espagnol Isabelle
fr	français Isabelle (logiciel)
pt	portugais Isabelle
ru	russe Isabelle
zh	chinois Isabelle

Meilleur rang

allemand: n° 146862 02.2024

Mondial: n° 438580 03.2011

Meilleur rang

allemand: n° 40202 10.2017

Mondial: n° 12174 12.2002

Au 6 septembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Linkin Park, Chester Bennington, Rob Bourdon, Emily Armstrong, Cristiano Ronaldo, Ligue des nations de l'UEFA, Beetlejuice, Jessica Pegula, Mike Shinoda, Rebecca Cheptegei.

Sur Wikipédia en allemand, les articles les plus populaires ce jour-là étaient: Emily Armstrong, Linkin Park, Chester Bennington, Elena Semechin, Annie Lennox, Rich Homie Quan, Liste der größten Auslegerbrücken, Rebecca Cheptegei, In einem Land, das es nicht mehr gibt, Rob Bourdon.

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