Vista combinada de todos los registros de Razonamiento automático (2017-18). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 07:42 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 07:42 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 07:41 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 07:40 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 07:39 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 300 de la página Tema 9: Caso de estudio: Compilación de expresiones como verificada
• 07:39 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 299 de la página Tema 9: Caso de estudio: Compilación de expresiones como verificada
• 07:37 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 298 de la página Temas como verificada
• 07:36 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 297 de la página Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL como verificada
• 07:34 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 296 de la página Temas como verificada
• 07:33 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 295 de la página Temas como verificada
• 20:09 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 263 de la página R7 como verificada
• 20:09 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 262 de la página Relación 7 como verificada
• 20:07 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 261 de la página Relación 7 como verificada
• 20:06 17 ene 2018 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:06 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 259 de la página R7 como verificada
• 20:05 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 258 de la página Ejercicios como verificada
• 20:04 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 257 de la página Tema 7b: Deducción natural proposicional con Isabelle/HOL como verificada
• 20:04 17 ene 2018 Jalonso (discusión | contribuciones) protegió la página Tema 7b: Deducción natural proposicional con Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:03 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 255 de la página Tema 7b: Deducción natural proposicional con Isabelle/HOL como verificada
• 20:02 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 254 de la página Temas como verificada
• 12:28 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 240 de la página Relación 6 como verificada
• 12:28 11 ene 2018 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:28 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 238 de la página R6 como verificada
• 12:25 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 237 de la página Ejercicios como verificada
• 12:24 11 ene 2018 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:23 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 235 de la página Tema 6b: Verificación de la ordenación por mezcla como verificada
• 12:22 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 234 de la página Tema 6a: Verificación de la ordenación por inserción como verificada
• 12:21 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 233 de la página Temas como verificada
• 13:02 21 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 220 de la página Temas como verificada
• 13:01 21 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 219 de la página Temas como verificada
• 13:38 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 203 de la página Colaboraciones como verificada
• 10:11 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 202 de la página Relación 4 como verificada
• 09:50 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 201 de la página Relación 5 como verificada
• 09:50 14 dic 2017 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:49 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 199 de la página R5 como verificada
• 09:48 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 198 de la página Ejercicios como verificada
• 09:39 14 dic 2017 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:38 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 196 de la página Tema 5: Razonamiento sobre árboles y bosques como verificada
• 09:37 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 195 de la página Temas como verificada
• 09:57 2 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 157 de la página Ejercicios como verificada
• 08:24 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Relación 3 como verificada
• 08:10 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 152 de la página Relación 4 como verificada
• 08:09 30 nov 2017 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:09 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 150 de la página R4 como verificada
• 08:08 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 149 de la página Ejercicios como verificada
• 08:06 30 nov 2017 Jalonso (discusión | contribuciones) protegió la página Tema 4: Razonamiento por casos y por inducción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:06 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 147 de la página Tema 4: Razonamiento por casos y por inducción como verificada
• 08:05 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 146 de la página Temas como verificada
• 14:12 23 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 124 de la página Ejercicios como verificada
• 11:07 9 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 123 de la página Colaboraciones como verificada