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": "20230410011423|486",
"continue": "-||"
},
"query": {
"logevents": [
{
"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": ""
},
{
"logid": 490,
"ns": 0,
"title": "C Complexity",
"pageid": 358,
"logpage": 358,
"params": {},
"type": "create",
"action": "create",
"user": "Ffrohn",
"timestamp": "2024-04-16T10:08:59Z",
"comment": "Created page with \"We consider the C-fragment from the category [[C_Programs|Termination of C Programs]], but in contrast to the termination category, the starting point should be stated explici...\""
},
{
"logid": 489,
"ns": 0,
"title": "20th International Workshop on Termination",
"pageid": 357,
"logpage": 357,
"params": {},
"type": "create",
"action": "create",
"user": "J.waldmann",
"timestamp": "2024-01-31T17:47:18Z",
"comment": "Created page with \"The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma...\""
},
{
"logid": 488,
"ns": 0,
"title": "Termination Competition 2024",
"pageid": 356,
"logpage": 356,
"params": {},
"type": "create",
"action": "create",
"user": "Ffrohn",
"timestamp": "2024-01-16T13:35:33Z",
"comment": "Created page with \"The Termination and Complexity Competition (termCOMP) 2024 will be affiliated with [[IJCAR2024|IJCAR 2023]]. The competition will be run on the [http://www.starexec.org/ Star...\""
},
{
"logid": 487,
"ns": 0,
"title": "Termination Competition 2023",
"pageid": 355,
"logpage": 355,
"params": {},
"type": "create",
"action": "create",
"user": "Akihisa Yamada",
"timestamp": "2023-05-15T10:28:49Z",
"comment": "Created page with \"The Termination and Complexity Competition (termCOMP) 2023 will be affiliated with [[WST2023|WST 2023]]. The competition will be run on the [http://www.starexec.org/ StarExec...\""
}
]
}
}