Lean

Qualität:

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

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

Erfolge in der ganzen Zeit:

Russische Wikipedia:

Der 348.‑beliebteste in der Programmiersprachen in der russischen Wikipedia.

Globale Wikipedia:

Der 271.‑beliebteste in der Programmiersprachen.

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

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

Der Artikel wird 79 Mal in der russischen Wikipedia zitiert und in allen Sprachen 529 Mal zitiert.

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

• Lokales (Russische): Nr. 6886 im September 2022
• Globales: Nr. 28783 im Juni 2024

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Russische): Nr. 72251 im Januar 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 russischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Чемпионат мира по футболу 2026, Демократическая Республика Конго, Иванов, Сергей Борисович, Список бомбардиров чемпионатов мира по футболу, Холанн, Эрлинг, Мбаппе, Килиан, Джексон, Майкл, Кейн, Гарри, Чемпионат мира по футболу, Сенегал.

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