Backward Reasoning: Revision history

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 16:3016:30, 3 September 2025‎ Sligocki talk contribs‎ m 2,215 bytes +32‎ No edit summary Tag: Visual edit

curprev 14:1914:19, 30 August 2025‎ Polygon talk contribs‎ 2,183 bytes −4‎ →‎History: made time consistent
curprev 12:1412:14, 30 August 2025‎ Polygon talk contribs‎ 2,187 bytes +22‎ →‎See also: Added Halting Segment
curprev 11:5811:58, 30 August 2025‎ Polygon talk contribs‎ 2,165 bytes +334‎ Added use in proof of BB(3)

curprev 20:1620:16, 29 August 2025‎ Polygon talk contribs‎ 1,831 bytes +74‎ →‎History: Added reproduction by int-y1 (migrated from Cosearch)
curprev 11:4611:46, 29 August 2025‎ Polygon talk contribs‎ 1,757 bytes +851‎ Added history section

curprev 22:5922:59, 27 August 2025‎ Polygon talk contribs‎ 906 bytes +298‎ Expanded beginning
curprev 22:3522:35, 27 August 2025‎ Polygon talk contribs‎ m 608 bytes −2‎ See also format
curprev 22:3422:34, 27 August 2025‎ Polygon talk contribs‎ 610 bytes +423‎ Added some information

curprev 22:2622:26, 10 August 2025‎ Polygon talk contribs‎ 187 bytes −9‎ Used Template:Stub

curprev 22:1722:17, 4 February 2025‎ Sligocki talk contribs‎ 196 bytes +40‎ categories Tag: Visual edit

curprev 20:2520:25, 11 November 2024‎ Cosmo talk contribs‎ 156 bytes +156‎ Created page with "See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 4] of bbchallenge's deciders write-up."

Backward Reasoning: Revision history

3 September 2025

30 August 2025

29 August 2025

27 August 2025

10 August 2025

4 February 2025

11 November 2024

Navigation menu