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 |
|---|---|---|---|---|---|
| 12:12 7 feb 2019 | Temas (1330 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida, en cascada | |
| 12:12 7 feb 2019 | Deducción natural proposicional con Isabelle/HOL (31 979 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:13 7 feb 2019 | Tema 4a (20 259 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:13 7 feb 2019 | Programación funcional en Isabelle/HOL (9108 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:13 7 feb 2019 | Razonamiento por casos y por inducci¢n (14 742 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:14 7 feb 2019 | Razonamiento sobre árboles y bosques (16 221 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:14 7 feb 2019 | Conjuntos, funciones y relaciones (18 202 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:15 7 feb 2019 | Definiciones inductivas (9297 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 16:44 12 feb 2019 | R1 (4210 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 13:05 21 feb 2019 | R2 (1119 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 17:08 26 feb 2019 | R3 (1041 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 17:13 26 feb 2019 | R4 (17 718 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 13:53 13 mar 2019 | R5 (3043 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 10:10 19 mar 2019 | R6 (13 922 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 12:07 28 mar 2019 | R7 (16 792 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 19:04 3 abr 2019 | R8 (6637 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 11:50 9 abr 2019 | Sol 4 (42 198 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 11:51 9 abr 2019 | Sol 6 (44 645 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 11:52 9 abr 2019 | Sol 8 (16 624 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 11:53 9 abr 2019 | Sol 7 (63 889 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 15:41 11 abr 2019 | Página principal (390 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida, en cascada | |
| 15:44 11 abr 2019 | Relación 3 (2014 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:48 23 abr 2019 | R9 (5818 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 11:50 25 abr 2019 | R10 (4648 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 10:59 30 abr 2019 | R11 (15 030 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 15:12 1 may 2019 | Razonamiento sobre programas en Isabelle/HOL (37 259 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 12:17 16 may 2019 | R12 (7039 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 07:48 21 may 2019 | R13 (8963 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 07:51 28 may 2019 | R14 (4510 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 14:52 6 jun 2019 | Ejercicios (2153 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida, en cascada | |
| 16:58 26 jun 2019 | Sol 12 (13 020 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 16:58 26 jun 2019 | Sol 9 (6290 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 16:59 26 jun 2019 | Sol 10 (5076 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 16:59 26 jun 2019 | Sol 11 (28 121 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 17:02 26 jun 2019 | Sol 14 (6024 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 17:02 26 jun 2019 | Sol 13 (18 559 bytes) | infinito | Mjoseh (discusión | contribuciones) | completamente protegida | |
| 16:39 8 jul 2019 | Examen 3 (11 323 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
| 16:19 20 may 2020 | Desarrollo de teorías formalizadas con Isabelle/HOL (20 203 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida |