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": "IVOIRE_Workshop_2023_Nancy.jpg|34",
        "continue": "-||"
    },
    "query": {
        "allfileusages": [
            {
                "ns": 6,
                "title": "File:Colin Snook - Behavior Driven Formal Modelling.pdf"
            },
            {
                "ns": 6,
                "title": "File:D. Gele\u00dfus - Classification and Semantics of Validation Tasks.pdf"
            },
            {
                "ns": 6,
                "title": "File:Dominique M\u00e9ry - Refinement-based Construction of Correct IoT Protocols.pdf"
            },
            {
                "ns": 6,
                "title": "File:Egon B\u00f6rger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf"
            },
            {
                "ns": 6,
                "title": "File:Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf"
            },
            {
                "ns": 6,
                "title": "File:Fabian Vu - Formalization of VOs.pdf"
            },
            {
                "ns": 6,
                "title": "File:Fabian Vu - Formalizing and Validating the VO Approach.pdf"
            },
            {
                "ns": 6,
                "title": "File:Hhu..png"
            },
            {
                "ns": 6,
                "title": "File:IVOIRE Meeting 2024 D\u00fcsseldorf.jpg"
            },
            {
                "ns": 6,
                "title": "File:IVOIRE Results compressed.pdf"
            }
        ]
    }
}