Automatyczne dowodzenie twierdzeń

O artigo "Automatyczne dowodzenie twierdzeń" na Wikipédia em polonês tem 10.7 pontos para qualidade (em 1º de novembro de 2023). O artigo contém 1 referências e 6 seções.

Este artigo tem a melhor qualidade na Wikipédia em português. No entanto, a versão em idioma mais popular deste artigo é o inglês.

Desde a criação do artigo "Automatyczne dowodzenie twierdzeń", seu conteúdo foi escrito por 25 usuários cadastrados na Wikipédia em polonês e editado por 421 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 32 vezes na Wikipédia em polonês e citado 786 vezes em todos os idiomas.

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

• Local (polonês): Nº 229 em dezembro de 2002
• Global: Nº 159 em novembro de 2001

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

• Local (polonês): Nº 55479 em janeiro de 2008
• Global: Nº 76451 em agosto de 2008

Existem versões deste artigo em 17 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 novembro de 2023 (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	português (pt) Prova automática de teoremas		34.3697
2	inglês (en) Automated theorem proving		33.711
3	japonês (ja) 自動定理証明		22.9089
4	italiano (it) Dimostrazione automatica di teoremi		20.6412
5	espanhol (es) Demostración automática de teoremas		14.5303
6	basco (eu) Teoremen frogapen automatiko		11.4951
7	polonês (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	russo (ru) Автоматическое доказательство		8.8301
9	azerbaijano (az) Teoremlərin avtomatik sübutu		8.1057
10	chinês (zh) 自動化定理證明		5.263

Mais...

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

As versões linguísticas mais populares do artigo "Automatyczne dowodzenie twierdzeń" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Automated theorem proving		969 656
2	espanhol (es) Demostración automática de teoremas		160 435
3	japonês (ja) 自動定理証明		94 253
4	russo (ru) Автоматическое доказательство		81 984
5	polonês (pl) Automatyczne dowodzenie twierdzeń		63 187
6	chinês (zh) 自動化定理證明		32 009
7	francês (fr) Démonstration automatique de théorèmes		28 548
8	português (pt) Prova automática de teoremas		18 872
9	italiano (it) Dimostrazione automatica di teoremi		11 350
10	persa (fa) اثبات قضیه خودکار		10 935

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 "Automatyczne dowodzenie twierdzeń" em outubro de 2023

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Automated theorem proving		5 345
2	japonês (ja) 自動定理証明		421
3	russo (ru) Автоматическое доказательство		360
4	espanhol (es) Demostración automática de teoremas		321
5	chinês (zh) 自動化定理證明		178
6	francês (fr) Démonstration automatique de théorèmes		107
7	polonês (pl) Automatyczne dowodzenie twierdzeń		102
8	italiano (it) Dimostrazione automatica di teoremi		100
9	persa (fa) اثبات قضیه خودکار		54
10	português (pt) Prova automática de teoremas		51

Mais...

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

Versões linguísticas do artigo "Automatyczne dowodzenie twierdzeń" 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		209
2	espanhol (es) Demostración automática de teoremas		35
3	francês (fr) Démonstration automatique de théorèmes		26
4	japonês (ja) 自動定理証明		26
5	polonês (pl) Automatyczne dowodzenie twierdzeń		25
6	russo (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		18
8	português (pt) Prova automática de teoremas		16
9	chinês (zh) 自動化定理證明		11
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 "Automatyczne dowodzenie twierdzeń" com a IA mais alta em outubro de 2023

#	Idioma	Prêmio de IA	IA relativa
1	coreano (ko) 자동 정리 증명		2
2	inglês (en) Automated theorem proving		1
3	italiano (it) Dimostrazione automatica di teoremi		1
4	azerbaijano (az) Teoremlərin avtomatik sübutu		0
5	espanhol (es) Demostración automática de teoremas		0
6	basco (eu) Teoremen frogapen automatiko		0
7	persa (fa) اثبات قضیه خودکار		0
8	francês (fr) Démonstration automatique de théorèmes		0
9	armênio (hy) Թեորեմների ավտոմատացված ապացուցում		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 "Automatyczne dowodzenie twierdzeń" com o maior Índice de Citação (IC)

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

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 Автоматическое доказательство
th	tailandês การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	turco Otomatik teorem kanıtlama
uk	ucraniano Автоматизоване доведення теорем
zh	chinês 自動化定理證明

Melhor Posição

polonês: Nº 55479 01.2008

Global: Nº 76451 08.2008

Melhor Posição

polonês: Nº 229 12.2002

Global: Nº 159 11.2001

Em 22 de maio de 2024, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Ademola Lookman, Atalanta Bergamasca Calcio, Toni Kroos, Gian Piero Gasperini, Bayer 04 Leverkusen, relações internacionais da Palestina, Liga Europa da UEFA, Ebrahim Raisi, Estado da Palestina, YouTube.

Na Wikipédia em polonês, os artigos mais populares naquele dia foram: Gracjan Szadziński, Fagata, Jan A.P. Kaczmarek, Agnieszka Osiecka, Palestyna (państwo), Grzegorz Tobiszowski, Artemida, Nowa Kaledonia, Ołeksandr Usyk, Marcin Romanowski.

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