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

2 June 2025

diffhist Set (mathematics) 19:22 −103 Macrakis talk contribs (remove redundant language; simplify) Tag: Visual edit
diffhist Sequent calculus 07:55 +1,054 Marc Schroeder talk contribs (provide 2 citations)
diffhist m Cut-elimination theorem 05:34 +4 Marc Schroeder talk contribs (→Consequences of the theorem: resolved redirection)

1 June 2025

diffhist m Cut-elimination theorem 23:28 +218 Marc Schroeder talk contribs (edited refs)
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 Ontology language 19:41 −73 Omnipaedista talk contribs (rm spam)
diffhist Cut rule 17:27 +37 Tc14Hd talk contribs (Added short description) Tags: Mobile edit Mobile app edit Android app edit App description add

30 May 2025

diffhist Intuitionistic type theory 15:53 +8 Quezergue talk contribs (→Judgements) Tag: Visual edit

28 May 2025

diffhist Resolution (logic) 20:45 +12 Pizzachu44 talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links