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

3 June 2025

diffhist Proof-theoretic semantics 21:00 −39 Psychastes talk contribs (>1500B, not stub)
diffhist Bernard Bolzano 01:43 −32 Psychastes talk contribs (Removing from Category:Philosophy writers remove academics from category specifically for non-academics using Cat-a-lot)

2 June 2025

diffhist Sequent calculus 07:55 +1,054 Marc Schroeder talk contribs (provide 2 citations)

1 June 2025

diffhist m Sequent calculus 12:45 +155 Marc Schroeder talk contribs (→References)
diffhist Sequent calculus 12:30 +535 Marc Schroeder talk contribs (Updated references)

31 May 2025

diffhist Gerhard Gentzen 13:46 +29 Takeschutte talk contribs (Added proof theorists category)