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": {
"aicontinue": "20210615151527|RodinWorkshop2021_Formal_Verification_of_EULYNX_Models_Using_Event-B_and_RODIN_slides.pdf",
"continue": "-||"
},
"query": {
"allimages": [
{
"name": "04_slides.pdf",
"timestamp": "2024-07-03T09:17:20Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/04_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:04_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1693",
"ns": 6,
"title": "File:04 slides.pdf"
},
{
"name": "04.pdf",
"timestamp": "2024-07-02T19:12:52Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/04.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:04.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1692",
"ns": 6,
"title": "File:04.pdf"
},
{
"name": "06_slides.pdf",
"timestamp": "2024-06-28T11:14:44Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/06_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:06_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1691",
"ns": 6,
"title": "File:06 slides.pdf"
},
{
"name": "06.pdf",
"timestamp": "2024-06-26T12:19:25Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/06.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:06.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1690",
"ns": 6,
"title": "File:06.pdf"
},
{
"name": "03.pdf",
"timestamp": "2024-06-26T12:19:17Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/03.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:03.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1689",
"ns": 6,
"title": "File:03.pdf"
},
{
"name": "05.pdf",
"timestamp": "2024-06-26T12:19:08Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/05.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:05.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1688",
"ns": 6,
"title": "File:05.pdf"
},
{
"name": "05_slides.pdf",
"timestamp": "2024-06-26T12:18:41Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/05_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:05_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1687",
"ns": 6,
"title": "File:05 slides.pdf"
},
{
"name": "01_slides.pdf",
"timestamp": "2024-06-26T12:18:14Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/01_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:01_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1686",
"ns": 6,
"title": "File:01 slides.pdf"
},
{
"name": "01.pdf",
"timestamp": "2024-06-26T12:18:01Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/01.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:01.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1685",
"ns": 6,
"title": "File:01.pdf"
},
{
"name": "RodinWorkshop2021_Examples_of_using_the_Instantiation_Plug-in_slides.pdf",
"timestamp": "2021-06-15T15:17:54Z",
"user": "Son",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Examples_of_using_the_Instantiation_Plug-in_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Examples_of_using_the_Instantiation_Plug-in_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1680",
"ns": 6,
"title": "File:RodinWorkshop2021 Examples of using the Instantiation Plug-in slides.pdf"
}
]
}
}