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

13 July 2025

diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
diffhist Sequent calculus 20:09 +121 168.92.254.163 talk (→Inference rules: Add explanatory note for relative complement)
diffhist Sequent calculus 20:06 +270 168.92.254.163 talk (→Inference rules: Add relative complement rules to preserve symmetry (see https://ncatlab.org/nlab/show/sequent+calculus))

10 July 2025

diffhist m Sara Negri 06:37 −1 Denisarona talk contribs
diffhist m Sara Negri 06:34 +2 Denisarona talk contribs (→Books)
diffhist m Sara Negri 06:33 +1 Denisarona talk contribs (→External links)

9 July 2025

diffhist Sequent 01:46 +12 I love yourwiki talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit Newcomer task Suggested: add links