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
La página web con la página de inicio "Les Caprices De Isabelle" ofrece contenido en las páginas Colección Bichos, Colección y Entradas Atom. En la tabla de abajo se muestran las 8 páginas más importantes en Isabeldochado.blogspot.com.
# | Descripción | URL de la página web |
---|---|---|
1. | Les caprices de Isabelle | / |
2. | Colección bichos | /2010/05/coleccion-bichos.html |
3. | Colección | /2010/05/coleccion.html |
4. | Entradas Atom | /feeds/posts/default |
5. | skip to main | /#main |
6. | mayo | /2010/05/ |
7. | skip to sidebar | /#sidebar |
8. | 1 comentario | /2010/05/coleccion.html#comment-form |
Las páginas web de Isabeldochado.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: | 216.58.206.65 |
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: | Con-encanto.blogspot.com (muy poco conocida), Secretosdelfuturo.blogspot.com (poco conocida), Atencioncontinuada.blogspot.com (poco conocida) |
Páginas web para adultos: | 2% de las páginas no es apto para menores de edad |
Repartición de idiomas: | 89% de las paginas es en español, 3% de las paginas es en inglés, 2% de las paginas es en portugués, 1% de las paginas es en italiano |
Software del Webserver: | Google Web Server |
Generador: | blogger |
Tiempo de carga: | 0.31 segundos (más rápida que el 81 % de las paginas web) |
Versión HTML: | HTML 5 |
Tamaño de archivo: | 37.76 KB (82 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, Mountain View | |
Digno de confianza 85% |