Related changes
Appearance
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 shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
18 May 2025
- diffhist m Log-space reduction 03:54 +4 Cosmia Nebula talk contribs (→Logspace computable function) Tag: Visual edit
- diffhist Log-space reduction 03:53 +25 Cosmia Nebula talk contribs (→Logspace computable function) Tag: Visual edit
- diffhist Log-space reduction 03:53 +179 Cosmia Nebula talk contribs (→Logspace computable function) Tag: Visual edit
- diffhist Log-space reduction 03:38 +44 Cosmia Nebula talk contribs (→Logspace reduction) Tag: Visual edit
- diffhist Log-space reduction 03:14 +745 Cosmia Nebula talk contribs (→Logspace reduction: LBA) Tag: Visual edit
- diffhist Log-space reduction 02:08 +622 Cosmia Nebula talk contribs (→Logspace computable function) Tag: Visual edit
- diffhist Log-space reduction 01:48 +72 Cosmia Nebula talk contribs (→Logspace reduction: pspace) Tag: Visual edit
- diffhist Log-space reduction 01:45 +6 Cosmia Nebula talk contribs Tag: 2017 wikitext editor
- diffhist Log-space reduction 01:44 +493 Cosmia Nebula talk contribs (→Logspace reduction) Tag: Visual edit
- diffhist Log-space reduction 01:26 +330 Cosmia Nebula talk contribs (→Logspace reduction) Tag: Visual edit
- diffhist Log-space reduction 01:16 +14 Cosmia Nebula talk contribs (→Closure) Tag: Visual edit
- diffhist Log-space reduction 01:15 +240 Cosmia Nebula talk contribs (→Closure: proof) Tag: Visual edit
- diffhist Log-space reduction 01:12 −949 Cosmia Nebula talk contribs (→Closure: merge edit) Tag: Visual edit
- diffhist Log-space reduction 01:09 +2,179 Cosmia Nebula talk contribs (→Further reading: merge) Tag: Visual edit
- diffhist Log-space reduction 01:05 +95 Cosmia Nebula talk contribs (→Logspace computable function: transducer) Tag: Visual edit
- diffhist Log-space reduction 01:00 +45 Cosmia Nebula talk contribs (→Definition: sections) Tag: Visual edit
- diffhist Log-space reduction 00:58 +41 Cosmia Nebula talk contribs (→Definition) Tag: Visual edit
- diffhist Log-space reduction 00:25 +236 Cosmia Nebula talk contribs (→Definition: intuition) Tag: Visual edit
17 May 2025
- diffhist m Decision problem 18:39 +16 Nyngwang talk contribs (meta(symbol): In the only accompanying image, the two answers are "YES", "NO", not "yes", "no"; update all occurrences accordingly.)
- diffhist m Decision problem 18:34 +220 Nyngwang talk contribs (meta(notes): add a note for the part that confused me, so it may help other people as well.)
16 May 2025
- diffhist m Decision problem 13:19 0 Nyngwang talk contribs (wording: replace "solves the problem" with "answers the yes-no question", which is more clear.)
- diffhist Decision problem 13:14 +14 Nyngwang talk contribs (fix(wording): a decision procedure needs to work on all inputs.)
- diffhist m Decision problem 12:36 +22 Nyngwang talk contribs (→See also: add an entry; sort the list)
15 May 2025
- diffhist Decision problem 23:55 +22 Nyngwang talk contribs (meta(link): "set".)
- diffhist m Decision problem 23:49 −7 Nyngwang talk contribs (wording.)
- diffhist m Decision problem 22:29 +31 Nyngwang talk contribs (→Definition: cite twice, less confusing.)
- diffhist m Decision problem 22:18 −5 Nyngwang talk contribs (→Definition: better readability by parentheses.)
- diffhist Decision problem 22:04 +30 Nyngwang talk contribs (meta(link): how can I forget to mention "halting problem" in the intro?)
- diffhist m Decision problem 21:57 +1 Nyngwang talk contribs (grammar.)
- diffhist m Decision problem 21:55 +1 Nyngwang talk contribs (→Definition: grammar.)
- diffhist m Decision problem 21:53 +17 Nyngwang talk contribs (→Definition: wording.)
- diffhist m Decision problem 21:51 +2 Nyngwang talk contribs (→Definition: grammar.)
- diffhist m Decision problem 21:50 +32 Nyngwang talk contribs (→Definition)
- diffhist Decision problem 21:47 −85 Nyngwang talk contribs (→Definition: prefer precise "formal language" than "a yes-no question on a set of inputs"; improve readability by listing.)
- diffhist m Decision problem 21:15 +2 Nyngwang talk contribs (→Notes: fix(link).)
- diffhist m Decision problem 21:06 +62 Nyngwang talk contribs (meta: prefer no inlined reference (so that one can edit page content more easily without clustered by inlined refs.))
- diffhist m Decision problem 21:03 +13 Nyngwang talk contribs (meta: create section "Notes"; move the only note into it.)
- diffhist m Decision problem 20:52 −8 Nyngwang talk contribs (wording: connect sentences.)
- diffhist m Decision problem 20:42 0 Nyngwang talk contribs (wording.)
- diffhist m Decision problem 04:39 −29 Nyngwang talk contribs (→Decidability: formatting.)
- diffhist m Decision problem 04:17 +12 Nyngwang talk contribs (wording.)
- diffhist m Decision problem 04:08 −3 Nyngwang talk contribs (→Definition: fix: it's "yes-no" question not "yes-or-no" question.)
- diffhist m Decision problem 04:02 +7 Nyngwang talk contribs
- diffhist m Decision problem 04:01 +7 Nyngwang talk contribs (wording: symmetry.)
- diffhist m Decision problem 03:59 +12 Nyngwang talk contribs (font: bolded both important keywords "decidable", "undecidable".)
- diffhist Decision problem 03:52 −252 Nyngwang talk contribs (rm wiki-link to wikipage "effective method", which is verification-needed and thus misleading for now; improve wording.)
- diffhist m Decision problem 03:39 −7 Nyngwang talk contribs
- diffhist m Decision problem 03:36 −5 Nyngwang talk contribs (wording: prefer simple sentences.)
- diffhist m Decision problem 03:02 +9 Nyngwang talk contribs (→Definition: wording: use the bolded term defined in the intro.)
- diffhist m Decision problem 00:20 +8 Nyngwang talk contribs (wording: conform with the exact line from the book by Ebbinghaus et al.)