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
3 July 2025
- diffhist Formal system 23:26 +82 Yesterday, all my dreams... talk contribs (clarify logical completeness)
- diffhist Formal system 23:22 +16 Yesterday, all my dreams... talk contribs (link)
2 July 2025
- diffhist Algorithm 22:21 −46 2.196.141.187 talk (removed a detail (basically part of the use of the telegraph already indicated in the previous sentence))
- diffhist Computer program 17:35 −90 Timhowardriley talk contribs (The discussion is giving me a headache)
- diffhist Formal system 00:50 −23 Yesterday, all my dreams... talk contribs (better lnk)
- diffhist Formal system 00:49 +2 Yesterday, all my dreams... talk contribs (lnk)
- diffhist Formal system 00:48 −1 Yesterday, all my dreams... talk contribs (order)
- diffhist Formal system 00:47 +275 Yesterday, all my dreams... talk contribs (Goedel theorem)
1 July 2025
- diffhist First-order logic 20:50 +16 Tholme talk contribs (→Formalizing natural languages)
- diffhist First-order logic 20:50 +21 Tholme talk contribs (→Formalizing natural languages: fix nightmode)
29 June 2025
28 June 2025
- diffhist Formal system 23:45 +87 Yesterday, all my dreams... talk contribs (→Formal language: No: Formal languages can exist on their own, and may be used in various systems, or not)
- diffhist Formal system 23:41 −17 Yesterday, all my dreams... talk contribs (also inductive)
- diffhist Formal system 23:39 −17 Yesterday, all my dreams... talk contribs (axioms do nt necessarily rely on structures/models)
- diffhist Sorting algorithm 12:24 +83 Jingjingzhang773 talk contribs (Added more details on Tournament Sort.) Tag: Visual edit
- diffhist m Sorting algorithm 12:22 +40 Jingjingzhang773 talk contribs Tag: Visual edit
- diffhist Sorting algorithm 12:21 +5 Jingjingzhang773 talk contribs Tag: Visual edit
- diffhist Sorting algorithm 12:20 +9 Jingjingzhang773 talk contribs Tag: Visual edit
- diffhist Sorting algorithm 12:19 +50 Jingjingzhang773 talk contribs Tag: Visual edit
- diffhist Sorting algorithm 12:17 +36 Jingjingzhang773 talk contribs Tag: Visual edit