Related changes

18 July 2025

• diffhist Universal algebra 15:02 −12 Jochen Burghardt talk contribs (→History: show full versions of all given names (or initials of all))
• diffhist Combinatorics 13:55 +284 79.26.6.71 talk
• 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 Formal semantics (natural language) 09:01 −38 Phlsph7 talk contribs (→Definition: more accessible)
• diffhist m Universal algebra 05:33 +22 OrangeDream talk contribs (lk: 'Chen Chung Chang')

17 July 2025

• diffhist m Wayback Machine 21:43 +19 Zzuuzz talk contribs (Reverted edit by ADMlN2948 (talk) to last version by 88.201.28.58) Tag: Rollback
• diffhist Wayback Machine 21:21 −19 ADMlN2948 talk contribs (→Legal status: Improvement) Tags: Reverted Mobile edit Mobile web edit
• diffhist German language 21:07 +271 Largoplazo talk contribs (Reverted 1 edit by Charly Classin (talk): Undoing suspicious edit perpetrating the same nonsense about Tanzania as other accounts have done recently.) Tags: Twinkle Undo
• diffhist German language 21:01 −271 Charly Classin talk contribs (link to verb) Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist German language 16:22 −11 Largoplazo talk contribs (Revert to revision 1300722809 dated 2025-07-16 01:36:08 by Largoplazo using popups) Tag: Manual revert
• diffhist Kurt Gödel 14:12 +9 83.250.36.124 talk (→Religious views)
• diffhist German language 13:46 +4 109.107.224.147 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist German language 13:45 −8 109.107.224.147 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Recreational mathematics 13:45 0 Fluyt talk contribs (Correction.) Tags: Visual edit Mobile edit Mobile web edit
• diffhist Module:Authority control/config 11:27 +30 MSGJ talk contribs (add 5 IDs to the arts whitelist)

16 July 2025

• diffhist m Paradox 19:51 −18 Paradoctor talk contribs (→Veridical paradox: MOS:NOPIPE)
• diffhist Wikipedia:Verifiability 17:12 +13 S Marshall talk contribs (Oh for Heaven's sake. I see that even that's controversial) Tag: Undo
• diffhist Wikipedia:Verifiability 17:10 −13 S Marshall talk contribs (Allowing Zero000's revert to stand, restore the simplification (which I think ought to be uncontroversial)) Tag: Reverted
• diffhist Paradox 16:12 −13 MartinPoulter talk contribs (Undid revision 1300825807 by MartinPoulter (talk)) Tag: Undo
• diffhist Paradox 16:12 +13 MartinPoulter talk contribs (→Antinomy: make clear that this concept has its own article) Tag: Reverted
• diffhist Paradox 16:10 −2 MartinPoulter talk contribs (→Falsidical paradox: No need for scare-quotes for a term that has just been introduced) Tag: Visual edit
• diffhist Paradox 16:09 +8 MartinPoulter talk contribs (→Veridical paradox: Fix grammar (this wasn't a sentence but was punctuated as one)) Tag: Visual edit
• 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 Wikipedia:Verifiability 14:18 −57 Zero0000 talk contribs (rv. a discussion about a specific page that hasn't even reached consensus is hardly enough reason to make changes here.) Tag: Undo
• 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 Wikipedia:Verifiability 09:52 +99 S Marshall talk contribs (Per this discussion) Tag: Reverted
• diffhist Wikipedia:Verifiability 09:43 −3 S Marshall talk contribs (Actually I can get that wordcount down farther) Tag: Reverted
• diffhist Wikipedia:Verifiability 09:43 −39 S Marshall talk contribs (Simplify) 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 List of fallacies 08:03 −108 Inayity talk contribs (that is a terrible example. evidence against the effect on alcohol in society is generally conclusively that it is a social ill)
• diffhist German language 01:36 −10,086 Largoplazo talk contribs (Reverted 1 edit by Sauna 20 (talk): Same as the others, DISCUSS on the talk page before posting this content again.) Tags: Twinkle Undo
• diffhist German language 01:13 +10,086 Sauna 20 talk contribs (added dependencies) Tags: Reverted Mobile edit Mobile web 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)
• diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
• diffhist m Lambda calculus 19:32 −4 Frap talk contribs
• diffhist m Probability theory 18:40 +4 Comp.arch talk contribs Tag: 2017 wikitext editor
• diffhist Algorithm 18:37 +46 Safety In Obscurity talk contribs (Undid revision 1298501550 by 2.196.141.187 (talk) Editor seems to have misunderstood what ticker tape is) Tag: Undo