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
29 May 2025
- diffhist SAT solver 11:11 +3 194.78.217.35 talk (→Core algorithms) Tag: Visual edit
28 May 2025
- diffhist SourceForge 14:54 +45 EsotericEnderman talk contribs (Added this page to the "Git repository hosting websites" category.) Tag: Visual edit
- diffhist m GitHub 09:40 −182 Materialscientist talk contribs (Reverted edits by 49.237.6.98 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist GitHub 09:26 +182 49.237.6.98 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Turing machine 09:05 −1 Pstringe0 talk contribs (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: Changed integral to integer as per the definition of Diophantine equations referenced elsewhere on the site.) Tags: Manual revert Visual edit
- diffhist Turing machine 08:35 +1 Ehrenkater talk contribs (Undid revision 1292689777 by 67.204.47.19 (talk) The word "integer" is arguably more correct, but do you have a citation saying that that is what the original translation said?) Tags: Undo Reverted
- diffhist Turing machine 08:30 −1 67.204.47.19 talk (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: changed integral coefficients to integer coefficients.) Tag: Reverted
- diffhist Turing machine 05:13 +26 Kankawee aramrak talk contribs (Add constructor's name of physical Turing Machine.)
27 May 2025
- diffhist Imperative programming 20:07 +3 FelisPater talk contribs (Fixed a typo) Tags: Mobile edit Mobile web edit
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
- diffhist Software testing 11:32 +73 MrOllie talk contribs (Reverted 1 edit by Leomars Liao (talk): Not an improvement) Tags: Twinkle Undo
- diffhist m Software testing 10:43 −73 Leomars Liao talk contribs (→top: Changed definition) Tags: Reverted Mobile edit Mobile app edit Android app edit App section source
- diffhist GitHub 00:42 −23 180.233.125.146 talk Tags: Mobile edit Mobile web edit
26 May 2025
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
25 May 2025
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist Tony Hoare 08:23 +4 Jevansen talk contribs (Moving from Category:People from Colombo to Category:Scientists from Colombo using Cat-a-lot)
- diffhist Cambridge University Press 03:45 −9 Nedrutland talk contribs (→Publications: "Easter Wings" et al.)
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
24 May 2025
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
23 May 2025
- diffhist SourceForge 22:00 −583 Future Contributor talk contribs (→Revenue model: Condensed the talk about sourceforge revenues in 2006/2009, removed duplicate sentences about the end of DevShare in 2016.) Tags: Mobile edit Mobile web edit
- diffhist m Flowchart 19:30 0 Nyq talk contribs (→Common symbols: lc common nouns) Tag: Visual edit