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.
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
4 June 2025
- diffhist Craig interpolation 09:17 +52 MichaelMaggs talk contribs (Adding local short description: "Theorem in mathematical logic", overriding Wikidata description "theorem") Tag: Shortdesc helper
3 June 2025
- diffhist Proof-theoretic semantics 21:00 −39 Psychastes talk contribs (>1500B, not stub)
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)