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.
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
6 April 2025
- diffhist Modus ponens 22:49 +54 Loverthehater talk contribs (→Justification via truth table: renamed header, added some links. see talk page.)
- diffhist m Constraint Handling Rules 22:46 +19 Joyous! talk contribs (Reverted 1 edit by 2603:7081:7900:7977:A784:50A0:909F:D37E (talk) to last revision by Joyous!) Tags: Twinkle Undo
- diffhist Constraint Handling Rules 22:46 −19 2603:7081:7900:7977:a784:50a0:909f:d37e talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Constraint Handling Rules 22:45 +19 Joyous! talk contribs (Reverted 1 edit by 2603:7081:7900:7977:A784:50A0:909F:D37E (talk) to last revision by Mazewaxie) Tags: Twinkle Undo
- diffhist Constraint Handling Rules 22:45 −19 2603:7081:7900:7977:a784:50a0:909f:d37e talk Tags: Reverted Mobile edit Mobile web edit
4 April 2025
- diffhist m Proof assistant 18:58 +3 Kaffet i halsen talk contribs (University of Gothenburg + sp (via WP:JWB))
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