Lean

Qualität:

Lean Theorembeweiser - Software für interaktives Theorembeweisen. Diese Programmiersprache ist die 358.‑beliebteste im weltweiten Wikipedia-Ranking der Programmiersprachen und die 287.‑beliebteste Programmiersprache in der chinesischen Wikipedia. Der Artikel „Lean“ in der chinesischen Wikipedia hat 43.7 Punkte für Qualität (Stand: 1. Juli 2025). Der Artikel enthält 19 Referenzen und 11 Abschnitte.

In dieser Sprachversion von Wikipedia hat der Artikel die beste Qualität. Die beliebteste Sprachversion des Artikels ist jedoch die englische.

Erfolge in der ganzen Zeit:

Chinesische Wikipedia:

Der 287.‑beliebteste in der Programmiersprachen in der chinesischen Wikipedia.

Globale Wikipedia:

Der 358.‑beliebteste in der Programmiersprachen.

Im Juni 2025 wurde der Artikel „Lean“ von 1 Autoren in der chinesischen Wikipedia bearbeitet und von 9 Autoren in allen Sprachen verfasst.

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

Der Artikel „Lean“ belegt den 287. Platz im lokalen Ranking der Programmiersprachen in der chinesischen Wikipedia und den 358. Platz im globalen Ranking der Programmiersprachen in der ganzen Zeit.

Der Artikel wird 36 Mal in der chinesischen Wikipedia zitiert und in allen Sprachen 493 Mal zitiert.

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

• Lokales (Chinesische): Nr. 98239 im Juni 2024
• Globales: Nr. 28697 im Juni 2024

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Chinesische): Nr. 74468 im Juni 2025
• Globales: Nr. 114703 im Juni 2025

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 2025 (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	Chinesische (zh) Lean		43.701
2	Englische (en) Lean (proof assistant)		41.432
3	Japanische (ja) Lean (証明アシスタント)		40.2582
4	Koreanische (ko) Lean (증명 보조기)		36.9689
5	Deutsche (de) Lean (Beweisassistent)		33.1162
6	Persische (fa) لین (دستیار اثبات)		27.3846
7	Spanische (es) Lean		27.0661
8	Ukrainische (uk) Lean		24.9345
9	Russische (ru) Lean		21.3667
10	Vietnamesische (vi) Lean (trợ lý chứng minh)		13.4232

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Lean (proof assistant)		296 974
2	Japanische (ja) Lean (証明アシスタント)		12 226
3	Russische (ru) Lean		10 798
4	Spanische (es) Lean		8 844
5	Französische (fr) Lean (assistant de preuve)		8 560
6	Chinesische (zh) Lean		6 592
7	Deutsche (de) Lean (Beweisassistent)		5 673
8	Ukrainische (uk) Lean		592
9	Portugiesische (pt) Lean (linguagem de programação)		456
10	Tschechische (cs) Lean (programovací jazyk)		435

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)		13 505
2	Japanische (ja) Lean (証明アシスタント)		1 112
3	Chinesische (zh) Lean		933
4	Deutsche (de) Lean (Beweisassistent)		463
5	Französische (fr) Lean (assistant de preuve)		372
6	Russische (ru) Lean		348
7	Spanische (es) Lean		158
8	Portugiesische (pt) Lean (linguagem de programação)		84
9	Tschechische (cs) Lean (programovací jazyk)		38
10	Koreanische (ko) Lean (증명 보조기)		32

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)		66
2	Deutsche (de) Lean (Beweisassistent)		13
3	Französische (fr) Lean (assistant de preuve)		12
4	Japanische (ja) Lean (証明アシスタント)		8
5	Russische (ru) Lean		8
6	Persische (fa) لین (دستیار اثبات)		4
7	Niederländische (nl) Lean (bewijsassistent)		4
8	Vietnamesische (vi) Lean (trợ lý chứng minh)		4
9	Spanische (es) Lean		3
10	Portugiesische (pt) Lean (linguagem de programação)		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)		4
2	Koreanische (ko) Lean (증명 보조기)		2
3	Deutsche (de) Lean (Beweisassistent)		1
4	Japanische (ja) Lean (証明アシスタント)		1
5	Chinesische (zh) Lean		1
6	Tschechische (cs) Lean (programovací jazyk)		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 16. März 2026 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Oscarverleihung 2026, Michael B. Jordan, Blood & Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, One Battle After Another, Amy Madigan, Hamnet, Timothée Chalamet.

In der chinesischen Wikipedia waren die beliebtesten Artikel an diesem Tag: 逐玉, 2026年世界棒球經典賽, 一戰再戰, 第98屆奧斯卡金像獎, 臥底嬌娃, 李海銅, 张凌赫, 世界棒球經典賽, 罪人 (2025年電影), 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 44 Millionen Wikipedia-Artikeln in 55 Sprachen. Die Qualitätsbewertung von Artikeln basiert auf Wikipedia-Dumps vom Juli 2025. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juni 2025 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2025... Mehr Informationen