HOL (proof assistant)

Qualität:

Artikel "HOL (proof assistant)" in der englischen Wikipedia hat 24.6 Punkte für Qualität (Stand 1. November 2023). Der Artikel enthält 11 Referenzen und 6 Abschnitte. Der Artikel enthält auch eine Vorlage für Qualitätsmängel, die den Qualitätsfaktor verringert.

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

Seit der Erstellung des Artikels "HOL (proof assistant)" wurde sein Inhalt von 32 registrierten Benutzern der englischen Wikipedia verfasst und von 34 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel wird 39 Mal in der englischen Wikipedia zitiert und in allen Sprachen 41 Mal zitiert.

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

• Lokales (Englische): Nr. 2689 im Dezember 2002
• Globales: Nr. 5082 im Dezember 2002

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Englische): Nr. 288536 im Dezember 2019
• Globales: Nr. 492929 im Dezember 2019

Es gibt 2 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) HOL (proof assistant)		24.5719
2	Russische (ru) HOL		17.7921

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) HOL (proof assistant)		176 376
2	Russische (ru) HOL		1 809

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

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) HOL (proof assistant)		609
2	Russische (ru) HOL		52

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

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) HOL (proof assistant)		32
2	Russische (ru) HOL		2

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) HOL (proof assistant)		0
2	Russische (ru) HOL		0

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

Am 27. Juli 2024 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Olympische Sommerspiele 2024, Céline Dion, Olympische Spiele, Kamala Harris, Stiff-man-Syndrom, Deadpool & Wolverine, Olympische Sommerspiele 2020, Aya Nakamura, Lady Gaga, Marie Antoinette.

In der englischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Deadpool & Wolverine, 2024 Summer Olympics, Celine Dion, Kamala Harris, List of Olympic Games host cities, Stiff-person syndrome, Katie Ledecky, Lady Gaga, Aya Nakamura, Simone Biles.

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