Isabelle (proof assistant)

Este software é o 1570º mais popular no ranking mundial da Wikipédia de softwares. O artigo "Isabelle (proof assistant)" na Wikipédia em inglês tem 30.8 pontos para qualidade (em 1º de novembro de 2023). O artigo contém 14 referências e 8 seções.

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 "Isabelle (proof assistant)", seu conteúdo foi escrito por 88 usuários cadastrados na Wikipédia em inglês e editado por 164 usuários registrados da Wikipédia em todos os idiomas.

O artigo "Isabelle" está em 1570º lugar no ranking global de softwares na Wikipédia em todo o tempo.

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

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

• Local (inglês): Nº 8581 em dezembro de 2002
• Global: Nº 12183 em dezembro de 2002

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

• Local (inglês): Nº 288972 em agosto de 2014
• Global: Nº 439030 em março de 2011

Existem versões deste artigo em 7 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) Isabelle (proof assistant)		30.7879
2	alemão (de) Isabelle (Theorembeweiser)		25.2635
3	chinês (zh) Isabelle		23.0816
4	russo (ru) Isabelle		19.2628
5	português (pt) Isabelle		15.9828
6	espanhol (es) Isabelle		3.9882
7	francês (fr) Isabelle (logiciel)		1.8732

Mais...

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

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

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Isabelle (proof assistant)		321 579
2	alemão (de) Isabelle (Theorembeweiser)		34 352
3	espanhol (es) Isabelle		16 087
4	francês (fr) Isabelle (logiciel)		13 907
5	português (pt) Isabelle		9 513
6	russo (ru) Isabelle		4 900
7	chinês (zh) Isabelle		2 711

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

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Isabelle (proof assistant)		1 948
2	espanhol (es) Isabelle		126
3	alemão (de) Isabelle (Theorembeweiser)		125
4	russo (ru) Isabelle		123
5	francês (fr) Isabelle (logiciel)		65
6	chinês (zh) Isabelle		54
7	português (pt) Isabelle		38

Mais...

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

Versões linguísticas do artigo "Isabelle (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) Isabelle (proof assistant)		88
2	alemão (de) Isabelle (Theorembeweiser)		31
3	português (pt) Isabelle		15
4	francês (fr) Isabelle (logiciel)		11
5	espanhol (es) Isabelle		8
6	russo (ru) Isabelle		8
7	chinês (zh) Isabelle		3

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

#	Idioma	Prêmio de IA	IA relativa
1	alemão (de) Isabelle (Theorembeweiser)		0
2	inglês (en) Isabelle (proof assistant)		0
3	espanhol (es) Isabelle		0
4	francês (fr) Isabelle (logiciel)		0
5	português (pt) Isabelle		0
6	russo (ru) Isabelle		0
7	chinês (zh) Isabelle		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 "Isabelle (proof assistant)" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Isabelle (proof assistant)		102
2	francês (fr) Isabelle (logiciel)		12
3	espanhol (es) Isabelle		11
4	russo (ru) Isabelle		6
5	alemão (de) Isabelle (Theorembeweiser)		5
6	português (pt) Isabelle		2
7	chinês (zh) Isabelle		2

Mais...

#	Idioma	Valor
de	alemão Isabelle (Theorembeweiser)
en	inglês Isabelle (proof assistant)
es	espanhol Isabelle
fr	francês Isabelle (logiciel)
pt	português Isabelle
ru	russo Isabelle
zh	chinês Isabelle

Melhor Posição

inglês: Nº 288972 08.2014

Global: Nº 439030 03.2011

Melhor Posição

inglês: Nº 8581 12.2002

Global: Nº 12183 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