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 June 2024
- diffhist Double negation 06:39 −237 David Eppstein talk contribs (copyedit to remove problematic parts (that this article is about a theorem rather than a logical operation, and whether equivalence of a stmt with its double negation is a theorem or an axiom))
- diffhist De Morgan's laws 05:22 +241 David Eppstein talk contribs (→In computer engineering: supply requested citation)
1 June 2024
- diffhist Tautology (logic) 09:13 −242 Oneequalsequalsone talk contribs (rm reference to self) Tag: Visual edit
31 May 2024
29 May 2024
- diffhist Transposition (logic) 06:20 −15,243 Thiagovscoelho talk contribs (Merge) Tag: New redirect
- diffhist Tautology (logic) 06:02 −26 David Eppstein talk contribs (→Efficient verification and the Boolean satisfiability problem: reword in a way that does not provide an unsourced claim of current research focus)