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": {
        "apcontinue": "Rel_2",
        "continue": "-||"
    },
    "query": {
        "allpages": [
            {
                "pageid": 19,
                "ns": 0,
                "title": "Deducci\u00f3n natural en l\u00f3gica de primer orden con Isabelle/Isar"
            },
            {
                "pageid": 16,
                "ns": 0,
                "title": "Deducci\u00f3n natural en l\u00f3gica proposicional con Isabelle/Isar"
            },
            {
                "pageid": 51,
                "ns": 0,
                "title": "Ejercicios de \"Razonamiento autom\u00e1tico (2011-12)\""
            },
            {
                "pageid": 31,
                "ns": 0,
                "title": "Miscel\u00e1neas"
            },
            {
                "pageid": 7,
                "ns": 0,
                "title": "P\u00e1gina Principal"
            },
            {
                "pageid": 8,
                "ns": 0,
                "title": "Razonamiento autom\u00e1tico"
            },
            {
                "pageid": 44,
                "ns": 0,
                "title": "Razonamiento autom\u00e1tico (2010-11)"
            },
            {
                "pageid": 22,
                "ns": 0,
                "title": "Rel 1"
            },
            {
                "pageid": 40,
                "ns": 0,
                "title": "Rel 10"
            },
            {
                "pageid": 42,
                "ns": 0,
                "title": "Rel 11"
            }
        ]
    }
}