Related changes

18 July 2025

• diffhist m English language 14:58 +12 Dimitrie569 talk contribs (→Grammar: wl) Tags: Mobile edit Mobile app edit Android app edit App section source
• diffhist Symbol (formal) 14:49 0 Oculusvides talk contribs (→Words modeled as formal symbols: Corrected capitalization) Tags: Mobile edit Mobile web edit
• diffhist English language 14:20 +4 Dimitrie569 talk contribs (→Grammar: wl) Tags: Mobile edit Mobile app edit Android app edit App section source
• 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 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 English language 22:02 −2 Barefoot through the chollas talk contribs (→Three circles model: coordinate past reference)
• diffhist English language 19:32 −73 William Avery talk contribs (Undid revision 1301023732 by KGxHeretic (talk) - unexplained change) Tag: Undo
• diffhist English language 19:19 +8 Dimitrie569 talk contribs (→Phonotactics: wls) Tags: Mobile edit Mobile web edit Advanced mobile edit
• 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 m English language 17:57 +73 KGxHeretic talk contribs Tag: Reverted
• diffhist English language 17:51 +9 Dimitrie569 talk contribs (→Three circles model: Changed to past tense; reason: the source is from 2003 and may (or may not) be outdated) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist English language 16:34 0 Barefoot through the chollas talk contribs (→Spread of Modern English: SVO spelled out and linked; moved misplaced 'only')
• diffhist English language 16:19 +24 Dimitrie569 talk contribs (→Spread of Modern English: What is SVO?) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist English language 15:35 +320 Dimitrie569 talk contribs (→Middle English: Added example, replacing {example needed}) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist m English language 15:05 +4 Dimitrie569 talk contribs (→History: wl) Tags: Mobile edit Mobile app edit Android app edit App section source
• diffhist English language 14:28 +8 Dimitrie569 talk contribs (→top: wls) Tags: Mobile edit Mobile app edit Android app edit App section source
• 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 New York City 03:14 −162 Nikkimaria talk contribs (previous was sufficient) Tag: Manual revert
• diffhist New York City 02:30 +162 Castncoot talk contribs (rstr) Tags: Undo Reverted
• 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 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 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 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 m Jan Łukasiewicz 22:20 −2 Ira Leviton talk contribs (Fixed another reference.)
• 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 m Jan Łukasiewicz 22:18 −2 Ira Leviton talk contribs (Fixed a reference. Please see Category:CS1 errors: empty unknown parameters.)
• 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)
• diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
• diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
• diffhist Jan Łukasiewicz 20:57 +220 Comp.arch talk contribs (Are "Chapter IV" and Tarksi refs misformated/misaligned? E.g. with ":—;" meaning what?) Tag: 2017 wikitext editor