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
6 June 2024
- diffhist Type theory 09:09 −5 213.24.133.237 talk (Removed strange out of place word "See" (typo?)) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Algorithm 02:58 −52 Wiiformii talk contribs (Reverted edits by 23.17.231.18 (talk): disruptive edits (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Algorithm 02:58 +52 23.17.231.18 talk (→Etymology) Tags: Reverted Mobile edit Mobile web edit
5 June 2024
- diffhist m List of set identities and relations 23:45 +18 Mgkrupa talk contribs (Clarification)
- diffhist List of set identities and relations 23:39 +381 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist m List of set identities and relations 23:28 −2 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 23:27 +479 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:26 −476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆: Moved information)
- diffhist List of set identities and relations 23:24 +44 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:20 +476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆)
- diffhist List of set identities and relations 22:54 +84 Mgkrupa talk contribs (→Distributing arbitrary Π over arbitrary ⋃: Anchor)
- diffhist List of set identities and relations 22:52 −390 Mgkrupa talk contribs (Removed redundant text)
- diffhist List of set identities and relations 22:49 0 Mgkrupa talk contribs (Rearranged)
- diffhist List of set identities and relations 22:44 +1,692 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 22:20 +499 Mgkrupa talk contribs (→Other simplifications: Mentioned Symmetric Difference of multiple sets)
- diffhist List of set identities and relations 21:55 +1,117 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 21:39 +883 Mgkrupa talk contribs (→Binary ⨯ distributes over ⋃ and ⋂ and \ and ∆: Reworded)
- diffhist List of set identities and relations 21:29 +1,215 Mgkrupa talk contribs (→Cartesian products ⨯ of finitely many sets: Mentioned distributivity)
- diffhist m List of set identities and relations 21:04 0 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 21:03 +174 Mgkrupa talk contribs (→Unions ⋃ of Π: Reworded example)
- diffhist List of set identities and relations 20:50 +982 Mgkrupa talk contribs (→Unions ⋃ of Π: Added counter-example to equality)
- diffhist Ordinal analysis 20:33 +52 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:32 +2 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:31 +6 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:30 +200 C7XWiki talk contribs (→Table of ordinal analyses: Sources)
- diffhist Ordinal analysis 20:22 +29 C7XWiki talk contribs
- diffhist Algorithm 19:24 −33 Mrfoogles talk contribs (→Electromechanical relay: Fix links) Tag: Visual edit
- diffhist Algorithm 19:22 +7 Mrfoogles talk contribs (→Electromechanical relay: Fix link) Tag: Visual edit
- diffhist Algorithm 19:21 −296 Mrfoogles talk contribs (→Ancient Near East: Reformat again) Tag: Visual edit
- diffhist Algorithm 19:17 +124 Mrfoogles talk contribs (→History: Break up dense paragraph of links a bit) Tag: Visual edit
- diffhist Algorithm 19:14 +38 Mrfoogles talk contribs (→History: Copyedit, remove excessive links) Tag: Visual edit
- diffhist Algorithm 19:10 −167 Mrfoogles talk contribs (→Etymology: Copyedit) Tag: Visual edit
- diffhist Reverse mathematics 19:08 0 C7XWiki talk contribs (Fix)
- diffhist Reverse mathematics 19:04 +234 C7XWiki talk contribs (→Π11 comprehension Π11-CA0: Sources) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 18:28 −198 Pichpich talk contribs (Revert. Just follow this url: https://books.google.ca/books?id=x6cZBQ9qtgoC&pg=PA30) Tag: Manual revert
- diffhist Reverse mathematics 18:13 +50 C7XWiki talk contribs (→Arithmetical transfinite recursion ATR0: Sources) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 18:11 +198 Jochen Burghardt talk contribs (Undid revision 1227431107 by Pichpich (talk): couldn't access 1970 EN edition; my 1976 DE translation doesn't mention synonyms at all; the google link leads to a 1998 edition (and refuses to display its p.30); so I challenge "literally what the source says", for now) Tags: Undo Reverted
- diffhist Reverse mathematics 17:52 +52 C7XWiki talk contribs (→Arithmetical comprehension ACA0) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 17:45 −198 Pichpich talk contribs (remove cn tag. This is literally what the source says.) Tag: Reverted
- diffhist Substitution (logic) 17:43 +66 Jochen Burghardt talk contribs (→First-order logic: the restriction xi != ti indeed has to be stated (and is required by the cited authors), cf. talk; fix circumscription of "dom(sigma) disjoint to vars(ran(sigma))")
- diffhist Function (mathematics) 17:41 +258 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Substitution (logic) 17:27 +12 Jochen Burghardt talk contribs (Undid revision 1227260550 by Caleb Stanford (talk): "iff" is well-sourced (e.g. Baader.Snyder, p.446, line 6-7)) Tag: Undo
- diffhist Computable function 17:05 +121 Jochen Burghardt talk contribs (→Relation to recursively defined functions: fix typo; trying to fix imprecise sentences about the use of well-orderings)
- diffhist Introduction to Automata Theory, Languages, and Computation 16:51 −2 David Eppstein talk contribs (improve shortdesc)
- diffhist Foundations of mathematics 16:35 +6 D.Lazard talk contribs (→Ancient Greek mathematics: better heading and {{further}} targets)
- diffhist Axiom 15:23 +68 Oneequalsequalsone talk contribs (Undid revision 1227400384 by Remsense (talk) Added source)
- diffhist Foundations of mathematics 15:13 −200 D.Lazard talk contribs (→Middle Ages and Renaissance: Merging the two first paragraphs, and renaming the section, as it does not contains anything about foundations during Middle Ages.)
- diffhist Axiom 14:08 −17 Remsense talk contribs (Reverting edit(s) by Oneequalsequalsone (talk) to rev. 1220274832 by Trovatore: No reliable source (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist m Introduction to Automata Theory, Languages, and Computation 13:49 +55 1ctinus talk contribs (adding "Textbook first published in 1979" as short description via DescDash)
- diffhist Foundations of mathematics 13:42 −11 D.Lazard talk contribs (→Historical context: rename →History)