Автоматизоване доведення теорем

O artigo “Автоматизоване доведення теорем” na Wikipédia em ucraniano tem 3.5 pontos para qualidade (em 1º de julho de 2025). O artigo contém 0 referências e 3 seções.

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

Desde a criação do artigo “Автоматизоване доведення теорем”, seu conteúdo foi escrito por 10 usuários cadastrados na Wikipédia em ucraniano e editado por 452 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 38 vezes na Wikipédia em ucraniano e citado 1245 vezes em todos os idiomas.

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

• Local (ucraniano): Nº 1902 em maio de 2013
• Global: Nº 160 em novembro de 2001

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

• Local (ucraniano): Nº 55973 em maio de 2013
• 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 "Автоматизоване доведення теорем" 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 "Автоматизоване доведення теорем" 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 "Автоматизоване доведення теорем" 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 "Автоматизоване доведення теорем" 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 "Автоматизоване доведення теорем" 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

ucraniano: Nº 55973 05.2013

Global: Nº 76291 08.2008

Melhor Posição

ucraniano: Nº 1902 05.2013

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 ucraniano, os artigos mais populares naquele dia foram: Забарний Ілля Борисович, Аляска, Анкоридж (Аляска), Макс Корж, Венздей (2-й сезон), 1-й корпус НГУ «Азов», День молоді (Україна), Волинська трагедія, Кріштіану Роналду, Україна.

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