Número total de visitas

Visualizaciones
La indecidibilidad de la lógica de primer orden y el método de árboles546

Visitas al fichero

Descargas
TFM_F_2022_087.pdf946

Seleccione un intervalo de tiempo:

VisualizacionesDescargas

Número de visitas en el intervalo

Visualizaciones
La indecidibilidad de la lógica de primer orden y el método de árboles166

Número de descargas en el intervalo

Descargas
TFM_F_2022_087.pdf209

Visitas

Visitas
octubre 202531
noviembre 202530
diciembre 202524
enero 202620
febrero 202632
marzo 202625
abril 20264
Descarga de datos en CSV
 
Gráfico barras
 
Gráfico lí­neas

Número de descargas en el intervalo

  • Descargas
  • octubre 2025
    21
  • noviembre 2025
    31
  • diciembre 2025
    32
  • enero 2026
    28
  • febrero 2026
    28
  • marzo 2026
    59
  • abril 2026
    10
 
Gráfico barras
 
Gráfico lí­neas

Países con más visualizaciones

Visualizaciones
Estados Unidos65
China13
Brasil12
España8
México7
Vietnam6
India4
Argentina3
Bangladesh3
Alemania3

Países con más descargas

Descargas
Estados Unidos90
México23
España17
China13
Alemania5
India4
Argentina3
Brasil2
Vietnam1

Ciudades con más visualizaciones

Visualizaciones
Boardman5
Valladolid3
León2
Madrid2
New York2
Seoul2
Ho Chi Minh City2
Al Wadi al Abyad1
Ashburn1
Atlanta1

Ciudades con más descargas

Descargas
Madrid5
Ashburn3
New York1
León1