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": {
"lecontinue": "20240416100859|490",
"continue": "-||"
},
"query": {
"logevents": [
{
"logid": 501,
"ns": 6,
"title": "File:Aprove logo new.png",
"pageid": 364,
"logpage": 364,
"params": {},
"type": "create",
"action": "create",
"user": "Eleanore.meyer",
"timestamp": "2025-09-10T08:38:03Z",
"comment": "New Logo for the AProVE termination tool."
},
{
"logid": 500,
"ns": 6,
"title": "File:Aprove logo new.png",
"pageid": 364,
"logpage": 364,
"params": {
"img_sha1": "jm4h3srs9xio0i9tj9amz4gtj8fvm9z",
"img_timestamp": "2025-09-10T08:38:03Z"
},
"type": "upload",
"action": "upload",
"user": "Eleanore.meyer",
"timestamp": "2025-09-10T08:38:03Z",
"comment": "New Logo for the AProVE termination tool."
},
{
"logid": 499,
"ns": 3,
"title": "User talk:Eleanore.meyer",
"pageid": 363,
"logpage": 363,
"params": {},
"type": "create",
"action": "create",
"user": "Giesl",
"timestamp": "2025-09-10T08:24:59Z",
"comment": "Welcome!"
},
{
"logid": 498,
"ns": 2,
"title": "User:Eleanore.meyer",
"pageid": 0,
"logpage": 0,
"params": {
"userid": 64
},
"type": "newusers",
"action": "byemail",
"user": "Giesl",
"timestamp": "2025-09-10T08:24:58Z",
"comment": ""
},
{
"logid": 496,
"ns": 0,
"title": "Termination Competition 2025 technical details",
"pageid": 362,
"logpage": 362,
"params": {},
"type": "create",
"action": "create",
"user": "Ffrohn",
"timestamp": "2025-04-11T08:16:59Z",
"comment": "Created page with \"== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. During the competition, the following two co...\""
},
{
"logid": 495,
"ns": 0,
"title": "Termination Competition 2025",
"pageid": 361,
"logpage": 361,
"params": {},
"type": "create",
"action": "create",
"user": "Ffrohn",
"timestamp": "2025-04-09T15:38:08Z",
"comment": "Created page with \"The Termination and Complexity Competition (termCOMP) 2025 will be affiliated with [https://www.imn.htwk-leipzig.de/WST2025/ WST 2025]. The competition will be run on the RWT...\""
},
{
"logid": 494,
"ns": 0,
"title": "Prob Rewriting",
"pageid": 360,
"logpage": 359,
"params": {
"target_ns": 0,
"target_title": "Probabilistic Rewriting"
},
"type": "move",
"action": "move",
"user": "JCKassing",
"timestamp": "2024-05-13T08:14:37Z",
"comment": "Change of title"
},
{
"logid": 493,
"ns": 0,
"title": "Prob Rewriting",
"pageid": 360,
"logpage": 359,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2024-05-10T10:14:53Z",
"comment": "Created page with \"== General == As in the non-probabilistic setting, we use an adaption of the [https://project-coco.uibk.ac.at/ARI/ ARI format], so probabilistic TRSs (PTRSs) are represented...\""
},
{
"logid": 492,
"ns": 2,
"title": "User:JCKassing",
"pageid": 0,
"logpage": 0,
"params": {
"userid": 62
},
"type": "newusers",
"action": "create2",
"user": "Ffrohn",
"timestamp": "2024-05-06T15:37:47Z",
"comment": ""
},
{
"logid": 491,
"ns": 2,
"title": "User:Kassing",
"pageid": 0,
"logpage": 0,
"params": {
"userid": 61
},
"type": "newusers",
"action": "byemail",
"user": "Ffrohn",
"timestamp": "2024-05-06T15:20:07Z",
"comment": ""
}
]
}
}