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 (17 720 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R2 (13 910 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R3 (5734 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R4 (5035 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 7: Programación funcional en Isabelle/HOL. (8128 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 8: Razonamiento sobre programas en Isabelle/HOL. (22 549 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R5 (10 749 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R6 (7072 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R7 (1815 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Rel 10 (e) (3107 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Rel 8 (e) (6585 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Rel 9 (e) (9516 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 16: Semántica operacional del lenguaje imperativo simple IMP. (15 045 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Rel 11 (e) (4091 bytes) | infinito | Usuario desconocido | completamente protegida | — |