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
20 May 2025
- diffhist Partial function 16:59 −90 Jochen Burghardt talk contribs (Undid revision 1291265531 by Goodphy (talk): contradicts the terminlogy just introduced ("domain" means S)) Tag: Undo
- diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
- diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
- diffhist Set (mathematics) 05:26 +1 199.247.239.193 talk (→Zorn's lemma)
- diffhist Partial function 03:49 +90 Goodphy talk contribs (Helped to understand the definition of partial functions in terms of binary relation.) Tags: Reverted Visual edit
- diffhist Substructural logic 01:53 +609 Marc Schroeder talk contribs
19 May 2025
- diffhist Separation logic 20:33 +50 MediaKyle talk contribs (Adding short description: "Concept in computer science") Tag: Shortdesc helper
- diffhist m Multiset 00:30 −12 Beland talk contribs (custom spacing in math formulas (via WP:JWB)) Tag: JWB
18 May 2025
- diffhist m Set (mathematics) 19:56 −11 D.Lazard talk contribs (Reverted 1 edit by Jyoti Thakurr (talk) to last revision by D.Lazard) Tags: Twinkle Undo
- diffhist m Set (mathematics) 18:43 +11 Jyoti Thakurr talk contribs (hyperlinked) Tags: Reverted Visual edit: Switched
16 May 2025
- diffhist m Method of analytic tableaux 06:34 −15 Beland talk contribs (convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
15 May 2025
- diffhist Game semantics 18:21 +978 7804j talk contribs (Rewrite lead) Tag: Visual edit
14 May 2025
- diffhist Multiset 21:50 +80 Preimage talk contribs (→Generalizations: Add item on signed multisets + move Blizard1990 reference here (covers integer-valued multiplicities, not real-valued multiplicities))
- 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