Resultado de la API de MediaWiki
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"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"
}
]
}
}