Páginas protegidas
Esta página enumera las páginas existentes que actualmente están protegidas. Para obtener una lista de títulos que están protegidos desde su creación, véase Títulos protegidos.
Fecha y hora | Página | Expira | Protección de usuario | Parámetros de protección | Motivo |
---|---|---|---|---|---|
Desconocido | DAO2012 (Demostración asistida por ordenador) (651 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Temas (340 bytes) | infinito | Usuario desconocido | completamente protegida, en cascada | — |
Desconocido | Tema 2: Isabelle como un lenguaje funcional (9212 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Tema 3: El lenguaje de demostracion Isar (12 224 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Tema 4: Distinción de casos e inducción (10 811 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Tema 5: Patrones de demostración (3478 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Tema 6: Heurísticas para la inducción y recursión general (9527 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Rel 1 (5367 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Tema 2: Programación funcional en Isabelle (9095 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Tema 3: Razonamiento sobre programas (10 766 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Rel 2 (5054 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Rel 3 (17 759 bytes) | infinito | Usuario desconocido | completamente protegida | — |
Desconocido | Rel 4 (8779 bytes) | infinito | Usuario desconocido | completamente protegida | — |