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": "20210614124714|RodinWorkshop2021_Formal_Verification_of_EULYNX_Models_Using_Event-B_and_RODIN.pdf",
"continue": "-||"
},
"query": {
"allimages": [
{
"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"
},
{
"name": "RodinWorkshop2021_Formal_Verification_of_EULYNX_Models_Using_Event-B_and_RODIN_slides.pdf",
"timestamp": "2021-06-15T15:15:27Z",
"user": "Son",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Formal_Verification_of_EULYNX_Models_Using_Event-B_and_RODIN_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Formal_Verification_of_EULYNX_Models_Using_Event-B_and_RODIN_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1679",
"ns": 6,
"title": "File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf"
},
{
"name": "RodinWorkshop2021_Large_Scale_Biological_Models_in_Rodin_slides.pdf",
"timestamp": "2021-06-15T15:11:51Z",
"user": "Son",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Large_Scale_Biological_Models_in_Rodin_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Large_Scale_Biological_Models_in_Rodin_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1678",
"ns": 6,
"title": "File:RodinWorkshop2021 Large Scale Biological Models in Rodin slides.pdf"
},
{
"name": "RodinWorkshop2021_Scenario_Checker_slides.pdf",
"timestamp": "2021-06-15T15:08:21Z",
"user": "Son",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Scenario_Checker_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Scenario_Checker_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1677",
"ns": 6,
"title": "File:RodinWorkshop2021 Scenario Checker slides.pdf"
},
{
"name": "RodinWorkshop2021_OntoEventB_slides.pdf",
"timestamp": "2021-06-15T15:04:38Z",
"user": "Son",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_OntoEventB_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_OntoEventB_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1676",
"ns": 6,
"title": "File:RodinWorkshop2021 OntoEventB slides.pdf"
},
{
"name": "RodinWorkshop2021_Safety_and_Security_Case_Study_Experiences_with_Event-B_and_Rodin.pdf",
"timestamp": "2021-06-14T14:55:13Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Safety_and_Security_Case_Study_Experiences_with_Event-B_and_Rodin.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Safety_and_Security_Case_Study_Experiences_with_Event-B_and_Rodin.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1675",
"ns": 6,
"title": "File:RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf"
},
{
"name": "RodinWorkshop2021_Towards_CamilleX_3.0_slides.pdf",
"timestamp": "2021-06-14T14:54:49Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Towards_CamilleX_3.0_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Towards_CamilleX_3.0_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1674",
"ns": 6,
"title": "File:RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf"
},
{
"name": "RodinWorkshop2021_Data-types_definitions_slides.pdf",
"timestamp": "2021-06-14T14:54:34Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Data-types_definitions_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Data-types_definitions_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1673",
"ns": 6,
"title": "File:RodinWorkshop2021 Data-types definitions slides.pdf"
},
{
"name": "RodinWorkshop2021_Context_instantiation_plug-in_slides.pdf",
"timestamp": "2021-06-14T14:54:03Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Context_instantiation_plug-in_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Context_instantiation_plug-in_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1672",
"ns": 6,
"title": "File:RodinWorkshop2021 Context instantiation plug-in slides.pdf"
},
{
"name": "RodinWorkshop2021_Domain_knowledge_as_Ontology-based_Event-B_Theories_slides.pdf",
"timestamp": "2021-06-14T14:52:37Z",
"user": "Asieh",
"url": "https://wiki.event-b.org/images/RodinWorkshop2021_Domain_knowledge_as_Ontology-based_Event-B_Theories_slides.pdf",
"descriptionurl": "https://wiki.event-b.org/index.php/File:RodinWorkshop2021_Domain_knowledge_as_Ontology-based_Event-B_Theories_slides.pdf",
"descriptionshorturl": "https://wiki.event-b.org/index.php?curid=1671",
"ns": 6,
"title": "File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf"
}
]
}
}