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
16 July 2025
- diffhist Control-flow graph 18:59 +271 Lxvgu5petXUJZmqXsVUn2FV8aZyqwKnO talk contribs (Added details about reducibility)
- diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
- diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
- diffhist Flowchart 13:14 −4 Belbury talk contribs (Reverted 1 edit by 113.199.249.42 (talk): It's a plural) Tags: Twinkle Undo
- diffhist Flowchart 12:59 +4 113.199.249.42 talk (→History: Fixed typo) Tags: Reverted Mobile edit Mobile web edit
- diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
- diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
- diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
15 July 2025
- diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
- diffhist m Lambda calculus 19:32 −4 Frap talk contribs
- diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
- diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
14 July 2025
- diffhist m Axiom 12:00 0 Chatul talk contribs (plain -> plane)
- diffhist m Axiom 08:27 +2 Des Vallee talk contribs
- diffhist m Axiom 08:26 0 Des Vallee talk contribs
- diffhist m Axiom 08:26 0 Des Vallee talk contribs
- diffhist Axiom 08:25 +310 Des Vallee talk contribs
- diffhist Data structure 02:21 +574 Soberfox talk contribs (→Implementation: Added 1989 JCSS study by Driscoll et al. that introduced persistent data structures to the Implementation section, with full {{cite journal}} reference.) Tags: Mobile edit Mobile web edit
13 July 2025
- diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
- diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
- diffhist m Free variables and bound variables 16:55 +32 KibalchishTheCoder talk contribs (Corrected minor linking mistake) Tag: Visual edit
- diffhist Free variables and bound variables 16:54 +2,912 KibalchishTheCoder talk contribs (Significantly reworked the "Variable-binding operators" section + minor aesthetic and linking modifications throughout the article) Tags: Visual edit Disambiguation links added
- diffhist m Substitution (logic) 16:23 0 Pacomatic talk contribs (Fixed typo in 'if and onlt if')
- diffhist Pointer (computer programming) 15:55 +121 Stormgaze talk contribs (made language more clear and updated with nullptr type from C23)
- diffhist Pointer (computer programming) 15:31 −137 Stormgaze talk contribs (reworded pointer explanation to be more clear)
12 July 2025
- diffhist Free variables and bound variables 19:44 +3,492 KibalchishTheCoder talk contribs (Significantly improved citations in the "Natural language" section of the article + minor changes) Tag: Visual edit: Switched
- diffhist GitHub 12:14 0 Waxworker talk contribs (Reverted 2 edits by 2601:5CF:4682:B4C0:5411:C90C:E37F:9664 (talk): Unexplained date change) Tags: Twinkle Undo
- diffhist Denotational semantics 00:41 +11 Frap talk contribs (→Meanings of recursive programs)
11 July 2025
- diffhist GitHub 20:15 0 2601:5cf:4682:b4c0:5411:c90c:e37f:9664 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist GitHub 20:14 0 2601:5cf:4682:b4c0:5411:c90c:e37f:9664 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Petri net 15:04 −21 AmirOnWiki talk contribs (→Boundedness: wrong link)
- diffhist Module:Authority control/config 14:36 +164 MSGJ talk contribs (add Yale LUX)
- diffhist Petri net 11:18 +156 AmirOnWiki talk contribs (→Execution semantics: missing def)
- diffhist Module:Footnotes/whitelist 03:39 +138 Hike395 talk contribs (add per Talk)
10 July 2025
- diffhist Design by contract 20:39 −15 24.50.56.74 talk (→Description)
- diffhist Module:Footnotes/whitelist 16:06 +12 Jonesey95 talk contribs (tweak Cite OGN)
- diffhist GitHub 12:19 +460 Detachedspork talk contribs (Adding small section for GitHub Copilot)