Related changes
Appearance
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
9 May 2025
- diffhist George Boole 14:55 +8 AdaHephais talk contribs (Add internal link) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist m De Morgan's laws 13:18 +250 Glebpavlyuk talk contribs (→History)
8 May 2025
- diffhist m Principia Mathematica 13:36 +12 Ashmole1652 talk contribs (→Consistency and criticisms) Tag: Visual edit
7 May 2025
- diffhist Kurt Gödel 18:43 +143 SidP talk contribs (→Later life and death: reference formatting, biblio data)
- diffhist m First-order logic 16:12 −3 BardRapt talk contribs (J. P. E. Hodgson, Professor Emeritus)
- diffhist First-order logic 10:56 −6 145.137.163.43 talk (→Logical symbols: Removed Polish notation of "V" and "O")
- diffhist First-order logic 10:51 −749 145.137.163.43 talk (Unnecessary mention of Polish notation in multiple parts of the entry.)
6 May 2025
- diffhist Associative property 04:09 −254 Fgnievinski talk contribs (→top) Tag: Disambiguation links added
5 May 2025
- diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
- diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
- diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
- diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Kurt Gödel 05:57 +36 Turtlens talk contribs (→Childhood)
- diffhist Modus ponens 04:52 +37 Loverthehater talk contribs (→Explanation: unsourced section header)
- diffhist Modus ponens 04:48 +2 Loverthehater talk contribs (→Formal notation: changed citation needed tags to unsourced section header)
- diffhist m Modus ponens 04:46 +38 Loverthehater talk contribs (→Formal notation: added citation needed tags)
- diffhist Ludwig Wittgenstein 02:22 +18 Maurice Magnus talk contribs (→Faith: added {{edition needed}})
- diffhist Ludwig Wittgenstein 02:19 +20 Maurice Magnus talk contribs (→Faith)
- diffhist Ludwig Wittgenstein 02:18 +32 Maurice Magnus talk contribs (→Faith: added info)
- diffhist m Ludwig Wittgenstein 02:11 +3 Maurice Magnus talk contribs (→Faith: italicized book title)
- diffhist m Ludwig Wittgenstein 02:06 +2 Maurice Magnus talk contribs (→Faith: fixed isbn no.)
- diffhist Ludwig Wittgenstein 02:05 +55 Maurice Magnus talk contribs (→Faith: used later translation of quotation)
- diffhist m Ludwig Wittgenstein 01:54 0 Maurice Magnus talk contribs (→Faith: italicized book title instead of editors' names)
- diffhist m Ludwig Wittgenstein 01:40 +3 Maurice Magnus talk contribs (→Sources: inserted spaces)
- diffhist Ludwig Wittgenstein 01:36 +141 Maurice Magnus talk contribs (→Family temperament and the brothers' suicides: supplied missing italics and added source for second quotation)
- diffhist m Ludwig Wittgenstein 01:31 +1 Maurice Magnus talk contribs (→Sources: inserted a space)
4 May 2025
- diffhist George Boole 20:22 −136 Hike395 talk contribs (combine infoboxes)
- diffhist First-order logic 10:43 +77 BardRapt talk contribs (→Introduction: H. Friedman)
- diffhist First-order logic 09:34 −76 Jochen Burghardt talk contribs (Undid revision 1288578396 by JRSpriggs (talk): imo, this is required in both infix and Polish notation, and thus irrelevant to their comparison (w.r.t. "advantage")) Tag: Undo
3 May 2025
- diffhist First-order logic 18:17 +106 BardRapt talk contribs (→Free and bound variables: W. V. O. Quine)
- diffhist First-order logic 15:33 +76 JRSpriggs talk contribs (→Notational conventions: known arity) Tag: Reverted
- diffhist Wikipedia:Stub 14:42 −12 Mr. Starfleet Command talk contribs (fix grammatical error introduced in last edit)