Formal proof

Calidad:

El artículo "Formal proof" en Wikipedia en inglés tiene 23.5 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 4 referencias y 8 secciones.

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.

En julio de 2024 el artículo "Formal proof" fue editado por 1 autores en Wikipedia en inglésy fue escrito por 2 autores en todos los idiomas.

Desde la creación del artículo "Formal proof", , su contenido fue escrito por 41 usuarios registrados de Wikipedia en inglés fue editado por 128 usuarios registrados de Wikipedia en todos los idiomas.

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

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

• Local (inglés): Nº 94356 en octubre de 2014
• Global: Nº 76621 en junio de 2005

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 237045 en octubre de 2009
• Global: Nº 192710 en junio de 2010

Hay 8 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) Formal proof		23.4607
2	italiano (it) Dimostrazione		21.5948
3	portugués (pt) Derivação formal		15.8082
4	español (es) Prueba formal		13.6917
5	árabe (ar) برهان فلسفي		10.8116
6	francés (fr) Démonstration formelle		9.4283
7	ucraniano (uk) Формальне доведення		6.1949
8	holandés (nl) Formeel bewijs		1.7856

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

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Formal proof		482 899
2	árabe (ar) برهان فلسفي		155 663
3	italiano (it) Dimostrazione		106 170
4	portugués (pt) Derivação formal		26 164
5	español (es) Prueba formal		13 443
6	ucraniano (uk) Формальне доведення		10 879
7	holandés (nl) Formeel bewijs		5 203
8	francés (fr) Démonstration formelle		4 949

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) Formal proof		1 389
2	árabe (ar) برهان فلسفي		237
3	italiano (it) Dimostrazione		221
4	francés (fr) Démonstration formelle		66
5	español (es) Prueba formal		53
6	portugués (pt) Derivação formal		45
7	ucraniano (uk) Формальне доведення		15
8	holandés (nl) Formeel bewijs		6

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) Formal proof		41
2	italiano (it) Dimostrazione		38
3	árabe (ar) برهان فلسفي		14
4	portugués (pt) Derivação formal		11
5	ucraniano (uk) Формальне доведення		11
6	francés (fr) Démonstration formelle		5
7	holandés (nl) Formeel bewijs		5
8	español (es) Prueba formal		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) Formal proof		1
2	ucraniano (uk) Формальне доведення		1
3	árabe (ar) برهان فلسفي		0
4	español (es) Prueba formal		0
5	francés (fr) Démonstration formelle		0
6	italiano (it) Dimostrazione		0
7	holandés (nl) Formeel bewijs		0
8	portugués (pt) Derivação formal		0

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

El 3 de octubre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Lyle y Erik Menendez, Diddy, Joker: Folie à Deux, Israel, Jimmy Carter, Líbano, Hezbolá, Marburg marburgvirus, Rosh Hashaná, Eminem.

En Wikipedia en inglés los artículos más populares de ese día fueron: Joker: Folie à Deux, Lyle and Erik Menendez, Rosh Hashanah, Sean Combs, Lyle and Erik Menéndez, Deaths in 2024, Chagos Archipelago, Jimmy Carter, Adam Brody, John Amos.

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