Related changes

5 April 2025

• diffhist m Proof by contradiction 06:47 −39 BrianTheNERD talk contribs (Removed need for citation banner)
• diffhist Proof by contradiction 06:44 +404 BrianTheNERD talk contribs (citation added) Tags: Visual edit Newcomer task Newcomer task: references
• diffhist m The Art of Computer Programming 04:40 −25 Shreevatsa talk contribs (Undid revision 1283421143 by 93.42.71.10 (talk) the "7 volumes" was the original plan; confusing to mix it with the "As of 2025" number.) Tag: Undo
• diffhist m The Art of Computer Programming 04:37 −32 Shreevatsa talk contribs (Reverted edits by 93.42.64.227 (talk) to last version by 93.42.71.10) Tag: Rollback

4 April 2025

• diffhist m Hilary Putnam 20:22 −4 BardRapt talk contribs (→Rejection of functionalism)
• diffhist Hilary Putnam 20:21 +172 BardRapt talk contribs (→Rejection of functionalism: Representation and Reality dl)
• diffhist The Art of Computer Programming 10:49 −1 93.42.64.227 talk Tag: Reverted
• diffhist The Art of Computer Programming 08:25 +33 93.42.64.227 talk (Vaolume 4 composed by subvolumes) Tag: Reverted

3 April 2025

• diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
• diffhist First-order logic 15:12 +10 Remsense talk contribs
• diffhist Rule of inference 11:54 +1 Phlsph7 talk contribs (adjust lead image: less height)
• diffhist Rule of inference 11:46 +287 Phlsph7 talk contribs (→Propositional logic: expand table per GA suggestion)
• diffhist Rule of inference 11:32 +93 Phlsph7 talk contribs (→Propositional logic: expand list per GA suggestion)

2 April 2025

• diffhist m Term logic 23:00 −10 Paradoctor talk contribs (→Aristotle's system: MOS:NOPIPE)
• diffhist m Term logic 21:56 +14 Oneequalsequalsone talk contribs (→Aristotle's system) Tag: Visual edit

1 April 2025

• diffhist Rule of inference 14:13 +6 92.37.110.201 talk (→Definition: if we are talking about rules of inference as syntactic objects, then they can be made up and wrong)
• diffhist The Art of Computer Programming 12:11 +25 93.42.71.10 talk (Expected total volumes for taocp) Tag: Reverted
• diffhist m Rule of inference 09:39 0 Phlsph7 talk contribs (→In various fields: more common terms)
• diffhist m Rule of inference 09:38 0 Phlsph7 talk contribs (more common term)
• diffhist m Rule of inference 08:11 −3 Phlsph7 talk contribs (→Basic concepts: ce)
• diffhist Rule of inference 08:09 0 Phlsph7 talk contribs (I think the earlier fix was accurate: the article Premises is about real estate while the article Premise is about logic)
• diffhist m Rule of inference 06:31 −8 Talib1101 talk contribs (Undid revision 1283318361 by Math.Mil (talk) WP:NOTBROKEN) Tag: Undo

31 March 2025

• diffhist Rule of inference 19:23 +8 Math.Mil talk contribs (Fixed link) Tags: Reverted Mobile edit Mobile web edit
• diffhist m Rule of inference 17:18 +1 Phlsph7 talk contribs (ce)
• diffhist Rule of inference 17:03 −24 Phlsph7 talk contribs (fix parameters)
• diffhist Rule of inference 17:00 −91 Phlsph7 talk contribs (Filled in 0 bare reference(s) with reFill 2)
• diffhist m Rule of inference 17:00 +31 Phlsph7 talk contribs (Cleaned up 8 ISBNs using toolforge:anticompositetools/hyphenator #hyphenator)
• diffhist m Rule of inference 16:53 +3 Phlsph7 talk contribs (ce)
• diffhist m Rule of inference 16:48 +11 Phlsph7 talk contribs (ce)
• diffhist Rule of inference 16:48 +120 Phlsph7 talk contribs (add image)
• diffhist m Rule of inference 16:40 +4 Zinnober9 talk contribs (Fixed Lint errors on this page (invalid WP:EIS parameters))
• diffhist Rule of inference 16:40 −1 Anomalocaris talk contribs (Undid revision 1283295690 by 64.98.215.205 (talk)) Tag: Undo
• diffhist 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
• diffhist m Proof by contradiction 16:25 +1 TypoEater talk contribs (→Infinitude of primes: Added period)
• diffhist Rule of inference 16:14 +519 Phlsph7 talk contribs (→Sources: add sources)
• diffhist Rule of inference 16:13 +244 Phlsph7 talk contribs (→Others: add image)
• diffhist m Rule of inference 16:12 +11 Phlsph7 talk contribs (→First-order logic: ce)
• diffhist Rule of inference 16:12 +367 Phlsph7 talk contribs (→First-order logic: add image)
• diffhist Rule of inference 16:12 +390 Phlsph7 talk contribs (→Definition: add image) Tag: harv-error
• diffhist Rule of inference 15:58 −4 Phlsph7 talk contribs (→Definition: ce)
• diffhist 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)
• diffhist Rule of inference 12:43 −175 Phlsph7 talk contribs (→References: remove categories that already apply to the main category or are too specific)
• diffhist Rule of inference 12:40 −43 Phlsph7 talk contribs (→See also: remove links that are already present in the article)
• diffhist m Rule of inference 12:36 0 Phlsph7 talk contribs (→Definition: consistency)
• diffhist Rule of inference 12:30 −45 Phlsph7 talk contribs (shorter short description per WP:SD40)
• diffhist 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)

30 March 2025

• diffhist Journal of the ACM 19:00 −13 David Eppstein talk contribs (Undid revision 1283085386 by Widefox (talk) the most inane section title ever) Tag: Undo
• diffhist Rule of inference 13:36 +1 Phlsph7 talk contribs (→Definition: ce for consistency)
• diffhist Rule of inference 13:32 +765 Phlsph7 talk contribs (→Sources: add sources)
• diffhist Rule of inference 13:31 +869 Phlsph7 talk contribs (add one paragraph on history) Tags: harv-error Disambiguation links added