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
16 March 2026
| 20:16 | TMBR: March 2026 diffhist +229 Polygon talk contribs (→Holdouts: Added new Bb(2,5) holdout reduction) | ||||
| 16:13 | BB(2,5) diffhist +240 ADucharme talk contribs (→Holdouts: move 2 formally solved TMs out of informal proof section) | ||||
15 March 2026
|
|
15:28 | TMBR: March 2026 3 changes history +182 [Qwertyasdf (3×)] | |||
|
|
15:28 (cur | prev) −1 Qwertyasdf talk contribs (grammar) Tag: Visual edit | ||||
|
|
15:16 (cur | prev) +10 Qwertyasdf talk contribs (→Holdouts: clarify) Tag: Visual edit | ||||
|
|
15:05 (cur | prev) +173 Qwertyasdf talk contribs (→Holdouts: add 3,3 formalisations) Tag: Visual edit | ||||
14 March 2026
| 18:34 | Logical independence diffhist 0 C7X talk contribs (More common phrasing →Large cardinals) | ||||
| 08:50 | BB(7) diffhist −11 C7X talk contribs (Done →History) | ||||
13 March 2026
|
|
07:43 | TMBR: March 2026 2 changes history +503 [Qwertyasdf (2×)] | |||
|
|
07:43 (cur | prev) +228 Qwertyasdf talk contribs (→Holdouts: add bb7 reduction) Tag: Visual edit | ||||
|
|
07:36 (cur | prev) +275 Qwertyasdf talk contribs (add new bb13 champion) Tag: Visual edit | ||||
12 March 2026
| 19:11 | TMBR: March 2026 diffhist +128 Polygon talk contribs (→Holdouts: added new solved TM) | ||||
|
|
02:03 | Logical independence 5 changes history +54 [Tlonuqbar (5×)] | |||
|
|
02:03 (cur | prev) −3 Tlonuqbar talk contribs Tag: Visual edit | ||||
|
|
02:02 (cur | prev) −3 Tlonuqbar talk contribs (simplify) Tag: Visual edit | ||||
|
|
01:54 (cur | prev) +24 Tlonuqbar talk contribs (clarifying) Tag: Visual edit | ||||
|
|
01:50 (cur | prev) −10 Tlonuqbar talk contribs (correcting statement) Tag: Visual edit | ||||
|
|
01:28 (cur | prev) +46 Tlonuqbar talk contribs (crediting oscar cunningham) Tag: Visual edit | ||||
11 March 2026
|
|
18:19 | TMBR: March 2026 2 changes history +360 [RobinCodes (2×)] | |||
|
|
18:19 (cur | prev) +218 RobinCodes talk contribs (→Holdouts: BB(2,5) progress) Tag: Visual edit | ||||
|
|
18:13 (cur | prev) +142 RobinCodes talk contribs (→Holdouts: added prurq finding) Tag: Visual edit | ||||
| 17:26 | BB(2,5) diffhist +663 ADucharme talk contribs (→Holdouts: new TM solved+verified 3/11/26) | ||||
10 March 2026
| 06:17 | BB(6) diffhist +7 RobinCodes talk contribs (→History: Added "about" signs for simulation results to not update this page so often) | ||||
| 06:16 | TMBR: January 2026 diffhist −54 RobinCodes talk contribs (Changed TYBR reference) | ||||
| 06:15 | TMBR: March 2026 diffhist +197 RobinCodes talk contribs (→Holdouts: Added 1e14 prog) | ||||