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.

• 06:42 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 06:42 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 06:41 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 06:40 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 06: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
• 06: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
• 06:37 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 298 de la página Temas como verificada
• 06: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
• 06:34 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 296 de la página Temas como verificada
• 06:33 8 feb 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 295 de la página Temas como verificada
• 19:09 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 263 de la página R7 como verificada
• 19:09 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 262 de la página Relación 7 como verificada
• 19:07 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 261 de la página Relación 7 como verificada
• 19:06 17 ene 2018 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:06 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 259 de la página R7 como verificada
• 19:05 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 258 de la página Ejercicios como verificada
• 19: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
• 19: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)
• 19: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
• 19:02 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 254 de la página Temas como verificada
• 11:28 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 240 de la página Relación 6 como verificada
• 11:28 11 ene 2018 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:28 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 238 de la página R6 como verificada
• 11:25 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 237 de la página Ejercicios como verificada
• 11:24 11 ene 2018 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11: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
• 11: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
• 11:21 11 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 233 de la página Temas como verificada
• 12:02 21 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 220 de la página Temas como verificada
• 12:01 21 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 219 de la página Temas como verificada
• 12:38 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 203 de la página Colaboraciones como verificada
• 09:11 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 202 de la página Relación 4 como verificada
• 08:50 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 201 de la página Relación 5 como verificada
• 08:50 14 dic 2017 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:49 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 199 de la página R5 como verificada
• 08:48 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 198 de la página Ejercicios como verificada
• 08:39 14 dic 2017 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08: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
• 08:37 14 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 195 de la página Temas como verificada
• 08:57 2 dic 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 157 de la página Ejercicios como verificada
• 07:24 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Relación 3 como verificada
• 07:10 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 152 de la página Relación 4 como verificada
• 07:09 30 nov 2017 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 07:09 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 150 de la página R4 como verificada
• 07:08 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 149 de la página Ejercicios como verificada
• 07: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)
• 07: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
• 07:05 30 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 146 de la página Temas como verificada
• 13:12 23 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 124 de la página Ejercicios como verificada
• 10:07 9 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 123 de la página Colaboraciones como verificada