Automated theorem proving

O artigo "Automated theorem proving" na Wikipédia em inglês tem 39.5 pontos para qualidade (em 1º de agosto de 2024). O artigo contém 27 referências e 16 seções. O artigo também contém modelo de falha de qualidade, que reduz o índice de qualidade.

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.

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

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

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

• Local (inglês): Nº 127 em novembro de 2001
• Global: Nº 159 em novembro de 2001

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

• Local (inglês): Nº 54772 em agosto de 2008
• Global: Nº 76366 em agosto de 2008

Existem versões deste artigo em 18 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) Automated theorem proving		39.4863
2	português (pt) Prova automática de teoremas		34.3326
3	japonês (ja) 自動定理証明		22.9521
4	italiano (it) Dimostrazione automatica di teoremi		20.3953
5	sérvio (sr) Automatsko dokazivanje teorema		20.1405
6	espanhol (es) Demostración automática de teoremas		14.509
7	basco (eu) Teoremen frogapen automatiko		11.4527
8	polonês (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	russo (ru) Автоматическое доказательство		8.8433
10	azerbaijano (az) Teoremlərin avtomatik sübutu		8.2056

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 013 140
2	espanhol (es) Demostración automática de teoremas		161 826
3	japonês (ja) 自動定理証明		97 457
4	russo (ru) Автоматическое доказательство		84 998
5	polonês (pl) Automatyczne dowodzenie twierdzeń		64 193
6	chinês (zh) 自動化定理證明		33 880
7	francês (fr) Démonstration automatique de théorèmes		29 520
8	português (pt) Prova automática de teoremas		19 296
9	italiano (it) Dimostrazione automatica di teoremi		11 984
10	persa (fa) اثبات قضیه خودکار		11 542

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 julho de 2024

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Automated theorem proving		4 735
2	japonês (ja) 自動定理証明		374
3	russo (ru) Автоматическое доказательство		227
4	chinês (zh) 自動化定理證明		216
5	espanhol (es) Demostración automática de teoremas		118
6	italiano (it) Dimostrazione automatica di teoremi		99
7	francês (fr) Démonstration automatique de théorèmes		92
8	polonês (pl) Automatyczne dowodzenie twierdzeń		70
9	persa (fa) اثبات قضیه خودکار		58
10	sérvio (sr) Automatsko dokazivanje teorema		56

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		214
2	espanhol (es) Demostración automática de teoremas		35
3	francês (fr) Démonstration automatique de théorèmes		27
4	japonês (ja) 自動定理証明		27
5	polonês (pl) Automatyczne dowodzenie twierdzeń		25
6	russo (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		19
8	português (pt) Prova automática de teoremas		16
9	chinês (zh) 自動化定理證明		13
10	ucraniano (uk) Автоматизоване доведення теорем		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 "Automated theorem proving" com a IA mais alta em julho de 2024

#	Idioma	Prêmio de IA	IA relativa
1	sérvio (sr) Automatsko dokazivanje teorema		1
2	azerbaijano (az) Teoremlərin avtomatik sübutu		0
3	inglês (en) Automated theorem proving		0
4	espanhol (es) Demostración automática de teoremas		0
5	basco (eu) Teoremen frogapen automatiko		0
6	persa (fa) اثبات قضیه خودکار		0
7	francês (fr) Démonstration automatique de théorèmes		0
8	armênio (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italiano (it) Dimostrazione automatica di teoremi		0
10	japonês (ja) 自動定理証明		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		729
2	chinês (zh) 自動化定理證明		75
3	russo (ru) Автоматическое доказательство		68
4	japonês (ja) 自動定理証明		55
5	francês (fr) Démonstration automatique de théorèmes		54
6	espanhol (es) Demostración automática de teoremas		51
7	ucraniano (uk) Автоматизоване доведення теорем		38
8	polonês (pl) Automatyczne dowodzenie twierdzeń		33
9	português (pt) Prova automática de teoremas		26
10	persa (fa) اثبات قضیه خودکار		23

Mais...

#	Idioma	Valor
az	azerbaijano Teoremlərin avtomatik sübutu
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º 54772 08.2008

Global: Nº 76366 08.2008

Melhor Posição

inglês: Nº 127 11.2001

Global: Nº 159 11.2001

Em 26 de dezembro de 2024, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Squid Game, Boxing Day, Sismo e tsunami do Oceano Índico de 2004, Squid Game, season 2, Chanucá, Azerbaijan Airlines Flight 8243, Isabel, imperatriz da Áustria, Nosferatu, Mufasa: O Rei Leão, Gladiator II.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: Manmohan Singh, Squid Game season 2, Boxing Day, Nosferatu (2024 film), Pushpa 2: The Rule, Baby John (film), Squid Game, Sam Konstas, Azerbaijan Airlines Flight 8243, Gavin & Stacey.

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