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 July 2025
- diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
- diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
- diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
- diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
- diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Proposition 08:40 +4 Phlsph7 talk contribs (Undid revision 1300350032 by 2A02:CE0:2002:6C57:C0B8:6EC5:3593:49B8 (talk) sentences are linguistic expressions) Tag: Undo
14 July 2025
- diffhist Proposition 06:03 +21 FatalSubjectivities talk contribs (→See also: **Doxastic logic)
- diffhist Proposition 05:56 −20 FatalSubjectivities talk contribs (→See also: Removed Claim (logic))
13 July 2025
- diffhist Proposition 20:52 −4 2a02:ce0:2002:6c57:c0b8:6ec5:3593:49b8 talk (are) Tags: Reverted Visual edit