Coq (logiciel)

Qualität:

Coq - Software zum maschinengestützten Beweisen mathematischer Aussagen. Diese Programmiersprache ist die 168. am beliebtesten im weltweiten Wikipedia-Ranking von Programmiersprachen und den 98. am beliebtesten Programmiersprachen in der französischen Wikipedia. Artikel "Coq (logiciel)" in der französischen Wikipedia hat 19.7 Punkte für Qualität (Stand 1. August 2024). Der Artikel enthält 9 Referenzen und 8 Abschnitte.

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

Erfolge in der ganzen Zeit:

Französische Wikipedia:

Der 98. beliebteste in der Programmiersprachen in der französischen Wikipedia.

Globale Wikipedia:

Der 168. beliebteste in der Programmiersprachen.

Erfolge im letzten Monat:

Französische Wikipedia:

fr

Der 2001. am besten bearbeiten Französische Wikipedia im letzten Monat.

Im Juli 2024 wurde der Artikel "Coq (logiciel)" von 7 Autoren in der französischen Wikipedia bearbeitet (2001. Platz) und von 8 Autoren in allen Sprachen verfasst.

Seit der Erstellung des Artikels "Coq (logiciel)" wurde sein Inhalt von 73 registrierten Benutzern der französischen Wikipedia verfasst und von 330 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel "Coq (logiciel)" belegt den 98. Platz im lokalen Ranking der Programmiersprachen in der französischen Wikipedia und den 168. Platz im globalen Ranking der Programmiersprachen in der ganzen Zeit.

Der Artikel wird 66 Mal in der französischen Wikipedia zitiert und in allen Sprachen 373 Mal zitiert.

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

• Lokales (Französische): Nr. 2001 im Juli 2024
• Globales: Nr. 21280 im April 2004

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Französische): Nr. 66309 im Juli 2024
• Globales: Nr. 150907 im April 2021

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	Englische (en) Coq (software)		38.9759
2	Deutsche (de) Coq (Software)		34.2615
3	Chinesische (zh) Coq		25.0341
4	Ukrainische (uk) Coq		24.129
5	Portugiesische (pt) Coq		24.0981
6	Russische (ru) Coq		23.8687
7	Französische (fr) Coq (logiciel)		19.6796
8	Finnische (fi) Coq		15.9546
9	Griechische (el) Coq		14.3332
10	Japanische (ja) Coq		14.0752

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Coq (software)		897 942
2	Französische (fr) Coq (logiciel)		124 132
3	Russische (ru) Coq		94 551
4	Japanische (ja) Coq		76 139
5	Deutsche (de) Coq (Software)		54 674
6	Chinesische (zh) Coq		32 208
7	Spanische (es) Coq		31 301
8	Portugiesische (pt) Coq		5 617
9	Griechische (el) Coq		3 815
10	Finnische (fi) Coq		1 900

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Popularität im letzten Monat.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Coq (software)		6 260
2	Französische (fr) Coq (logiciel)		1 484
3	Deutsche (de) Coq (Software)		604
4	Japanische (ja) Coq		513
5	Russische (ru) Coq		392
6	Chinesische (zh) Coq		361
7	Spanische (es) Coq		119
8	Portugiesische (pt) Coq		42
9	Niederländische (nl) Coq		11
10	Griechische (el) Coq		10

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Coq (software)		148
2	Französische (fr) Coq (logiciel)		73
3	Deutsche (de) Coq (Software)		36
4	Russische (ru) Coq		23
5	Japanische (ja) Coq		15
6	Spanische (es) Coq		10
7	Chinesische (zh) Coq		8
8	Ukrainische (uk) Coq		6
9	Griechische (el) Coq		5
10	Finnische (fi) Coq		2

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse im letzten Monat.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Französische (fr) Coq (logiciel)		7
2	Englische (en) Coq (software)		1
3	Deutsche (de) Coq (Software)		0
4	Griechische (el) Coq		0
5	Spanische (es) Coq		0
6	Finnische (fi) Coq		0
7	Japanische (ja) Coq		0
8	Niederländische (nl) Coq		0
9	Portugiesische (pt) Coq		0
10	Russische (ru) Coq		0

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

Am 12. März 2025 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Elon Musk, UEFA Champions League 2024/25, Champions League, Diego Simeone, Kim Sae-ron, Kim Soo-hyun, Grönland, Giuliano Simeone, Donald Trump, ChatGPT.

In der französischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Ligue des champions de l'UEFA 2024-2025, Jacques Audiard, Ligue des champions de l'UEFA, Désiré Doué, Elon Musk, Diego Simeone, Dominique de Villepin, Les Cerfs-volants de Kaboul, Kétamine, Leïla Bekhti.

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