Lean (programovací jazyk)

Qualität:

Lean Theorembeweiser - Software für interaktives Theorembeweisen. Diese Programmiersprache ist die 453. am beliebtesten im weltweiten Wikipedia-Ranking von Programmiersprachen und den 228. am beliebtesten Programmiersprachen in der tschechischen Wikipedia. Artikel "Lean (programovací jazyk)" in der tschechischen Wikipedia hat 0.3 Punkte für Qualität (Stand 1. August 2024).

Dieser Artikel hat die beste Qualität in der chinesischen Wikipedia. Die beliebteste Sprachversion dieses Artikels ist jedoch Englische.

Erfolge in der ganzen Zeit:

Tschechische Wikipedia:

Der 228. beliebteste in der Programmiersprachen in der tschechischen Wikipedia.

Globale Wikipedia:

Der 453. beliebteste in der Programmiersprachen.

Seit der Erstellung des Artikels "Lean (programovací jazyk)" wurde sein Inhalt von 1 registrierten Benutzern der tschechischen Wikipedia verfasst und von 98 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel "Lean (programovací jazyk)" belegt den 228. Platz im lokalen Ranking der Programmiersprachen in der tschechischen Wikipedia und den 453. Platz im globalen Ranking der Programmiersprachen in der ganzen Zeit.

Der Artikel wird 3 Mal in der tschechischen Wikipedia zitiert und in allen Sprachen 476 Mal zitiert.

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

• Lokales (Tschechische): Nr. 47431 im Januar 2023
• Globales: Nr. 28638 im Juni 2024

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Tschechische): Nr. 175371 im Dezember 2022
• Globales: Nr. 160905 im Juli 2024

Es gibt 12 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. August 2024 (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		44.1679
2	Englische (en) Lean (proof assistant)		39.2322
3	Japanische (ja) Lean (証明アシスタント)		33.3528
4	Deutsche (de) Lean (Beweisassistent)		31.898
5	Spanische (es) Lean		27.6817
6	Persische (fa) لین (دستیار اثبات)		25.4167
7	Ukrainische (uk) Lean		24.9286
8	Russische (ru) Lean		21.4148
9	Vietnamesische (vi) Lean (trợ lý chứng minh)		13.5515
10	Niederländische (nl) Lean (bewijsassistent)		10.554

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Lean (proof assistant)		198 539
2	Russische (ru) Lean		7 610
3	Französische (fr) Lean (assistant de preuve)		5 505
4	Japanische (ja) Lean (証明アシスタント)		5 106
5	Deutsche (de) Lean (Beweisassistent)		1 729
6	Spanische (es) Lean		808
7	Chinesische (zh) Lean		355
8	Ukrainische (uk) Lean		323
9	Tschechische (cs) Lean (programovací jazyk)		251
10	Vietnamesische (vi) Lean (trợ lý chứng minh)		182

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)		11 293
2	Japanische (ja) Lean (証明アシスタント)		654
3	Deutsche (de) Lean (Beweisassistent)		561
4	Russische (ru) Lean		330
5	Chinesische (zh) Lean		226
6	Französische (fr) Lean (assistant de preuve)		163
7	Spanische (es) Lean		110
8	Tschechische (cs) Lean (programovací jazyk)		15
9	Niederländische (nl) Lean (bewijsassistent)		15
10	Vietnamesische (vi) Lean (trợ lý chứng minh)		14

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)		53
2	Französische (fr) Lean (assistant de preuve)		9
3	Deutsche (de) Lean (Beweisassistent)		8
4	Russische (ru) Lean		8
5	Japanische (ja) Lean (証明アシスタント)		7
6	Spanische (es) Lean		3
7	Vietnamesische (vi) Lean (trợ lý chứng minh)		3
8	Niederländische (nl) Lean (bewijsassistent)		2
9	Ukrainische (uk) Lean		2
10	Tschechische (cs) Lean (programovací jazyk)		1

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)		1
2	Spanische (es) Lean		1
3	Japanische (ja) Lean (証明アシスタント)		1
4	Niederländische (nl) Lean (bewijsassistent)		1
5	Tschechische (cs) Lean (programovací jazyk)		0
6	Deutsche (de) Lean (Beweisassistent)		0
7	Persische (fa) لین (دستیار اثبات)		0
8	Französische (fr) Lean (assistant de preuve)		0
9	Russische (ru) Lean		0
10	Ukrainische (uk) Lean		0

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

Am 24. September 2024 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Libanon, Hisbollah, Lyle und Erik Menendez, Sean Combs, Monster: Die Geschichte von Lyle und Erik Menendez, ChatGPT, Nekrolog 2024, Linkin Park, Thunderbolts*, 24. September.

In der tschechischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Botulotoxin, Lyle a Erik Menéndezovi, Ivan Bartoš, wiki.phtml, Jan Lipavský, Česká pirátská strana, Poslanecká sněmovna Parlamentu České republiky, Olga Richterová, Martin Kuba, Volby do Poslanecké sněmovny Parlamentu České republiky 2021.

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 August 2024. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juli 2024 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2023... Mehr Informationen