Entscheidungsproblem: 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.

12 February 2025

  • curprev 18:4018:40, 12 February 2025 imported>EmilJ 19,102 bytes +19,102 Negative answer: rm wrong and confusing link. This refers to the common English meaning of "reduced", not to many-one reductions. The underlying many-one reduction in the argument actually goes in the opposite direction!