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 May 2025
- diffhist m Normal form (natural deduction) 22:13 0 Marc Schroeder talk contribs (→Definition)
- diffhist m Normal form (natural deduction) 22:07 +60 Marc Schroeder talk contribs
- diffhist Normal form (natural deduction) 21:51 +4,772 Marc Schroeder talk contribs (departed from stub) Tag: Disambiguation links added
- diffhist First-order logic 18:17 +106 BardRapt talk contribs (→Free and bound variables: W. V. O. Quine)
- diffhist First-order logic 15:33 +76 JRSpriggs talk contribs (→Notational conventions: known arity)
- diffhist First-order logic 09:50 +25 BardRapt talk contribs (→Limitations: I. R. Horrocks)
2 May 2025
- diffhist m First-order logic 10:54 +68 Nyngwang talk contribs (→Notational conventions: use <math> tag for the sake of our eyes and readability.)
- diffhist m First-order logic 10:42 +1 BardRapt talk contribs (→Sequent calculus: PVS)
- diffhist m First-order logic 10:22 −116 Nyngwang talk contribs (→Notational conventions: delete personal opinions on "Polish notation".)
- diffhist First-order logic 10:10 −434 Nyngwang talk contribs (→Notational conventions: Delete the part that failed to recognize {infix,prefix} notations.)
30 April 2025
- diffhist Boolean satisfiability problem 17:53 −7 Hairy Dude talk contribs (→Finding a satisfying assignment: replace invalid description list with bullets, rm excess space) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Boolean satisfiability problem 17:51 +16 Hairy Dude talk contribs (→XOR-satisfiability: fix max-width at less than 100% to make sure the table fits within the screen) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Boolean satisfiability problem 17:33 +82 Hairy Dude talk contribs (→Complexity: again) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Horn clause 17:29 +80 Hairy Dude talk contribs (→Logic programming: again) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Horn clause 17:27 +49 Hairy Dude talk contribs (→Definition: {{block indent}}) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Boolean satisfiability problem 17:22 +128 Hairy Dude talk contribs (→Conjunctive normal form: {{block indent}}) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Boolean satisfiability problem 17:18 +78 Hairy Dude talk contribs (define "efficiently") Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Material conditional 16:56 −29 Jochen Burghardt talk contribs (→External links: now in side tab)
- diffhist m Material conditional 14:48 +240 Marc Schroeder talk contribs
- diffhist Boolean satisfiability problem 10:29 +18 Jochen Burghardt talk contribs (→Exactly-1 3-satisfiability: suggest to mention complexity class for each variant)
- diffhist m If and only if 09:54 +73 Marc Schroeder talk contribs (→Notation)
29 April 2025
- diffhist Boolean satisfiability problem 20:48 +425 AnomieBOT talk contribs (Rescuing orphaned refs ("schaefer" from rev 1286671443))
- diffhist Boolean satisfiability problem 18:29 −3,168 Ftiercel talk contribs (Split to 1-in-3-SAT)
27 April 2025
- diffhist Propositional calculus 21:58 +305 Thiagovscoelho talk contribs (→Syntax: added another name) Tag: Visual edit