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
21 May 2025
- diffhist Kolmogorov complexity 04:43 +37 DouglasAHOrr talk contribs (Correct a detail in the first figure caption.) Tags: Mobile edit Mobile web edit
- diffhist m Formal language 01:36 +58 TonySt talk contribs (Reverted 1 edit by 2600:1014:B08C:9C:DD8D:C537:D95F:4C2A (talk) to last revision by Klauscougar) Tags: Twinkle Undo
- diffhist Formal language 01:36 −58 2600:1014:b08c:9c:dd8d:c537:d95f:4c2a talk (Improve the information necessary to be inclusive and not bias) Tags: Reverted Mobile edit Mobile web edit
- diffhist Function (mathematics) 01:25 +1 David Eppstein talk contribs (Undid revision 1291402350 by Goodphy (talk) sdrawkcab) Tag: Undo
- diffhist Function (mathematics) 00:50 −1 Goodphy talk contribs (→Definition: Corrected function definition descriptions.) Tags: Reverted Visual edit
20 May 2025
- diffhist Probabilistic logic 20:46 +2 Limit-theorem talk contribs (More fitting description as it indicates it applies to uncertain situations.) Tag: Visual edit
- diffhist m Microprocessor 19:51 +31 Folkezoft talk contribs (Added 1 {{Bare URL PDF}} tag(s) using a script. For other recently-tagged pages with bare URLs, see Category:Articles with bare URLs for citations from May 2025 and Category:Articles with PDF format bare URLs for citations)
- diffhist Probabilistic logic 18:52 +60 LR.127 talk contribs (Adding local short description: "Use of probability to determine logic", overriding Wikidata description "use of probability and logic to deal with uncertain situations") Tag: Shortdesc helper
- diffhist Inaccessible cardinal 18:01 +352 2600:1700:6e32:8200:7436:2346:27ae:b9af talk (clarification)
- diffhist Boolean satisfiability problem 17:15 +5,864 Jochen Burghardt talk contribs (Undid revision 1291344127 by Ftiercel (talk): split should at least be discussed before; imo, the 2nd half of the 1st split-off paragraph must remain here, anyway (as it is about the relation of xor-sat, 1-in-3-sat, and 3-sat), so the new article will be pretty short) Tag: Undo
- diffhist Boolean satisfiability problem 16:37 −5,864 Ftiercel talk contribs (Split to XOR-SAT) Tag: Reverted
- diffhist m Convex hull 11:22 −1 742a talk contribs (→Simple polygons: copyedit) Tag: Visual edit
- diffhist Inaccessible cardinal 07:40 +24 2600:1700:6e32:8200:c95b:9204:b55d:d787 talk (relaxation of strong to weak requirements in some points.)
- diffhist Inaccessible cardinal 05:47 +1,230 2600:1700:6e32:8200:c95b:9204:b55d:d787 talk (Introductory material)
- diffhist Set (mathematics) 05:26 +1 199.247.239.193 talk (→Zorn's lemma)
- diffhist Inaccessible cardinal 03:07 −448 2600:1700:6e32:8200:c95b:9204:b55d:d787 talk (Readability of introductory matter.)
19 May 2025
- diffhist Reverse mathematics 23:58 +1 Partofthemachine talk contribs (→Arithmetical comprehension ACA0: ce)
- diffhist m Free variables and bound variables 23:24 +17 Rgdboer talk contribs (isbn templates)
- diffhist Probabilistic logic 22:20 +238 Headbomb talk contribs (→Modern proposals: | Add: issue, hdl, pages, volume, journal, date, title, doi, authors 1-6. Changed bare reference to CS1/2. Removed parameters. | Use this tool. Report bugs. | #UCB_Gadget)
- diffhist Probabilistic logic 22:14 +415 Headbomb talk contribs (→Modern proposals: | Alter: pages, template type. Add: issue, isbn, chapter, chapter-url, pages, volume, journal, date, title, doi, authors 1-2. Removed or converted URL. Changed bare reference to CS1/2. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget)
- diffhist Probabilistic logic 22:07 −10 Headbomb talk contribs (Altered template type. Add: class, date, title, eprint, jstor, authors 1-5. Changed bare reference to CS1/2. Removed parameters. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget)
- diffhist Separation logic 20:33 +50 MediaKyle talk contribs (Adding short description: "Concept in computer science") Tag: Shortdesc helper
- diffhist Elementary diagram 18:42 +46 Neiltonks talk contribs (Adding short description: "Concept in model theory") Tag: Shortdesc helper
- diffhist Arms control 17:14 −39 Finnusertop talk contribs (nav; separate notes; ce)
- diffhist Philosophy of mathematics 16:31 +1 D.Lazard talk contribs (Reverted 1 edit by 79.117.72.61 (talk): ZFC is not a first-order logic) Tags: Twinkle Undo
- diffhist Philosophy of mathematics 16:19 −1 79.117.72.61 talk Tag: Reverted
- diffhist Probabilistic logic 14:25 +33 2a00:79e0:2849:7:622c:4f6c:65ad:6d39 talk (→Modern proposals: minor fixes) Tag: Visual edit
- diffhist Probabilistic logic 14:18 +2,130 2a00:79e0:2849:7:622c:4f6c:65ad:6d39 talk (→Modern proposals: Added the missing proposals by Gaifman (1964) and Snir (1982) and extensions thereof.) Tag: Visual edit
- diffhist m Material conditional 12:24 +32 Marc Schroeder talk contribs (removed lint error by setting fg=#000000)
- diffhist Material conditional 12:14 +672 Marc Schroeder talk contribs (added a precision on MPC / IPC)
- diffhist m Decision problem 09:36 +13 Nyngwang talk contribs (→Notes: wording.)
- diffhist C (programming language) 07:19 +3 Annh07 talk contribs (Reverted 1 pending edit by 49.43.180.152 to revision 1290680595 by Materialscientist) Tag: Manual revert
- diffhist C (programming language) 07:13 −3 49.43.180.152 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Microsoft Windows 03:15 0 Darth Stabro talk contribs (→top: clean up) Tag: AWB
- diffhist m Python (programming language) 00:46 −3 GSK talk contribs (Reverted 1 edit by SigmaSigmaBoy72 (talk) to last revision by Fbergo) Tags: Twinkle Undo
- diffhist m Python (programming language) 00:41 +3 SigmaSigmaBoy72 talk contribs Tag: Reverted
18 May 2025
- diffhist Halting problem 22:58 −11 Kvng talk contribs (rv unnec) Tag: Manual revert
- diffhist Microsoft Windows 22:03 +40 Red Director talk contribs (→Windows 9x: ref author and status added) Tag: ProveIt edit
- diffhist m Set (mathematics) 19:56 −11 D.Lazard talk contribs (Reverted 1 edit by Jyoti Thakurr (talk) to last revision by D.Lazard) Tags: Twinkle Undo
- diffhist m Formal language 19:01 +1 Klauscougar talk contribs (edited for clarity. "words" now unambiguously refers to "strings") Tag: Visual edit
- diffhist m Set (mathematics) 18:43 +11 Jyoti Thakurr talk contribs (hyperlinked) Tags: Reverted Visual edit: Switched
- diffhist Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
- diffhist m Gödel's incompleteness theorems 10:15 +10 BriDash9000 talk contribs
- diffhist Euclid's Elements 09:06 +4 Vohlonse talk contribs
- diffhist m Gödel's incompleteness theorems 07:55 −10 BriDash9000 talk contribs (Moved page protection template per Wikipedia:Manual_of_Style/Layout#Order_of_article_elements)
- diffhist m Frama-C 05:31 +13 Bkell talk contribs (first sentence should say what it is: MOS:FIRST)
- diffhist m Material conditional 04:16 −5 Marc Schroeder talk contribs (→Syntactical properties)
- diffhist m Material conditional 03:52 +4 Marc Schroeder talk contribs (→A selection of theorems (classical logic))
- diffhist Material conditional 03:19 +1,661 Marc Schroeder talk contribs (added two references and a ND proof)