Isabelle (proof assistant)

O artigo "Isabelle (proof assistant)" na Wikipédia em inglês tem 30.6 pontos para qualidade (em 1º de julho de 2025). 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 95 usuários cadastrados na Wikipédia em inglês e editado por 173 usuários registrados da Wikipédia em todos os idiomas.

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

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

• Local (inglês): Nº 8562 em dezembro de 2002
• Global: Nº 12166 em dezembro de 2002

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

• Local (inglês): Nº 288025 em agosto de 2014
• Global: Nº 438019 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 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) Isabelle (proof assistant)		30.6003
2	alemão (de) Isabelle (Theorembeweiser)		25.5607
3	chinês (zh) Isabelle		22.9713
4	russo (ru) Isabelle		21.219
5	português (pt) Isabelle		15.9409
6	espanhol (es) Isabelle		3.8839
7	francês (fr) Isabelle (logiciel)		1.873

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)		358 489
2	alemão (de) Isabelle (Theorembeweiser)		38 146
3	espanhol (es) Isabelle		16 994
4	francês (fr) Isabelle (logiciel)		15 207
5	português (pt) Isabelle		12 778
6	russo (ru) Isabelle		7 086
7	chinês (zh) Isabelle		4 544

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 junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Isabelle (proof assistant)		1 812
2	português (pt) Isabelle		177
3	russo (ru) Isabelle		123
4	chinês (zh) Isabelle		99
5	alemão (de) Isabelle (Theorembeweiser)		66
6	francês (fr) Isabelle (logiciel)		58
7	espanhol (es) Isabelle		30

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)		95
2	alemão (de) Isabelle (Theorembeweiser)		32
3	português (pt) Isabelle		15
4	francês (fr) Isabelle (logiciel)		12
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 junho de 2025

#	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)		158
2	francês (fr) Isabelle (logiciel)		13
3	espanhol (es) Isabelle		11
4	alemão (de) Isabelle (Theorembeweiser)		6
5	russo (ru) Isabelle		6
6	chinês (zh) Isabelle		3
7	português (pt) 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º 288025 08.2014

Global: Nº 438019 03.2011

Melhor Posição

inglês: Nº 8562 12.2002

Global: Nº 12166 12.2002

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 inglês, os artigos mais populares naquele dia foram: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

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