SPIN model checker

Calidad:

SPIN - herramienta de verificación de modelos software. El artículo "SPIN model checker" en Wikipedia en inglés tiene 9.4 puntos por calidad (a 1 de noviembre de 2023). El artículo contiene 1 referencias y 5 secciones. El artículo también contiene una plantilla de defectos de calidad, que reducen el nivel de calidad.

Este artículo tiene la mejor calidad en Wikipedia en alemán. Sin embargo, este artículo es el más popular de la Wikipedia en inglés.

Desde la creación del artículo "SPIN model checker", , su contenido fue escrito por 29 usuarios registrados de Wikipedia en inglés fue editado por 69 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 22 veces en Wikipedia en inglés y es citado 47 veces en todos los idiomas.

La clasificación más alta de interés de los autores desde 2001:

• Local (inglés): Nº 39444 en abril de 2004
• Global: Nº 73932 en abril de 2004

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 472326 en octubre de 2008
• Global: Nº 430552 en octubre de 2010

Hay 7 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de noviembre de 2023 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

#	Idioma	Grado de calidad	Puntuación de calidad
1	alemán (de) SPIN		26.7066
2	francés (fr) SPIN model checker		14.9673
3	inglés (en) SPIN model checker		9.4049
4	ruso (ru) SPIN (верификатор)		7.7952
5	tailandés (th) สปิน (ซอฟต์แวร์)		3.6997
6	lituano (lt) SPIN		3.5663
7	japonés (ja) SPINモデルチェッカ		3.3619

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) SPIN model checker		124 240
2	japonés (ja) SPINモデルチェッカ		37 727
3	alemán (de) SPIN		21 568
4	ruso (ru) SPIN (верификатор)		17 001
5	lituano (lt) SPIN		3 077
6	tailandés (th) สปิน (ซอฟต์แวร์)		2 972
7	francés (fr) SPIN model checker		940

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) SPIN model checker		411
2	japonés (ja) SPINモデルチェッカ		70
3	ruso (ru) SPIN (верификатор)		57
4	tailandés (th) สปิน (ซอฟต์แวร์)		38
5	alemán (de) SPIN		37
6	francés (fr) SPIN model checker		25
7	lituano (lt) SPIN		2

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

#	Idioma	Premio del IA	IA relativo
1	inglés (en) SPIN model checker		29
2	alemán (de) SPIN		20
3	japonés (ja) SPINモデルチェッカ		6
4	lituano (lt) SPIN		5
5	tailandés (th) สปิน (ซอฟต์แวร์)		5
6	francés (fr) SPIN model checker		3
7	ruso (ru) SPIN (верификатор)		1

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

#	Idioma	Premio del IA	IA relativo
1	alemán (de) SPIN		0
2	inglés (en) SPIN model checker		0
3	francés (fr) SPIN model checker		0
4	japonés (ja) SPINモデルチェッカ		0
5	lituano (lt) SPIN		0
6	ruso (ru) SPIN (верификатор)		0
7	tailandés (th) สปิน (ซอฟต์แวร์)		0

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El 9 de julio de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Lamine Yamal, Dani Olmo, Eurocopa de Naciones, Eurocopa 2024, Jesús Navas, Marc Cucurella, selección de fútbol de España, Nico Williams, Kylian Mbappé, Didier Deschamps.

En Wikipedia en inglés los artículos más populares de ese día fueron: 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.

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de noviembre de 2023. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de octubre de 2023. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2023... Más información