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.
| Cronomarcador | Página | Expira | Protección de usuario | Parámetros de protección | Motivo |
|---|---|---|---|---|---|
| 10:45 15 oct 2019 | R1 5200 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:45 15 oct 2019 | Razonamiento automático (2019-20) 601 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:45 15 oct 2019 | Tema 1: Programación funcional en Isabelle 9191 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:46 15 oct 2019 | Temas 3177 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:46 15 oct 2019 | Ejercicios 1022 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:48 15 oct 2019 | Documentación 14 726 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:49 15 oct 2019 | Sistemas 563 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 11:49 7 nov 2019 | R2 4409 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 15:17 14 nov 2019 | R3 5261 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 06:49 28 nov 2019 | R4 7401 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 20:30 4 dic 2019 | Tema 5: Razonamiento sobre árboles y bosques 12 779 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 08:57 5 dic 2019 | R5 6942 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 11:38 12 dic 2019 | R6 8371 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 10:16 19 dic 2019 | R7 10 874 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 12:48 9 ene 2020 | R8 31 633 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 14:04 16 ene 2020 | R9 13 824 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 15:14 13 feb 2020 | R10 5962 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 15:17 13 feb 2020 | Tema 10: Caso de estudio: Compilación de expresiones 9221 bytes | infinito | Jalonso (discusión | contribs.) | protección completa | |
| 15:19 13 feb 2020 | Tema 11: Verificación de la ordenación por inserción 12 369 bytes | infinito | Jalonso (discusión | contribs.) | protección completa |