{"batchcomplete":"","continue":{"rccontinue":"20130401143012|114","continue":"-||"},"query":{"recentchanges":[{"type":"edit","ns":0,"title":"Rel 4","pageid":22,"revid":123,"old_revid":64,"rcid":124,"timestamp":"2018-07-15T18:55:30Z"},{"type":"edit","ns":0,"title":"Rel 3","pageid":20,"revid":122,"old_revid":59,"rcid":123,"timestamp":"2018-07-15T18:55:12Z"},{"type":"edit","ns":0,"title":"Rel 2","pageid":17,"revid":121,"old_revid":51,"rcid":122,"timestamp":"2018-07-15T18:54:54Z"},{"type":"edit","ns":0,"title":"Rel 1","pageid":15,"revid":120,"old_revid":43,"rcid":121,"timestamp":"2018-07-15T18:54:36Z"},{"type":"edit","ns":0,"title":"Ejercicios","pageid":13,"revid":119,"old_revid":60,"rcid":120,"timestamp":"2018-07-15T18:54:16Z"},{"type":"edit","ns":0,"title":"Tema 4: Deducci\u00f3n natural proposicional con Isabelle/HOL","pageid":24,"revid":118,"old_revid":66,"rcid":119,"timestamp":"2018-07-15T18:53:10Z"},{"type":"edit","ns":0,"title":"Tema 3: Razonamiento sobre programas","pageid":16,"revid":117,"old_revid":48,"rcid":118,"timestamp":"2018-07-15T18:52:53Z"},{"type":"edit","ns":0,"title":"Tema 2: Programaci\u00f3n funcional en Isabelle","pageid":12,"revid":116,"old_revid":45,"rcid":117,"timestamp":"2018-07-15T18:52:35Z"},{"type":"new","ns":8,"title":"MediaWiki:Common.css","pageid":25,"revid":115,"old_revid":0,"rcid":116,"timestamp":"2018-07-15T18:52:09Z"},{"type":"edit","ns":0,"title":"Relaci\u00f3n 2","pageid":18,"revid":114,"old_revid":77,"rcid":115,"timestamp":"2013-04-11T14:58:01Z"}]}}