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

9 December 2025

diffhist Soundness 07:10 +232 Ainsley259 talk contribs (Emphasized the distinction between the two usages of the term and retitled sections so it was clear that both were definitions and which usage each section covered.)
diffhist Soundness 06:50 +310 Ainsley259 talk contribs (→Use in mathematical logic: Made the math formatting consistent) Tag: Visual edit: Switched

8 December 2025

diffhist m First-order logic 22:14 +232 TonySt talk contribs (Reverting unexplained deletion by ~2025-39364-76 (CVPI)) Tags: CVPI Rollback Mobile edit Mobile web edit Advanced mobile edit
diffhist First-order logic 22:14 −232 ~2025-39364-76 talk contribs Tag: Reverted