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
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 Rule of inference 22:59 +25 Psychastes talk contribs (→Definition: add linked template)
30 May 2025
- diffhist m Boolean satisfiability problem 16:31 +448 Ftiercel talk contribs (→XOR-satisfiability: Examples)
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
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)
- diffhist Deduction theorem 07:10 +373 Marc Schroeder talk contribs (edited reference; no change of content)