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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

27 May 2025

diffhist m Boolean satisfiability problem 16:06 +12 Ftiercel talk contribs (→XOR-satisfiability: GF(2))

25 May 2025

diffhist m Hilary Putnam 12:47 +32 BardRapt talk contribs (→Machine state functionalism: J. B. Davis)

23 May 2025

diffhist Unification (computer science) 06:19 −288 David Eppstein talk contribs (rm one dead link that (when found on archive) turns out to have been useless, and replace the other)

22 May 2025

diffhist Martin Davis (mathematician) 19:52 −24 Jochen Burghardt talk contribs (Undid revision 1291650358 by 2601:581:8501:6080:FCFC:BB41:6E42:781E: afaik, no redlinks are allowed in infoboxes) Tag: Undo
diffhist Martin Davis (mathematician) 15:30 +24 2601:581:8501:6080:fcfc:bb41:6e42:781e talk Tag: Reverted
diffhist Rule of inference 13:55 −4 Phlsph7 talk contribs (→Modal logics: fix for system T)