{"batchcomplete":"","continue":{"rccontinue":"20180716105154|66","continue":"-||"},"query":{"recentchanges":[{"type":"edit","ns":0,"title":"Documentaci\u00f3n","pageid":8,"revid":76,"old_revid":74,"rcid":76,"timestamp":"2022-02-08T17:22:32Z"},{"type":"new","ns":0,"title":"Sistemas","pageid":19,"revid":75,"old_revid":0,"rcid":75,"timestamp":"2022-02-08T12:52:13Z"},{"type":"edit","ns":0,"title":"Documentaci\u00f3n","pageid":8,"revid":74,"old_revid":63,"rcid":74,"timestamp":"2022-02-08T12:50:32Z"},{"type":"edit","ns":0,"title":"R3","pageid":16,"revid":73,"old_revid":51,"rcid":73,"timestamp":"2018-07-16T10:55:29Z"},{"type":"edit","ns":0,"title":"R2","pageid":13,"revid":72,"old_revid":44,"rcid":72,"timestamp":"2018-07-16T10:55:14Z"},{"type":"edit","ns":0,"title":"R1","pageid":10,"revid":71,"old_revid":16,"rcid":71,"timestamp":"2018-07-16T10:54:59Z"},{"type":"edit","ns":0,"title":"Ejercicios","pageid":7,"revid":70,"old_revid":69,"rcid":70,"timestamp":"2018-07-16T10:54:44Z"},{"type":"edit","ns":0,"title":"Ejercicios","pageid":7,"revid":69,"old_revid":49,"rcid":69,"timestamp":"2018-07-16T10:53:59Z"},{"type":"edit","ns":0,"title":"Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL","pageid":15,"revid":68,"old_revid":48,"rcid":68,"timestamp":"2018-07-16T10:52:34Z"},{"type":"edit","ns":0,"title":"Tema 2b: Razonamiento autom\u00e1tico sobre programas en Isabelle/HOL","pageid":12,"revid":67,"old_revid":40,"rcid":67,"timestamp":"2018-07-16T10:52:11Z"}]}}