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 | R1 (5176 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Temas (1909 bytes) | infinito | Usuario desconocido | completamente protegida, en cascada | — |
| Desconocido | Tema 1: Programación funcional en Isabelle (9045 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Ejercicios (760 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R2 (3525 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Razonamiento automático (2017-18) (583 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Documentación (8694 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R3 (5269 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 4: Razonamiento por casos y por inducción (17 473 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R4 (7365 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R5 (7077 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R6 (5386 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 7b: Deducción natural proposicional con Isabelle/HOL (25 253 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R7 (2794 bytes) | infinito | Usuario desconocido | completamente protegida | — |