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
12 December 2025
- diffhist Computer science 14:30 −2 DMacks talk contribs (Both are grammatically incorrect (possibly changing meaning to be not what is intended either). Undid revision 1326766094 by ThisAccountMightBeNew (talk)) Tag: Undo
- diffhist Satisfiability modulo theories 01:43 +2 Michael Hardy talk contribs (→Decidable theories)
- diffhist Satisfiability modulo theories 01:43 +30 Michael Hardy talk contribs (→Expressive power)
- diffhist Satisfiability modulo theories 01:42 0 Michael Hardy talk contribs
- diffhist Satisfiability modulo theories 01:41 +20 Michael Hardy talk contribs (→Terminology and examples)