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 Intuitionistic logic 11:44 +60 ~2025-39060-10 talk contribs (→References)
- diffhist m Counterfactual conditional 10:12 −24 Aadirulez8 talk contribs (v2.05 - Autofix / Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist Contradiction 09:57 +20 Christian75 talk contribs ({{R with history}})
- diffhist Type theory 08:29 −20 Tea2min talk contribs (Undid revision 1326078069 by QuantumNinus (talk): Please see WP:Write the article first.) Tag: Undo
- diffhist Information theory 07:56 +44 PAR talk contribs (particularize the information being referred to.)
- diffhist Information theory 02:27 −30 StarryGrandma talk contribs (→top: removed ref that doesn't seem to confirm this dictionary definition)
- diffhist XNOR gate 01:18 +15 Mikhail Ryazanov talk contribs (→More than two inputs: link to parity bit)
- 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) Tag: Reverted
- diffhist Axiomatic system 21:28 +22 QuantumNinus talk contribs (→See also)
- diffhist Axiomatic system 21:26 −11 QuantumNinus talk contribs (→See also)
- 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 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 Edward N. Zalta 15:48 −24 Villaida talk contribs (removed stub template) Tag: Visual edit
- diffhist Lambda calculus 15:15 +215 WillNess talk contribs (→Definition: further c/e)