SPIN model checker

Qualität:

SPIN - Werkzeug zur Modellprüfung. Artikel "SPIN model checker" in der englischen Wikipedia hat 9.4 Punkte für Qualität (Stand 1. November 2023). Der Artikel enthält 1 Referenzen und 5 Abschnitte. Der Artikel enthält auch eine Vorlage für Qualitätsmängel, die den Qualitätsfaktor verringert.

Dieser Artikel hat die beste Qualität in der deutschen Wikipedia. Allerdings ist dieser Artikel in der englischen Version am beliebtesten.

Seit der Erstellung des Artikels "SPIN model checker" wurde sein Inhalt von 29 registrierten Benutzern der englischen Wikipedia verfasst und von 69 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel wird 22 Mal in der englischen Wikipedia zitiert und in allen Sprachen 47 Mal zitiert.

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

• Lokales (Englische): Nr. 39444 im April 2004
• Globales: Nr. 73932 im April 2004

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Englische): Nr. 472326 im Oktober 2008
• Globales: Nr. 430552 im Oktober 2010

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	Deutsche (de) SPIN		26.7066
2	Französische (fr) SPIN model checker		14.9673
3	Englische (en) SPIN model checker		9.4049
4	Russische (ru) SPIN (верификатор)		7.7952
5	Thailändische (th) สปิน (ซอฟต์แวร์)		3.6997
6	Litauische (lt) SPIN		3.5663
7	Japanische (ja) SPINモデルチェッカ		3.3619

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) SPIN model checker		124 240
2	Japanische (ja) SPINモデルチェッカ		37 727
3	Deutsche (de) SPIN		21 568
4	Russische (ru) SPIN (верификатор)		17 001
5	Litauische (lt) SPIN		3 077
6	Thailändische (th) สปิน (ซอฟต์แวร์)		2 972
7	Französische (fr) SPIN model checker		940

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

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) SPIN model checker		411
2	Japanische (ja) SPINモデルチェッカ		70
3	Russische (ru) SPIN (верификатор)		57
4	Thailändische (th) สปิน (ซอฟต์แวร์)		38
5	Deutsche (de) SPIN		37
6	Französische (fr) SPIN model checker		25
7	Litauische (lt) SPIN		2

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

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) SPIN model checker		29
2	Deutsche (de) SPIN		20
3	Japanische (ja) SPINモデルチェッカ		6
4	Litauische (lt) SPIN		5
5	Thailändische (th) สปิน (ซอฟต์แวร์)		5
6	Französische (fr) SPIN model checker		3
7	Russische (ru) SPIN (верификатор)		1

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

#	Sprache	AI-Auszeichnung	Relativer AI
1	Deutsche (de) SPIN		0
2	Englische (en) SPIN model checker		0
3	Französische (fr) SPIN model checker		0
4	Japanische (ja) SPINモデルチェッカ		0
5	Litauische (lt) SPIN		0
6	Russische (ru) SPIN (верификатор)		0
7	Thailändische (th) สปิน (ซอฟต์แวร์)		0

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

Am 9. Juli 2024 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Lamine Yamal, Dani Olmo, Fußball-Europameisterschaft, Fußball-Europameisterschaft 2024, Jesús Navas, Marc Cucurella, Spanische Fußballnationalmannschaft, Nico Williams, Kylian Mbappé, Didier Deschamps.

In der englischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Lamine Yamal, Project 2025, Kalki 2898 AD, Gladiator 2, UEFA Euro 2024, Dani Olmo, House of the Dragon, Equatorial Guinea, Nico Williams, Jesús Navas.

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