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

2 November 2026

diffhist Proof assistant 17:47 +23 Oklopfer talk contribs (substitute per MOS:SECTIONANCHOR) Tag: Manual revert
diffhist Interpretation (logic) 10:41 −8 Kallaydoscope talk contribs (Undid revision 1383375173 by Kallaydoscope (talk)) Tag: Undo
diffhist Principles of Model Checking 10:27 +4 Waxworker talk contribs (italics)
diffhist m Interpretation (logic) 10:26 +8 Kallaydoscope talk contribs (Changed link target for "syntactic" from page https://en.wikipedia.org/wiki/Syntax to page https://en.wikipedia.org/wiki/Syntax_(logic). It appears to me that the former mostly covers syntax in linguistics. The latter seems to offer more directly relevant information for the subject matter of this page.) Tags: Reverted Visual edit
diffhist m Artificial intelligence 06:01 −1 Manai235 talk contribs Tag: Visual edit
diffhist Artificial intelligence 05:29 −421 Grayfell talk contribs (→Defining artificial intelligence: Which is it, broader, or more detailed? Was this written, or generated? MDPI is not a reputable publisher, so it doesn't matter that much.)