Abstract rewriting system: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 18:4218:42, 20 March 2025 Ringo62 talk contribs m 15,038 bytes +6 ce undo Tag: Visual edit

curprev 18:3118:31, 26 April 2024 Mathnerd314159 talk contribs 15,032 bytes −29 →Basic notions: grammar undo
curprev 18:3018:30, 26 April 2024 Mathnerd314159 talk contribs 15,061 bytes −1 →Basic notions: left undo
curprev 16:2016:20, 26 April 2024 Crisperdue talk contribs 15,062 bytes +172 Define the "left arrow" relations also, as they are referenced in other sections. undo

curprev 06:4406:44, 13 August 2023 OAbot talk contribs m 14,890 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 07:0707:07, 26 July 2023 Citation bot talk contribs 14,873 bytes −2 Alter: author4. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 36/202 undo

curprev 12:5912:59, 30 January 2023 ActivelyDisinterested talk contribs 14,875 bytes +60 Resolving Category:Harv and Sfn no-target errors. Author and year are required undo
curprev 12:5412:54, 30 January 2023 ActivelyDisinterested talk contribs 14,815 bytes +401 →References: Resolving Category:Harv and Sfn no-target errors. If you are going to convert the cites, they need a full cite to link to undo

curprev 20:5720:57, 29 January 2023 Hellacioussatyr talk contribs 14,414 bytes +100 No edit summary undo Tag: 2017 wikitext editor

curprev 05:4205:42, 10 January 2023 Thatsme314 talk contribs m 14,314 bytes 0 →Definition: grammar undo

curprev 10:5210:52, 14 June 2022 SpiralSource talk contribs 14,282 bytes +87 Adding short description: "Formal system for transcribing expressions into equivalent terms" undo Tag: Shortdesc helper

curprev 14:4614:46, 28 January 2022 98.248.182.67 talk 14,195 bytes +24 →Further reading: add ISBN undo

curprev 02:3502:35, 13 December 2021 Mathnerd314159 talk contribs 14,171 bytes −394 remove Maude - as best as I can tell, it deals with concurrent *term* rewriting systems, not ARSs. the citation given is just the Maude manual and doesn't talk about ARSs undo
curprev 02:2802:28, 13 December 2021 Mathnerd314159 talk contribs 14,565 bytes −1,146 change word problem into a see also undo

curprev 06:4006:40, 27 November 2021 Citation bot talk contribs 15,711 bytes −40 Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 917/2195 undo

curprev 04:5804:58, 25 November 2021 Mathnerd314159 talk contribs 15,751 bytes +15 →Normal forms and the word problem: : split into two sections, they don't seem strongly related and this fits the main template better undo

curprev 19:4519:45, 24 November 2021 Jochen Burghardt talk contribs 15,736 bytes −16 Undid revision 1056935415 by 174.20.133.133 (talk): simplicity is a matter of formula length, unrelated to equivalence; there is no contradiction, while "seemingly / in fact" would suggest there is undo Tag: Undo
curprev 12:3112:31, 24 November 2021 174.20.133.133 talk 15,752 bytes +16 →The Church–Rosser property and notions of confluence: Improved grammar undo Tags: Reverted Mobile edit Mobile app edit Android app edit

curprev 00:5900:59, 23 November 2021 67.198.37.16 talk 15,736 bytes +394 Maude as an existing implementation undo

curprev 21:0021:00, 20 August 2021 Mathnerd314159 talk contribs 15,342 bytes +4 forgot some terms that needed bolding →Definition undo
curprev 20:5920:59, 20 August 2021 Mathnerd314159 talk contribs 15,338 bytes −38 more debolding per MOS:NOBOLD undo
curprev 20:2520:25, 20 August 2021 Mathnerd314159 talk contribs 15,376 bytes −85 add transitive closure, put <x> closure first as it's more uniform →Basic notions undo
curprev 20:0720:07, 20 August 2021 Mathnerd314159 talk contribs 15,461 bytes −362 combine church-rosser and confluence now that they're in one article undo

curprev 19:0919:09, 4 August 2021 Jochen Burghardt talk contribs 15,823 bytes −86 →Basic notions: rm "we"; fix dab-link, for now undo
curprev 17:0417:04, 4 August 2021 Michael Hardy talk contribs 15,909 bytes −2 →Basic notions undo

curprev 03:3903:39, 12 April 2021 Jonesey95 talk contribs m 15,911 bytes −7 Fix empty citation, unnamed or unsupported parameter, or invalid parameter value using AutoEd; see Help:CS1 errors undo

curprev 08:4608:46, 14 September 2020 Jochen Burghardt talk contribs 15,918 bytes +6 →Basic notions: suggest to put relation names in parantheses inside set expressions, to ease parsing; suggest keep the sharper version undo
curprev 06:2406:24, 14 September 2020 Jordan Mitchell Barrett talk contribs m 15,912 bytes +90 Fix typos undo Tag: Visual edit

curprev 10:4910:49, 10 June 2020 46.114.111.210 talk 15,822 bytes +4 →Notions of confluence: Fixed typo undo Tags: Mobile edit Mobile web edit
curprev 10:2510:25, 10 June 2020 46.114.111.210 talk 15,818 bytes +6 →Joinability and the Church–Rosser property: Fixed typo undo Tags: Mobile edit Mobile web edit

curprev 21:0921:09, 18 May 2020 LilHelpa talk contribs m 15,812 bytes +3 →Further reading: typo: sematic→semantic - title change confirmed at ref'd source; punc undo

curprev 10:5410:54, 17 April 2020 Jochen Burghardt talk contribs 15,809 bytes −235 Undid revision 951346227 by MaxEnt (talk): no applications are listed so far, and this one (at best still in design) should not be the first; moreover, 'variegated emergent complexity' is flowery langue at best undo Tag: Undo

curprev 18:3418:34, 16 April 2020 MaxEnt talk contribs 16,044 bytes +235 see also Wolfram Physics Project undo

curprev 16:5116:51, 22 February 2020 Jochen Burghardt talk contribs 15,809 bytes −62 →Example 1: being irreducible is unrelated to being "simple(st)"; e.g. for the singleton system "a --> a+0", the simplest term is "a", but it is reducible undo

curprev 20:1620:16, 21 February 2020 Reyk talk contribs 15,871 bytes −3 reduce verbosity per Wikipedia:Manual_of_Style/Words_to_watch#Editorializing and MOS:NOTE undo

curprev 03:5303:53, 28 October 2019 Sun Creator talk contribs m 15,874 bytes +30 Typo fixing, typo(s) fixed: straight-forward → straightforward undo Tag: AWB

curprev 19:1819:18, 19 July 2019 Citation bot talk contribs m 15,844 bytes +19 Add: isbn. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb undo

curprev 23:2923:29, 1 January 2019 Jarble talk contribs 15,825 bytes +91 adding links to references using Google Scholar undo

curprev 23:3723:37, 21 October 2018 Tassedethe talk contribs 15,734 bytes −4 No edit summary undo

20 March 2025

26 April 2024

13 August 2023

26 July 2023

30 January 2023

29 January 2023

10 January 2023

2 January 2023

14 June 2022

28 January 2022

13 December 2021

27 November 2021

25 November 2021

24 November 2021

23 November 2021

20 August 2021

4 August 2021

12 April 2021

14 September 2020

10 June 2020

18 May 2020

17 April 2020

16 April 2020

22 February 2020

21 February 2020

28 October 2019

19 July 2019

1 January 2019

21 October 2018