Información de «Demostración Asistida por Ordenador con Coq»
Información básica
| Título visualizado | MediaWiki:Demostración Asistida por Ordenador con Coq |
| Redirige a | MediaWiki:Mainpage (Información) |
| Criterio de ordenación predeterminado | Demostración Asistida por Ordenador con Coq |
| Longitud de la página (en bytes) | 36 |
| Identificador de la página | 16 |
| Idioma de la página | es - español |
| Modelo de contenido de la página | texto wiki |
| Indización por robots | Permitido |
| Número de redirecciones a esta página | 0 |
| Subpáginas de esta página | 0 (0 redirecciones; 0 no redirecciones) |
Protección de página
| Editar | Permitir todos los usuarios (infinito) |
| Trasladar | Permitir todos los usuarios (infinito) |
Historial de ediciones
| Creador de la página | Jalonso (discusión | contribuciones) |
| Fecha de creación de la página | 12:42 3 ago 2018 |
| Último editor | Jalonso (discusión | contribuciones) |
| Fecha de la última edición | 12:42 3 ago 2018 |
| Número total de ediciones | 1 |
| Número total de autores distintos | 1 |
| Número de ediciones recientes (en los últimos 90 días) | 0 |
| Número de autores distintos recientes | 0 |