Related changes
Appearance
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)
31 May 2025
- diffhist PCP theorem 19:23 +33 2601:147:4900:db80:4619:45c9:c6b6:c7f8 talk (→PCP and hardness of approximation: Added citation needed tag to section with no citations.) Tag: Visual edit
30 May 2025
- diffhist m Boolean satisfiability problem 16:31 +448 Ftiercel talk contribs (→XOR-satisfiability: Examples)
29 May 2025
- diffhist Boolean satisfiability problem 13:10 −4 Jochen Burghardt talk contribs (→XOR-satisfiability: avoid adjacent links, agree to keep the more specific one GF(2), which links to finite field, in turn)