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 206. am beliebtesten Programmiersprachen in der deutschen Wikipedia. Artikel "Coq (Software)" in der deutschen Wikipedia hat 34.3 Punkte für Qualität (Stand 1. August 2024).
Der Artikel enthält 7 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:
Deutsche Wikipedia:
Globale Wikipedia:
Seit der Erstellung des Artikels "Coq (Software)" wurde sein Inhalt von 36 registrierten Benutzern der deutschen Wikipedia verfasst und von 330 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.
Der Artikel "Coq (Software)" belegt den 206. Platz im lokalen Ranking der Programmiersprachen in der deutschen Wikipedia
und den 168. Platz im globalen Ranking der Programmiersprachen in der ganzen Zeit.
Der Artikel wird 20 Mal in der deutschen Wikipedia zitiert und in allen Sprachen 373 Mal zitiert.
Der höchste Autoreninteresse-Rang aus dem Jahr 2001:
- Lokales (Deutsche): Nr. 14599 im Januar 2015
- Globales: Nr. 21280 im April 2004
Der höchste Beliebtheitsrang aus dem Jahr 2008:
- Lokales (Deutsche): Nr. 162672 im Oktober 2019
- 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.