{"batchcomplete":"","continue":{"rccontinue":"20180716111122|1480","continue":"-||"},"query":{"recentchanges":[{"type":"edit","ns":0,"title":"Documentaci\u00f3n","pageid":6,"revid":1489,"old_revid":1488,"rcid":1490,"timestamp":"2022-02-08T17:23:10Z"},{"type":"edit","ns":0,"title":"Documentaci\u00f3n","pageid":6,"revid":1488,"old_revid":1460,"rcid":1489,"timestamp":"2022-02-08T12:54:08Z"},{"type":"edit","ns":0,"title":"Ejercicios","pageid":5,"revid":1487,"old_revid":1371,"rcid":1488,"timestamp":"2018-07-16T11:13:09Z"},{"type":"edit","ns":0,"title":"Tema 8b: Deducci\u00f3n natural proposicional con Isabelle/HOL","pageid":37,"revid":1486,"old_revid":1235,"rcid":1487,"timestamp":"2018-07-16T11:11:24Z"},{"type":"edit","ns":0,"title":"Tema 6b: Verificaci\u00f3n de la ordenaci\u00f3n por mezcla","pageid":33,"revid":1485,"old_revid":1211,"rcid":1486,"timestamp":"2018-07-16T11:11:24Z"},{"type":"edit","ns":0,"title":"Tema 6a: Verificaci\u00f3n de la ordenaci\u00f3n por inserci\u00f3n","pageid":32,"revid":1484,"old_revid":1212,"rcid":1485,"timestamp":"2018-07-16T11:11:24Z"},{"type":"edit","ns":0,"title":"Tema 5: Razonamiento sobre \u00e1rboles y bosques","pageid":25,"revid":1483,"old_revid":1213,"rcid":1484,"timestamp":"2018-07-16T11:11:23Z"},{"type":"edit","ns":0,"title":"Tema 4: Razonamiento por casos y por inducci\u00f3n","pageid":21,"revid":1482,"old_revid":662,"rcid":1483,"timestamp":"2018-07-16T11:11:23Z"},{"type":"edit","ns":0,"title":"Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL","pageid":18,"revid":1481,"old_revid":298,"rcid":1482,"timestamp":"2018-07-16T11:11:23Z"},{"type":"edit","ns":0,"title":"Tema 2b: Razonamiento autom\u00e1tico sobre programas en Isabelle/HOL","pageid":13,"revid":1480,"old_revid":1214,"rcid":1481,"timestamp":"2018-07-16T11:11:22Z"}]}}