لین (دستیار اثبات)

fa

WikiRank.net
ver. 1.6

لین (دستیار اثبات)

Calidad:

Lean - demostrador de teoremas. Este lenguaje de programación es el 453º más popular en el ranking mundial de Wikipedia de lenguajes de programación y el 283º más popular lenguajes de programación en Wikipedia en persa. El artículo "لین (دستیار اثبات)" en Wikipedia en persa tiene 25.4 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 10 referencias y 7 secciones.

Este artículo tiene la mejor calidad en Wikipedia en chino. Sin embargo, la versión lingüística más popular de este artículo es el inglés.

Logros en todo el tiempo:
Wikipedia en persa:
Wikipedia global:
El 453º más popular en lenguajes de programación.

Desde la creación del artículo "لین (دستیار اثبات)", , su contenido fue escrito por 1 usuarios registrados de Wikipedia en persa fue editado por 98 usuarios registrados de Wikipedia en todos los idiomas.

Lean está en el 283º lugar en el ranking local de lenguajes de programación en Wikipedia en persa y en el 453º lugar en el ranking mundial de lenguajes de programación en todo el tiempo.

La clasificación más alta de interés de los autores desde 2001:

  • Local (persa): Nº 12508 en junio de 2024
  • Global: Nº 28638 en junio de 2024

El rango de popularidad más alto de 2008:

  • Local (persa): Nº 315948 en junio de 2024
  • Global: Nº 160905 en julio de 2024

Hay 12 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de agosto de 2024 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

Idiomas con la máxima calidad

#IdiomaGrado de calidadPuntuación de calidad
1chino (zh)
Lean
44.1679
2inglés (en)
Lean (proof assistant)
39.2322
3japonés (ja)
Lean (証明アシスタント)
33.3528
4alemán (de)
Lean (Beweisassistent)
31.898
5español (es)
Lean
27.6817
6persa (fa)
لین (دستیار اثبات)
25.4167
7ucraniano (uk)
Lean
24.9286
8ruso (ru)
Lean
21.4148
9vietnamita (vi)
Lean (trợ lý chứng minh)
13.5515
10holandés (nl)
Lean (bewijsassistent)
10.554
Más...

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

El más popular de todos los tiempos

Las versiones lingüísticas más populares del artículo "لین (دستیار اثبات)" en todos los tiempos
#IdiomaPremio de popularidadRelative popularity
1inglés (en)
Lean (proof assistant)
198 539
2ruso (ru)
Lean
7 610
3francés (fr)
Lean (assistant de preuve)
5 505
4japonés (ja)
Lean (証明アシスタント)
5 106
5alemán (de)
Lean (Beweisassistent)
1 729
6español (es)
Lean
808
7chino (zh)
Lean
355
8ucraniano (uk)
Lean
323
9checo (cs)
Lean (programovací jazyk)
251
10vietnamita (vi)
Lean (trợ lý chứng minh)
182
Más...

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

Más popular en julio de 2024

Las versiones lingüísticas más populares del artículo "لین (دستیار اثبات)" en julio de 2024
#IdiomaPremio de popularidadRelative popularity
1inglés (en)
Lean (proof assistant)
11 293
2japonés (ja)
Lean (証明アシスタント)
654
3alemán (de)
Lean (Beweisassistent)
561
4ruso (ru)
Lean
330
5chino (zh)
Lean
226
6francés (fr)
Lean (assistant de preuve)
163
7español (es)
Lean
110
8checo (cs)
Lean (programovací jazyk)
15
9holandés (nl)
Lean (bewijsassistent)
15
10vietnamita (vi)
Lean (trợ lý chứng minh)
14
Más...

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

El mayor IA

Versiones lingüísticas del artículo "لین (دستیار اثبات)" con mayor IA. Solo se contaron los usuarios de Wikipedia registrados.
#IdiomaPremio del IAIA relativo
1inglés (en)
Lean (proof assistant)
53
2francés (fr)
Lean (assistant de preuve)
9
3alemán (de)
Lean (Beweisassistent)
8
4ruso (ru)
Lean
8
5japonés (ja)
Lean (証明アシスタント)
7
6español (es)
Lean
3
7vietnamita (vi)
Lean (trợ lý chứng minh)
3
8holandés (nl)
Lean (bewijsassistent)
2
9ucraniano (uk)
Lean
2
10checo (cs)
Lean (programovací jazyk)
1
Más...

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

El mayor IA en julio de 2024

Versiones lingüísticas del artículo "لین (دستیار اثبات)" con mayor IA en julio de 2024
#IdiomaPremio del IAIA relativo
1inglés (en)
Lean (proof assistant)
1
2español (es)
Lean
1
3japonés (ja)
Lean (証明アシスタント)
1
4holandés (nl)
Lean (bewijsassistent)
1
5checo (cs)
Lean (programovací jazyk)
0
6alemán (de)
Lean (Beweisassistent)
0
7persa (fa)
لین (دستیار اثبات)
0
8francés (fr)
Lean (assistant de preuve)
0
9ruso (ru)
Lean
0
10ucraniano (uk)
Lean
0
Más...

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El Índice de Citas más alto.

Versiones lingüísticas del artículo "لین (دستیار اثبات)" con el Índice de Citas (IC) más alto
#IdiomaPremio del ICIC relativo
1inglés (en)
Lean (proof assistant)
344
2ruso (ru)
Lean
75
3chino (zh)
Lean
34
4francés (fr)
Lean (assistant de preuve)
7
5japonés (ja)
Lean (証明アシスタント)
5
6checo (cs)
Lean (programovací jazyk)
3
7alemán (de)
Lean (Beweisassistent)
3
8español (es)
Lean
3
9ucraniano (uk)
Lean
2
10persa (fa)
لین (دستیار اثبات)
0
Más...

Puntuaciones

Valor estimado para Wikipedia:
persa:
Global:
Popularidad en julio de 2024:
persa:
Global:
Popularidad en todos los años:
persa:
Global:
Autores en julio de 2024:
persa:
Global:
Autores registrados en todos los años:
persa:
Global:
Citas:
persa:
Global:

Medidas de calidad

Enlaces interlingüísticos

#IdiomaValor
cscheco
Lean (programovací jazyk)
dealemán
Lean (Beweisassistent)
eninglés
Lean (proof assistant)
esespañol
Lean
fapersa
لین (دستیار اثبات)
frfrancés
Lean (assistant de preuve)
jajaponés
Lean (証明アシスタント)
nlholandés
Lean (bewijsassistent)
ruruso
Lean
ukucraniano
Lean
vivietnamita
Lean (trợ lý chứng minh)
zhchino
Lean

Tendencias en el ranking de popularidad

Mejor rango persa:
Nº 315948
06.2024
Global:
Nº 160905
07.2024

Tendencias de clasificación de IA

Mejor rango persa:
Nº 12508
06.2024
Global:
Nº 28638
06.2024

Comparación de idiomas

Interconexiones globales importantes

Resultados acumulados de calidad y popularidad del artículo de Wikipedia

Lista de artículos de Wikipedia en diferentes idiomas (empezando por el más popular):

ru: Lean
es: Lean
zh: Lean
uk: Lean

Noticias del 19 de noviembre de 2024

El 19 de noviembre de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Mike Tyson, Elon Musk, MGM-140 ATACMS, Gladiator 2, Día Internacional del Hombre, Liga de las Naciones de la UEFA 2024-25, Donald Trump, Jake Paul, Jon Jones, Muertes en 2024.

En Wikipedia en persa los artículos más populares de ese día fueron: روز جهانی مردان, قرقیزستان, روش‌های آمیزش جنسی, آمیزش جنسی بدون دخول, کیک محبوب من, آمیزش جنسی, واژن, سکس شاپ, جام جهانی فوتبال ۲۰۲۶, کیمیا (مجموعه تلویزیونی).

Acerca de WikiRank

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 44 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de agosto de 2024. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de julio de 2024. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2023... Más información