Vérification formelle

O artigo "Vérification formelle" na Wikipédia em francês tem 0.1 pontos para qualidade (em 1º de agosto de 2024).

Este artigo tem a melhor qualidade na Wikipédia em inglês. Além disso, este artigo é o mais popular nessa versão nesse idioma.

Desde a criação do artigo "Vérification formelle", seu conteúdo foi escrito por 25 usuários cadastrados na Wikipédia em francês e editado por 351 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 54 vezes na Wikipédia em francês e citado 760 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

• Local (francês): Nº 11157 em março de 2009
• Global: Nº 20042 em novembro de 2003

A classificação de popularidade mais alta de 2008:

• Local (francês): Nº 202793 em outubro de 2009
• Global: Nº 149511 em setembro de 2014

Existem versões deste artigo em 20 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de agosto de 2024 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

#	Idioma	Grau de qualidade	Pontuação de qualidade
1	inglês (en) Formal verification		31.2683
2	basco (eu) Egiaztapen formala (informatika)		25.9483
3	árabe (ar) التحقق الشكلي		21.5638
4	sueco (sv) Formell verifiering		21.1266
5	ucraniano (uk) Формальна верифікація		17.0026
6	grego (el) Τυπική επαλήθευση		16.2691
7	italiano (it) Verifica formale		14.686
8	coreano (ko) 형식 검증		14.1224
9	japonês (ja) 形式的検証		13.4415
10	russo (ru) Формальная верификация		13.3692

Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

As versões linguísticas mais populares do artigo "Vérification formelle" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Formal verification		1 121 549
2	russo (ru) Формальная верификация		127 988
3	japonês (ja) 形式的検証		75 890
4	chinês (zh) 形式验证		58 021
5	espanhol (es) Verificación formal		39 641
6	francês (fr) Vérification formelle		34 383
7	hebraico (he) אימות תוכנה		21 743
8	português (pt) Verificação formal		15 973
9	polonês (pl) Weryfikacja formalna		15 818
10	ucraniano (uk) Формальна верифікація		12 667

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

As versões linguísticas mais populares do artigo "Vérification formelle" em julho de 2024

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Formal verification		7 954
2	chinês (zh) 形式验证		398
3	russo (ru) Формальная верификация		375
4	japonês (ja) 形式的検証		256
5	hebraico (he) אימות תוכנה		107
6	francês (fr) Vérification formelle		94
7	espanhol (es) Verificación formal		89
8	coreano (ko) 형식 검증		57
9	italiano (it) Verifica formale		46
10	grego (el) Τυπική επαλήθευση		26

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

Versões linguísticas do artigo "Vérification formelle" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Formal verification		165
2	russo (ru) Формальная верификация		28
3	francês (fr) Vérification formelle		25
4	hebraico (he) אימות תוכנה		23
5	chinês (zh) 形式验证		19
6	espanhol (es) Verificación formal		14
7	japonês (ja) 形式的検証		12
8	ucraniano (uk) Формальна верифікація		12
9	polonês (pl) Weryfikacja formalna		9
10	turco (tr) Program doğrulama		9

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

Versões linguísticas do artigo "Vérification formelle" com a IA mais alta em julho de 2024

#	Idioma	Prêmio de IA	IA relativa
1	árabe (ar) التحقق الشكلي		1
2	grego (el) Τυπική επαλήθευση		1
3	tcheco (cs) Formální verifikace		0
4	inglês (en) Formal verification		0
5	espanhol (es) Verificación formal		0
6	basco (eu) Egiaztapen formala (informatika)		0
7	persa (fa) درستی‌یابی صوری		0
8	francês (fr) Vérification formelle		0
9	hebraico (he) אימות תוכנה		0
10	italiano (it) Verifica formale		0

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

Versões linguísticas do artigo "Vérification formelle" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Formal verification		299
2	russo (ru) Формальная верификация		66
3	hebraico (he) אימות תוכנה		55
4	francês (fr) Vérification formelle		54
5	japonês (ja) 形式的検証		50
6	ucraniano (uk) Формальна верифікація		44
7	português (pt) Verificação formal		35
8	chinês (zh) 形式验证		32
9	espanhol (es) Verificación formal		27
10	grego (el) Τυπική επαλήθευση		19

Mais...

#	Idioma	Valor
ar	árabe التحقق الشكلي
cs	tcheco Formální verifikace
el	grego Τυπική επαλήθευση
en	inglês Formal verification
es	espanhol Verificación formal
eu	basco Egiaztapen formala (informatika)
fa	persa درستی‌یابی صوری
fr	francês Vérification formelle
he	hebraico אימות תוכנה
it	italiano Verifica formale
ja	japonês 形式的検証
ko	coreano 형식 검증
pl	polonês Weryfikacja formalna
pt	português Verificação formal
ru	russo Формальная верификация
simple	inglês simples Formal verification
sv	sueco Formell verifiering
tr	turco Program doğrulama
uk	ucraniano Формальна верифікація
zh	chinês 形式验证

Melhor Posição

francês: Nº 202793 10.2009

Global: Nº 149511 09.2014

Melhor Posição

francês: Nº 11157 03.2009

Global: Nº 20042 11.2003

Em 19 de novembro de 2024, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Mike Tyson, Elon Musk, MGM-140 ATACMS, Gladiator II, Dia Internacional do Homem, Liga das Nações da UEFA de 2024–25, Donald Trump, Jake Paul, Jon Jones, mortes em 2024.

Na Wikipédia em francês, os artigos mais populares naquele dia foram: Amy Winehouse, Eva Son-Forget, Cat's Eyes (série télévisée), Victor Hugo, Cookie (informatique), Charles Dumont (chanteur), Marché commun du Sud, Slimane (chanteur), Camille Lou, Elon Musk.

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de agosto de 2024. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de julho de 2024. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2023... Mais Informações