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 2025
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
29 May 2025
- diffhist m John von Neumann 05:45 −275 ZergTwo talk contribs (Reverted 1 edit by 85.249.166.201 (talk) to last revision by ZergTwo) Tags: Twinkle Undo
- diffhist John von Neumann 04:56 +275 85.249.166.201 talk (→Accolades) Tags: Reverted Mobile edit Mobile web edit
- diffhist John von Neumann 04:12 −1,656 ZergTwo talk contribs (Restored revision 1291871398 by Citation bot (talk): Not helpful.) Tags: Twinkle Undo
- diffhist John von Neumann 04:04 +1 85.249.166.201 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 04:03 +142 85.249.166.201 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 02:16 −43 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 02:13 +167 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 01:50 +43 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 01:44 +29 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 01:40 +497 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
28 May 2025
- diffhist John von Neumann 22:06 −19 85.249.165.24 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 21:53 +139 85.249.165.24 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 21:05 +173 85.249.160.72 talk (→Eidetic memory) Tags: Mobile edit Mobile web edit
- diffhist Resolution (logic) 20:45 +12 Pizzachu44 talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist John von Neumann 20:25 +1 85.249.165.244 talk (→Eidetic memory) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 20:24 +292 85.249.165.244 talk Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 19:53 +87 85.249.165.244 talk Tags: Visual edit Mobile edit Mobile web edit
- diffhist John von Neumann 15:10 +63 85.249.167.152 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist John von Neumann 15:06 −63 85.249.167.152 talk (→Accolades) Tags: references removed Mobile edit Mobile web edit
- diffhist John von Neumann 15:05 +147 85.249.167.152 talk (→Accolades) Tags: Mobile edit Mobile web edit
- diffhist Hilbert space 06:51 −4 Grapesurgeon talk contribs (think this is more useful for general audiences) Tag: Shortdesc helper
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
26 May 2025
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
- diffhist New York City 02:22 −1 QuacksALot talk contribs (→Sports: The Subway series is held during 6 games since 2025)
- diffhist Empty set 02:12 0 173.79.19.248 talk (→Topology: LQ)
25 May 2025
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
24 May 2025
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
- diffhist New York City 12:46 +13 Rafaelthegreat talk contribs Tag: Visual edit