Proof assistant

Calidad:

Asistente de pruebas - demostración interactiva de teoremas. El artículo "Proof assistant" en Wikipedia en inglés tiene 32 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 22 referencias y 8 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 estonio. Sin embargo, este artículo es el más popular de la Wikipedia en inglés.

En julio de 2024 el artículo "Proof assistant" fue editado por 3 autores en Wikipedia en inglésy fue escrito por 4 autores en todos los idiomas.

Desde la creación del artículo "Proof assistant", , su contenido fue escrito por 102 usuarios registrados de Wikipedia en inglés fue editado por 191 usuarios registrados de Wikipedia en todos los idiomas.

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

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

• Local (inglés): Nº 42118 en febrero de 2024
• Global: Nº 55595 en octubre de 2004

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 190648 en noviembre de 2017
• Global: Nº 312916 en noviembre de 2017

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	estonio (et) Tõestusassistent		32.1143
2	inglés (en) Proof assistant		31.9674
3	francés (fr) Assistant de preuve		25.7037
4	ucraniano (uk) Асистент доведення теорем		25.2336
5	ruso (ru) Инструмент интерактивного доказательства теорем		16.134
6	español (es) Demostración interactiva de teoremas		1.1771
7	polaco (pl) System wspomagający dowodzenie twierdzeń		0.3428

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

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Proof assistant		527 472
2	francés (fr) Assistant de preuve		65 850
3	polaco (pl) System wspomagający dowodzenie twierdzeń		12 521
4	español (es) Demostración interactiva de teoremas		8 615
5	ruso (ru) Инструмент интерактивного доказательства теорем		4 659
6	estonio (et) Tõestusassistent		160
7	ucraniano (uk) Асистент доведення теорем		112

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) Proof assistant		5 635
2	francés (fr) Assistant de preuve		237
3	ruso (ru) Инструмент интерактивного доказательства теорем		107
4	polaco (pl) System wspomagający dowodzenie twierdzeń		14
5	español (es) Demostración interactiva de teoremas		13
6	ucraniano (uk) Асистент доведення теорем		8
7	estonio (et) Tõestusassistent		3

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) Proof assistant		102
2	francés (fr) Assistant de preuve		63
3	polaco (pl) System wspomagający dowodzenie twierdzeń		11
4	ruso (ru) Инструмент интерактивного доказательства теорем		5
5	español (es) Demostración interactiva de teoremas		4
6	estonio (et) Tõestusassistent		3
7	ucraniano (uk) Асистент доведення теорем		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	inglés (en) Proof assistant		3
2	francés (fr) Assistant de preuve		1
3	español (es) Demostración interactiva de teoremas		0
4	estonio (et) Tõestusassistent		0
5	polaco (pl) System wspomagający dowodzenie twierdzeń		0
6	ruso (ru) Инструмент интерактивного доказательства теорем		0
7	ucraniano (uk) Асистент доведення теорем		0

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

El 3 de noviembre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: elecciones presidenciales de Estados Unidos de 2024, Kamala Harris, Donald Trump, Temporada 2024 de Fórmula 1, The Substance, Kemi Badenoch, Muertes en 2024, Elon Musk, Venom: El Último Baile, Max Verstappen.

En Wikipedia en inglés los artículos más populares de ese día fueron: 2024 United States presidential election, Kemi Badenoch, Chappell Roan, Bhool Bhulaiyaa 3, Singham Again, Kamala Harris, John Mulaney, Mukund Varadarajan, Rodney Alcala, 2020 United States presidential election.

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