Recent changes
From Termination-Portal.org
Jump to navigationJump to searchTrack the most recent changes to the wiki on this page.
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
15 January 2026
|
|
15:00 | WST 3 changes history +150 [Ffrohn (3×)] | |||
|
|
15:00 (cur | prev) -2 Ffrohn talk contribs | ||||
|
|
15:00 (cur | prev) +69 Ffrohn talk contribs | ||||
|
|
14:59 (cur | prev) +83 Ffrohn talk contribs | ||||
| 14:58 | Termination Portal diffhist +49 Ffrohn talk contribs →Recent News | ||||
| N 14:57 | 21st International Workshop on Termination diffhist +11,437 Ffrohn talk contribs Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop..." | ||||
|
|
N 12:44 | People:Jan-Christoph Kassing 2 changes history +695 [JCKassing (2×)] | |||
|
|
12:44 (cur | prev) +73 JCKassing talk contribs Added profile pic | ||||
| N |
|
12:33 (cur | prev) +622 JCKassing talk contribs Added myself as a person | |||
| 12:42 | Category:Categories diffhist +249 JCKassing talk contribs Improving Category text | ||||
|
|
12:36 | Probabilistic Rewriting 2 changes history +2,173 [JCKassing (2×)] | |||
|
|
12:36 (cur | prev) +25 JCKassing talk contribs Added to the category group | ||||
|
|
11:19 (cur | prev) +2,148 JCKassing talk contribs some additional information on the probabilistic rewriting site | ||||
|
|
12:27 | People:Jürgen Giesl 2 changes history +21 [JCKassing (2×)] | |||
|
|
12:27 (cur | prev) -14 JCKassing talk contribs Fixed Link | ||||
|
|
12:27 (cur | prev) +35 JCKassing talk contribs Update Image | ||||
