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": {
        "afcontinue": "Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf|20",
        "continue": "-||"
    },
    "query": {
        "allfileusages": [
            {
                "ns": 6,
                "title": "File:BackesEmail.gif"
            },
            {
                "ns": 6,
                "title": "File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf"
            },
            {
                "ns": 6,
                "title": "File:Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf"
            }
        ]
    }
}