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 2025
- diffhist m Gödel's incompleteness theorems 10:15 +10 BriDash9000 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)
16 May 2025
- diffhist Module:Footnotes/whitelist 22:05 +49 Redrose64 talk contribs (add another entry for CITEREFLohrThielmann1988)
15 May 2025
- diffhist m Principle of explosion 17:38 +23 Gert7 talk contribs Tag: 2017 wikitext editor
- diffhist Gödel's incompleteness theorems 09:43 +430 Jochen Burghardt talk contribs (→top: suggest to add Hofstadter as a source for "widely"; (sub)section title and quotation translated back to EN from my DE edition, somebody please replace by original EN text)
14 May 2025
- diffhist Curry–Howard correspondence 20:39 +4 Grapesurgeon talk contribs (Changing short description from "Theorem in computer science and math" to "Relationship between programs and proofs") Tag: Shortdesc helper
- diffhist Curry–Howard correspondence 20:38 −38 Grapesurgeon talk contribs (WP:SD40) Tag: Shortdesc helper
- diffhist m Gödel's incompleteness theorems 17:05 +10 BriDash9000 talk contribs (Added missing page protection template)
13 May 2025
- diffhist Computable function 13:31 +5 D.Lazard talk contribs (→Definition: Using the proper name)
- diffhist Computable function 13:27 +1 D.Lazard talk contribs (misplaced link and grammar)
- diffhist Curry–Howard correspondence 10:03 +39 2a02:a03f:695c:9200:9e7:196b:2a28:1f1b talk (Add link to free/bonded variable article)
- diffhist Computable function 09:21 −324 D.Lazard talk contribs (→top: Simplification and clarification of the beginning)
- diffhist Computable function 08:27 +164 D.Lazard talk contribs (Reverted 7 edits by Nyngwang (talk): Previous version was not good, but the new one is worse) Tags: Twinkle Undo
- diffhist Computable function 02:57 −126 Nyngwang talk contribs (wording: merge a sentence into the first sentence so that it can provide more information per words.) Tag: Reverted
- diffhist m Computable function 02:33 +16 Nyngwang talk contribs (wording.) Tag: Reverted
- diffhist m Computable function 02:31 0 Nyngwang talk contribs Tag: Reverted
- diffhist m Computable function 02:30 +35 Nyngwang talk contribs Tag: Reverted
- diffhist Computable function 01:59 −37 Nyngwang talk contribs (improve wording: in the original version "can do the job of the function" is misleading since "it specifies nothing about the job" but only the domain & codomain of the job.) Tag: Reverted
12 May 2025
- diffhist Natural number 23:41 −7 CyberTheTiger talk contribs (no need for both words)
- diffhist m Computable function 22:29 −1 Nyngwang talk contribs Tag: Reverted
- diffhist m Computable function 22:27 −51 Nyngwang talk contribs (wording & format.) Tag: Reverted