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.

31 March 2025

• diff hist Rule of inference 19:23 +8 Math.Mil talk contribs (Fixed link) Tags: Mobile edit Mobile web edit
• diff hist m Cardinality 18:36 −5 Willondon talk contribs (→Pre-Cantorian Set theory: remove doubled word)
• diff hist m Cardinality 18:35 −1 Willondon talk contribs (→Ancient History: spelling)
• diff hist m Module:Lang/data 17:41 +20 Uzume talk contribs (remove ambiguous references to "transl")
• diff hist m Rule of inference 17:18 +1 Phlsph7 talk contribs (ce)
• diff hist Rule of inference 17:03 −24 Phlsph7 talk contribs (fix parameters)
• diff hist Rule of inference 17:00 −91 Phlsph7 talk contribs (Filled in 0 bare reference(s) with reFill 2)
• diff hist m Rule of inference 17:00 +31 Phlsph7 talk contribs (Cleaned up 8 ISBNs using toolforge:anticompositetools/hyphenator #hyphenator)
• diff hist m Rule of inference 16:53 +3 Phlsph7 talk contribs (ce)
• diff hist m Rule of inference 16:48 +11 Phlsph7 talk contribs (ce)
• diff hist Rule of inference 16:48 +120 Phlsph7 talk contribs (add image)
• diff hist m Rule of inference 16:40 +4 Zinnober9 talk contribs (Fixed Lint errors on this page (invalid WP:EIS parameters))
• diff hist Rule of inference 16:40 −1 Anomalocaris talk contribs (Undid revision 1283295690 by 64.98.215.205 (talk)) Tag: Undo
• diff hist Rule of inference 16:38 +1 64.98.215.205 talk (It went to the article about building premises. I think I made it go to the right one but I’m not 100% sure.) Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diff hist Foundations of mathematics 16:30 −46 Remsense talk contribs (ce)
• diff hist Foundations of mathematics 16:25 +9 Remsense talk contribs (→Ancient Greece: ce)
• diff hist Foundations of mathematics 16:22 +35 Remsense talk contribs (hatnote ital)
• diff hist Foundations of mathematics 16:20 −109 Remsense talk contribs (Reverted 2 edits by 192.234.159.166 (talk): WP:REFSPAM) Tags: Twinkle Undo
• diff hist Foundations of mathematics 16:19 +17 192.234.159.166 talk (→External links ) Tag: Reverted
• diff hist Foundations of mathematics 16:18 +92 192.234.159.166 talk (→External links ) Tag: Reverted
• diff hist Rule of inference 16:14 +519 Phlsph7 talk contribs (→Sources: add sources)
• diff hist Rule of inference 16:13 +244 Phlsph7 talk contribs (→Others: add image)
• diff hist m Rule of inference 16:12 +11 Phlsph7 talk contribs (→First-order logic: ce)
• diff hist Rule of inference 16:12 +367 Phlsph7 talk contribs (→First-order logic: add image)
• diff hist Rule of inference 16:12 +390 Phlsph7 talk contribs (→Definition: add image) Tag: harv-error
• diff hist Rule of inference 15:58 −4 Phlsph7 talk contribs (→Definition: ce)
• diff hist Rule of inference 12:48 −25 Phlsph7 talk contribs (remove template "Transformation rules": sidebars in the lead are generally discouraged per MOS:LEADELEMENTS; the article already has a Mathematical logic navbox at the bottom)
• diff hist Rule of inference 12:43 −175 Phlsph7 talk contribs (→References: remove categories that already apply to the main category or are too specific)
• diff hist Rule of inference 12:40 −43 Phlsph7 talk contribs (→See also: remove links that are already present in the article)
• diff hist m Rule of inference 12:36 0 Phlsph7 talk contribs (→Definition: consistency)
• diff hist Rule of inference 12:30 −45 Phlsph7 talk contribs (shorter short description per WP:SD40)
• diff hist Rule of inference 12:26 +445 Phlsph7 talk contribs (lead rewritten to reflect recent changes to the body of the article, providing a balanced summary per MOS:LEAD; for previous drafts, see User:Phlsph7/Rule of inference - Lead)
• diff hist m Information theory 09:59 −251 Remsense talk contribs (Reverted 1 edit by Fnfal (talk) to last revision by Reaper1945) Tags: Twinkle Undo
• diff hist m Cardinality 08:32 0 Jochen Burghardt talk contribs (→Ancient History: typo)
• diff hist Help:Maintenance template removal 04:13 +40 Nikkimaria talk contribs (see #Overview) Tag: Manual revert
• diff hist Cardinality 03:47 −926 Farkle Griffen talk contribs (Rm accidental duplication of a paragraph) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diff hist Cardinality 03:37 +3,681 Farkle Griffen talk contribs (→History: Added paragraphs on Aristottle's Wheel and Galileo's Paradox. Added sub-section headings) Tag: Visual edit
• diff hist Help:Maintenance template removal 02:37 −40 Hawkeye7 talk contribs (→When not to remove: rm - this has been used by editors to express personal opinions) Tag: Reverted

30 March 2025

• diff hist Material conditional 22:50 0 DuncanHill talk contribs (Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
• diff hist m Set (mathematics) 20:25 +1 Arjayay talk contribs (Refering > Referring)
• diff hist Set (mathematics) 18:05 −697 D.Lazard talk contribs (→Partitions: rm section for moving upward)
• diff hist Set (mathematics) 18:02 −1,093 D.Lazard talk contribs (→Principle of inclusion and exclusion: not in this article. This belongs to Finite set or Combinatorics)
• diff hist Set (mathematics) 17:58 +2,085 D.Lazard talk contribs (→Infinite cardinalities: New version of the section)
• diff hist Hilbert system 17:56 +11 92.37.110.201 talk (other rules can be derived)
• diff hist Hilbert system 17:51 −381 92.37.110.201 talk (→Metatheorems: endless collection of new inference rules can be derived (and so don't need to be added and justified via metatheorems)) Tag: section blanking
• diff hist Rule of inference 13:36 +1 Phlsph7 talk contribs (→Definition: ce for consistency)
• diff hist Rule of inference 13:32 +765 Phlsph7 talk contribs (→Sources: add sources)
• diff hist Rule of inference 13:31 +869 Phlsph7 talk contribs (add one paragraph on history) Tags: harv-error Disambiguation links added
• diff hist Rule of inference 12:27 −6,914 Phlsph7 talk contribs (remove sections "Example: Hilbert systems for two propositional logics" and "Admissibility and derivability": mostly unsourced & very lengthy examples; the key points of these topics are already discussed with sources in the sections "Formalisms" and "Basic concepts")
• diff hist m Rule of inference 09:01 +21 Phlsph7 talk contribs (fix wikilink)