Automated theorem proving

Calidad:

El artículo “Automated theorem proving” en Wikipedia en inglés tiene 41.4 puntos por calidad (a 1 de julio de 2025). El artículo contiene 32 referencias y 16 secciones. El artículo también contiene plantillas que señalan deficiencias de calidad, por lo que su puntuación se redujo en 4,6 puntos.

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

En junio de 2025 el artículo “Automated theorem proving” fue editado por 1 autores en Wikipedia en inglésy fue escrito por 3 autores en todos los idiomas.

Desde la creación del artículo “Automated theorem proving”, , su contenido fue escrito por 217 usuarios registrados de Wikipedia en inglés fue editado por 452 usuarios registrados de Wikipedia en todos los idiomas.

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

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

• Local (inglés): Nº 128 en noviembre de 2001
• Global: Nº 160 en noviembre de 2001

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 54692 en agosto de 2008
• Global: Nº 76291 en agosto de 2008

Hay 19 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 julio de 2025 (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) Automated theorem proving		41.4029
2	portugués (pt) Prova automática de teoremas		34.4439
3	catalán (ca) Demostració automàtica de teoremes		27.8085
4	japonés (ja) 自動定理証明		22.7638
5	italiano (it) Dimostrazione automatica di teoremi		20.1055
6	serbio (sr) Automatsko dokazivanje teorema		20.0177
7	español (es) Demostración automática de teoremas		14.0262
8	armenio (hy) Թեորեմների ավտոմատացված ապացուցում		11.7305
9	vasco (eu) Teoremen frogapen automatiko		11.422
10	polaco (pl) Automatyczne dowodzenie twierdzeń		10.6074

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

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Automated theorem proving		1 064 415
2	español (es) Demostración automática de teoremas		163 216
3	japonés (ja) 自動定理証明		101 163
4	ruso (ru) Автоматическое доказательство		88 443
5	polaco (pl) Automatyczne dowodzenie twierdzeń		65 211
6	chino (zh) 自動化定理證明		36 476
7	francés (fr) Démonstration automatique de théorèmes		30 711
8	portugués (pt) Prova automática de teoremas		19 771
9	italiano (it) Dimostrazione automatica di teoremi		12 611
10	persa (fa) اثبات قضیه خودکار		12 053

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) Automated theorem proving		5 067
2	japonés (ja) 自動定理証明		351
3	ruso (ru) Автоматическое доказательство		267
4	francés (fr) Démonstration automatique de théorèmes		232
5	chino (zh) 自動化定理證明		173
6	español (es) Demostración automática de teoremas		115
7	polaco (pl) Automatyczne dowodzenie twierdzeń		60
8	portugués (pt) Prova automática de teoremas		47
9	italiano (it) Dimostrazione automatica di teoremi		45
10	serbio (sr) Automatsko dokazivanje teorema		44

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) Automated theorem proving		217
2	español (es) Demostración automática de teoremas		35
3	francés (fr) Démonstration automatique de théorèmes		28
4	japonés (ja) 自動定理証明		28
5	polaco (pl) Automatyczne dowodzenie twierdzeń		26
6	ruso (ru) Автоматическое доказательство		23
7	italiano (it) Dimostrazione automatica di teoremi		20
8	portugués (pt) Prova automática de teoremas		16
9	chino (zh) 自動化定理證明		13
10	armenio (hy) Թեորեմների ավտոմատացված ապացուցում		10

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) Automated theorem proving		1
2	japonés (ja) 自動定理証明		1
3	ruso (ru) Автоматическое доказательство		1
4	azerbaiyano (az) Teoremlərin avtomatik sübutu		0
5	catalán (ca) Demostració automàtica de teoremes		0
6	español (es) Demostración automática de teoremas		0
7	vasco (eu) Teoremen frogapen automatiko		0
8	persa (fa) اثبات قضیه خودکار		0
9	francés (fr) Démonstration automatique de théorèmes		0
10	armenio (hy) Թեորեմների ավտոմատացված ապացուցում		0

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

El 13 de octubre de 2025 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Diane Keaton, Ed Gein, Clasificación para la Copa Mundial de Fútbol de 2026, Copa Mundial de Fútbol de 2026, Clasificación de UEFA para la Copa Mundial de Fútbol de 2026, Ian Watkins, Clasificación de CAF para la Copa Mundial de Fútbol de 2026, Ilse Koch, Donald Trump, ChatGPT.

En Wikipedia en inglés los artículos más populares de ese día fueron: Ed Gein, Diane Keaton, Ian Watkins (Lostprophets singer), Google Chrome, Kantara: Chapter 1, Columbus Day, Justin Trudeau, 2026 FIFA World Cup qualification, Dennis Rader, Deaths in 2025.

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