Lean

Qualität:

Lean Theorembeweiser - Software für interaktives Theorembeweisen. Diese Programmiersprache ist die 271.‑beliebteste im weltweiten Wikipedia-Ranking der Programmiersprachen und die 241.‑beliebteste Programmiersprache in der koreanischen Wikipedia. Der Artikel „Lean“ in der koreanischen Wikipedia hat 37.7 Punkte für Qualität (Stand: 1. Juli 2026). Der Artikel enthält 28 Referenzen und 11 Abschnitte.

Dieser Artikel hat die beste Qualität in der englischen Wikipedia. Außerdem ist dieser Artikel in dieser Sprachversion (koreanischen) der beliebteste.

Erfolge in der ganzen Zeit:

Koreanische Wikipedia:

Der 241.‑beliebteste in der Programmiersprachen in der koreanischen Wikipedia.

Globale Wikipedia:

Der 271.‑beliebteste in der Programmiersprachen.

Im Juni 2026 wurde der Artikel „Lean“ von 1 Autoren in der koreanischen Wikipedia bearbeitet und von 7 Autoren in allen Sprachen verfasst.

Seit der Erstellung des Artikels „Lean“ wurde sein Inhalt von 1 registrierten Benutzern der koreanischen Wikipedia verfasst und von 162 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel „Lean“ belegt den 241. Platz im lokalen Ranking der Programmiersprachen in der koreanischen Wikipedia und den 271. Platz im globalen Ranking der Programmiersprachen in der ganzen Zeit.

Der Artikel wird 3 Mal in der koreanischen Wikipedia zitiert und in allen Sprachen 529 Mal zitiert.

Der höchste Autoreninteresse-Rang aus dem Jahr 2001:

• Lokales (Koreanische): Nr. 12426 im Juni 2025
• Globales: Nr. 28783 im Juni 2024

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Koreanische): Nr. 75180 im Februar 2026
• Globales: Nr. 88378 im April 2026

Es gibt 14 Sprachversionen für diesen Artikel in der WikiRank-Datenbank (von den berücksichtigten 55 Wikipedia-Sprachausgaben).

Die Qualitäts- und Beliebtheitsbewertung basierte auf Wikipedia-Dumps vom 1. Juli 2026 (einschließlich Revisionsverlauf und Seitenaufrufe für frühere Jahre).

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Qualität.

#	Sprache	Qualitätsstufe	Qualitätsfaktor
1	Englische (en) Lean (proof assistant)		52.9186
2	Chinesische (zh) Lean		43.6374
3	Japanische (ja) Lean (証明アシスタント)		40.8613
4	Koreanische (ko) Lean		37.6596
5	Deutsche (de) Lean (Beweisassistent)		33.7663
6	Persische (fa) لین (دستیار اثبات)		27.1992
7	Spanische (es) Lean		26.725
8	Russische (ru) Lean		25.6903
9	Ukrainische (uk) Lean		24.7899
10	Französische (fr) Lean (assistant de preuve)		14.9046

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Lean (proof assistant)		447 227
2	Spanische (es) Lean		44 860
3	Japanische (ja) Lean (証明アシスタント)		34 449
4	Russische (ru) Lean		19 910
5	Chinesische (zh) Lean		15 208
6	Französische (fr) Lean (assistant de preuve)		14 777
7	Deutsche (de) Lean (Beweisassistent)		12 891
8	Portugiesische (pt) Lean (linguagem de programação)		1 394
9	Koreanische (ko) Lean		1 044
10	Ukrainische (uk) Lean		931

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Popularität im letzten Monat.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Lean (proof assistant)		12 614
2	Japanische (ja) Lean (証明アシスタント)		1 744
3	Chinesische (zh) Lean		821
4	Französische (fr) Lean (assistant de preuve)		631
5	Deutsche (de) Lean (Beweisassistent)		569
6	Russische (ru) Lean		550
7	Spanische (es) Lean		200
8	Portugiesische (pt) Lean (linguagem de programação)		124
9	Koreanische (ko) Lean		65
10	Ukrainische (uk) Lean		29

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Lean (proof assistant)		82
2	Deutsche (de) Lean (Beweisassistent)		16
3	Französische (fr) Lean (assistant de preuve)		14
4	Japanische (ja) Lean (証明アシスタント)		13
5	Russische (ru) Lean		9
6	Persische (fa) لین (دستیار اثبات)		5
7	Niederländische (nl) Lean (bewijsassistent)		5
8	Vietnamesische (vi) Lean (trợ lý chứng minh)		5
9	Portugiesische (pt) Lean (linguagem de programação)		4
10	Spanische (es) Lean		3

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse im letzten Monat.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Lean (proof assistant)		3
2	Japanische (ja) Lean (証明アシスタント)		2
3	Koreanische (ko) Lean		1
4	Portugiesische (pt) Lean (linguagem de programação)		1
5	Tschechische (cs) Lean (programovací jazyk)		0
6	Deutsche (de) Lean (Beweisassistent)		0
7	Spanische (es) Lean		0
8	Persische (fa) لین (دستیار اثبات)		0
9	Französische (fr) Lean (assistant de preuve)		0
10	Niederländische (nl) Lean (bewijsassistent)		0

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Anzahl an Zitaten.

Am 1. Juli 2026 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

In der koreanischen Wikipedia waren die beliebtesten Artikel an diesem Tag: 문화방송, 김성훈 (1998년), 한국방송공사, 유튜브, 한성숙, 한국교육방송공사, 권오영 (1970년), 홍명보, 5·18 광주 민주화 운동, 다음.

Das Projekt dient der automatischen relativen Auswertung der Artikel in den verschiedenen Sprachversionen von Wikipedia. Derzeit ermöglicht der Dienst den Vergleich von über 50 Millionen Wikipedia-Artikeln in 55 Sprachen. Die Qualitätsbewertung von Artikeln basiert auf Wikipedia-Dumps vom Juli 2026. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juni 2026 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2026... Mehr Informationen