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
24 May 2025
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
- diffhist m Logic 15:05 −4 Remsense talk contribs (Reverted 1 edit by Quality Sign (talk) to last revision by Phlsph7) Tags: Twinkle Undo
- diffhist Logic 14:47 +4 Quality Sign talk contribs Tag: Reverted
23 May 2025
- diffhist Paul Halmos 21:25 −2 Itsaboutthattime talk contribs Tag: Visual edit
- diffhist m Natural number 16:14 0 CycloneYoris talk contribs (Reverted edit by 103.205.69.42 (talk) to last version by Như Gây Mê) Tag: Rollback
- diffhist Natural number 16:12 0 103.205.69.42 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Philosophy 09:07 −1,910 Phlsph7 talk contribs (remove recently added paragraph: thanks for the suggestion, but we already have a section on Western philosophy; in principle, some of the ideas could be integrated there, but given that we only have two paragraphs for the whole of Western philosophy, these developments may not be influential enough to include here per WP:PROPORTION and might better be discussed in child articles) Tag: Manual revert
22 May 2025
- diffhist Philosophy 15:31 +1,236 Don Stroud talk contribs (→Other traditions: add Russian) Tag: Reverted
- diffhist Philosophy 15:23 +674 Don Stroud talk contribs (→Bibliography: add for Russian Ph.) Tag: Reverted
- diffhist Natural number 14:05 +84 103.52.135.87 talk (→Generalizations: natural numbers arise from the two uses of counting and ordering: cardinal numbers and ordinal numbers. * A natural number can be used to express the size of a finite set; more precisely, a cardinal number is a measure for the size of a set, which is even suitable for infinite sets. The numbering of cardinals usually begins at zero, to accommodate the empty set <math>\emptyset</math>. This concept of "size" relies on maps between sets, such that two sets have...) Tags: Mobile edit Mobile web edit
- diffhist m Algebraic logic 02:32 +2 HirowoWiki talk contribs (Fixed lint errors: missing end tag)
21 May 2025
- diffhist Semantics 21:01 −60 XRozuRozu talk contribs (rv good-faith edit; not very relevant) Tag: Undo
- diffhist Material conditional 19:12 +714 Marc Schroeder talk contribs (→A selection of theorems (classical logic): added ND of Vacuous conditional)
- diffhist m Identity (mathematics) 18:37 +106 Farkle Griffen talk contribs (Added disambiguation hatnote with "equality".) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist m Material conditional 13:07 −6 Marc Schroeder talk contribs
- diffhist Semantics 08:34 +60 83.215.123.233 talk Tag: Reverted
19 May 2025
- diffhist m Material conditional 12:24 +32 Marc Schroeder talk contribs (removed lint error by setting fg=#000000)
- diffhist Material conditional 12:14 +672 Marc Schroeder talk contribs (added a precision on MPC / IPC)
- diffhist Algorithm 01:34 +112 David Eppstein talk contribs (→By design paradigm: improve sourcing for divide & conquer / prune & search)
- diffhist m Relation algebra 01:29 −96 Beland talk contribs (custom spacing in math formulas (via WP:JWB)) Tag: JWB
- diffhist Algorithm 01:25 −35 David Eppstein talk contribs (→Ancient algorithms: the citation is right there in the next sentence)
- diffhist Algorithm 01:21 −177 David Eppstein talk contribs (more precisely locate the quotation from stone; page 8 (end of section), not page 4 (earlier version of similar def))
- diffhist Algorithm 01:12 +1,415 David Eppstein talk contribs (→Etymology: clean up attestations and sourcing)
- diffhist Algorithm 00:39 −28 David Eppstein talk contribs (I don't think this essay-like cleanup banner is valid)
18 May 2025
- diffhist Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
- diffhist m Material conditional 04:16 −5 Marc Schroeder talk contribs (→Syntactical properties)
- diffhist m Material conditional 03:52 +4 Marc Schroeder talk contribs (→A selection of theorems (classical logic))
- diffhist Material conditional 03:19 +1,661 Marc Schroeder talk contribs (added two references and a ND proof)
17 May 2025
- diffhist Material conditional 21:09 +259 Marc Schroeder talk contribs (added alternative natural deduction rule to obtain classical logic)