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