Автоматическое доказательство

Calidad:

El artículo "Автоматическое доказательство" en Wikipedia en ruso tiene 8.8 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 1 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.

Desde la creación del artículo "Автоматическое доказательство", , su contenido fue escrito por 22 usuarios registrados de Wikipedia en ruso fue editado por 433 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 68 veces en Wikipedia en ruso y es citado 1209 veces en todos los idiomas.

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

• Local (ruso): Nº 3930 en diciembre de 2006
• Global: Nº 159 en noviembre de 2001

El rango de popularidad más alto de 2008:

• Local (ruso): Nº 58120 en abril de 2008
• Global: Nº 76366 en agosto de 2008

Hay 18 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) Automated theorem proving		39.4863
2	portugués (pt) Prova automática de teoremas		34.3326
3	japonés (ja) 自動定理証明		22.9521
4	italiano (it) Dimostrazione automatica di teoremi		20.3953
5	serbio (sr) Automatsko dokazivanje teorema		20.1405
6	español (es) Demostración automática de teoremas		14.509
7	vasco (eu) Teoremen frogapen automatiko		11.4527
8	polaco (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	ruso (ru) Автоматическое доказательство		8.8433
10	azerbaiyano (az) Teoremlərin avtomatik sübutu		8.2056

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 013 140
2	español (es) Demostración automática de teoremas		161 826
3	japonés (ja) 自動定理証明		97 457
4	ruso (ru) Автоматическое доказательство		84 998
5	polaco (pl) Automatyczne dowodzenie twierdzeń		64 193
6	chino (zh) 自動化定理證明		33 880
7	francés (fr) Démonstration automatique de théorèmes		29 520
8	portugués (pt) Prova automática de teoremas		19 296
9	italiano (it) Dimostrazione automatica di teoremi		11 984
10	persa (fa) اثبات قضیه خودکار		11 542

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		4 735
2	japonés (ja) 自動定理証明		374
3	ruso (ru) Автоматическое доказательство		227
4	chino (zh) 自動化定理證明		216
5	español (es) Demostración automática de teoremas		118
6	italiano (it) Dimostrazione automatica di teoremi		99
7	francés (fr) Démonstration automatique de théorèmes		92
8	polaco (pl) Automatyczne dowodzenie twierdzeń		70
9	persa (fa) اثبات قضیه خودکار		58
10	serbio (sr) Automatsko dokazivanje teorema		56

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		214
2	español (es) Demostración automática de teoremas		35
3	francés (fr) Démonstration automatique de théorèmes		27
4	japonés (ja) 自動定理証明		27
5	polaco (pl) Automatyczne dowodzenie twierdzeń		25
6	ruso (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		19
8	portugués (pt) Prova automática de teoremas		16
9	chino (zh) 自動化定理證明		13
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	serbio (sr) Automatsko dokazivanje teorema		1
2	azerbaiyano (az) Teoremlərin avtomatik sübutu		0
3	inglés (en) Automated theorem proving		0
4	español (es) Demostración automática de teoremas		0
5	vasco (eu) Teoremen frogapen automatiko		0
6	persa (fa) اثبات قضیه خودکار		0
7	francés (fr) Démonstration automatique de théorèmes		0
8	armenio (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italiano (it) Dimostrazione automatica di teoremi		0
10	japonés (ja) 自動定理証明		0

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

El 26 de diciembre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: El juego del calamar, Boxing Day, Terremoto y tsunami del Océano Índico de 2004, Anexo:Segunda temporada de El juego del calamar, Janucá, Azerbaijan Airlines Flight 8243, Isabel de Baviera, Nosferatu, Mufasa: El Rey León, Gladiator 2.

En Wikipedia en ruso los artículos más populares de ese día fueron: Яндекс, Игра в кальмара (2 сезон), Катастрофа Embraer E190 в аэропорту Актау, Комбинация (группа), Шишинин, Александр Владимирович, Апина, Алёна, ЯRUS, Плевако, Фёдор Никифорович, Игра в кальмара, Боярский, Михаил Сергеевич.

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