| Título visualizado | A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution |
| Criterio de ordenación predeterminado | A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution |
| Longitud de la página (en bytes) | 1619 |
| Identificador de la página | 85 |
| 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 |
| Contado como página de contenido | Sí |
| Editar | Permitir todos los usuarios (infinito) |
| Trasladar | Permitir todos los usuarios (infinito) |
| Creador de la página | Mjoseh (discusión | contribuciones) |
| Fecha de creación de la página | 19:34 1 jun 2010 |
| Último editor | Mjoseh (discusión | contribuciones) |
| Fecha de la última edición | 13:16 4 oct 2011 |
| Número total de ediciones | 11 |
| Número total de autores distintos | 2 |
| Número de ediciones recientes (en los últimos 90 días) | 0 |
| Número de autores distintos recientes | 0 |
| Plantillas incluidas (4) | Plantillas usadas en esta página:
|
