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
2 August 2025
- diffhist Lambda calculus 21:23 −89 David Eppstein talk contribs (skeptical this is reliable, but swap out deadlink)
- diffhist Uniqueness quantification 19:53 +1,276 Farkle Griffen talk contribs (Undid revision 1303907587 by 2806:269:4481:8EBE:5582:502A:7F1F:D12 (talk) rvv) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
- diffhist Uniqueness quantification 19:51 −1,276 2806:269:4481:8ebe:5582:502a:7f1f:d12 talk (Seek the words precisas f0r anything Just ITS a little paused.) Tags: citing a blog or free web host Reverted references removed Mobile edit Mobile web edit Disambiguation links added
- diffhist Propositional calculus 19:47 +47 Christian75 talk contribs ({{R from move}})
- diffhist m Equality (mathematics) 18:33 −20 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Equality (mathematics) 18:24 +1,332 Farkle Griffen talk contribs (→Axioms: Added paragraph on intensional statements) Tag: Visual edit
- diffhist Programming language 15:16 +6 Squoop talk contribs (Qualify statement with "often".) Tag: 2017 wikitext editor
- diffhist Programming language 15:15 −32 Squoop talk contribs (Rewrite introduction sentence.) Tag: 2017 wikitext editor
- diffhist Operation (mathematics) 13:28 +10 D.Lazard talk contribs (Reverted 1 edit by LucasBrown (talk): Too vague to be helpful. Also, WP:SDNOTDEF) Tags: Twinkle Undo
- diffhist Operation (mathematics) 13:20 −10 LucasBrown talk contribs (Changing short description from "Addition, multiplication, division, ..." to "Function from a set to itself") Tags: Shortdesc helper Reverted
- diffhist Contradiction 13:14 +90 Lentower talk contribs (→See also: add item; columnize on wider windows)
- diffhist New York City 11:58 +10 Epicgenius talk contribs (Linking to New York City (disambiguation) twice is not an improvement. Please actually check the output of the script before editing.) Tags: Mobile edit Mobile web edit Advanced mobile edit Disambiguation links added
- diffhist Minimal axioms for Boolean algebra 09:40 +227 Mateusz Pyzik talk contribs (Mention redundancy of the idempotence assumption, with citation.)
- diffhist m New York City 09:29 −514 Tony1 talk contribs (Script-assisted style fixes, script-assisted date audit and style fixes per MOS:NUM, script-assisted date audit and style fixes per MOS:NUM)
- diffhist Minimal axioms for Boolean algebra 09:19 +42 Mateusz Pyzik talk contribs (Idempotence assumption was missing. See p. 486, Example 4.5, in the cited Huntington's article where idempotence of logical OR is shown te be independent of the other axioms.)
- diffhist Gödel's incompleteness theorems 07:16 +48 IrisChronomia talk contribs (added invisible comment that's visible even with visual editor.) Tag: Visual edit
- diffhist Gödel's incompleteness theorems 06:57 0 Julietdeltalima talk contribs (Reverted 1 pending edit by 102.89.47.19 to revision 1301572525 by Jochen Burghardt: reverting conceptually incorrect edit apparently made without reading hidden text) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
- diffhist Gödel's incompleteness theorems 03:48 0 102.89.47.19 talk (Fixed a typo) Tags: Reverted Mobile edit Mobile web edit
1 August 2025
- diffhist m Cardinality 21:14 +74 Farkle Griffen talk contribs (→Uncountable sets: added color) Tag: Visual edit
- diffhist m Cardinality 20:03 0 Arjayay talk contribs (Duplicate word reworded)
- diffhist English language 19:40 −36 Remsense talk contribs (Reverted 1 edit by TwitchTrends (talk): Unhelpful addition to a non-exhaustive list) Tags: Twinkle Undo
- diffhist English language 19:34 +36 TwitchTrends talk contribs Tags: Reverted Mobile edit Mobile web edit
- diffhist Enumeration 14:40 +32 1F616EMO talk contribs (Added {{One source}} tag) Tag: Twinkle
- diffhist Sequent calculus 13:35 +8 80.229.208.152 talk (→Sequent calculus systems: change "sequent" to "sequent formula", per the cited source. The source does not say that a cedent is also called a sequent, and neither should we; it would be confusing.)
- diffhist Ambiguity 11:13 −32 Not-cheesewhisk3rs talk contribs (→See also: remove cross-namespace)
- diffhist Ambiguity 10:58 −22 2600:1700:6180:6290:1cde:998a:f6df:72d talk (→See also)
- diffhist m Russell's paradox 06:19 +2 Nubtom talk contribs (Fixed grammar) Tags: Mobile edit Mobile app edit iOS app edit App select source
- diffhist Cardinality 03:38 +401 Farkle Griffen talk contribs (→Uncountable sets: Added example, and MOS:WE) Tag: Visual edit
- diffhist English language 02:44 −17 Remsense talk contribs (a de facto official language is exactly what an administrative language is)
- diffhist English language 02:36 −11 Remsense talk contribs (→Basic constituent order)
- diffhist English language 02:32 +27 Remsense talk contribs (→Questions)
- diffhist English language 02:28 +4 Remsense talk contribs (→Questions)
- diffhist m English language 02:27 0 Remsense talk contribs (Paragraph edited #MiniEdit)
- diffhist m English language 02:19 −2 Remsense talk contribs (Paragraph edited #MiniEdit)
31 July 2025
- diffhist m Transfer principle 19:49 +2 DerSpezialist talk contribs (→Statement: Typo)
- diffhist Alphabet (formal languages) 18:51 −12 David Eppstein talk contribs (it is the notation not the strings that needs to be unambiguous)
- diffhist Alphabet (formal languages) 18:51 −7 David Eppstein talk contribs (→top: I guess infinite strings are a thing)
- diffhist Alphabet (formal languages) 18:49 −6,140 David Eppstein talk contribs (Undo. I think this whole section is a mistake and a misreading. The ambiguity occurs only when WRITING strings, not in their actual definition. Expand clarification in lead)
- diffhist Alphabet (formal languages) 18:17 +6,557 Jochen Burghardt talk contribs (suggest own section to elaborate on "indivisible symbols" (needs critical review, and most likely some improvement; also might be of undue weight here)) Tag: possible prose issues
- diffhist IMPLY gate 17:24 +4 Golemwire talk contribs (→Functional completeness: Minor rephrase for clarity)
- diffhist New York City 15:49 +443 W.andrea talk contribs (→Etymology: Add the relationship to the state's name. Ref copied from Province of New York plus quote.)
- diffhist m Higher-order logic 14:21 +4 Notsam1 talk contribs (Just added a hyperlink to first order logic; feel free to reverse it if it sounds redundant) Tag: Visual edit
- diffhist m Truth 12:49 −19 Frost talk contribs (Reverted edits by 115.98.251.138 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Truth 12:48 +19 115.98.251.138 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Truth 12:46 −17 Frost talk contribs (Reverted edits by 115.98.251.138 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Truth 12:46 +17 115.98.251.138 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Lazy evaluation 10:42 −87 KuyaMoHirowo talk contribs (Reverted edits by 2600:100A:B050:9B3A:0:2E:E185:1401 (talk) (AV)) Tags: AntiVandal Rollback
- diffhist Lazy evaluation 10:41 +87 2600:100a:b050:9b3a:0:2e:e185:1401 talk (Added content and fixed grammar) Tags: Reverted possible vandalism Mobile edit Mobile web edit
- diffhist m P versus NP problem 07:17 −2 Banedon talk contribs (→Popular culture)
- diffhist m P versus NP problem 07:15 +4 Banedon talk contribs (→Results about difficulty of proof)