Curry-Howard-Isomorphismus

Correspondance de Curry-Howard - isomorphisme entre les programmes informatiques et les preuves mathématiques. L'article "Curry-Howard-Isomorphismus" sur Wikipédia en allemand a 6.9 points pour la qualité (au 1 juillet 2025). L'article contient 0 références et 6 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 "Curry-Howard-Isomorphismus", son contenu a été rédigé par 15 utilisateurs enregistrés de Wikipédia en allemand et édité par 298 utilisateurs Wikipédia enregistrés dans toutes les langues.

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

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

• Local (allemand): n° 34566 en décembre 2012
• Mondial: n° 27185 en août 2004

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

• Local (allemand): n° 416650 en décembre 2017
• Mondial: n° 179297 en août 2018

Il existe 16 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 juillet 2025 (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) Curry–Howard correspondence		43.8206
2	arabe (ar) تطابق كاري-هوارد		33.9487
3	chinois (zh) 柯里-霍华德同构		33.657
4	estonien (et) Curry-Howardi vastavus		30.1921
5	portugais (pt) Isomorfismo de Curry-Howard		28.0741
6	japonais (ja) カリー＝ハワード同型対応		27.7821
7	néerlandais (nl) Curry–Howard-isomorfisme		25.2901
8	français (fr) Correspondance de Curry-Howard		14.1706
9	polonais (pl) Izomorfizm Curry’ego-Howarda		12.9049
10	ukrainien (uk) Відповідність Каррі — Говарда		10.7062

Plus...

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

Les versions linguistiques les plus populaires de l'article "Curry-Howard-Isomorphismus" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Curry–Howard correspondence		1 013 278
2	français (fr) Correspondance de Curry-Howard		79 769
3	japonais (ja) カリー＝ハワード同型対応		74 483
4	chinois (zh) 柯里-霍华德同构		44 264
5	russe (ru) Соответствие Карри — Ховарда		41 786
6	allemand (de) Curry-Howard-Isomorphismus		23 228
7	polonais (pl) Izomorfizm Curry’ego-Howarda		11 411
8	portugais (pt) Isomorfismo de Curry-Howard		9 812
9	espagnol (es) Correspondencia de Curry-Howard		4 122
10	coréen (ko) 커리-하워드 대응		2 306

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 "Curry-Howard-Isomorphismus" en juin 2025

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Curry–Howard correspondence		6 880
2	japonais (ja) カリー＝ハワード同型対応		712
3	russe (ru) Соответствие Карри — Ховарда		269
4	chinois (zh) 柯里-霍华德同构		266
5	français (fr) Correspondance de Curry-Howard		265
6	allemand (de) Curry-Howard-Isomorphismus		79
7	coréen (ko) 커리-하워드 대응		67
8	polonais (pl) Izomorfizm Curry’ego-Howarda		57
9	espagnol (es) Correspondencia de Curry-Howard		38
10	portugais (pt) Isomorfismo de Curry-Howard		32

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 "Curry-Howard-Isomorphismus" 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) Curry–Howard correspondence		127
2	français (fr) Correspondance de Curry-Howard		59
3	japonais (ja) カリー＝ハワード同型対応		17
4	chinois (zh) 柯里-霍华德同构		17
5	allemand (de) Curry-Howard-Isomorphismus		15
6	portugais (pt) Isomorfismo de Curry-Howard		13
7	polonais (pl) Izomorfizm Curry’ego-Howarda		10
8	russe (ru) Соответствие Карри — Ховарда		9
9	ukrainien (uk) Відповідність Каррі — Говарда		9
10	tchèque (cs) Curryho–Howardův isomorfismus		6

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 "Curry-Howard-Isomorphismus" présentant le plus grand intérêt des auteurs en juin 2025

#	Langue	Prox de IA	IA relatif
1	arabe (ar) تطابق كاري-هوارد		4
2	anglais (en) Curry–Howard correspondence		1
3	estonien (et) Curry-Howardi vastavus		1
4	chinois (zh) 柯里-霍华德同构		1
5	catalan (ca) Correspondència Curry-Howard		0
6	tchèque (cs) Curryho–Howardův isomorfismus		0
7	allemand (de) Curry-Howard-Isomorphismus		0
8	espagnol (es) Correspondencia de Curry-Howard		0
9	français (fr) Correspondance de Curry-Howard		0
10	japonais (ja) カリー＝ハワード同型対応		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 "Curry-Howard-Isomorphismus" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Curry–Howard correspondence		179
2	français (fr) Correspondance de Curry-Howard		144
3	chinois (zh) 柯里-霍华德同构		46
4	japonais (ja) カリー＝ハワード同型対応		34
5	russe (ru) Соответствие Карри — Ховарда		27
6	portugais (pt) Isomorfismo de Curry-Howard		16
7	ukrainien (uk) Відповідність Каррі — Говарда		11
8	allemand (de) Curry-Howard-Isomorphismus		9
9	espagnol (es) Correspondencia de Curry-Howard		6
10	estonien (et) Curry-Howardi vastavus		6

Plus...

#	Langue	Valeur
ar	arabe تطابق كاري-هوارد
ca	catalan Correspondència Curry-Howard
cs	tchèque Curryho–Howardův isomorfismus
de	allemand Curry-Howard-Isomorphismus
en	anglais Curry–Howard correspondence
es	espagnol Correspondencia de Curry-Howard
et	estonien Curry-Howardi vastavus
fr	français Correspondance de Curry-Howard
ja	japonais カリー＝ハワード同型対応
ko	coréen 커리-하워드 대응
nl	néerlandais Curry–Howard-isomorfisme
pl	polonais Izomorfizm Curry’ego-Howarda
pt	portugais Isomorfismo de Curry-Howard
ru	russe Соответствие Карри — Ховарда
uk	ukrainien Відповідність Каррі — Говарда
zh	chinois 柯里-霍华德同构

Meilleur rang

allemand: n° 416650 12.2017

Mondial: n° 179297 08.2018

Meilleur rang

allemand: n° 34566 12.2012

Mondial: n° 27185 08.2004

Au 12 août 2025 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Cristiano Ronaldo, Mercredi, Georgina Rodríguez, ChatGPT, Évanouis, Jenna Ortega, décès en 2025, Taylor Swift, Miguel Uribe Turbay, Ligue des champions de l'UEFA 2025-2026.

Sur Wikipédia en allemand, les articles les plus populaires ce jour-là étaient: Julia Klöckner, Perseiden, Jörg Pilawa, Martin Brambach, Japan-Air-Lines-Flug 123, Liste der größten Auslegerbrücken, Dawyd Tschytschkan, Kursk (U-Boot), Spotlight (Film), Drachenlord.

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 juillet 2025. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juin 2025 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2025... Plus d'information