{"batchcomplete":"","continue":{"rccontinue":"20180812074845|68","continue":"-||"},"query":{"recentchanges":[{"type":"log","ns":6,"title":"Archivo:T6 Logica.v","pageid":24,"revid":76,"old_revid":0,"rcid":78,"timestamp":"2018-08-20T11:00:14Z"},{"type":"edit","ns":0,"title":"Tema 5: T\u00e1cticas b\u00e1sicas de Coq","pageid":21,"revid":75,"old_revid":74,"rcid":77,"timestamp":"2018-08-20T10:59:35Z"},{"type":"edit","ns":0,"title":"Tema 5: T\u00e1cticas b\u00e1sicas de Coq","pageid":21,"revid":74,"old_revid":69,"rcid":76,"timestamp":"2018-08-20T10:58:11Z"},{"type":"edit","ns":0,"title":"Tema 6: L\u00f3gica en Coq","pageid":23,"revid":73,"old_revid":72,"rcid":75,"timestamp":"2018-08-20T10:52:39Z"},{"type":"edit","ns":0,"title":"Tema 6: L\u00f3gica en Coq","pageid":23,"revid":72,"old_revid":71,"rcid":74,"timestamp":"2018-08-20T10:45:26Z"},{"type":"new","ns":0,"title":"Tema 6: L\u00f3gica en Coq","pageid":23,"revid":71,"old_revid":0,"rcid":73,"timestamp":"2018-08-20T10:42:14Z"},{"type":"edit","ns":0,"title":"Demostraci\u00f3n Asistida por Ordenador con Coq","pageid":13,"revid":70,"old_revid":65,"rcid":72,"timestamp":"2018-08-20T10:41:35Z"},{"type":"edit","ns":0,"title":"Tema 5: T\u00e1cticas b\u00e1sicas de Coq","pageid":21,"revid":69,"old_revid":68,"rcid":71,"timestamp":"2018-08-12T07:57:08Z"},{"type":"edit","ns":0,"title":"Tema 5: T\u00e1cticas b\u00e1sicas de Coq","pageid":21,"revid":68,"old_revid":66,"rcid":70,"timestamp":"2018-08-12T07:56:25Z"},{"type":"log","ns":6,"title":"Archivo:T5 Tacticas.v","pageid":22,"revid":67,"old_revid":0,"rcid":69,"timestamp":"2018-08-12T07:49:06Z"}]}}