User contributions for JCKassing
9 March 2026
- 09:2909:29, 9 March 2026 diff hist +26 N Category TRS Standard JCKassing moved page Category TRS Standard to TRS Standard: removed Category current Tag: New redirect
- 09:2909:29, 9 March 2026 diff hist 0 m TRS Standard JCKassing moved page Category TRS Standard to TRS Standard: removed Category
- 09:2809:28, 9 March 2026 diff hist +1,257 N TRS Standard Added TRS Standard Category Page
8 March 2026
- 12:4012:40, 8 March 2026 diff hist +106 Termination Competition History Added results current
- 12:3912:39, 8 March 2026 diff hist −4,380 Termination Competition Simplified the competition page and moved important parts to the top
- 12:3612:36, 8 March 2026 diff hist +4,484 N Termination Competition History Added an additional page for the history of the termination competition
- 12:3312:33, 8 March 2026 diff hist +2,028 Termination Competition Added explanations for each of the category types
6 March 2026
- 22:2322:23, 6 March 2026 diff hist −255 Tools:AProVE Changed the developer list to the current website list current
24 February 2026
- 15:1015:10, 24 February 2026 diff hist +1,484 Termination Competition Improved the categorization of all competition categories
15 January 2026
- 12:4412:44, 15 January 2026 diff hist +73 People:Jan-Christoph Kassing Added profile pic current
- 12:4212:42, 15 January 2026 diff hist +249 Category:Categories Improving Category text current
- 12:3612:36, 15 January 2026 diff hist +25 Probabilistic Rewriting Added to the category group
- 12:3312:33, 15 January 2026 diff hist +622 N People:Jan-Christoph Kassing Added myself as a person
- 12:2712:27, 15 January 2026 diff hist −14 People:Jürgen Giesl Fixed Link current
- 12:2712:27, 15 January 2026 diff hist +35 People:Jürgen Giesl Update Image
- 11:1911:19, 15 January 2026 diff hist +2,148 Probabilistic Rewriting some additional information on the probabilistic rewriting site
23 July 2025
- 13:2013:20, 23 July 2025 diff hist +1 Termination Competition 2025 technical details →Testing Locally
13 May 2024
- 13:1713:17, 13 May 2024 diff hist +7 Term Rewriting No edit summary
- 13:1713:17, 13 May 2024 diff hist −85 Probabilistic Rewriting No edit summary
- 08:1508:15, 13 May 2024 diff hist +9 Termination Competition No edit summary
- 08:1408:14, 13 May 2024 diff hist +37 N Prob Rewriting JCKassing moved page Prob Rewriting to Probabilistic Rewriting: Change of title current Tag: New redirect
- 08:1408:14, 13 May 2024 diff hist 0 m Probabilistic Rewriting JCKassing moved page Prob Rewriting to Probabilistic Rewriting: Change of title
10 May 2024
- 10:1510:15, 10 May 2024 diff hist +27 Probabilistic Rewriting No edit summary
- 10:1410:14, 10 May 2024 diff hist +1,057 N Probabilistic Rewriting 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..."
- 09:5509:55, 10 May 2024 diff hist +78 Termination Competition →Competition Categories