{"batchcomplete":"","continue":{"lecontinue":"20260319102356|572","continue":"-||"},"query":{"logevents":[{"logid":582,"ns":6,"title":"File:Proc WST 2025.pdf","pageid":380,"logpage":380,"params":{"img_sha1":"jf6tp1m3ra9kfe6c0lfhozcsoi4mjay","img_timestamp":"2026-06-29T14:56:39Z"},"type":"upload","action":"revert","user":"Hofbauer","timestamp":"2026-06-29T14:56:39Z","comment":"Reverted to version as of 14:53, 29 June 2026 (UTC)"},{"logid":581,"ns":6,"title":"File:Proc WST 2025.pdf","pageid":380,"logpage":380,"params":{"img_sha1":"jmildzyctkj7by3bnlr3x39r96129fq","img_timestamp":"2026-06-29T14:54:08Z"},"type":"upload","action":"revert","user":"Hofbauer","timestamp":"2026-06-29T14:54:08Z","comment":"Reverted to version as of 09:20, 13 March 2026 (UTC)"},{"logid":580,"ns":6,"title":"File:Proc WST 2025.pdf","pageid":380,"logpage":380,"params":{"img_sha1":"jf6tp1m3ra9kfe6c0lfhozcsoi4mjay","img_timestamp":"2026-06-29T14:53:05Z"},"type":"upload","action":"overwrite","user":"Hofbauer","timestamp":"2026-06-29T14:53:05Z","comment":""},{"logid":579,"ns":6,"title":"File:TermCOMP26 program.png","pageid":415,"logpage":415,"params":{},"type":"create","action":"create","user":"Ffrohn","timestamp":"2026-06-16T13:32:34Z","comment":""},{"logid":578,"ns":6,"title":"File:TermCOMP26 program.png","pageid":415,"logpage":415,"params":{"img_sha1":"hs2sarsy2zao5641ped0khr6ov1xd19","img_timestamp":"2026-06-16T13:32:34Z"},"type":"upload","action":"upload","user":"Ffrohn","timestamp":"2026-06-16T13:32:34Z","comment":""},{"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"}]}}