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
8 June 2025
- diffhist First-order logic 10:18 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle
- diffhist David Hilbert 10:15 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle
- diffhist Abstract rewriting system 08:38 +1 Elestrophe talk contribs (→The Church–Rosser property and notions of confluence: Fix typo in definition of Church-Rosser property)
6 June 2025
- diffhist Associative property 05:12 +383 2600:1700:a410:c4e0:7d54:5a91:d097:9b0e talk (Continuous, strictly increasing associative functions or operators are commutative.) Tag: Visual edit
5 June 2025
- diffhist Associative property 20:36 +625 2600:1700:a410:c4e0:7d54:5a91:d097:9b0e talk (Associativity implies commutativity for operators on real intervals with minimal extra assumptions.) Tag: Visual edit
4 June 2025
- diffhist m Boolean satisfiability problem 16:22 +1,080 Ftiercel talk contribs (→XOR-satisfiability: Rename the variables ''a'', ''b'', ''c'' and ''d'' to ''x<sub>1</sub>'', ''x<sub>2</sub>'', ''x<sub>3</sub>'' and ''x<sub>4</sub>'' to disambiguate with the names of the lines ''A'', ''B'', ''C'', ...)
2 June 2025
- diffhist Boolean satisfiability problem 16:50 −211 Ftiercel talk contribs (→XOR-satisfiability: A unique XORSAT instance skips the variable random assignment step of the algorithm)
- diffhist First-order logic 13:50 +23 BardRapt talk contribs (→External links: S. Shapiro)