MediaWiki API result

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": {
        "arcontinue": "Decomposition_Plug-in_User_Guide",
        "continue": "-||"
    },
    "query": {
        "allredirects": [
            {
                "ns": 0,
                "title": "CamilleX"
            },
            {
                "ns": 0,
                "title": "CamilleX Release Notes"
            },
            {
                "ns": 0,
                "title": "CamilleX User Guide"
            },
            {
                "ns": 0,
                "title": "Camille Editor"
            },
            {
                "ns": 0,
                "title": "Code Generation Activity"
            },
            {
                "ns": 0,
                "title": "Creating a new plug-in using eclipse (How to extend Rodin Tutorial)"
            },
            {
                "ns": 0,
                "title": "Current Developments"
            },
            {
                "ns": 0,
                "title": "D23 Improvements to Existing Provers"
            },
            {
                "ns": 0,
                "title": "D23 ProB"
            },
            {
                "ns": 0,
                "title": "DEPLOY Plenary Workshop 2009"
            }
        ]
    }
}