Formell verifiering

O artigo “Formell verifiering” na Wikipédia em sueco tem 21 pontos para qualidade (em 1º de julho de 2025).

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 (sueco).

Desde a criação do artigo “Formell verifiering”, seu conteúdo foi escrito por 3 usuários cadastrados na Wikipédia em sueco e editado por 367 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 2 vezes na Wikipédia em sueco e citado 810 vezes em todos os idiomas.

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

• Local (sueco): Nº 2092 em outubro de 2019
• Global: Nº 20043 em novembro de 2003

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

• Local (sueco): Nº 141850 em maio de 2025
• Global: Nº 149414 em setembro de 2014

Existem versões deste artigo em 22 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 julho de 2025 (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		35.6348
2	sérvio (sr) Формална верификација		26.6112
3	basco (eu) Egiaztapen formala (informatika)		25.7161
4	catalão (ca) Verificació formal		25.5206
5	árabe (ar) التحقق الشكلي		21.4916
6	sueco (sv) Formell verifiering		21.0375
7	grego (el) Τυπική επαλήθευση		16.1568
8	ucraniano (uk) Формальна верифікація		16.1112
9	coreano (ko) 형식 검증		14.255
10	italiano (it) Verifica formale		13.8988

Mais...

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

As versões linguísticas mais populares do artigo "Formell verifiering" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Formal verification		1 181 361
2	russo (ru) Формальная верификация		132 524
3	japonês (ja) 形式的検証		78 386
4	chinês (zh) 形式验证		62 390
5	espanhol (es) Verificación formal		40 686
6	francês (fr) Vérification formelle		35 660
7	hebraico (he) אימות תוכנה		22 968
8	português (pt) Verificação formal		16 299
9	polonês (pl) Weryfikacja formalna		16 108
10	ucraniano (uk) Формальна верифікація		12 996

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 "Formell verifiering" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Formal verification		6 169
2	chinês (zh) 形式验证		312
3	russo (ru) Формальная верификация		270
4	japonês (ja) 形式的検証		209
5	francês (fr) Vérification formelle		123
6	espanhol (es) Verificación formal		66
7	hebraico (he) אימות תוכנה		52
8	inglês simples (simple) Formal verification		40
9	coreano (ko) 형식 검증		34
10	português (pt) Verificação formal		28

Mais...

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

Versões linguísticas do artigo "Formell verifiering" 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		170
2	russo (ru) Формальная верификация		28
3	francês (fr) Vérification formelle		26
4	hebraico (he) אימות תוכנה		23
5	chinês (zh) 形式验证		19
6	espanhol (es) Verificación formal		15
7	japonês (ja) 形式的検証		12
8	ucraniano (uk) Формальна верифікація		12
9	polonês (pl) Weryfikacja formalna		10
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 "Formell verifiering" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	francês (fr) Vérification formelle		1
2	árabe (ar) التحقق الشكلي		0
3	catalão (ca) Verificació formal		0
4	tcheco (cs) Formální verifikace		0
5	grego (el) Τυπική επαλήθευση		0
6	inglês (en) Formal verification		0
7	espanhol (es) Verificación formal		0
8	basco (eu) Egiaztapen formala (informatika)		0
9	persa (fa) درستی‌یابی صوری		0
10	hebraico (he) אימות תוכנה		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 "Formell verifiering" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Formal verification		307
2	russo (ru) Формальная верификация		66
3	hebraico (he) אימות תוכנה		58
4	francês (fr) Vérification formelle		56
5	japonês (ja) 形式的検証		49
6	ucraniano (uk) Формальна верифікація		45
7	chinês (zh) 形式验证		37
8	português (pt) Verificação formal		35
9	espanhol (es) Verificación formal		28
10	persa (fa) درستی‌یابی صوری		20

Mais...

#	Idioma	Valor
ar	árabe التحقق الشكلي
ca	catalão Verificació formal
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
sr	sérvio Формална верификација
sv	sueco Formell verifiering
tr	turco Program doğrulama
uk	ucraniano Формальна верифікація
zh	chinês 形式验证

Melhor Posição

sueco: Nº 141850 05.2025

Global: Nº 149414 09.2014

Melhor Posição

sueco: Nº 2092 10.2019

Global: Nº 20043 11.2003

Em 16 de março de 2026, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Oscar 2026, Michael B. Jordan, Pecadores, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Batalha Atrás de Batalha, Amy Madigan, Hamnet, Timothée Chalamet.

Na Wikipédia em sueco, os artigos mais populares naquele dia foram: Ludwig Göransson, Mikael Tornving, Simona Mohamsson, Daniel Paris, Stellan Skarsgård, Timo Räisänen, Sinners, Michael B. Jordan, Sean Penn, Icas reklamfilmer.

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 julho de 2025. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2025. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2025... Mais Informações