Logica di Hoare

Logique de Hoare - formalisme logique permettant de raisonner sur la correction des programmes informatiques.. L'article "Logica di Hoare" sur Wikipédia en italien a 8.3 points pour la qualité (au 1 novembre 2023). L'article contient 0 références et 8 sections. L'article contient également un modèle de défauts de qualité, qui réduit le score de qualité.

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 "Logica di Hoare", son contenu a été rédigé par 28 utilisateurs enregistrés de Wikipédia en italien et édité par 347 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 11 fois dans Wikipédia en italien et cité 241 fois dans toutes les langues.

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

• Local (italien): n° 7458 en septembre 2009
• Mondial: n° 12452 en février 2003

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

• Local (italien): n° 157323 en novembre 2014
• Mondial: n° 167071 en juillet 2015

Il existe 14 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) Hoare logic		37.7682
2	allemand (de) Hoare-Kalkül		35.2928
3	chinois (zh) 霍尔逻辑		24.3494
4	ukrainien (uk) Логіка Гоара		22.7647
5	japonais (ja) ホーア論理		20.707
6	portugais (pt) Lógica de Hoare		20.0445
7	français (fr) Logique de Hoare		19.2879
8	russe (ru) Логика Хоара		18.4943
9	vietnamien (vi) Luận lý Hoare		17.2023
10	slovaque (sk) Hoareova logika		9.9394

Plus...

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

Les versions linguistiques les plus populaires de l'article "Logica di Hoare" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Hoare logic		717 472
2	allemand (de) Hoare-Kalkül		162 626
3	russe (ru) Логика Хоара		65 764
4	français (fr) Logique de Hoare		61 183
5	japonais (ja) ホーア論理		50 918
6	chinois (zh) 霍尔逻辑		37 784
7	espagnol (es) Lógica de Hoare		28 416
8	polonais (pl) Logika Hoare’a		22 509
9	italien (it) Logica di Hoare		21 889
10	portugais (pt) Lógica de Hoare		10 971

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 "Logica di Hoare" en octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Hoare logic		4 121
2	allemand (de) Hoare-Kalkül		761
3	français (fr) Logique de Hoare		409
4	russe (ru) Логика Хоара		228
5	chinois (zh) 霍尔逻辑		203
6	japonais (ja) ホーア論理		186
7	espagnol (es) Lógica de Hoare		131
8	italien (it) Logica di Hoare		118
9	vietnamien (vi) Luận lý Hoare		101
10	portugais (pt) Lógica de Hoare		74

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 "Logica di Hoare" 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) Hoare logic		92
2	allemand (de) Hoare-Kalkül		59
3	français (fr) Logique de Hoare		38
4	italien (it) Logica di Hoare		28
5	néerlandais (nl) Hoarelogica		25
6	chinois (zh) 霍尔逻辑		18
7	ukrainien (uk) Логіка Гоара		17
8	japonais (ja) ホーア論理		15
9	polonais (pl) Logika Hoare’a		15
10	russe (ru) Логика Хоара		15

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 "Logica di Hoare" présentant le plus grand intérêt des auteurs en octobre 2023

#	Langue	Prox de IA	IA relatif
1	allemand (de) Hoare-Kalkül		0
2	anglais (en) Hoare logic		0
3	espagnol (es) Lógica de Hoare		0
4	français (fr) Logique de Hoare		0
5	italien (it) Logica di Hoare		0
6	japonais (ja) ホーア論理		0
7	néerlandais (nl) Hoarelogica		0
8	polonais (pl) Logika Hoare’a		0
9	portugais (pt) Lógica de Hoare		0
10	russe (ru) Логика Хоара		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 "Logica di Hoare" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Hoare logic		75
2	japonais (ja) ホーア論理		20
3	allemand (de) Hoare-Kalkül		19
4	français (fr) Logique de Hoare		19
5	chinois (zh) 霍尔逻辑		19
6	espagnol (es) Lógica de Hoare		18
7	ukrainien (uk) Логіка Гоара		15
8	russe (ru) Логика Хоара		14
9	italien (it) Logica di Hoare		11
10	néerlandais (nl) Hoarelogica		11

Plus...

#	Langue	Valeur
de	allemand Hoare-Kalkül
en	anglais Hoare logic
es	espagnol Lógica de Hoare
fr	français Logique de Hoare
it	italien Logica di Hoare
ja	japonais ホーア論理
nl	néerlandais Hoarelogica
pl	polonais Logika Hoare’a
pt	portugais Lógica de Hoare
ru	russe Логика Хоара
sk	slovaque Hoareova logika
uk	ukrainien Логіка Гоара
vi	vietnamien Luận lý Hoare
zh	chinois 霍尔逻辑

Meilleur rang

italien: n° 157323 11.2014

Mondial: n° 167071 07.2015

Meilleur rang

italien: n° 7458 09.2009

Mondial: n° 12452 02.2003

Au 30 mai 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Fête-Dieu, YouTube, Vincent Kompany, Hansi Flick, Ligue Europa Conférence, décès en 2024, ChatGPT, Olympiakos, Furiosa, Championnat d'Europe de football 2024.

Sur Wikipédia en italien, les articles les plus populaires ce jour-là étaient: Paolo Villaggio, Giacomo Matteotti, Hermodice carunculata, Agostino Di Bartolomei, Com'è umano lui!, Stevan Jovetić, Olympiakos Syndesmos Filathlōn Peiraiōs, UEFA Europa Conference League, Discorso di Giacomo Matteotti del 30 maggio 1924, Skyfall.

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