Lean (Beweisassistent)

品質:

这种编程语言是 第453名 全球维基百科排名中最受欢迎的编程语言 和 第485名 最受欢迎编程语言 德語維基百科中. 德語維基百科的「Lean (Beweisassistent)」文章品質得分為 31.9 分（截至2024年8月1日）. 本文包含 10 篇參考文獻和 6 個章節。

這篇文章是中文維基百科中品質最好的。 然而，本文最流行的語言版本是英語。

成就 所有时间:

德語維基百科:

德語維基百科中中第第485名最受歡迎的编程语言.

全球維基百科:

编程语言中第第453名最受歡迎的.

自「Lean (Beweisassistent)」文章創建以來，其內容由 8 名德語維基百科註冊用戶撰寫，並由 98 名所有語言的註冊維基百科用戶編輯。

Lean在當地德語維基百科全编程语言排名中名列第 485 位，在全球所有時間圖编程语言排名中名列第 453 位。

該文章在德語維基百科中被引用 3 次，在所有語言中被引用 476 次。

2001 年以來作者的最高興趣排名：

• 當地的（德語）：2024 年 3 月4399號
• 全球的：2024 年 6 月28638號

2008年以來的最高人氣排名：

• 當地的（德語）：2024 年 7 月200936號
• 全球的：2024 年 7 月160905號

WikiRank 資料庫中本文有 12 種語言版本（所考慮的 55 個維基百科語言版本）。

品質和受歡迎程度評估是基於 2024年8月1日的維基百科轉儲（包括前幾年的修訂歷史和頁面瀏覽量）。

下表顯示了最高品質的文章的語言版本。

#	语言	质量等级	质量分数
1	中文 (zh) Lean		44.1679
2	英語 (en) Lean (proof assistant)		39.2322
3	日語 (ja) Lean (証明アシスタント)		33.3528
4	德語 (de) Lean (Beweisassistent)		31.898
5	西班牙語 (es) Lean		27.6817
6	波斯語 (fa) لین (دستیار اثبات)		25.4167
7	烏克蘭語 (uk) Lean		24.9286
8	俄語 (ru) Lean		21.4148
9	越南語 (vi) Lean (trợ lý chứng minh)		13.5515
10	荷蘭語 (nl) Lean (bewijsassistent)		10.554

下表顯示了本文最受歡迎的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Lean (proof assistant)		198 539
2	俄語 (ru) Lean		7 610
3	法語 (fr) Lean (assistant de preuve)		5 505
4	日語 (ja) Lean (証明アシスタント)		5 106
5	德語 (de) Lean (Beweisassistent)		1 729
6	西班牙語 (es) Lean		808
7	中文 (zh) Lean		355
8	烏克蘭語 (uk) Lean		323
9	捷克語 (cs) Lean (programovací jazyk)		251
10	越南語 (vi) Lean (trợ lý chứng minh)		182

下表顯示了上個月最受歡迎的文章的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Lean (proof assistant)		11 293
2	日語 (ja) Lean (証明アシスタント)		654
3	德語 (de) Lean (Beweisassistent)		561
4	俄語 (ru) Lean		330
5	中文 (zh) Lean		226
6	法語 (fr) Lean (assistant de preuve)		163
7	西班牙語 (es) Lean		110
8	捷克語 (cs) Lean (programovací jazyk)		15
9	荷蘭語 (nl) Lean (bewijsassistent)		15
10	越南語 (vi) Lean (trợ lý chứng minh)		14

下表顯示了作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Lean (proof assistant)		53
2	法語 (fr) Lean (assistant de preuve)		9
3	德語 (de) Lean (Beweisassistent)		8
4	俄語 (ru) Lean		8
5	日語 (ja) Lean (証明アシスタント)		7
6	西班牙語 (es) Lean		3
7	越南語 (vi) Lean (trợ lý chứng minh)		3
8	荷蘭語 (nl) Lean (bewijsassistent)		2
9	烏克蘭語 (uk) Lean		2
10	捷克語 (cs) Lean (programovací jazyk)		1

下表顯示了上個月作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Lean (proof assistant)		1
2	西班牙語 (es) Lean		1
3	日語 (ja) Lean (証明アシスタント)		1
4	荷蘭語 (nl) Lean (bewijsassistent)		1
5	捷克語 (cs) Lean (programovací jazyk)		0
6	德語 (de) Lean (Beweisassistent)		0
7	波斯語 (fa) لین (دستیار اثبات)		0
8	法語 (fr) Lean (assistant de preuve)		0
9	俄語 (ru) Lean		0
10	烏克蘭語 (uk) Lean		0

下表顯示了被引用次數最高的文章的語言版本。

2024年11月19日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：迈克·泰森、伊隆·马斯克、MGM-140 陸軍戰術導彈系統、神鬼戰士II、国际男人节、2024–25年歐洲國家聯賽、唐納·川普、杰克·保罗、乔恩·琼斯、2024年逝世人物列表。

德語維基百科當天最受歡迎的文章是：Boris Pistorius、Buß- und Bettag、Liste der größten Auslegerbrücken、ATACMS、Felix Nmecha、John Carpenter (Spielshow-Kandidat)、Ulla Geiger、Friederike Kromp、Alexander Nübel、Taurus (Marschflugkörper).

該計畫旨在對維基百科各種語言版本的文章進行自動相對評估。 目前，該服務允許比較 55 種語言的超過 4,400 萬篇維基百科文章。 文章的品質分數是根據 2024年8月的維基百科轉儲。 在計算作者當前的受歡迎程度和興趣時，考慮了 2024年7月的數據。 對於作者受歡迎程度和興趣的歷史價值，WikiRank 使用了 2001 年至 2023 年的數據。 更多資訊