Related changes
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 Formal language 19:01 +1 Klauscougar talk contribs (edited for clarity. "words" now unambiguously refers to "strings") 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 Probability 10:40 −64 MartinPoulter talk contribs (→External links: Link to Wikisource portal rather than an individual text)
- diffhist Probability 10:38 −148 MartinPoulter talk contribs (→External links: This link about a music composition is out of place here)
- 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 Probability 01:26 +113 DivermanAU talk contribs (→External links: add Wikisource link)
- diffhist m Decision problem 00:20 +8 Nyngwang talk contribs (wording: conform with the exact line from the book by Ebbinghaus et al.)
- diffhist Decision problem 00:02 −34 Nyngwang talk contribs (wording: an example of "decision problem" is just about the problem itself; requiring "an existing algorithm" is misleading.)
14 May 2025
- diffhist m Decision problem 08:26 −4 Nyngwang talk contribs (→Decidability: wording: merge two sentences.)
- diffhist Decision problem 08:15 +6 Nyngwang talk contribs (→Examples: wording: replaced "method" with "procedure", which is better 1. better capture the fact that it has "steps", 2. has a reference that clearly define it.)
- diffhist Decision problem 07:54 +19 Nyngwang talk contribs (request(cite): The current wiki page "effective method" is not in good quality, so I doubt the validity of linkage here.)
13 May 2025
- diffhist Timed automaton 12:52 −32 Ruthven talk contribs (→Extended state: simplify)
12 May 2025
- diffhist Machine learning 15:58 −342 Zefr talk contribs (Reverted 1 edit by Kairaalexander (talk): Unsourced, WP:RS, reads like a chatbot) Tags: Twinkle Undo
- diffhist Machine learning 12:26 +342 Kairaalexander talk contribs (→Artificial intelligence) Tag: Reverted