Lean (assistant de preuve)

Qualität:

Lean Theorembeweiser - Software für interaktives Theorembeweisen. Artikel "Lean (assistant de preuve)" in der französischen Wikipedia hat 10.7 Punkte für Qualität (Stand 1. November 2023). Der Artikel enthält 3 Referenzen und 3 Abschnitte.

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

Seit der Erstellung des Artikels "Lean (assistant de preuve)" wurde sein Inhalt von 8 registrierten Benutzern der französischen Wikipedia verfasst und von 64 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel wird 5 Mal in der französischen Wikipedia zitiert und in allen Sprachen 426 Mal zitiert.

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

• Lokales (Französische): Nr. 7189 im Februar 2020
• Globales: Nr. 58562 im Oktober 2023

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Französische): Nr. 318014 im Oktober 2023
• Globales: Nr. 246309 im Oktober 2023

Es gibt 7 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. November 2023 (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)		33.0469
2	Ukrainische (uk) Lean		24.9066
3	Russische (ru) Lean		21.3277
4	Japanische (ja) Lean (証明アシスタント)		14.0086
5	Vietnamesische (vi) Lean (trợ lý chứng minh)		13.6153
6	Französische (fr) Lean (assistant de preuve)		10.6629
7	Tschechische (cs) Lean (programovací jazyk)		0.2887

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Lean (proof assistant)		133 587
2	Russische (ru) Lean		6 219
3	Französische (fr) Lean (assistant de preuve)		4 088
4	Japanische (ja) Lean (証明アシスタント)		1 273
5	Ukrainische (uk) Lean		196
6	Tschechische (cs) Lean (programovací jazyk)		172
7	Vietnamesische (vi) Lean (trợ lý chứng minh)		104

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)		8 354
2	Japanische (ja) Lean (証明アシスタント)		328
3	Französische (fr) Lean (assistant de preuve)		250
4	Russische (ru) Lean		145
5	Ukrainische (uk) Lean		59
6	Tschechische (cs) Lean (programovací jazyk)		21
7	Vietnamesische (vi) Lean (trợ lý chứng minh)		6

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)		39
2	Französische (fr) Lean (assistant de preuve)		8
3	Russische (ru) Lean		8
4	Japanische (ja) Lean (証明アシスタント)		3
5	Vietnamesische (vi) Lean (trợ lý chứng minh)		3
6	Ukrainische (uk) Lean		2
7	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)		8
2	Ukrainische (uk) Lean		2
3	Tschechische (cs) Lean (programovací jazyk)		0
4	Französische (fr) Lean (assistant de preuve)		0
5	Japanische (ja) Lean (証明アシスタント)		0
6	Russische (ru) Lean		0
7	Vietnamesische (vi) Lean (trợ lý chứng minh)		0

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

Am 14. Juli 2024 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Donald Trump, Fußball-Europameisterschaft, Carlos Alcaraz, Lamine Yamal, Shannen Doherty, Nico Williams, Fußball-Europameisterschaft 2024, Spanische Fußballnationalmannschaft, Novak Đoković, englische Fußballnationalmannschaft.

In der französischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Shannen Doherty, Lamine Yamal, Robin Le Normand, Championnat d'Europe de football, Fête nationale française, Nico Williams, Carlos Alcaraz (tennis), Huguette Bello, Cookie (informatique), Aymeric Laporte.

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