Related changes
← Sequent
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
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)
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 Rule of inference 22:59 +25 Psychastes talk contribs (→Definition: add linked template)
- diffhist Help:Maintenance template removal 22:49 −1 Alalch E. talk contribs (→When to remove: rm blank)
- diffhist Help:Maintenance template removal 22:49 +108 Alalch E. talk contribs (anchors)
- diffhist Gerhard Gentzen 13:46 +29 Takeschutte talk contribs (Added proof theorists category)
30 May 2025
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
- diffhist Wikipedia:Verifiability 03:01 +42 WhatamIdoing talk contribs (Not really "meanings" in the sense of definitions) Tag: Visual edit
29 May 2025
- diffhist Permutation 14:07 0 2400:4051:903:2800:38b7:2755:54d4:dbe5 talk (→Matrix representation) Tags: Mobile edit Mobile web edit
27 May 2025
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB