Acciones

Especial

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.

Páginas protegidas
 
 
 
     (bytes)
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