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
3 July 2025
- 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)
2 July 2025
- 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 David Hilbert 05:23 +144 Arutoria talk contribs (→Later years: citation) Tag: Visual edit
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 Modus ponens 17:56 +618 Mllhnkz talk contribs (Added some more sources) Tag: Visual edit