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
18 July 2025
- diffhist Logic 13:47 −2,909 MartinPoulter talk contribs (Undid revision 1301177266 by Yourstruly1167 (talk) Off-topic and sourced to a self-published blog) Tag: Undo
- diffhist Logic 13:36 +2,909 Yourstruly1167 talk contribs (Addition of a new engineering study on logical methods) Tags: Reverted Visual edit: Switched
17 July 2025
- diffhist Kripke semantics 04:28 +1 150.107.179.139 talk Tags: Visual edit Mobile edit Mobile web edit
16 July 2025
- diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
- diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
- diffhist PSPACE 13:29 +247 Aleks-ger talk contribs (→Further reading: adding important paper)
- diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
- diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
- diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
15 July 2025
- diffhist Algorithm 18:37 +46 Safety In Obscurity talk contribs (Undid revision 1298501550 by 2.196.141.187 (talk) Editor seems to have misunderstood what ticker tape is) Tag: Undo
- diffhist PSPACE 09:51 −312 D.Lazard talk contribs (Reverted 2 edits by 126.114.83.232 (talk): WP:ELNO) Tags: Twinkle Undo
- diffhist PSPACE 04:51 +172 126.114.83.232 talk (→Further reading) Tag: Reverted
- diffhist PSPACE 04:22 +140 126.114.83.232 talk (→Further reading) Tag: Reverted
13 July 2025
- diffhist Sequent calculus 20:09 +121 168.92.254.163 talk (→Inference rules: Add explanatory note for relative complement)
- diffhist Sequent calculus 20:06 +270 168.92.254.163 talk (→Inference rules: Add relative complement rules to preserve symmetry (see https://ncatlab.org/nlab/show/sequent+calculus))
- diffhist m Substitution (logic) 16:23 0 Pacomatic talk contribs (Fixed typo in 'if and onlt if')
12 July 2025
- diffhist Open problem 20:16 +386 Int-y1 talk contribs (add a 2024 news update)
- diffhist Intuitionistic logic 17:26 −3 AManWithNoPlan talk contribs (still broken)
- diffhist Singleton (mathematics) 09:36 −93 92.115.253.161 talk (Undid revision 1300024534 by 2600:1700:16A0:AF60:60EF:69D1:C002:2E52 (talk)) Tag: Undo
- diffhist Singleton (mathematics) 09:36 +10 92.115.253.161 talk (Undid revision 1300041161 by AnomieBOT (talk)) Tag: Undo