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

1 August 2025

diffhist Sequent calculus 13:35 +8 80.229.208.152 talk (→Sequent calculus systems: change "sequent" to "sequent formula", per the cited source. The source does not say that a cedent is also called a sequent, and neither should we; it would be confusing.)

29 July 2025

diffhist m Many-sorted logic 21:41 −2 Oneequalsequalsone talk contribs Tag: Visual edit

28 July 2025

diffhist Mathematical Reviews 20:57 −13 DocWatson42 talk contribs (Cleaned up layout and other matters, including changing spaced em dashes to colons.)
diffhist Template:Main other 14:53 +182 Pppery talk contribs (Make substable per request)

27 July 2025

diffhist Sequent calculus 12:37 +51 95.208.134.162 talk (I have corrected the authors of a citation.)