Resolution proof reduction via local context rewriting: Revision history

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.

16 January 2024

  • curprev 15:4815:48, 16 January 2024 imported>BD2412 m 10,535 bytes +10,535 →top: clean up spacing around commas and other punctuation fixes, replaced: ; → ; (8)
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Resolution_proof_reduction_via_local_context_rewriting"