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
30 May 2024
- diffhist Intuitionistic logic 13:29 +14 Jean Abou Samra talk contribs (→Semantics: Needs sourcing) Tags: Mobile edit Mobile web edit
29 May 2024
- diffhist Heyting arithmetic 21:26 −1 91.141.73.235 talk (→Least number principle)
- diffhist Heyting arithmetic 12:19 +15 91.112.18.90 talk (→Least number principle: Formatting)
- diffhist Heyting arithmetic 12:15 +48 91.112.18.90 talk (→Least number principle: Example)
- diffhist Heyting arithmetic 12:09 −17 91.112.18.90 talk (→Least number principle)
- diffhist Heyting arithmetic 12:07 +15 91.112.18.90 talk (→Least number principle)
- diffhist Heyting arithmetic 12:05 +208 91.112.18.90 talk (→Least number principle)
28 May 2024
- diffhist Heyting arithmetic 17:21 −6 178.115.47.141 talk (→Least number principle)
- diffhist Heyting arithmetic 17:16 +332 178.115.47.141 talk (→Least number principle)
26 May 2024
- diffhist m Stephen Cole Kleene 21:26 −8 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist m Mathematical logic 13:12 −3 Oneequalsequalsone talk contribs (→Foundations of mathematics) Tag: Visual edit
- diffhist Proof assistant 01:01 +54 95.25.206.108 talk
25 May 2024
- diffhist Intuitionistic logic 16:52 0 213.229.25.38 talk (→Double negation vs. implication)
- diffhist Intuitionistic logic 16:52 +8 213.229.25.38 talk (→Negation vs. implication: Specify title)
- diffhist Intuitionistic logic 16:49 +153 213.229.25.38 talk (→Negation vs. implication)
- diffhist Intuitionistic logic 16:41 +33 213.229.25.38 talk (→Double negations)
- diffhist Intuitionistic logic 16:39 −256 213.229.25.38 talk (→Disjunction vs. conjunction: Simplified presentation)
- diffhist Intuitionistic logic 12:44 +5 77.119.160.81 talk (→Double negations)
- diffhist Intuitionistic logic 01:12 +1 77.119.160.81 talk (→Double negations)