Automated theorem proving

O artigo “Automated theorem proving” na Wikipédia em inglês tem 41.4 pontos para qualidade (em 1º de julho de 2025). O artigo contém 32 referências e 16 seções. O artigo também contém modelos que indicam problemas de qualidade, portanto sua pontuação foi reduzida em 4,6 pontos.

Nesta versão linguística da Wikipédia o artigo tem a melhor qualidade. Além disso, este artigo é o mais popular nessa versão nesse idioma (inglês).

Em junho de 2025 o artigo “Automated theorem proving” foi editado por 1 autores na Wikipédia em inglês e escrito por 3 autores em todos os idiomas.

Desde a criação do artigo “Automated theorem proving”, seu conteúdo foi escrito por 217 usuários cadastrados na Wikipédia em inglês e editado por 452 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 728 vezes na Wikipédia em inglês e citado 1245 vezes em todos os idiomas.

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

• Local (inglês): Nº 128 em novembro de 2001
• Global: Nº 160 em novembro de 2001

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

• Local (inglês): Nº 54692 em agosto de 2008
• Global: Nº 76291 em agosto de 2008

Existem versões deste artigo em 19 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) Automated theorem proving		41.4029
2	português (pt) Prova automática de teoremas		34.4439
3	catalão (ca) Demostració automàtica de teoremes		27.8085
4	japonês (ja) 自動定理証明		22.7638
5	italiano (it) Dimostrazione automatica di teoremi		20.1055
6	sérvio (sr) Automatsko dokazivanje teorema		20.0177
7	espanhol (es) Demostración automática de teoremas		14.0262
8	armênio (hy) Թեորեմների ավտոմատացված ապացուցում		11.7305
9	basco (eu) Teoremen frogapen automatiko		11.422
10	polonês (pl) Automatyczne dowodzenie twierdzeń		10.6074

Mais...

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

As versões linguísticas mais populares do artigo "Automated theorem proving" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Automated theorem proving		1 064 415
2	espanhol (es) Demostración automática de teoremas		163 216
3	japonês (ja) 自動定理証明		101 163
4	russo (ru) Автоматическое доказательство		88 443
5	polonês (pl) Automatyczne dowodzenie twierdzeń		65 211
6	chinês (zh) 自動化定理證明		36 476
7	francês (fr) Démonstration automatique de théorèmes		30 711
8	português (pt) Prova automática de teoremas		19 771
9	italiano (it) Dimostrazione automatica di teoremi		12 611
10	persa (fa) اثبات قضیه خودکار		12 053

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 "Automated theorem proving" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Automated theorem proving		5 067
2	japonês (ja) 自動定理証明		351
3	russo (ru) Автоматическое доказательство		267
4	francês (fr) Démonstration automatique de théorèmes		232
5	chinês (zh) 自動化定理證明		173
6	espanhol (es) Demostración automática de teoremas		115
7	polonês (pl) Automatyczne dowodzenie twierdzeń		60
8	português (pt) Prova automática de teoremas		47
9	italiano (it) Dimostrazione automatica di teoremi		45
10	sérvio (sr) Automatsko dokazivanje teorema		44

Mais...

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

Versões linguísticas do artigo "Automated theorem proving" 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) Automated theorem proving		217
2	espanhol (es) Demostración automática de teoremas		35
3	francês (fr) Démonstration automatique de théorèmes		28
4	japonês (ja) 自動定理証明		28
5	polonês (pl) Automatyczne dowodzenie twierdzeń		26
6	russo (ru) Автоматическое доказательство		23
7	italiano (it) Dimostrazione automatica di teoremi		20
8	português (pt) Prova automática de teoremas		16
9	chinês (zh) 自動化定理證明		13
10	armênio (hy) Թեորեմների ավտոմատացված ապացուցում		10

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 "Automated theorem proving" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Automated theorem proving		1
2	japonês (ja) 自動定理証明		1
3	russo (ru) Автоматическое доказательство		1
4	azerbaijano (az) Teoremlərin avtomatik sübutu		0
5	catalão (ca) Demostració automàtica de teoremes		0
6	espanhol (es) Demostración automática de teoremas		0
7	basco (eu) Teoremen frogapen automatiko		0
8	persa (fa) اثبات قضیه خودکار		0
9	francês (fr) Démonstration automatique de théorèmes		0
10	armênio (hy) Թեորեմների ավտոմատացված ապացուցում		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 "Automated theorem proving" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Automated theorem proving		728
2	chinês (zh) 自動化定理證明		81
3	russo (ru) Автоматическое доказательство		68
4	japonês (ja) 自動定理証明		56
5	espanhol (es) Demostración automática de teoremas		53
6	francês (fr) Démonstration automatique de théorèmes		53
7	ucraniano (uk) Автоматизоване доведення теорем		38
8	polonês (pl) Automatyczne dowodzenie twierdzeń		36
9	português (pt) Prova automática de teoremas		27
10	persa (fa) اثبات قضیه خودکار		26

Mais...

#	Idioma	Valor
az	azerbaijano Teoremlərin avtomatik sübutu
ca	catalão Demostració automàtica de teoremes
en	inglês Automated theorem proving
es	espanhol Demostración automática de teoremas
eu	basco Teoremen frogapen automatiko
fa	persa اثبات قضیه خودکار
fr	francês Démonstration automatique de théorèmes
hy	armênio Թեորեմների ավտոմատացված ապացուցում
it	italiano Dimostrazione automatica di teoremi
ja	japonês 自動定理証明
ko	coreano 자동 정리 증명
pl	polonês Automatyczne dowodzenie twierdzeń
pt	português Prova automática de teoremas
ru	russo Автоматическое доказательство
sr	sérvio Automatsko dokazivanje teorema
th	tailandês การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	turco Otomatik teorem kanıtlama
uk	ucraniano Автоматизоване доведення теорем
zh	chinês 自動化定理證明

Melhor Posição

inglês: Nº 54692 08.2008

Global: Nº 76291 08.2008

Melhor Posição

inglês: Nº 128 11.2001

Global: Nº 160 11.2001

Em 12 de agosto de 2025, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, mortes em 2025, Taylor Swift, Miguel Uribe, Liga dos Campeões da UEFA de 2025–26.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

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