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.

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

8 November 2025

diffhist m Gödel's incompleteness theorems 10:26 −524 Destinyokhiria talk contribs (Reverted edit by ~2025-31695-90 (talk) to last version by Trovatore) Tags: Rollback Mobile edit Mobile web edit Advanced mobile edit
diffhist Gödel's incompleteness theorems 09:50 +524 ~2025-31695-90 talk contribs (Clarified closed limit structure) Tag: Reverted

7 November 2025

diffhist Church encoding 22:58 −103 WillNess talk contribs (→List encodings: c/e)
diffhist Tautology (logic) 20:29 +29 MisterCake talk contribs (added Category:Classical logic using HotCat)
diffhist P versus NP problem 20:22 −2 Favonian talk contribs (Reverted 1 edit by ~2025-31543-26 (talk): Quite unsourced) Tags: Twinkle Undo
diffhist P versus NP problem 20:13 +2 ~2025-31543-26 talk contribs (money was wrong) Tag: Reverted