HOL (proof assistant)

O artigo "HOL (proof assistant)" na Wikipédia em inglês tem 24.6 pontos para qualidade (em 1º de novembro de 2023). O artigo contém 11 referências e 6 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 "HOL (proof assistant)", seu conteúdo foi escrito por 32 usuários cadastrados na Wikipédia em inglês e editado por 34 usuários registrados da Wikipédia em todos os idiomas.

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

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

• Local (inglês): Nº 2689 em dezembro de 2002
• Global: Nº 5082 em dezembro de 2002

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

• Local (inglês): Nº 288536 em dezembro de 2019
• Global: Nº 492929 em dezembro de 2019

Existem versões deste artigo em 2 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	inglês (en) HOL (proof assistant)		24.5719
2	russo (ru) HOL		17.7921

Mais...

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

As versões linguísticas mais populares do artigo "HOL (proof assistant)" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) HOL (proof assistant)		176 376
2	russo (ru) HOL		1 809

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 "HOL (proof assistant)" em outubro de 2023

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) HOL (proof assistant)		609
2	russo (ru) HOL		52

Mais...

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

Versões linguísticas do artigo "HOL (proof assistant)" 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) HOL (proof assistant)		32
2	russo (ru) HOL		2

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 "HOL (proof assistant)" com a IA mais alta em outubro de 2023

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) HOL (proof assistant)		0
2	russo (ru) HOL		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 "HOL (proof assistant)" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) HOL (proof assistant)		39
2	russo (ru) HOL		2

Mais...

#	Idioma	Valor
en	inglês HOL (proof assistant)
ru	russo HOL

Melhor Posição

inglês: Nº 288536 12.2019

Global: Nº 492929 12.2019

Melhor Posição

inglês: Nº 2689 12.2002

Global: Nº 5082 12.2002

Em 27 de julho de 2024, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Jogos Olímpicos de Verão de 2024, Céline Dion, Jogos Olímpicos, Kamala Harris, Síndrome da pessoa rígida, Deadpool & Wolverine, Jogos Olímpicos de Verão de 2020, Aya Nakamura, Lady Gaga, Maria Antonieta.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: Deadpool & Wolverine, 2024 Summer Olympics, Celine Dion, Kamala Harris, List of Olympic Games host cities, Stiff-person syndrome, Katie Ledecky, Lady Gaga, Aya Nakamura, Simone Biles.

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