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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

18 July 2025

diffhist m Exclamation mark 19:10 0 Abaciscus talk contribs (Grammar change) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 19:07 +7 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 19:04 +1 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 19:00 +1 Abaciscus talk contribs (Grammar change) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:59 0 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:57 +1 Abaciscus talk contribs (Grammar change) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:56 −2 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:54 +5 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:51 +5 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:48 +1 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Exclamation mark 18:46 +1 Abaciscus talk contribs (Grammar changes) Tags: Visual edit Mobile edit Mobile web edit
diffhist Exclamation mark 18:23 +43 Abaciscus talk contribs (Added templates related to the variety of english) Tags: Mobile edit Mobile web edit
diffhist Symbol (formal) 14:49 0 Oculusvides talk contribs (→Words modeled as formal symbols: Corrected capitalization) Tags: Mobile edit Mobile web edit
diffhist Logic 13:47 −2,909 MartinPoulter talk contribs (Undid revision 1301177266 by Yourstruly1167 (talk) Off-topic and sourced to a self-published blog) Tag: Undo
diffhist Logic 13:36 +2,909 Yourstruly1167 talk contribs (Addition of a new engineering study on logical methods) Tags: Reverted Visual edit: Switched
diffhist Dov Gabbay 12:01 +245 Dezaxa talk contribs (Added two reference handbooks to the list of works)
diffhist Boolean algebra 10:59 +2 Oneequalsequalsone talk contribs (→Propositional logic) Tag: Visual edit
diffhist Formal semantics (natural language) 09:01 −38 Phlsph7 talk contribs (→Definition: more accessible)
diffhist m P versus NP problem 00:27 +14 JayBeeEll talk contribs (claiming responsibility for one sentence of changes by a banned user)

17 July 2025

diffhist P versus NP problem 18:21 +338 Lynch44 talk contribs (Reverted 2 edits by 167.98.155.171 (talk): Rv block evasion) Tags: Twinkle Undo Mobile edit Mobile web edit
diffhist Module:Authority control/config 11:27 +30 MSGJ talk contribs (add 5 IDs to the arts whitelist)
diffhist P versus NP problem 08:30 −274 167.98.155.171 talk (→Context: "clearly" and "arguably" are not useful things to write. improved general tone, and removed statement of the blindingly obvious which was also extremely badly written) Tag: Reverted
diffhist P versus NP problem 08:23 −64 167.98.155.171 talk (→History: improved very bad grammar and general tone) Tag: Reverted
diffhist Kripke semantics 04:28 +1 150.107.179.139 talk Tags: Visual edit Mobile edit Mobile web edit
diffhist m Focus (linguistics) 02:28 −56 Kaltenmeyer talk contribs (WP:AWB clean up, typo(s) fixed: ’s → 's (6)) Tag: AWB

16 July 2025

diffhist Tautology (logic) 20:24 +70 Jemptymethod talk contribs (LOL)
diffhist Cardinality 19:57 −13 Trovatore talk contribs (Undid revision 1300765959 by ALittleClass (talk) "powerset" is a common spelling in the field) Tag: Undo
diffhist Tee (symbol) 16:11 0 2603:6000:8201:10e2:e541:4fc9:1f49:28fc talk (move rare usage down the list: lattice theory is a smaller corpus than logic or type theory)
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 Exclamation mark 13:36 −20 Antured talk contribs (Fixed cite errors.)
diffhist Pragmatics 12:29 −41 Thiagovscoelho talk contribs (→Referential uses of language: Actually it does cite sources lol, nevermind) Tag: Visual edit
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 Reductio ad absurdum 09:58 +27 206.83.99.145 talk (Clarified what is meant by 'opposite scenario', to align more clearly with the cited definitions.)
diffhist Reductio ad absurdum 09:50 −25 206.83.99.145 talk (Undid revision 1300776261 by 206.83.99.145 (talk)) Tag: Undo
diffhist Reductio ad absurdum 09:49 +25 206.83.99.145 talk (Opposite is not implied nor stated in definitions of this phrase.) 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
diffhist Cardinality 08:03 +13 ALittleClass talk contribs (replaced instances of "powerset" with "power set") Tags: Reverted Visual edit

15 July 2025

diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))
diffhist Axiomatic system 21:56 −13 Yesterday, all my dreams... talk contribs (→Example: these axioms are deductive, not semantic)