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.

{
    "warnings": {
        "query": {
            "*": "Formatting of continuation data has changed. To receive raw query-continue data, use the 'rawcontinue' parameter. To silence this warning, pass an empty string for 'continue' in the initial query."
        }
    },
    "batchcomplete": "",
    "continue": {
        "gaicontinue": "Afosr_oct2011_yices_v_cvc3_all.pdf",
        "continue": "gaicontinue||"
    },
    "query": {
        "pages": {
            "483": {
                "pageid": 483,
                "ns": 6,
                "title": "File:1677-restarts v tableau resets.png"
            },
            "482": {
                "pageid": 482,
                "ns": 6,
                "title": "File:1677-user time v propagation lemmas.png"
            },
            "484": {
                "pageid": 484,
                "ns": 6,
                "title": "File:1677.csv"
            },
            "583": {
                "pageid": 583,
                "ns": 6,
                "title": "File:3601 output.odb"
            },
            "582": {
                "pageid": 582,
                "ns": 6,
                "title": "File:3601 output.ods"
            },
            "715": {
                "pageid": 715,
                "ns": 6,
                "title": "File:50 summary filtered analysis.pdf"
            },
            "231": {
                "pageid": 231,
                "ns": 6,
                "title": "File:Acsysbanner small.png"
            },
            "561": {
                "pageid": 561,
                "ns": 6,
                "title": "File:Afosr oct2011 cvc3 v cvc4.pdf"
            },
            "562": {
                "pageid": 562,
                "ns": 6,
                "title": "File:Afosr oct2011 cvc3 v cvc4 all.pdf"
            },
            "559": {
                "pageid": 559,
                "ns": 6,
                "title": "File:Afosr oct2011 yices v cvc3.pdf"
            }
        }
    }
}