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
16 May 2024
- diffhist m Electronics 15:39 −3 Binksternet talk contribs (Reverted 1 edit by 182.176.114.27 (talk) to last revision by Reppop) Tags: Twinkle Undo
- diffhist Module:Pagetype 12:25 −146 MSGJ talk contribs (add detection of non-existent pages, some code simplication)
- diffhist m Module:Pagetype/config 12:23 +100 MSGJ talk contribs (+cfg for non-existent pages)
- diffhist Electronics 11:46 +3 182.176.114.27 talk (asif Javed) Tags: Reverted Mobile edit Mobile web edit
- diffhist Constructive set theory 08:36 −15 John of Reading talk contribs (Typo fixing, replaced: is ran → is run, copyedited one other phrase) Tag: AWB
- diffhist List of formal systems 07:30 +120 Don Stroud talk contribs (→See also: Computability)
- diffhist List of formal systems 07:22 +58 Don Stroud talk contribs (→Mathematical: sub-sections)
- diffhist m Logical consequence 00:32 −22 Explicit talk contribs (Removing link(s) Wikipedia:Articles for deletion/Matthew W. McKeon closed as delete (XFDcloser))
15 May 2024
- diffhist Tilde 21:21 +94 JMF talk contribs (→References: if we must breach the fourth wall, at least put it at the end with the external links)
- diffhist Tilde 21:16 −74 JMF talk contribs (Taking self-ref to a silly extreme, deleted.)
- diffhist Tilde 21:12 −8 Jlwoodwa talk contribs (hatnote)
- diffhist Predicate (mathematical logic) 18:30 +27 D.Lazard talk contribs (Undid revision 1224002660 by Addemf (talk) Yes the use of "constant" is improper, but the proposed correction is wrong)
- diffhist m Argument 18:17 −1 Wardoflores talk contribs (Fixing typo from "premisses" to "premises")
- diffhist Predicate (mathematical logic) 17:42 +5 Addemf talk contribs (The word "constants" in formal logic, refers to 0-ary function symbols, whereas this explanation probably had in mind some "single element of the domain". So it was misleading, and it's more accurate to say that first-order logic predicates are characterized by having a fixed arity, each coordinate being substituted by elements of the domain, in the usual semantic scheme.)
- diffhist m Function (mathematics) 13:42 −3 Arcergy talk contribs (→top: Fixed grammar) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m Three-valued logic 12:37 +23 Hereptol talk contribs
- diffhist m Logophoricity 11:36 −20 WOSlinker talk contribs (fix italics)
- diffhist m Three-valued logic 08:06 +15 Hereptol talk contribs (new access to a source) Tag: Visual edit
- diffhist m Type theory 02:11 +63 Trevoran talk contribs (→History: link for term "ramified theory of types"; inscrutable without context)
14 May 2024
- diffhist m Philosophy of mathematics 22:44 −1 Jama1733 talk contribs (minor typo) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Finite model theory 19:18 +21 David Eppstein talk contribs (→Problem: +wl)
- diffhist Empty set 18:14 +2 96.252.13.92 talk (→Questioned existence)
- diffhist Construction of the real numbers 17:05 +541 EatingCarBatteries talk contribs (→See also) Tag: Visual edit
- diffhist Philosophy of logic 17:02 +36 Nivamp talk contribs Tags: Mobile edit Mobile web edit
- diffhist m English language 16:31 0 Moncrief talk contribs (No style guide supports hyphens after -ly adverbs)
- diffhist m English language 16:29 +1 Moncrief talk contribs (This is true in both places -- hence "and" makes more sense, just as it is used in the parallel parentheses above)
- diffhist m Philosophy of language 15:53 +7 Ira Leviton talk contribs (Fixed a reference. Please see Category:CS1 errors: dates.)
- diffhist m Cantor's theorem 15:06 +209 ElskverdigHug talk contribs (I had forgotten the "injective functions exist, here is an example" part in the proof. Fixed it.)
- diffhist Philosophy of language 14:16 +531 Shiningandenchanting talk contribs (added game theoretical approach) Tag: Visual edit
- diffhist m Cantor's theorem 12:24 +24 ElskverdigHug talk contribs
- diffhist Cantor's theorem 12:14 +205 ElskverdigHug talk contribs
- diffhist AND gate 11:27 +1 80.94.199.41 talk (HI IM BOB WHATS YOUR NAME)
- diffhist Turing machine 08:12 −7 150.203.2.234 talk (Removed empty column in first Alternative definitions table)
- diffhist m Cantor's theorem 08:12 −362 ElskverdigHug talk contribs (Undid my own revision, I'll double check it.) Tag: Undo
- diffhist Cantor's theorem 08:04 +362 ElskverdigHug talk contribs Tag: Reverted
- diffhist Electronics 06:13 −82 Reppop talk contribs (Restored revision 1221337973 by Favonian (talk)) Tags: Twinkle Undo
- diffhist m Construction of the real numbers 06:03 +36 Sink Cat talk contribs (Added {{Cleanup bare URLs}}, using a script. For other recently-tagged pages with bare URLs, see Category:Articles with bare URLs for citations from May 2024)
- diffhist English language 04:25 +19 GreekApple123 talk contribs (→English as a global language: Added link to Englishisation) Tag: Visual edit
- diffhist Classical logic 03:42 +536 ElskverdigHug talk contribs
13 May 2024
- diffhist Logical disjunction 21:45 +4 170.85.70.205 talk (Linked Venn Diagram on text "Venn Diagram") Tag: Visual edit
- diffhist English language 18:18 +14 Willondon talk contribs (copyedit per talk page request)
- diffhist Venn diagram 17:09 −189 Belbury talk contribs (Reverted 1 edit by LuxembourgLover (talk): Arbitrary and poorly laid-out example, nothing in the text of this section about the relevance of AI) Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist English language 17:07 −12 Remsense talk contribs (Restored revision 1222808527 by Tomsega (talk): Fine as it was) Tags: Twinkle Undo
- diffhist Venn diagram 17:02 +189 LuxembourgLover talk contribs (→History: used correct englsih) Tags: Reverted Visual edit
- diffhist m English language 16:30 −11 Tactical cat talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist English language 16:22 +23 Tactical cat talk contribs (Simplified For General Audience) Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Turing machine 15:49 −2 Hooman Mallahzadeh talk contribs
- diffhist m Turing machine 15:48 −1 Hooman Mallahzadeh talk contribs (→Overview)
- diffhist m De Morgan's laws 14:50 +163 OwenBlacker talk contribs (→History: Refs; Language tagging)
- diffhist m Gödel's incompleteness theorems 13:48 +11 Magioladitis talk contribs (Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC) Tag: AWB