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": {
        "alcontinue": "Tema_4_ej|9",
        "continue": "-||"
    },
    "query": {
        "alllinks": [
            {
                "ns": 0,
                "title": "Ejercicios"
            },
            {
                "ns": 0,
                "title": "Rel 1"
            },
            {
                "ns": 0,
                "title": "Tema 10: Heur\u00edsticas para la inducci\u00f3n y recursi\u00f3n general"
            },
            {
                "ns": 0,
                "title": "Tema 11: Caso de estudio: Compilaci\u00f3n de expresiones"
            },
            {
                "ns": 0,
                "title": "Tema 12: Conjuntos, funciones y relaciones"
            },
            {
                "ns": 0,
                "title": "Tema 1: Isabelle como un lenguaje funcional"
            },
            {
                "ns": 0,
                "title": "Tema 2: Razonamiento sobre programas"
            },
            {
                "ns": 0,
                "title": "Tema 3: Deducci\u00f3n l\u00f3gica proposicional con Isabelle"
            },
            {
                "ns": 0,
                "title": "Tema 3 ej"
            },
            {
                "ns": 0,
                "title": "Tema 4: Deducci\u00f3n natural en l\u00f3gica de primer orden con Isabelle"
            }
        ]
    }
}