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": "20220530105648|484",
"continue": "-||"
},
"query": {
"logevents": [
{
"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...\""
},
{
"logid": 486,
"ns": 0,
"title": "WST2023",
"pageid": 354,
"logpage": 354,
"params": {},
"type": "create",
"action": "create",
"user": "Akihisa Yamada",
"timestamp": "2023-04-10T01:14:23Z",
"comment": "Redirected page to [[19th International Workshop on Termination]]"
},
{
"logid": 485,
"ns": 0,
"title": "19th International Workshop on Termination",
"pageid": 353,
"logpage": 353,
"params": {},
"type": "create",
"action": "create",
"user": "Akihisa Yamada",
"timestamp": "2023-01-16T01:37:45Z",
"comment": "Created page with \"==Background== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this int...\""
}
]
}
}