{"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"}]}}