Recent changes

From Termination-Portal.org
Jump to navigationJump to search

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 10:52, 22 June 2025
   
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

18 June 2025

     15:10  20th International Workshop on Termination‎ diffhist -156‎ J.waldmann talk contribs
     15:06  Termination Portal‎ diffhist +49‎ J.waldmann talk contribs →‎Recent News
 m   11:49  TPDB‎ diffhist +4‎ Giesl talk contribs TPDB-ARI (since is the only version which also contains the probabilistic TRS examples)
Retrieved from "http://termination-portal.org/wiki/Special:RecentChanges"