Соответствие Карри — Ховарда

ru

WikiRank.net
ver. 1.6.2

Соответствие Карри — Ховарда

Quality:

Curry–Howard correspondence - the direct relationship between computer programs and mathematical proofs. Article “Соответствие Карри — Ховарда” in Russian Wikipedia has 7.1 points for quality (as of July 1, 2025). The article contains 2 references and 2 sections.

This article has the best quality in English Wikipedia. Also, this article is the most popular in that (Russian) language version.

Since the creation of article “Соответствие Карри — Ховарда”, its content was written by 9 registered users of Russian Wikipedia and edited by 298 registered Wikipedia users in all languages.

The article is cited 27 times in Russian Wikipedia and cited 506 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (Russian): #13483 in December 2012
  • Global: #27185 in August 2004

The highest popularity rank from 2008:

  • Local (Russian): #187846 in August 2019
  • Global: #179297 in August 2018

There are 16 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Curry–Howard correspondence
43.8206
2Arabic (ar)
تطابق كاري-هوارد
33.9487
3Chinese (zh)
柯里-霍华德同构
33.657
4Estonian (et)
Curry-Howardi vastavus
30.1921
5Portuguese (pt)
Isomorfismo de Curry-Howard
28.0741
6Japanese (ja)
カリー=ハワード同型対応
27.7821
7Dutch (nl)
Curry–Howard-isomorfisme
25.2901
8French (fr)
Correspondance de Curry-Howard
14.1706
9Polish (pl)
Izomorfizm Curry’ego-Howarda
12.9049
10Ukrainian (uk)
Відповідність Каррі — Говарда
10.7062
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Соответствие Карри — Ховарда" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Curry–Howard correspondence
1 013 278
2French (fr)
Correspondance de Curry-Howard
79 769
3Japanese (ja)
カリー=ハワード同型対応
74 483
4Chinese (zh)
柯里-霍华德同构
44 264
5Russian (ru)
Соответствие Карри — Ховарда
41 786
6German (de)
Curry-Howard-Isomorphismus
23 228
7Polish (pl)
Izomorfizm Curry’ego-Howarda
11 411
8Portuguese (pt)
Isomorfismo de Curry-Howard
9 812
9Spanish (es)
Correspondencia de Curry-Howard
4 122
10Korean (ko)
커리-하워드 대응
2 306
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in June 2025

The most popular language versions of the article "Соответствие Карри — Ховарда" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Curry–Howard correspondence
6 880
2Japanese (ja)
カリー=ハワード同型対応
712
3Russian (ru)
Соответствие Карри — Ховарда
269
4Chinese (zh)
柯里-霍华德同构
266
5French (fr)
Correspondance de Curry-Howard
265
6German (de)
Curry-Howard-Isomorphismus
79
7Korean (ko)
커리-하워드 대응
67
8Polish (pl)
Izomorfizm Curry’ego-Howarda
57
9Spanish (es)
Correspondencia de Curry-Howard
38
10Portuguese (pt)
Isomorfismo de Curry-Howard
32
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Соответствие Карри — Ховарда" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Curry–Howard correspondence
127
2French (fr)
Correspondance de Curry-Howard
59
3Japanese (ja)
カリー=ハワード同型対応
17
4Chinese (zh)
柯里-霍华德同构
17
5German (de)
Curry-Howard-Isomorphismus
15
6Portuguese (pt)
Isomorfismo de Curry-Howard
13
7Polish (pl)
Izomorfizm Curry’ego-Howarda
10
8Russian (ru)
Соответствие Карри — Ховарда
9
9Ukrainian (uk)
Відповідність Каррі — Говарда
9
10Czech (cs)
Curryho–Howardův isomorfismus
6
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in June 2025

Language versions of the article "Соответствие Карри — Ховарда" with the highest AI in June 2025
#LanguageAI awardRelative AI
1Arabic (ar)
تطابق كاري-هوارد
4
2English (en)
Curry–Howard correspondence
1
3Estonian (et)
Curry-Howardi vastavus
1
4Chinese (zh)
柯里-霍华德同构
1
5Catalan (ca)
Correspondència Curry-Howard
0
6Czech (cs)
Curryho–Howardův isomorfismus
0
7German (de)
Curry-Howard-Isomorphismus
0
8Spanish (es)
Correspondencia de Curry-Howard
0
9French (fr)
Correspondance de Curry-Howard
0
10Japanese (ja)
カリー=ハワード同型対応
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Соответствие Карри — Ховарда" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Curry–Howard correspondence
179
2French (fr)
Correspondance de Curry-Howard
144
3Chinese (zh)
柯里-霍华德同构
46
4Japanese (ja)
カリー=ハワード同型対応
34
5Russian (ru)
Соответствие Карри — Ховарда
27
6Portuguese (pt)
Isomorfismo de Curry-Howard
16
7Ukrainian (uk)
Відповідність Каррі — Говарда
11
8German (de)
Curry-Howard-Isomorphismus
9
9Spanish (es)
Correspondencia de Curry-Howard
6
10Estonian (et)
Curry-Howardi vastavus
6
More...

Scores

Estimated value for Wikipedia:
Russian:
Global:
Popularity in June 2025:
Russian:
Global:
Popularity in all years:
Russian:
Global:
Authors in June 2025:
Russian:
Global:
Registered authors in all years:
Russian:
Global:
Citations:
Russian:
Global:

Quality measures

Interwikis

#LanguageValue
arArabic
تطابق كاري-هوارد
caCatalan
Correspondència Curry-Howard
csCzech
Curryho–Howardův isomorfismus
deGerman
Curry-Howard-Isomorphismus
enEnglish
Curry–Howard correspondence
esSpanish
Correspondencia de Curry-Howard
etEstonian
Curry-Howardi vastavus
frFrench
Correspondance de Curry-Howard
jaJapanese
カリー=ハワード同型対応
koKorean
커리-하워드 대응
nlDutch
Curry–Howard-isomorfisme
plPolish
Izomorfizm Curry’ego-Howarda
ptPortuguese
Isomorfismo de Curry-Howard
ruRussian
Соответствие Карри — Ховарда
ukUkrainian
Відповідність Каррі — Говарда
zhChinese
柯里-霍华德同构

Popularity rank trends

Best Rank Russian:
#187846
08.2019
Global:
#179297
08.2018

AI rank trends

Best Rank Russian:
#13483
12.2012
Global:
#27185
08.2004

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Curry–Howard correspondence from Wikipedia articles about Lambda calculus, Haskell Curry, Intuitionistic logic, Homotopy type theory and Type theory. Whereas reading the article about Curry–Howard correspondence people most often go to Wikipedia articles on Haskell Curry, Dependent type, William Alvin Howard, Combinatory logic and Brouwer–Heyting–Kolmogorov interpretation.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 12 August 2025

On 12 August 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, deaths in 2025, Taylor Swift, Miguel Uribe Turbay, 2025–26 UEFA Champions League.

In Russian Wikipedia the most popular articles on that day were: Яндекс, Главы Курска, Анкоридж, Аляска, Уэнздей (2-й сезон), Катастрофа АПЛ «Курск», Бутусов, Юрий Николаевич, Продажа Аляски, К-141 «Курск», Корж, Макс.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information