El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische Universität München. saber más
El contenido de el sitio web se encuentra distribuido en las páginas 121 - Espejismos Solapados, Apócrifo y Buñuel, entre otras. En la tabla de abajo se muestran las 10 páginas más importantes en Isabellesakena.blogspot.com.
# | Descripción | URL de la página web |
---|---|---|
1. | 121 - Espejismos solapados | /2011/11/121-espejismos-solapados.html |
2. | apócrifo | /search/label/apócrifo |
3. | Buñuel | /search/label/Buñuel |
4. | Fuerteventura | /search/label/Fuerteventura |
5. | Jesucristo | /search/label/Jesucristo |
6. | Chiqui Carabante | /search/label/Chiqui Carabante |
7. | Jodorowsky | /search/label/Jodorowsky |
8. | Monty Python | /search/label/Monty Python |
9. | Bronx | /search/label/Bronx |
10. | Dsk | /search/label/DSK |
Las páginas web de Isabellesakena.blogspot.com son operadas por un servidor Google Web Server. Las páginas HTML fueron creadas con el nuevo standard HTML 5. Debido a la falta de especificaciones sobre el control de webcrawlers, la información de la página web se encuentra presente en motores de búsqueda.
Dirección IP: | 142.250.185.161 |
Operador del servidor: | |
Número de páginas web: | Más de 100 - más páginas web con esta dirección IP |
Páginas web más populares: | Cocinasolares.blogspot.com (muy conocida), E-periodistas.blogspot.com (conocida), Senovilla-pensamientos.blogspot.com (muy poco conocida) |
Páginas web para adultos: | 1% de las páginas no es apto para menores de edad |
Repartición de idiomas: | 77% de las paginas es en español, 3% de las paginas es en inglés, 1% de las paginas es en portugués |
Software del Webserver: | Google Web Server |
Generador: | blogger |
Tiempo de carga: | 5.59 segundos (más lenta que el 99 % de las paginas web) |
Versión HTML: | HTML 5 |
Tamaño de archivo: | 251.88 KB (6951 palabras encontradas a lo largo del texto) |
La página web no presenta contenido sospechoso. Puede ser utilizada por menores de edad y ser abierta en el lugar de trabajo.
Criterio | Evaluación | |
---|---|---|
Google Safebrowsing |
Seguro | |
Apto para menores |
||
Safe for work |
||
Opiniones de webwiki |
Sin opiniones | |
Ubicación del servidor |
EEUU | |
Digno de confianza 85% |