Kripke structure (model checking)

L'article "Kripke structure (model checking)" sur Wikipédia en anglais a 21.6 points pour la qualité (au 1 août 2024). L'article contient 6 références et 5 sections.

Dans cette version linguistique de Wikipédia, l'article est de la meilleure qualité. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Kripke structure (model checking)", son contenu a été rédigé par 36 utilisateurs enregistrés de Wikipédia en anglais et édité par 108 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 16 fois dans Wikipédia en anglais et cité 83 fois dans toutes les langues.

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

• Local (anglais): n° 46276 en mars 2005
• Mondial: n° 103723 en mars 2005

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

• Local (anglais): n° 466282 en février 2008
• Mondial: n° 635217 en novembre 2014

Il existe 10 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) Kripke structure (model checking)		21.5541
2	chinois (zh) 克里普克结构		20.3715
3	français (fr) Structure de Kripke		18.7236
4	espagnol (es) Estructura de Kripke		16.7545
5	grec (el) Δομή Κρίπκε		11.297
6	coréen (ko) 크립키 구조		10.2841
7	russe (ru) Модель Крипке		8.3681
8	slovaque (sk) Kripkeho štruktúra		3.2929
9	italien (it) Modelli di Kripke		3.1421
10	polonais (pl) Model Kripkego		0.2333

Plus...

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

Les versions linguistiques les plus populaires de l'article "Kripke structure (model checking)" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Kripke structure (model checking)		210 328
2	russe (ru) Модель Крипке		23 914
3	français (fr) Structure de Kripke		22 821
4	polonais (pl) Model Kripkego		16 916
5	italien (it) Modelli di Kripke		10 097
6	coréen (ko) 크립키 구조		6 090
7	espagnol (es) Estructura de Kripke		5 435
8	chinois (zh) 克里普克结构		4 591
9	slovaque (sk) Kripkeho štruktúra		2 772
10	grec (el) Δομή Κρίπκε		1 973

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 "Kripke structure (model checking)" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Kripke structure (model checking)		716
2	espagnol (es) Estructura de Kripke		38
3	russe (ru) Модель Крипке		38
4	chinois (zh) 克里普克结构		37
5	français (fr) Structure de Kripke		35
6	polonais (pl) Model Kripkego		23
7	italien (it) Modelli di Kripke		19
8	coréen (ko) 크립키 구조		10
9	grec (el) Δομή Κρίπκε		3
10	slovaque (sk) Kripkeho štruktúra		0

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 "Kripke structure (model checking)" 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) Kripke structure (model checking)		36
2	français (fr) Structure de Kripke		20
3	italien (it) Modelli di Kripke		11
4	polonais (pl) Model Kripkego		11
5	coréen (ko) 크립키 구조		7
6	espagnol (es) Estructura de Kripke		6
7	russe (ru) Модель Крипке		6
8	chinois (zh) 克里普克结构		6
9	grec (el) Δομή Κρίπκε		4
10	slovaque (sk) Kripkeho štruktúra		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 "Kripke structure (model checking)" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	grec (el) Δομή Κρίπκε		0
2	anglais (en) Kripke structure (model checking)		0
3	espagnol (es) Estructura de Kripke		0
4	français (fr) Structure de Kripke		0
5	italien (it) Modelli di Kripke		0
6	coréen (ko) 크립키 구조		0
7	polonais (pl) Model Kripkego		0
8	russe (ru) Модель Крипке		0
9	slovaque (sk) Kripkeho štruktúra		0
10	chinois (zh) 克里普克结构		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 "Kripke structure (model checking)" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	français (fr) Structure de Kripke		39
2	anglais (en) Kripke structure (model checking)		16
3	espagnol (es) Estructura de Kripke		5
4	chinois (zh) 克里普克结构		5
5	grec (el) Δομή Κρίπκε		4
6	coréen (ko) 크립키 구조		4
7	russe (ru) Модель Крипке		4
8	italien (it) Modelli di Kripke		2
9	polonais (pl) Model Kripkego		2
10	slovaque (sk) Kripkeho štruktúra		2

Plus...

#	Langue	Valeur
el	grec Δομή Κρίπκε
en	anglais Kripke structure (model checking)
es	espagnol Estructura de Kripke
fr	français Structure de Kripke
it	italien Modelli di Kripke
ko	coréen 크립키 구조
pl	polonais Model Kripkego
ru	russe Модель Крипке
sk	slovaque Kripkeho štruktúra
zh	chinois 克里普克结构

Meilleur rang

anglais: n° 466282 02.2008

Mondial: n° 635217 11.2014

Meilleur rang

anglais: n° 46276 03.2005

Mondial: n° 103723 03.2005

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 anglais, les articles les plus populaires ce jour-là étaient: Emily Armstrong (musician), Linkin Park, Rich Homie Quan, Chester Bennington, Jessica Pegula, Beetlejuice Beetlejuice, Xavier Worthy, Rob Bourdon, Dead Sara, The Perfect Couple (TV series).

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