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
7 March 2026
|
|
N 19:23 | Skelet 26 10 changes history +2,802 [Polygon (10×)] | |||
|
|
19:23 (cur | prev) +13 Polygon talk contribs (→Skelet 15: wording) | ||||
|
|
19:22 (cur | prev) +74 Polygon talk contribs (Mentioned Skelet 26/15 being adjacent to Skelet 33) | ||||
|
|
19:16 (cur | prev) +317 Polygon talk contribs (Added missing definition of b(n) and see also section) | ||||
|
|
18:29 (cur | prev) −2 Polygon talk contribs (→Analysis by Shawn Ligocki: adjusted heading level (as Skelet 15 doesn't have its own analysis section due to equivalence)) | ||||
|
|
18:27 (cur | prev) +427 Polygon talk contribs (→Skelet 15: expanded section) | ||||
|
|
18:20 (cur | prev) +1,106 Polygon talk contribs (Added analysis for Skelet 26) | ||||
|
|
18:17 (cur | prev) +341 Polygon talk contribs (Mentioned proof of non-halting) | ||||
|
|
18:11 (cur | prev) +100 Polygon talk contribs (→Skelet 15: added a short sentence about equivalence) | ||||
|
|
18:08 (cur | prev) +17 Polygon talk contribs (Added section for skelet 15) | ||||
| N |
|
18:06 (cur | prev) +409 Polygon talk contribs (Created page with "{{machine|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}{{Stub}} {{TM|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}, called '''Skelet #26''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter and has an individual proof of non-halting in Coq-BB5.<ref>https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v</ref> == References == Category:BB(5)") | |||