Skelet 26: Difference between revisions
Jump to navigation
Jump to search
Added section for skelet 15 |
→Skelet 15: added a short sentence about equivalence |
||
| Line 3: | Line 3: | ||
== Skelet 15 == | == Skelet 15 == | ||
{{TM|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC}}, also called '''Skelet 15''' is equivalent to Skelet 26. | |||
== References == | == References == | ||
[[Category:BB(5)]] | [[Category:BB(5)]] | ||
Revision as of 18:11, 7 March 2026
1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC--- (bbch), 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.[1]
Skelet 15
1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC (bbch), also called Skelet 15 is equivalent to Skelet 26.