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
3 July 2025
- diffhist Successor function 09:52 +308 5.138.233.48 talk (→Overview) Tags: Mobile edit Mobile web edit
- diffhist SAT solver 09:31 +486 Fschwarzentruber talk contribs (→Applications) Tag: Visual edit
- diffhist m SAT solver 01:25 +1 Jonathan Frech talk contribs
2 July 2025
- diffhist Symposium on Logic in Computer Science 09:18 +60 Qwerty123M talk contribs (Adding local short description: "Computer science and logic conference", overriding Wikidata description "ACM/IEEE annual conference series on logic in computer science") Tag: Shortdesc helper
1 July 2025
- diffhist Tseytin transformation 18:39 +199 Phobrain talk contribs (Added the app that inspired it to the Motivation, based on memory of the description on one of our walks. Not marking minor since it adds non-math recollection to a math page.) Tag: Visual edit
- diffhist XOR-SAT 16:17 +7,450 Ftiercel talk contribs (Add references; this is not an article creation, it's a split from Boolean satisfiability problem) Tag: Removed redirect