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": "20260318112518|567",
"continue": "-||"
},
"query": {
"logevents": [
{
"logid": 577,
"ns": 0,
"title": "Termination Competition 2026 technical details",
"pageid": 414,
"logpage": 414,
"params": {},
"type": "create",
"action": "create",
"user": "Ffrohn",
"timestamp": "2026-04-27T07:39:54Z",
"comment": "Created page with \"== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. The competition will run using Apptainer (wh...\""
},
{
"logid": 576,
"ns": 0,
"title": "TRS Parallel Innermost Derivational Complexity",
"pageid": 413,
"logpage": 413,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-19T10:36:30Z",
"comment": "Added TRS Parallel Innermost Derivational Complexity"
},
{
"logid": 575,
"ns": 0,
"title": "TRS Innermost Runtime Complexity",
"pageid": 412,
"logpage": 412,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-19T10:34:45Z",
"comment": "Added TRS Innermost Runtime Complexity"
},
{
"logid": 574,
"ns": 0,
"title": "TRS Runtime Complexity",
"pageid": 411,
"logpage": 411,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-19T10:33:01Z",
"comment": "Added TRS Runtime Complexity"
},
{
"logid": 573,
"ns": 0,
"title": "TRS Innermost Derivational Complexity",
"pageid": 410,
"logpage": 410,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-19T10:26:59Z",
"comment": "Added TRS Innermost Derivational Complexity"
},
{
"logid": 572,
"ns": 0,
"title": "TRS Derivational Complexity",
"pageid": 409,
"logpage": 409,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-19T10:23:56Z",
"comment": "Added TRS Derivational Complexity"
},
{
"logid": 571,
"ns": 0,
"title": "Integer Transition Systems",
"pageid": 408,
"logpage": 408,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-18T11:40:28Z",
"comment": "Added ITS Page"
},
{
"logid": 570,
"ns": 0,
"title": "TRS Conditional",
"pageid": 407,
"logpage": 407,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-18T11:37:59Z",
"comment": "Added TRS Conditional Page"
},
{
"logid": 569,
"ns": 0,
"title": "TRS Conditional - Operational Termination",
"pageid": 406,
"logpage": 406,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-18T11:37:52Z",
"comment": "Added TRS Conditional - Operation Page"
},
{
"logid": 568,
"ns": 0,
"title": "TRS Equational",
"pageid": 405,
"logpage": 405,
"params": {},
"type": "create",
"action": "create",
"user": "JCKassing",
"timestamp": "2026-03-18T11:29:46Z",
"comment": "Added TRS Equational Page"
}
]
}
}