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": "",
    "query": {
        "alllinks": [
            {
                "ns": 0,
                "title": "Tema 1: Programaci\u00f3n funcional y m\u00e9todos elementales de demostraci\u00f3n en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 1: Programaci\u00f3n funcional y m\u00e9todos elementales de demostraci\u00f3n en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 2: Demostraciones por inducci\u00f3n sobre los n\u00fameros naturales en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 2: Demostraciones por inducci\u00f3n sobre los n\u00fameros naturales en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 3: Datos estructurados en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 3: Datos estructurados en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 4: Polimorfismo y funciones de orden superior en Coq"
            },
            {
                "ns": 0,
                "title": "Tema 5: T\u00e1cticas b\u00e1sicas de Coq"
            },
            {
                "ns": 0,
                "title": "Tema 6: L\u00f3gica en Coq"
            }
        ]
    }
}