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
4 July 2025
3 July 2025
- diffhist Tautology (logic) 23:43 −2 Trovatore talk contribs (actually that comma doesn't belong there at all (nor does its pair))
- diffhist Formal system 23:26 +82 Yesterday, all my dreams... talk contribs (clarify logical completeness)
- diffhist Formal system 23:22 +16 Yesterday, all my dreams... talk contribs (link)
- diffhist m Tautology (logic) 23:02 0 WeHoDavid talk contribs (I transposed the positions of a comma and a quotation mark.) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Kurt Gödel 01:01 −29 AlsoWukai talk contribs (ce) Tag: Visual edit
2 July 2025
- diffhist Exclusive or 23:11 +38 Frap talk contribs (→Alternative symbols)
- diffhist Truth value 21:27 −18 168.92.254.163 talk (→See also: Irrelevant)
- diffhist Bernard Bolzano 20:00 +5 Thewikibeagles talk contribs (→Ideas and objects)
- diffhist Associative property 15:34 +35 178.78.252.98 talk
- diffhist Formal system 00:50 −23 Yesterday, all my dreams... talk contribs (better lnk)
- diffhist Formal system 00:49 +2 Yesterday, all my dreams... talk contribs (lnk)
- diffhist Formal system 00:48 −1 Yesterday, all my dreams... talk contribs (order)
- diffhist Formal system 00:47 +275 Yesterday, all my dreams... talk contribs (Goedel theorem)
1 July 2025
- diffhist First-order logic 20:50 +16 Tholme talk contribs (→Formalizing natural languages)
- diffhist First-order logic 20:50 +21 Tholme talk contribs (→Formalizing natural languages: fix nightmode)
- diffhist Module:Icon/data 05:47 +16 Paine Ellsworth talk contribs (per edit request at Template talk:Icon#Template-protected edit request on 30 June 2025 - update image)
- diffhist m Programming language 04:44 −15 HMSLavender talk contribs (Reverted edits by 110.44.116.169 (talk) (AV)) Tags: AntiVandal Rollback
- diffhist Programming language 04:43 +15 110.44.116.169 talk Tag: Reverted
29 June 2025
- diffhist Kurt Gödel 16:56 +2 Wuerzele talk contribs (→Religious views: subsection of pers life)
- diffhist Kurt Gödel 16:55 +90 Wuerzele talk contribs (→Later life and death: add marriage)
- diffhist Quantifier (logic) 14:38 −443 173.79.19.248 talk (→Infinite domain of discourse: remove irrelevancies)
- diffhist Ludwig Wittgenstein 08:46 +55 Sahaib talk contribs (per article)
- diffhist Logic gate 01:16 −6 Coopman86 talk contribs (→Universal logic gates: Removed invalid IMPLY Logic from NIMPLY section.)
28 June 2025
- diffhist Formal system 23:45 +87 Yesterday, all my dreams... talk contribs (→Formal language: No: Formal languages can exist on their own, and may be used in various systems, or not)
- diffhist Formal system 23:41 −17 Yesterday, all my dreams... talk contribs (also inductive)
- diffhist Formal system 23:39 −17 Yesterday, all my dreams... talk contribs (axioms do nt necessarily rely on structures/models)
- diffhist m Modus ponens 23:05 −74 Loverthehater talk contribs (replace SEP reference with Template:Cite_SEP)
- diffhist Modus ponens 22:54 +22 Loverthehater talk contribs (→Formal notation: Rewrote paragraph on implication, given a citation.)
- diffhist Modus ponens 21:41 −145 Loverthehater talk contribs (Undid revision 1297841949 by 68.13.173.214 (talk)) Tag: Undo
- diffhist Modus ponens 21:26 +145 68.13.173.214 talk (→Formal notation: Adding conceptual source, uncited and marked as needed. Reworded to be more succinct.) Tags: Reverted Visual edit
- diffhist Kurt Gödel 20:38 +23 Remsense talk contribs (Reverted 1 edit by BobbyBman (talk): Rv disruptive editing, see MOS:NATIONALITY) Tags: Twinkle Undo
- diffhist Kurt Gödel 20:37 −23 BobbyBman talk contribs (Undid revision 1297813166 by Remsense (talk)) Tags: Undo Reverted
- diffhist Modus ponens 17:56 +618 Mllhnkz talk contribs (Added some more sources) Tag: Visual edit
- diffhist Kurt Gödel 17:40 +23 Remsense talk contribs (Reverted 1 edit by BobbyBman (talk): Didn't follow basic directions) Tags: Twinkle Undo Reverted
- diffhist Kurt Gödel 17:38 −23 BobbyBman talk contribs Tag: Reverted