Vérification formelle

Calidad:

El artículo "Vérification formelle" en Wikipedia en francés tiene 0.1 puntos por calidad (a 1 de noviembre de 2023).

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 "Vérification formelle", , su contenido fue escrito por 25 usuarios registrados de Wikipedia en francés fue editado por 342 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 52 veces en Wikipedia en francés y es citado 713 veces en todos los idiomas.

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

• Local (francés): Nº 11173 en marzo de 2009
• Global: Nº 20053 en noviembre de 2003

El rango de popularidad más alto de 2008:

• Local (francés): Nº 203272 en octubre de 2009
• Global: Nº 149624 en septiembre de 2014

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 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	inglés (en) Formal verification		31.4352
2	vasco (eu) Egiaztapen formala (informatika)		26.4615
3	árabe (ar) التحقق الشكلي		21.7851
4	sueco (sv) Formell verifiering		21.4736
5	griego (el) Τυπική επαλήθευση		16.7359
6	italiano (it) Verifica formale		14.8767
7	ruso (ru) Формальная верификация		13.3645
8	japonés (ja) 形式的検証		13.348
9	español (es) Verificación formal		12.4295
10	ucraniano (uk) Формальна верифікація		8.0367

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 verification		1 070 776
2	ruso (ru) Формальная верификация		123 578
3	japonés (ja) 形式的検証		73 722
4	chino (zh) 形式验证		54 880
5	español (es) Verificación formal		38 412
6	francés (fr) Vérification formelle		33 437
7	hebreo (he) אימות תוכנה		20 846
8	portugués (pt) Verificação formal		15 772
9	polaco (pl) Weryfikacja formalna		15 607
10	ucraniano (uk) Формальна верифікація		12 366

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 verification		5 424
2	ruso (ru) Формальная верификация		464
3	chino (zh) 形式验证		316
4	japonés (ja) 形式的検証		209
5	español (es) Verificación formal		184
6	francés (fr) Vérification formelle		109
7	italiano (it) Verifica formale		51
8	hebreo (he) אימות תוכנה		37
9	inglés simple (simple) Formal verification		36
10	portugués (pt) Verificação formal		32

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 verification		163
2	ruso (ru) Формальная верификация		28
3	francés (fr) Vérification formelle		25
4	hebreo (he) אימות תוכנה		22
5	chino (zh) 形式验证		19
6	español (es) Verificación formal		13
7	japonés (ja) 形式的検証		11
8	ucraniano (uk) Формальна верифікація		10
9	polaco (pl) Weryfikacja formalna		9
10	turco (tr) Program doğrulama		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	inglés (en) Formal verification		3
2	checo (cs) Formální verifikace		1
3	ruso (ru) Формальная верификация		1
4	árabe (ar) التحقق الشكلي		0
5	griego (el) Τυπική επαλήθευση		0
6	español (es) Verificación formal		0
7	vasco (eu) Egiaztapen formala (informatika)		0
8	persa (fa) درستی‌یابی صوری		0
9	francés (fr) Vérification formelle		0
10	hebreo (he) אימות תוכנה		0

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

El 27 de julio de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Juegos Olímpicos de París 2024, Céline Dion, Juegos Olímpicos, Kamala Harris, síndrome de la persona rígida, Deadpool & Wolverine, Juegos Olímpicos de Tokio 2020, Aya Nakamura, Lady Gaga, María Antonieta de Austria.

En Wikipedia en francés los artículos más populares de ese día fueron: Thomas Jolly, Marie-José Pérec, Daphné Bürki, Shirine Boukli, Philippe Katerine, Céline Dion, Aya Nakamura, Teddy Riner, Jeux olympiques d'été de 2024, Luka Mkheidze.

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