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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

19 May 2025

diffhist Separation logic 20:33 +50 MediaKyle talk contribs (Adding short description: "Concept in computer science") Tag: Shortdesc helper
diffhist Ascending chain condition 20:32 +55 MediaKyle talk contribs (Adding local short description: "Condition in commutative algebra", overriding Wikidata description "condition in commutative algebra") Tag: Shortdesc helper
diffhist Multiplication 13:21 −2 St.nerol talk contribs (combining two sections in lead)
diffhist C (programming language) 07:19 +3 Annh07 talk contribs (Reverted 1 pending edit by 49.43.180.152 to revision 1290680595 by Materialscientist) Tag: Manual revert
diffhist C (programming language) 07:13 −3 49.43.180.152 talk Tags: Reverted Mobile edit Mobile web edit
diffhist m Python (programming language) 00:46 −3 GSK talk contribs (Reverted 1 edit by SigmaSigmaBoy72 (talk) to last revision by Fbergo) Tags: Twinkle Undo
diffhist m Python (programming language) 00:41 +3 SigmaSigmaBoy72 talk contribs Tag: Reverted
diffhist Knaster–Tarski theorem 00:24 −258 Headbomb talk contribs (ce)
diffhist m Knaster–Tarski theorem 00:16 −8 Beland talk contribs (custom spacing in math formulas (via WP:JWB)) Tag: JWB

18 May 2025

diffhist Halting problem 22:58 −11 Kvng talk contribs (rv unnec) Tag: Manual revert
diffhist Agda (programming language) 12:30 +1 2003:e3:2f28:ead5:dc92:8d58:c52c:484 talk (Coq has been renamed to Rocq)
diffhist m Calculation 08:00 −1 BriDash9000 talk contribs (Moved page protection template per Wikipedia:Manual_of_Style/Layout#Order_of_article_elements)

17 May 2025

diffhist Multiplication 16:18 +2 2001:16b8:b41b:2500:a9e0:4578:1b0e:4c32 talk (Linkfix)
diffhist Data structure 09:40 −18 Hddqsb talk contribs (Undid revision 1243265270 by Shhhnotsoloud (talk). "Blockchain" is not directly related and should not get such a prominent mention; the old disambiguation page was useful.) Tags: Undo Disambiguation links added

16 May 2025

diffhist m C (programming language) 10:31 −7 Materialscientist talk contribs (Reverted edits by 2409:408A:383:B00:9D93:4323:C907:C33E (talk) (HG) (3.4.13)) Tags: Huggle Rollback
diffhist C (programming language) 10:28 +7 2409:408a:383:b00:9d93:4323:c907:c33e talk (Developer full name instead name) Tags: Reverted Visual edit Mobile edit Mobile web edit
diffhist m Disjoint-set data structure 08:39 −1 Cfbolz talk contribs (→History: Fix typo) Tag: Visual edit

15 May 2025

diffhist m Halting problem 22:14 −18 Nyngwang talk contribs (fixup.) Tag: Reverted
diffhist m Halting problem 22:12 +29 Nyngwang talk contribs (meta(format): prevent the term "program-input" from breaking into two separate lines.) Tag: Reverted
diffhist Multiplication 20:18 +306 St.nerol talk contribs (multiplier multiplicand ambiguity and source)

14 May 2025

diffhist Curry–Howard correspondence 20:39 +4 Grapesurgeon talk contribs (Changing short description from "Theorem in computer science and math" to "Relationship between programs and proofs") Tag: Shortdesc helper
diffhist Curry–Howard correspondence 20:38 −38 Grapesurgeon talk contribs (WP:SD40) Tag: Shortdesc helper
diffhist m Calculation 17:55 +10 BriDash9000 talk contribs (Added missing page protection template)
diffhist m Soundness 15:54 +20 Dingolover6969 talk contribs (→See also: type soundness)
diffhist m Isabelle (proof assistant) 10:26 +1 Oneequalsequalsone talk contribs Tag: Visual edit
diffhist Homonym 05:17 −4 Unsordid Chaos talk contribs

13 May 2025

diffhist Temporal logic 22:37 +14 Jdc99 talk contribs (→Syntax) Tag: Visual edit
diffhist Fixed point (mathematics) 19:24 −25 7804j talk contribs (removed Category:Game theory using HotCat)
diffhist Curry–Howard correspondence 10:03 +39 2a02:a03f:695c:9200:9e7:196b:2a28:1f1b talk (Add link to free/bonded variable article)
diffhist Isabelle (proof assistant) 08:33 0 2a09:80c0:192:0:9dd3:bf49:2464:b15a talk (Update latest release to 2025)
diffhist Homonym 07:49 +4 182.253.58.215 talk (→Related terms) Tags: Mobile edit Mobile web edit
diffhist Polyhedron 02:52 −45 Preimage talk contribs (→Convex polyhedra: General ce (spelling/grammar fixes + other edits for clarity) + change deltahedra to convex deltahedra)
diffhist Polyhedron 02:29 +47 Preimage talk contribs (→Convex polyhedra: Fix error from 21:03, 25 May 2024 + ce: midsphere of canonical polyhedron is centered at the centroid of its tangent points with edges, not the centroid of the polyhedron (these are the same for zonohedra but e.g. differ for square pyramids: https://mathworld.wolfram.com/Pyramid.html, https://11011110.github.io/blog/2023/11/20/some-pyramidology.html))
diffhist Polyhedron 02:06 −139 Preimage talk contribs (→Convex polyhedra: Fix error from 03:36, 16 September 2024: not all non-convex polyhedra are star polyhedra or Kepler–Poinsot polyhedra + copyedit down (e.g. The Fifty-Nine Icosahedra already covered in #20th–21st centuries))