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
29 May 2025
- diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit
28 May 2025
- diffhist Collatz conjecture 17:31 −386 David Eppstein talk contribs (Undid revision 1292761101 by Huldar98 (talk) This is the introduction to the article. It DOES NOT NEED CITATIONS to material that it summarizes from the body of the article, cited there, and it even more than that does not need duplicated copies of the same citation rather than properly re-used citations.) Tag: Undo
- diffhist m Collatz conjecture 17:28 +386 Huldar98 talk contribs (Thank you @JayBeeEll. I didn't notice that. Added the same citation both places since even though it is cited below it should be cited at the first mention of it.) Tag: Reverted
- diffhist m Collatz conjecture 11:48 +2 Egcaber talk contribs (→In computational complexity: computation -> computational)
27 May 2025
- diffhist Collatz conjecture 21:54 −157 JayBeeEll talk contribs (Undid revision 1292575041 by Huldar98 (talk) this is the introduction of the article; it summarizes the body, and is supported by citations there) Tag: Undo
- diffhist m Collatz conjecture 18:42 +157 Huldar98 talk contribs (Added a "Citation needed") Tags: Reverted Visual edit: Switched
25 May 2025
- diffhist Cambridge University Press 03:45 −9 Nedrutland talk contribs (→Publications: "Easter Wings" et al.)
24 May 2025
- diffhist m Calculus of constructions 17:38 −83 Jet Pilot talk contribs (Reverted edits by 102.208.96.70 (talk) to last version by AnomieBOT: nonconstructive edits) Tags: Rollback SWViewer [1.6]
- diffhist Calculus of constructions 17:37 +83 102.208.96.70 talk (ABSTAA224679181.fuahad) Tags: Reverted Mobile edit Mobile web edit
- diffhist Collatz conjecture 17:19 +23 Egcaber talk contribs (→See also: Add juggler sequence link)