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
29 May 2024
- diffhist Tautology (logic) 06:02 −26 David Eppstein talk contribs (→Efficient verification and the Boolean satisfiability problem: reword in a way that does not provide an unsourced claim of current research focus)
28 May 2024
- diffhist Dependent type 20:17 +1 Hellacioussatyr talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Alan Turing 17:10 −297 GuardianH talk contribs (rv, this lede is already a little too long – relegate to body) Tag: Undo
- diffhist Set (mathematics) 13:47 −40 D.Lazard talk contribs (Reverted 1 edit by ChessPage1 (talk)) Tags: Twinkle Undo
- diffhist Set (mathematics) 12:25 +40 ChessPage1 talk contribs (→Definition and notation: Added content.) Tags: Reverted Mobile edit Mobile web edit
- diffhist Alan Turing 11:15 +297 Offthefield talk contribs (currency) Tag: Reverted
27 May 2024
- diffhist m Alonzo Church 19:30 +4 Jean Abou Samra talk contribs (Link Church-Rosser thm)
- diffhist m Tautology (logic) 16:41 +56 Dezaxa talk contribs (→Definition and examples: changed link to hypothetical syllogism)
- diffhist Tautology (logic) 14:04 +19 Oneequalsequalsone talk contribs (→Efficient verification and the Boolean satisfiability problem: citation needed) Tag: Visual edit
- diffhist m Tautology (logic) 13:46 +31 Oneequalsequalsone talk contribs (→Definition and examples) Tag: Visual edit
- diffhist Tautology (logic) 13:41 +84 Oneequalsequalsone talk contribs (→Definition and examples: add natural language explanation) Tag: Visual edit
- diffhist m Tautology (logic) 13:38 −6 Oneequalsequalsone talk contribs (→Background) Tag: Visual edit
- diffhist m Martin Davis (mathematician) 06:17 −2 BardRapt talk contribs (→Other contributions: ce)
26 May 2024
- diffhist m Stephen Cole Kleene 21:26 −8 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist Polynomial 06:41 −304 D.Lazard talk contribs (Reverted 1 edit by Wqwt (talk): True and said in the linked article, but unneeded and possibly confusing for people learning polynomial multipliation) Tags: Twinkle Undo
- diffhist University of California, Los Angeles 04:00 +30 2603:8000:d000:1c00:310a:ebbd:628b:4571 talk
- diffhist University of California, Los Angeles 03:51 +31 2603:8000:d000:1c00:310a:ebbd:628b:4571 talk (Update athletic conference)
- diffhist m Haskell Curry 02:58 −11 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist m Combinatory logic 02:41 −8 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
25 May 2024
- diffhist Polynomial 23:45 +304 Wqwt talk contribs (→Multiplication: add note about discrete convolution) Tags: Reverted Visual edit
- 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 Church encoding 11:06 0 Vincent Lefèvre talk contribs (Undid revision 1225495790 by 129.19.63.106 (talk) "shows" does not make any sense; "slows" seems correct as it is said "from O(1) to O(n)", but the O() notation is wrong here since this is just an asymptotic upper bound (something in constant time is still in O(n), for instance).) Tag: Undo
- diffhist Princeton University 06:23 −1 Castncoot talk contribs (brck)
- diffhist Princeton University 06:21 +35 Castncoot talk contribs (reconfig)
- diffhist Princeton University 06:15 −1 Castncoot talk contribs (dab)
- diffhist Princeton University 05:58 −1 Castncoot talk contribs (rm paren)
- diffhist Princeton University 05:57 +46 Castncoot talk contribs (dab)
- diffhist Princeton University 05:50 +24 Castncoot talk contribs (rephrs)
- diffhist Princeton University 05:43 +53 Castncoot talk contribs (rephrs)
- diffhist Natural number 02:45 −15 Jacobolus talk contribs (Undid revision 1225539311 by Mathnerd314159 (talk) these (unsourced) editorializing labels are unhelpful. "some", "others" is just fine.) Tag: Undo
- diffhist Natural number 02:41 +15 Mathnerd314159 talk contribs (label groups as "modernists" and "traditionalists" based on the 0-users being chronologically later and presenting their convention as a change from the 0-avoiding convention) Tag: Reverted
- diffhist m Natural number 01:41 −2 Discospinster talk contribs (Reverted edits by 122.161.66.203 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Natural number 01:39 +2 122.161.66.203 talk (22) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Intuitionistic logic 01:12 +1 77.119.160.81 talk (→Double negations)
24 May 2024
- diffhist Church encoding 19:49 0 129.19.63.106 talk (→Use) Tag: Reverted
22 May 2024
- diffhist Intuitionistic logic 21:12 +26 91.141.65.220 talk (→Double negations)
- diffhist m Backus–Naur form 20:17 −197 IsaacMHair talk contribs (→Overview)
- diffhist Backus–Naur form 20:14 +1,246 IsaacMHair talk contribs