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
4 June 2025
- diffhist m Boolean satisfiability problem 16:22 +1,080 Ftiercel talk contribs (→XOR-satisfiability: Rename the variables ''a'', ''b'', ''c'' and ''d'' to ''x<sub>1</sub>'', ''x<sub>2</sub>'', ''x<sub>3</sub>'' and ''x<sub>4</sub>'' to disambiguate with the names of the lines ''A'', ''B'', ''C'', ...)
2 June 2025
- diffhist Boolean satisfiability problem 16:50 −211 Ftiercel talk contribs (→XOR-satisfiability: A unique XORSAT instance skips the variable random assignment step of the algorithm)
30 May 2025
- diffhist m Boolean satisfiability problem 16:31 +448 Ftiercel talk contribs (→XOR-satisfiability: Examples)