SKI Calculus: Revision history

View logs for this page (view abuse log)

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 08:4508:45, 18 October 2026 Δ⁵ talk contribs m 5,893 bytes 0 un-overestimated bound

curprev 07:1507:15, 13 October 2026 Δ⁵ talk contribs m 5,893 bytes +91 new champ

curprev 03:3503:35, 12 October 2026 Δ⁵ talk contribs m 5,802 bytes −2 →Champions for Ξ₀BCKW Tag: Visual edit

curprev 11:5611:56, 11 October 2026 Δ⁵ talk contribs m 5,804 bytes −86 →Champions for Ξ₀SK: noticed some llm smell, removed the link for now Tag: Manual revert
curprev 11:3811:38, 11 October 2026 Δ⁵ talk contribs m 5,890 bytes +86 →Champions for Ξ₀SK
curprev 11:0511:05, 11 October 2026 Δ⁵ talk contribs m 5,804 bytes −2 →Champions for Ξ₀BCKW Tag: Visual edit
curprev 11:0011:00, 11 October 2026 Cppdsucker talk contribs 5,806 bytes −2 https://github.com/b00ne/bb-sk-7/blob/main/bbsk7.pdf Tag: Visual edit

curprev 05:5505:55, 28 September 2026 Δ⁵ talk contribs m 5,808 bytes +2 Clarify the exact meaning of Tag: Visual edit
curprev 05:3905:39, 28 September 2026 Δ⁵ talk contribs m 5,806 bytes −15 →Champions for ΞSKIO Tag: Visual edit

curprev 01:0701:07, 24 September 2026 Δ⁵ talk contribs m 5,821 bytes −1 →Champions for ΞSKIΩ Tag: Visual edit
curprev 00:5600:56, 24 September 2026 Δ⁵ talk contribs m 5,822 bytes +88 →Oracles: Increased accessibility+added further info Tag: Visual edit

curprev 15:2015:20, 23 September 2026 Loader3229 talk contribs 5,734 bytes +5 No edit summary

curprev 03:5603:56, 22 September 2026 Δ⁵ talk contribs m 5,729 bytes −65 →Oracles: removed misinformation; "Ξ 7 champion" is wrong, so "Ξ 8" is probably too

curprev 06:3206:32, 21 September 2026 Loader3229 talk contribs 5,794 bytes +2 →Champions for ΞSKIO
curprev 06:2606:26, 21 September 2026 Loader3229 talk contribs 5,792 bytes +294 →Oracles

curprev 00:5600:56, 16 September 2026 Δ⁵ talk contribs 5,498 bytes −1 →Champions for Ξ₀BCKW: new champion Tag: Visual edit

curprev 13:0013:00, 15 September 2026 Δ⁵ talk contribs 5,499 bytes −25 →SK calculus: new champions Tag: Visual edit
curprev 05:3605:36, 15 September 2026 Δ⁵ talk contribs 5,524 bytes −1 →Champions: new champion Tag: Visual edit

curprev 02:1602:16, 9 September 2026 Δ⁵ talk contribs m 5,525 bytes +3 →Champions: corrected champions Tag: Visual edit

curprev 09:3809:38, 2 September 2026 Δ⁵ talk contribs 5,522 bytes +14 Undo revision 8408 by Δ⁵ (talk) Tag: Undo

curprev 23:4923:49, 1 September 2026 Δ⁵ talk contribs 5,508 bytes −14 →Champions: new champion Tag: Visual edit

curprev 05:5205:52, 20 August 2026 Δ⁵ talk contribs 5,522 bytes +26 →Champions for Ξ₀SK: new champion Tag: Visual edit
curprev 05:2805:28, 20 August 2026 Δ⁵ talk contribs 5,496 bytes −32 →Champions: new champions Tag: Visual edit

curprev 15:2015:20, 19 August 2026 Δ⁵ talk contribs m 5,528 bytes +33 proper subscripts and superscripts

curprev 02:2502:25, 14 August 2026 Δ⁵ talk contribs 5,495 bytes −2 →Champions for Ξ₀_SK: new bound Tag: Visual edit

curprev 12:0812:08, 12 August 2026 Azerty talk contribs 5,497 bytes +1 →Champions for Ξ₀_BCKW: ≥ Tag: Visual edit
curprev 11:5111:51, 12 August 2026 Δ⁵ talk contribs m 5,496 bytes −1 →Champions for Ξ₀_BCKW: un-underestimated bound Tag: Visual edit

curprev 11:0011:00, 7 August 2026 Polygon talk contribs m 5,497 bytes +1 →Champions for Ξ₀_BCKW: Consistent greater/equals signs
curprev 11:0011:00, 7 August 2026 Polygon talk contribs m 5,496 bytes +1 →SK calculus: Consistent greater/equals signs

curprev 13:1413:14, 6 August 2026 Δ⁵ talk contribs 5,495 bytes 0 →Champions for Ξ₀_SK: new bound Tag: Visual edit
curprev 12:4312:43, 6 August 2026 Δ⁵ talk contribs 5,495 bytes −4 →Champions for Ξ₀_SK: new bound Tag: Visual edit
curprev 09:1809:18, 6 August 2026 Δ⁵ talk contribs m 5,499 bytes −7 →Oracles: minor change in wording Tag: Visual edit

curprev 08:4708:47, 30 July 2026 Δ⁵ talk contribs m 5,506 bytes +14 →Champions for Ξ₀_SK: prevented possible confusion Tag: Visual edit

curprev 12:2412:24, 28 July 2026 Δ⁵ talk contribs 5,492 bytes −60 →SK calculus: new bounds Tag: Visual edit
curprev 12:1812:18, 28 July 2026 Δ⁵ talk contribs m 5,552 bytes +4 →Champions for Ξ₀_SK: fixed bracketing Tag: Visual edit

curprev 02:3002:30, 19 July 2026 Δ⁵ talk contribs m 5,235 bytes +2 →Champions for Ξ₀_SK: un-underestimated bound Tag: Visual edit
curprev 02:2902:29, 19 July 2026 Δ⁵ talk contribs 5,233 bytes +186 new bounds Tag: Visual edit

curprev 03:1003:10, 10 July 2026 Δ⁵ talk contribs m 5,047 bytes +60 →Champions: new bounds Tag: Visual edit

curprev 06:4606:46, 3 July 2026 Δ⁵ talk contribs m 4,987 bytes −101 →Champions for Ξ₀_SK: new champion Tag: Visual edit

curprev 12:0512:05, 24 June 2026 Azerty talk contribs m 5,088 bytes 0 fixed typo Tag: Visual edit
curprev 07:2807:28, 24 June 2026 Azerty talk contribs m 5,088 bytes +11 →BCKW system: B, C and K Tag: Visual edit

curprev 08:4808:48, 13 June 2026 Polygon talk contribs 5,077 bytes −1 BB_SKI(n) --> Ξ₀(n)
curprev 08:4308:43, 13 June 2026 Polygon talk contribs m 5,078 bytes +2 →Champions: spacing

curprev 10:0810:08, 12 June 2026 Δ⁵ talk contribs m 5,076 bytes +2 →Champions Tag: Visual edit

curprev 12:2712:27, 11 June 2026 Δ⁵ talk contribs m 5,074 bytes 0 →Champions: un-underestimated bound Tag: Visual edit

Retrieved from "https://wiki.bbchallenge.org/wiki/SKI_Calculus"