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 June 2024
- diffhist m Logical relations 22:09 +10 Megakacktus talk contribs (Improve notation #article-section-source-editor) Tags: Mobile edit Mobile app edit iOS app edit
- diffhist Lambda calculus 18:11 +17 Xland44 talk contribs (TM and LC are equivaent) Tag: Visual edit
6 June 2024
- diffhist Regular expression 20:32 −53 Neko-chan talk contribs (→IETF I-Regexp: updating cite)
- diffhist m Turing machine 17:05 −2 Hooman Mallahzadeh talk contribs (→Additional details required to visualise or implement Turing machines)
- diffhist Type system 14:28 0 Dinsm8re talk contribs (wording arrangement) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Type system 14:18 −4 Dinsm8re talk contribs (removed red link) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Linear logic 12:33 +469 Noamz talk contribs (restoring remark with better reference to tech report)
- diffhist Type theory 09:09 −5 213.24.133.237 talk (Removed strange out of place word "See" (typo?)) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Linear logic 06:21 −425 David Eppstein talk contribs (→Decidability/complexity of entailment: rm claim with bogus reference. https://dblp.org/db/conf/apn/apn1989.html lists nothing matching from that conference, and https://dblp.org/pid/g/CarlAGunter.html lists only an unrelated paper with Gehlot.)
5 June 2024
- diffhist Context-free grammar 17:19 +6 Jochen Burghardt talk contribs (→Language disjointness: introduce abbrev. "PCP" before use)
- diffhist Computable function 17:05 +121 Jochen Burghardt talk contribs (→Relation to recursively defined functions: fix typo; trying to fix imprecise sentences about the use of well-orderings)
- diffhist Axiom 15:23 +68 Oneequalsequalsone talk contribs (Undid revision 1227400384 by Remsense (talk) Added source)
- diffhist Axiom 14:08 −17 Remsense talk contribs (Reverting edit(s) by Oneequalsequalsone (talk) to rev. 1220274832 by Trovatore: No reliable source (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Axiom 12:42 +17 Oneequalsequalsone talk contribs (Add 'proper axioms' synonym) Tags: Reverted Visual edit
4 June 2024
- diffhist Generative grammar 18:30 +5 2600:4808:9c31:f400:e869:ce6c:6cda:85a talk (→Evidentiality: The idea that mathematics is not part of the module is not a common claim)
- diffhist m Context-free grammar 15:14 +177 Topazdragon89 talk contribs (→Language disjointness) Tag: Visual edit: Switched
2 June 2024
- diffhist Computable function 23:00 +270 David Eppstein talk contribs (→Relation to recursively defined functions: cite Ackermann non-prim-rec)
- diffhist Computable function 22:58 −634 David Eppstein talk contribs (→Relation to recursively defined functions: rewrite to avoid vague "some computable functions have no recursive definition" waffle, obviously false if one allows a recursive definition of the form "return the value obtained from running the Turing machine state obtained by applying this formula to make one more step in the current TM state")