Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
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
30 April 2026
| 08:55 | 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF diffhist +399 DrDisentangle talk contribs (→1RB1LA_1RC0RF_1RD---_0LE1RB_---0LA_1LD1RF: equivalent machines) | ||||
29 April 2026
|
|
09:56 | 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF 2 changes history −197 [DrDisentangle (2×)] | |||
|
|
09:56 (cur | prev) −3,546 DrDisentangle talk contribs (→Current state: three tape-level conjectures: rm) | ||||
|
|
09:55 (cur | prev) +3,349 DrDisentangle talk contribs (→Failed proof strategies: update) | ||||