Jump to content

Related changes

← Constrained Horn clauses

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 02:10, 8 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

7 April 2025

diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)

3 April 2025

diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
diffhist First-order logic 15:12 +10 Remsense talk contribs

2 April 2025

diffhist m Constraint logic programming 13:04 +21 Cedar101 talk contribs (→Bottom-up evaluation: {{code}})
diffhist m Constraint logic programming 13:02 +87 Cedar101 talk contribs (→Bottom-up evaluation: syntaxhighlight) Tag: nowiki added

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Constrained_Horn_clauses"