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": "Formal_Correctness_Proof_for_DPLL_Procedure",
        "continue": "-||"
    },
    "query": {
        "allpages": [
            {
                "pageid": 35,
                "ns": 0,
                "title": "Categor\u00eda: Lecturas"
            },
            {
                "pageid": 17,
                "ns": 0,
                "title": "Computational Logic Group"
            },
            {
                "pageid": 31,
                "ns": 0,
                "title": "Constraint Logic Programming using Eclipse"
            },
            {
                "pageid": 44,
                "ns": 0,
                "title": "Deduction using the ProofWeb system"
            },
            {
                "pageid": 59,
                "ns": 0,
                "title": "Delicioso"
            },
            {
                "pageid": 34,
                "ns": 0,
                "title": "Enlaces"
            },
            {
                "pageid": 113,
                "ns": 0,
                "title": "Enumeraci\u00f3n de los racionales"
            },
            {
                "pageid": 51,
                "ns": 0,
                "title": "Formalizaci\u00f3n del conocimiento matem\u00e1tico"
            },
            {
                "pageid": 52,
                "ns": 0,
                "title": "Formalizing basic first order model theory"
            },
            {
                "pageid": 42,
                "ns": 0,
                "title": "Formalizing Desargues' theorem in Coq using ranks"
            }
        ]
    }
}