Isabelle

Calidad:

Isabelle - demostrador de teoremas. Este software es el 1547º más popular en el ranking mundial de Wikipedia de software. El artículo "Isabelle" en Wikipedia en chino tiene 23.1 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 6 referencias y 5 secciones.

Este artículo tiene la mejor calidad en Wikipedia en inglés. Además, este artículo es el más popular en esa versión de idioma.

Logros en todo el tiempo:

Wikipedia global:

El 1547º más popular en software.

Desde la creación del artículo "Isabelle", , su contenido fue escrito por 3 usuarios registrados de Wikipedia en chino fue editado por 167 usuarios registrados de Wikipedia en todos los idiomas.

Isabelle está en el 1547º lugar en el ranking mundial de software en Wikipedia en todo el tiempo.

El artículo es citado 2 veces en Wikipedia en chino y es citado 192 veces en todos los idiomas.

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

• Local (chino): Nº 114046 en febrero de 2020
• Global: Nº 12174 en diciembre de 2002

El rango de popularidad más alto de 2008:

• Local (chino): Nº 266444 en julio de 2024
• Global: Nº 438580 en marzo de 2011

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 agosto de 2024 (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	inglés (en) Isabelle (proof assistant)		30.7145
2	alemán (de) Isabelle (Theorembeweiser)		25.2041
3	chino (zh) Isabelle		23.0617
4	ruso (ru) Isabelle		19.2925
5	portugués (pt) Isabelle		15.8977
6	español (es) Isabelle		3.9796
7	francés (fr) Isabelle (logiciel)		1.8728

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

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Isabelle (proof assistant)		338 486
2	alemán (de) Isabelle (Theorembeweiser)		37 069
3	español (es) Isabelle		16 604
4	francés (fr) Isabelle (logiciel)		14 470
5	portugués (pt) Isabelle		9 745
6	ruso (ru) Isabelle		5 867
7	chino (zh) Isabelle		3 474

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) Isabelle (proof assistant)		1 802
2	chino (zh) Isabelle		177
3	alemán (de) Isabelle (Theorembeweiser)		135
4	ruso (ru) Isabelle		69
5	francés (fr) Isabelle (logiciel)		46
6	español (es) Isabelle		34
7	portugués (pt) Isabelle		24

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) Isabelle (proof assistant)		91
2	alemán (de) Isabelle (Theorembeweiser)		31
3	portugués (pt) Isabelle		15
4	francés (fr) Isabelle (logiciel)		11
5	español (es) Isabelle		8
6	ruso (ru) Isabelle		8
7	chino (zh) Isabelle		3

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) Isabelle (Theorembeweiser)		0
2	inglés (en) Isabelle (proof assistant)		0
3	español (es) Isabelle		0
4	francés (fr) Isabelle (logiciel)		0
5	portugués (pt) Isabelle		0
6	ruso (ru) Isabelle		0
7	chino (zh) Isabelle		0

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

El 10 de octubre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Han Kang, Lyle y Erik Menendez, Rafael Nadal, Diddy, George Baldock, Ratan Tata, Huracán Katrina, Huracán Milton, Joker: Folie à Deux, Ethel Kennedy.

En Wikipedia en chino los artículos más populares de ese día fueron: 韩江 (作家), 玫瑰的故事 (电视剧), 國慶日 (中華民國), 黑色月光, 2024年北極羽毛球公開賽, 黑白大廚：料理階級大戰, 重组家庭, 来自地狱的法官, 中華民國, 膽大黨.

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 agosto de 2024. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de julio de 2024. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2023... Más información