Jump to content

Related changes

← Second-order propositional logic

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.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 14:27, 20 April 2025

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

19 April 2025

diffhist Module:Citation/CS1/Configuration 11:34 −1 Nthep talk contribs (change line 1754 parameter to true to hide ISBN/ date compatibility issues. See Help talk:Citation Style 1#ISBN / Date incompatibility and Wikipedia:Administrators' noticeboard/Incidents#Template edit incorrectly creating error cat with 25000+ entries needs reverting)

18 April 2025

diffhist m Intuitionistic logic 13:48 −1 Arjayay talk contribs (Duplicate word reworded)
diffhist Intuitionistic logic 11:34 +41 212.186.132.66 talk (→Disjunction vs. implication: Be more specific)

16 April 2025

diffhist m Logic 03:27 −110 Joyous! talk contribs (Reverted 1 edit by 2600:480A:4970:DD00:F4AB:6C83:8B4:ADB0 (talk) to last revision by Remsense) Tags: Twinkle Undo
diffhist Logic 03:21 +110 2600:480a:4970:dd00:f4ab:6c83:8b4:adb0 talk Tag: Reverted

13 April 2025

diffhist True quantified Boolean formula 19:48 +342 87.92.228.81 talk (→Extensions: SSAT is an important extension of QBF)

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Second-order_propositional_logic"