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
18 May 2024
- diffhist m Tautology (logic) 13:29 +50 Oneequalsequalsone talk contribs (→History: linking to specific section) Tag: Visual edit
- diffhist Logic 07:26 +8 Remsense talk contribs (Reverting edit(s) by Healpa12 (talk) to rev. 1223594779 by Citation bot: Unexplained content removal (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Logic 07:25 −8 Healpa12 talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Iota and Jot 07:11 −3 Ykrx talk contribs (Fixed grammar #article-section-source-editor) Tags: Mobile edit Mobile app edit iOS app edit
- diffhist m Alan Turing 04:22 0 Alisperic talk contribs (caps)
- diffhist m Alan Turing 04:11 0 Alisperic talk contribs (→Death: ce)
- diffhist m Distributed computing 00:34 −20 Ira Leviton talk contribs (Fixed a reference. Please see Category:CS1 errors: dates.)
- diffhist Primitive recursive function 00:23 −9 C7XWiki talk contribs (Possible better wording) Tags: Mobile edit Mobile web edit
- diffhist Philosophy of mathematics 00:01 +29 Isaidnoway talk contribs (+ {{notelist}})
17 May 2024
- diffhist m P versus NP problem 23:48 −322 Discospinster talk contribs (Reverted edit by Nilson Bolivar (talk) to last version by Discospinster) Tag: Rollback
- diffhist m P versus NP problem 23:44 +322 Nilson Bolivar talk contribs (→Claimed solutions: The complexity of any type of problem can be from the easiest to the infinitely complex) Tag: Reverted
- diffhist m P versus NP problem 23:38 −322 Discospinster talk contribs (Reverted edits by Nilson_Bolivar (talk): unexplained content removal (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist m P versus NP problem 23:37 −4,173 Nilson Bolivar talk contribs (The complexity of any type of problem can be from the easiest to the infinitely complex) Tag: Reverted
- diffhist m P versus NP problem 23:30 +4,495 Nilson Bolivar talk contribs (→Claimed solutions: The complexity of any type of problem can be from the easiest to the infinitely complex, there are problems where there are shortcuts with God's algorithms and they can be solved in polynomial time, and there are problems where with God's algorithms there are no shortcuts and no are solved in polynomial time, if a non-deterministic Turing machine finds solutions to problems in polynomial time this means that a deterministic Turing machine with God's algorithm can also fin) Tag: Reverted
- diffhist Three-valued logic 23:12 +26 24.214.177.76 talk (→See also) Tags: Mobile edit Mobile web edit
- diffhist Module:Navbox 21:07 +308 Izno talk contribs (per Template talk:Navbox#Night mode may need explicit color definitions)
- diffhist Computer science 19:53 −13 Ken Gallager talk contribs (repair broken anchor link)
- diffhist P versus NP problem 18:01 −250 David Eppstein talk contribs (Undid revision 1224322635 by Nilson Bolivar (talk) WP:REFSPAM, not reliably published, crankery) Tag: Undo
- diffhist m P versus NP problem 17:45 +250 Nilson Bolivar talk contribs (post an article that talks about the p vs np problem) Tag: Reverted
- diffhist Constructive set theory 13:56 +7 88.116.31.14 talk (→Arithmetic)
- diffhist Constructive set theory 13:47 +4 88.116.31.14 talk (→Regularity implies PEM)
- diffhist Philosophy of mathematics 10:42 +6,002 D.Lazard talk contribs (→Logic and rigor: Filling the section, with some sentences copier from Mathematics)
- diffhist Caml 10:03 +34 Jerryobject talk contribs (→External links: WP:CATEGORYs: move, add.)
- diffhist Constructive set theory 09:45 +23 178.165.197.164 talk (→Witness of apartness)
- diffhist P versus NP problem 09:43 −375 Mindmatrix talk contribs (revert - rm self-promotional ref) Tag: Manual revert
- diffhist List of formal systems 09:36 +334 Don Stroud talk contribs (→In theoretical computer science: hierarchically and supplemented, synchronous Calculus (disambiguation)#Formal language)
- diffhist List of formal systems 09:15 +33 Don Stroud talk contribs (→See also: ** Calculus (disambiguation)) Tag: Disambiguation links added
- diffhist Countable set 06:14 0 84.95.78.194 talk (→Formal overview: Fixed typo) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m Princeton University 02:35 −56 Mia Mahey talk contribs (Reverted 1 edit by DonovinBlue (talk) to last revision by Keystone18) Tags: Twinkle Undo
- diffhist m Princeton University 02:35 +56 DonovinBlue talk contribs (just added a little sentence saying it is a really big university) Tags: Reverted Visual edit
- diffhist Distributed computing 02:33 +528 Azarboon talk contribs (Explained some of the drawbacks of of distributed systems.) Tag: Visual edit
- diffhist m P versus NP problem 01:47 +1 Nilson Bolivar talk contribs (→Claimed solutions) Tag: Reverted
- diffhist m P versus NP problem 01:45 +49 Nilson Bolivar talk contribs (→Claimed solutions) Tag: Reverted
- diffhist m P versus NP problem 01:40 +325 Nilson Bolivar talk contribs (→Claimed solutions) Tag: Reverted
- diffhist C (programming language) 00:54 +305 Egsan Bacon talk contribs (Reverted 1 pending edit by 149.75.25.84 to revision 1223075849 by Annh07) Tag: Manual revert
- diffhist C (programming language) 00:52 −305 149.75.25.84 talk (2,avh’zgkazvWejjfjlej hklssktf)r’gme(rz3:z8fz3’) Tags: Reverted Visual edit
16 May 2024
- diffhist Constructive set theory 23:57 +14 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:54 +6 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:51 −33 178.165.197.164 talk (→Witness of apartness: Simplify)
- diffhist Constructive set theory 23:46 +20 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:36 +202 178.165.197.164 talk (→Witness of apartness)
- diffhist m Cantor's theorem 23:33 +19 ElskverdigHug talk contribs
- diffhist Constructive set theory 22:38 +7 178.165.197.164 talk (→Predicativity)
- diffhist Constructive set theory 22:32 −5 178.165.197.164 talk (→Separation: Duplicated word)
- diffhist Constructive set theory 22:31 +262 178.165.197.164 talk (→BCST: Delinate full Separation)
- diffhist m Smalltalk 20:54 −2 JumboSizedFish talk contribs (→List of implementations: Removed extra spacing between chapters "OpenSmalltalk" and "Others.")
- diffhist De dicto and de re 20:18 0 ImperialSaponification talk contribs (The election occurred in 2000, not 2001) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m P versus NP problem 17:30 +1 Proof Pro talk contribs (→Example: Changed final comma to semi-colon and added comma after the word "however")
- diffhist m Type system 17:15 −2 W.andrea talk contribs (→Linear types: formatting)
- diffhist m Type system 14:38 +1 Slippery Shaman talk contribs (→Linear types: Added a space in the code sample)