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 | Razonamiento automático (2013-14) (583 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Ejercicios (1171 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Temas (2048 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Documentación (20 360 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R1 (5733 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (12 569 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R2 (5032 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 4: Razonamiento por casos y por inducción (25 195 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R4 (1773 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R5 (10 747 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Relación 4 (3851 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R6 (10 119 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R7 (7056 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 5a: Verificación de la ordenación por inserción (10 639 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R8 (5124 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R9 (3321 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (16 094 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R10 (3701 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R11 (6834 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R12 (10 555 bytes) | infinito | Usuario desconocido | completamente protegida | — |