{"batchcomplete":"","continue":{"rccontinue":"20130224181903|78","continue":"-||"},"query":{"recentchanges":[{"type":"edit","ns":0,"title":"DAO2011 (Demostraci\u00f3n asistida por ordenador)","pageid":4,"revid":80,"old_revid":63,"rcid":88,"timestamp":"2018-07-15T18:19:58Z"},{"type":"edit","ns":0,"title":"Tema 4 ej","pageid":15,"revid":79,"old_revid":45,"rcid":87,"timestamp":"2018-07-15T18:18:38Z"},{"type":"edit","ns":0,"title":"Tema 3 ej","pageid":12,"revid":78,"old_revid":36,"rcid":86,"timestamp":"2018-07-15T18:18:20Z"},{"type":"edit","ns":0,"title":"Rel 1","pageid":7,"revid":77,"old_revid":12,"rcid":85,"timestamp":"2018-07-15T18:17:56Z"},{"type":"edit","ns":0,"title":"Ejercicios","pageid":9,"revid":76,"old_revid":44,"rcid":84,"timestamp":"2018-07-15T18:17:42Z"},{"type":"edit","ns":0,"title":"Tema 4: Deducci\u00f3n natural en l\u00f3gica de primer orden con Isabelle","pageid":14,"revid":75,"old_revid":43,"rcid":83,"timestamp":"2018-07-15T18:16:51Z"},{"type":"edit","ns":0,"title":"Tema 3: Deducci\u00f3n l\u00f3gica proposicional con Isabelle","pageid":11,"revid":74,"old_revid":33,"rcid":82,"timestamp":"2018-07-15T18:16:35Z"},{"type":"edit","ns":0,"title":"Tema 2: Razonamiento sobre programas","pageid":6,"revid":73,"old_revid":8,"rcid":81,"timestamp":"2018-07-15T18:16:18Z"},{"type":"edit","ns":0,"title":"Tema 1: Isabelle como un lenguaje funcional","pageid":5,"revid":72,"old_revid":6,"rcid":80,"timestamp":"2018-07-15T18:16:00Z"},{"type":"new","ns":8,"title":"MediaWiki:Common.css","pageid":24,"revid":71,"old_revid":0,"rcid":79,"timestamp":"2018-07-15T18:15:25Z"}]}}