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.
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
30 May 2025
- diffhist Law of excluded middle 16:29 +77 Peter G Werner talk contribs (→See also) Tag: Visual edit
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
- diffhist Hilbert system 15:27 +1 2a00:8a60:c010:1::1:103d talk (→External links: use working link (https instead of http))
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
29 May 2025
- diffhist Law of excluded middle 23:20 +4 LucasBrown talk contribs (Changing short description from "Logic theorem" to "Logical principle") Tag: Shortdesc helper
- diffhist Artificial intelligence 10:22 +17 Alenoach talk contribs (Modified a sentence (see this discussion)) Tag: Visual edit
- diffhist Deduction theorem 07:10 +373 Marc Schroeder talk contribs (edited reference; no change of content)
28 May 2025
- diffhist Resolution (logic) 20:45 +12 Pizzachu44 talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist Computer science 20:16 0 Yovt talk contribs (swap)
- diffhist Computer science 20:15 −1 Yovt talk contribs
- diffhist Module:Labelled list hatnote 18:18 +127 Ahecht talk contribs (Exclude section anchors from ifexists, properly show "no input" error message when ifexists=true)
- diffhist If and only if 00:36 −636 ZergTwo talk contribs (Restored revision 1288084902 by Marc Schroeder (talk): That does not belong in the lead.) Tags: Twinkle Undo
27 May 2025
- diffhist If and only if 19:40 +15 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist If and only if 19:40 +15 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist If and only if 19:40 +15 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist If and only if 19:39 +15 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist If and only if 19:39 +16 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist If and only if 19:39 +16 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist If and only if 19:38 +16 Lindsay658 talk contribs (→See also) Tag: Reverted
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
- diffhist If and only if 08:47 +1 81.255.105.59 talk Tag: Reverted
- diffhist If and only if 08:44 +527 81.255.105.59 talk (I added a plain English explanation to the introduction based on the simple example "I will wear my coat if it rains" as a preamble to the mathematical discussion) Tag: Reverted
26 May 2025
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
- diffhist Raymond Smullyan 16:40 +376 Turtlens talk contribs (→Books)
- diffhist m Artificial intelligence 14:59 +1 John of Reading talk contribs (→Planning and decision-making: Typo fixing, replaced: a.k.a → a.k.a.) Tag: AWB
- diffhist m Artificial intelligence 14:27 +52 Curious1i talk contribs (Added links) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist m Artificial intelligence 14:25 +26 Curious1i talk contribs (Added links) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Raymond Smullyan 12:57 0 DuncanHill talk contribs (Fixing harv/sfn reference errors caused by User:Turtlens changing the date of a source called by refs. 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.)
- diffhist Raymond Smullyan 01:26 +18 Turtlens talk contribs (→Books)
25 May 2025
- diffhist Artificial intelligence 21:52 −7 Nurg talk contribs (→top: c/e)
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
24 May 2025
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
- diffhist Computer science 20:28 +437 Ngriffeth talk contribs (→Computer networks: added some detail describing the subject and a reference)
- diffhist Computer science 20:22 +11 Ngriffeth talk contribs (→Computational science, finance and engineering)
- diffhist Computer science 20:20 +22 Ngriffeth talk contribs (→Computational science, finance and engineering: added computational biology)
- diffhist Artificial intelligence 11:01 +1 Maxeto0910 talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit