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
27 April 2024
- Undo
- diffhist Normal form (abstract rewriting) 20:59 +27 Thiagovscoelho talk contribs
- diffhist Template:Normal forms in logic 20:59 +37 Thiagovscoelho talk contribs
- diffhist Clause (logic) 20:41 +14 Psychastes talk contribs (→External links: stub tag)
- diffhist Prolog 19:55 +3 JustasidequestNPC talk contribs (→Syntax and semantics: minor: "...find a resolution refutation" to "...find a resolution or refutation") Tags: Reverted Visual edit
26 April 2024
- diffhist Material conditional 22:32 +4 Editmakerer talk contribs (Made it so hyperlink links to directly related article) Tags: Mobile edit Mobile web edit
- diffhist Logic programming 06:55 −45 Felix QW talk contribs (→Concurrent logic programming: None of the meanings on the disambiguation page; since this is a term specific to guarded clauses, there is probably not much hope it will get its own article.) Tag: 2017 wikitext editor
24 April 2024
- diffhist First-order logic 20:30 −2 Dujo talk contribs (→Sequent calculus: Update reference)
- diffhist Propositional calculus 16:34 +38 Avocado talk contribs (Adding short description: "Branch of logic") Tag: Shortdesc helper
- diffhist Propositional calculus 16:27 +365 Thiagovscoelho talk contribs (→Propositional connective semantics) Tag: Visual edit
- diffhist Propositional calculus 16:11 +182 Thiagovscoelho talk contribs (→Propositional connective semantics) Tag: Visual edit
- diffhist Propositional calculus 15:57 +834 Thiagovscoelho talk contribs (→Propositional connective semantics: equivalence/biconditional distinction) Tag: Visual edit
- diffhist Logic programming 13:51 +41 ShelfSkewed talk contribs (Disambiguation needed on commitment)
23 April 2024
- Undo
- diffhist m Canonical normal form 19:10 +1,846 Tv Plutos talk contribs (I wrote informative and research base information about canonical normal form) Tags: Reverted possible conflict of interest Visual edit Newcomer task Newcomer task: copyedit
- diffhist Propositional calculus 13:01 +1,515 Thiagovscoelho talk contribs (→Syntax: added BNF) Tag: Visual edit
22 April 2024
- diffhist Propositional calculus 18:36 −18 64.98.231.246 talk (→History)
- diffhist m Model theory 04:20 +9 Tule-hog talk contribs (clarify sentence, fix equation typo)