Vista combinada de todos los registros de Razonamiento automático (2014-15). 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:50 4 feb 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 279 de la página Documentación como verificada
• 14:14 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 278 de la página Tema 12e: Sudoku como verificada
• 14:13 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 277 de la página Tema 12d: Pasos elementales como verificada
• 14:13 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 276 de la página Tema 12c: Automatización como verificada
• 14:12 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 275 de la página Tema 12b: Razonamiento modular como verificada
• 14:11 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 274 de la página Tema 12a: Razonamiento modular (Teoría de grupos) como verificada
• 14:10 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 273 de la página Tema 11: Gramáticas libre de contexto como verificada
• 14:09 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 272 de la página Temas como verificada
• 14:08 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 271 de la página Temas como verificada
• 14:05 29 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 270 de la página Temas como verificada
• 07:30 22 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 265 de la página Tema 10: Conjuntos definidos inductivamente como verificada
• 07:29 22 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 264 de la página Temas como verificada
• 09:05 9 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 255 de la página Documentación como verificada
• 14:50 8 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 254 de la página Relación 11 como verificada
• 14:49 8 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 253 de la página R11 como verificada
• 14:49 8 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 252 de la página Ejercicios como verificada
• 14:42 6 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 251 de la página Tema 9: Conjuntos, funciones y relaciones como verificada
• 14:41 6 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 250 de la página Tema 9: Conjuntos, funciones y relaciones como verificada
• 14:40 6 ene 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 249 de la página Temas como verificada
• 14:09 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 247 de la página Relación 8 como verificada
• 12:13 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 246 de la página Relación 10 como verificada
• 12:13 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 245 de la página R10 como verificada
• 12:12 18 dic 2014 Jalonso (discusión | contribuciones) protegió la página R10 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:12 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 243 de la página R10 como verificada
• 12:11 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 242 de la página Relación 9 como verificada
• 12:10 18 dic 2014 Jalonso (discusión | contribuciones) protegió la página R9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:10 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 240 de la página R9 como verificada
• 12:07 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 239 de la página Ejercicios como verificada
• 11:26 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 238 de la página Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL como verificada
• 11:24 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 237 de la página Tema 7b: Deducción natural proposicional con Isabelle/HOL como verificada
• 11:23 18 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 236 de la página Temas como verificada
• 14:56 4 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 212 de la página Relación 8 como verificada
• 14:55 4 dic 2014 Jalonso (discusión | contribuciones) protegió la página R8 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:55 4 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 210 de la página R8 como verificada
• 14:54 4 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 209 de la página Ejercicios como verificada
• 12:52 4 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 205 de la página Tema 6: Caso de estudio: Compilación de expresiones como verificada
• 12:51 4 dic 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 204 de la página Temas como verificada
• 15:04 28 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 182 de la página Relación 7 como verificada
• 15:04 28 nov 2014 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 15:04 28 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 180 de la página R7 como verificada
• 15:03 28 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 179 de la página Ejercicios como verificada
• 14:02 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 178 de la página Tema 5b: Verificación de la ordenación por mezcla como verificada
• 14:01 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 177 de la página Tema 5a: Verificación de la ordenación por inserción como verificada
• 14:01 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 176 de la página Temas como verificada
• 13:59 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 175 de la página Temas como verificada
• 08:25 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 160 de la página Relación 6 como verificada
• 08:24 22 nov 2014 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:23 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 158 de la página R6 como verificada
• 08:22 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 157 de la página R6 como verificada
• 08:18 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 156 de la página Ejercicios como verificada