Demostración automática de teoremas

Calidad:

El artículo "Demostración automática de teoremas" en Wikipedia en español tiene 14.5 puntos por calidad (a 1 de noviembre de 2023). El artículo contiene 0 referencias y 10 secciones.

Este artículo tiene la mejor calidad en Wikipedia en portugués. Sin embargo, la versión lingüística más popular de este artículo es el inglés.

Desde la creación del artículo "Demostración automática de teoremas", , su contenido fue escrito por 35 usuarios registrados de Wikipedia en español fue editado por 421 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 50 veces en Wikipedia en español y es citado 786 veces en todos los idiomas.

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

• Local (español): Nº 6628 en agosto de 2008
• Global: Nº 159 en noviembre de 2001

El rango de popularidad más alto de 2008:

• Local (español): Nº 51515 en febrero de 2010
• Global: Nº 76451 en agosto de 2008

Hay 17 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	portugués (pt) Prova automática de teoremas		34.3697
2	inglés (en) Automated theorem proving		33.711
3	japonés (ja) 自動定理証明		22.9089
4	italiano (it) Dimostrazione automatica di teoremi		20.6412
5	español (es) Demostración automática de teoremas		14.5303
6	vasco (eu) Teoremen frogapen automatiko		11.4951
7	polaco (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	ruso (ru) Автоматическое доказательство		8.8301
9	azerbaiyano (az) Teoremlərin avtomatik sübutu		8.1057
10	chino (zh) 自動化定理證明		5.263

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		969 656
2	español (es) Demostración automática de teoremas		160 435
3	japonés (ja) 自動定理証明		94 253
4	ruso (ru) Автоматическое доказательство		81 984
5	polaco (pl) Automatyczne dowodzenie twierdzeń		63 187
6	chino (zh) 自動化定理證明		32 009
7	francés (fr) Démonstration automatique de théorèmes		28 548
8	portugués (pt) Prova automática de teoremas		18 872
9	italiano (it) Dimostrazione automatica di teoremi		11 350
10	persa (fa) اثبات قضیه خودکار		10 935

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 345
2	japonés (ja) 自動定理証明		421
3	ruso (ru) Автоматическое доказательство		360
4	español (es) Demostración automática de teoremas		321
5	chino (zh) 自動化定理證明		178
6	francés (fr) Démonstration automatique de théorèmes		107
7	polaco (pl) Automatyczne dowodzenie twierdzeń		102
8	italiano (it) Dimostrazione automatica di teoremi		100
9	persa (fa) اثبات قضیه خودکار		54
10	portugués (pt) Prova automática de teoremas		51

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		209
2	español (es) Demostración automática de teoremas		35
3	francés (fr) Démonstration automatique de théorèmes		26
4	japonés (ja) 自動定理証明		26
5	polaco (pl) Automatyczne dowodzenie twierdzeń		25
6	ruso (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		18
8	portugués (pt) Prova automática de teoremas		16
9	chino (zh) 自動化定理證明		11
10	ucraniano (uk) Автоматизоване доведення теорем		9

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	coreano (ko) 자동 정리 증명		2
2	inglés (en) Automated theorem proving		1
3	italiano (it) Dimostrazione automatica di teoremi		1
4	azerbaiyano (az) Teoremlərin avtomatik sübutu		0
5	español (es) Demostración automática de teoremas		0
6	vasco (eu) Teoremen frogapen automatiko		0
7	persa (fa) اثبات قضیه خودکار		0
8	francés (fr) Démonstration automatique de théorèmes		0
9	armenio (hy) Թեորեմների ավտոմատացված ապացուցում		0
10	japonés (ja) 自動定理証明		0

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

El 2 de julio de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Eurocopa 2024, Eurocopa de Naciones, Cristiano Ronaldo, Diogo Costa, Merih Demiral, Copa América 2024, Arda Güler, Selección de fútbol de Turquía, Copa América, Inside Out 2.

En Wikipedia en español los artículos más populares de ese día fueron: Copa América 2024, Eurocopa 2024, Copa América, Eurocopa, Huracán Gilbert, Christian Pulisic, Diogo Costa (futbolista), Lamine Yamal, ChatGPT, Cris Miró.

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