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
7 December 2025
- diffhist m Claude Shannon 00:23 −1 Marcobian talk contribs (remove space)
- diffhist Programming language 00:15 −82 Tedickey talk contribs (revert - see WP:EL) Tag: Undo
6 December 2025
- diffhist Programming language 23:43 +82 QuantumNinus talk contribs Tag: Reverted
- diffhist Type theory 23:15 +20 QuantumNinus talk contribs (→See also)
- diffhist Axiomatic system 21:28 +22 QuantumNinus talk contribs (→See also)
- diffhist Axiomatic system 21:26 −11 QuantumNinus talk contribs (→See also)
- diffhist Template:Yesno 20:28 −26 Pppery talk contribs (Copy from sandbox per request)
- diffhist Spectrum of a sentence 19:38 −12 ~2025-39027-88 talk contribs (changed iff to if. the proof for nexp -> spectrum is only proof for 2^cx and not exptime. this is because exptime includes 2^c^x which may grow faster for an increasing input length.) Tag: Visual edit
- diffhist m Zohar Manna 18:22 −16 Waacstats talk contribs (→External links: Stub sort) Tag: AWB
- diffhist Lambda calculus 17:41 +169 WillNess talk contribs (→Pairs: some flow c/e)
- diffhist Lambda calculus 17:26 +645 WillNess talk contribs (→Pairs: c/e to improve logical flow and make the definitions local, for easier comprehension ; also elaborate on pred on pairs)
- diffhist Proposition 17:17 +23 Phlsph7 talk contribs (add isbn)
- diffhist Lambda calculus 15:15 +215 WillNess talk contribs (→Definition: further c/e)
- diffhist Leonardo Torres Quevedo 10:29 −6 ~2025-37074-46 talk contribs
- diffhist Help:Footnotes 08:43 −72 Beland talk contribs (→See also: drop deprecated method)
- diffhist Ordinal number 04:21 +2,511 Tosiaki! talk contribs (→Consequences: rewording and adding more detail to this section)
- diffhist m Algebraic logic 03:36 +1 Wbm1058 talk contribs (redirect bypass from Vaughn Pratt to Vaughan Pratt using popups)
- diffhist Ordinal number 03:35 +1,692 Tosiaki! talk contribs (→Von Neumann definition of ordinals: rewording the Burali-Forti paradox)
- diffhist Ordinal number 03:19 +2,771 Tosiaki! talk contribs (→Basic properties: adding successor)
- diffhist m Injective function 02:08 +4 Ira Leviton talk contribs (Fixed a reference. Please see Category:CS1 errors: dates.)
- diffhist Ordinal number 02:06 +3,592 Tosiaki! talk contribs (→Basic properties: adding union and intersection)
- diffhist Ordinal number 01:46 +1,208 Tosiaki! talk contribs (→Basic properties: adding the next lemma)
- diffhist Ordinal number 01:41 +1,781 Tosiaki! talk contribs (→Basic properties: adding the next lemma)
- diffhist Ordinal number 01:29 +2,452 Tosiaki! talk contribs (→Von Neumann definition of ordinals: clarifying the proof that members of an ordinal is also an ordinal)