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": "",
"query": {
"pages": {
"1": {
"pageid": 1,
"ns": 0,
"title": "Termination Portal"
},
"64": {
"pageid": 64,
"ns": 0,
"title": "What domain name?"
},
"119": {
"pageid": 119,
"ns": 0,
"title": "Handling DG and SCCs"
},
"150": {
"pageid": 150,
"ns": 0,
"title": "Wrong title complexity"
},
"229": {
"pageid": 229,
"ns": 0,
"title": "Integer Term Rewriting"
},
"232": {
"pageid": 232,
"ns": 0,
"title": "Higher Order Rewriting"
},
"313": {
"pageid": 313,
"ns": 0,
"title": "Termination Competition 2014 Registration"
},
"315": {
"pageid": 315,
"ns": 0,
"title": "Termination Competition 2014 Questionnaire"
},
"329": {
"pageid": 329,
"ns": 0,
"title": "Termination and Complexity Competition 2016"
},
"359": {
"pageid": 359,
"ns": 0,
"title": "Probabilistic Rewriting"
}
}
}
}