Normal form (abstract rewriting): 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 20:5920:59, 27 April 2024 Thiagovscoelho talk contribs 9,750 bytes +27 No edit summary undo

curprev 18:4018:40, 29 November 2023 Citation bot talk contribs 9,723 bytes −44 Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 1689/2500 undo

curprev 16:2916:29, 19 March 2023 Citation bot talk contribs 9,767 bytes −160 Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 22:2622:26, 21 February 2023 Rsjaffe talk contribs m 9,927 bytes +1 →Untyped lambda calculus: clean up, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

curprev 15:4015:40, 8 February 2023 Mathnerd314159 talk contribs 9,926 bytes −3,038 Undid revision 1138151859 by LParreaux (talk) - it was not lost, it was moved to Meta-circular evaluator#Self-interpretation in total programming languages. Made the link clearer undo
curprev 08:3308:33, 8 February 2023 LParreaux talk contribs 12,964 bytes +3,033 Add important material back, that was lost during the incorporation of "Normalization_property_(abstract_rewriting)" undo

curprev 18:3418:34, 30 January 2023 Citation bot talk contribs 9,931 bytes −56 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Kline | Category:Lambda calculus | #UCB_Category 46/50 undo

curprev 17:5017:50, 29 January 2023 OAbot talk contribs m 9,987 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 05:5905:59, 13 December 2022 Citation bot talk contribs 9,970 bytes +2 Alter: pages. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 139/202 undo

curprev 08:2108:21, 29 November 2022 Jochen Burghardt talk contribs 9,968 bytes +4 →top: rewrite systems usually work on syntactic representations of objects, so "expression" is more adequate, imo undo

curprev 18:1618:16, 28 November 2022 Anon423 talk contribs 9,964 bytes +62 Adding local short description: "Object that cannot be rewritten further", overriding Wikidata description "an object that cannot be rewritten further" undo Tag: Shortdesc helper

curprev 19:4019:40, 17 October 2022 Mathnerd314159 talk contribs m 9,902 bytes −7 →Examples: can't use chapter twice undo
curprev 19:3819:38, 17 October 2022 Mathnerd314159 talk contribs m 9,909 bytes −7 →Examples: fix cite warnings undo
curprev 19:3419:34, 17 October 2022 Mathnerd314159 talk contribs 9,916 bytes +852 →Examples: add weakly-but-not-strongly normalizing example, replace arrows with unicode undo
curprev 18:0318:03, 17 October 2022 Mathnerd314159 talk contribs 9,064 bytes −348 →Examples: use examples from sources undo

curprev 14:2214:22, 16 October 2022 Jochen Burghardt talk contribs 9,412 bytes −24 Undid revision 1116424032 by Xqyww123 (talk): let's discuss this on the talk page (WP:BRD) undo Tag: Undo
curprev 14:0214:02, 16 October 2022 Xqyww123 talk contribs 9,436 bytes +24 Undid revision 1116423400 by Xqyww123 (talk) Sorry I am a newbie in editing Wiki page, and I pressed the enter key by mistake... so, I am sure my edit is correct and I noticed the word `not`. Actually, g(3,3) can be normalized strongly. The thing is any term containing like g(4,4) cannot be normalized strongly, so that is any g(z,z) where z not equal to 3. undo Tags: Undo Reverted
curprev 13:5813:58, 16 October 2022 Xqyww123 talk contribs 9,412 bytes −24 Undid revision 1116422754 by Xqyww123 (talk) undo Tags: Undo Reverted
curprev 13:5413:54, 16 October 2022 Xqyww123 talk contribs 9,436 bytes +24 Undid revision 1115603941 by Jochen Burghardt (talk) undo Tags: Undo Reverted

curprev 08:1108:11, 12 October 2022 Jochen Burghardt talk contribs 9,412 bytes −24 Undid revision 1115591110 by Xqyww123 (talk): wrong - maybe you missed the negation ("... not containing g(3,3) ...")? undo Tags: Undo Reverted
curprev 06:2106:21, 12 October 2022 Xqyww123 talk contribs 9,436 bytes +24 →Examples undo Tag: Reverted

curprev 16:0616:06, 9 January 2022 Laiwoonsiu talk contribs 9,412 bytes −35 Corrected the uncited reference to an inline citation. undo

curprev 04:0204:02, 16 December 2021 Mathnerd314159 talk contribs 9,447 bytes +107 →Untyped lambda calculus: expand explanation a bit undo
curprev 00:0900:09, 16 December 2021 Mathnerd314159 talk contribs 9,340 bytes −4 →Untyped lambda calculus: italics seem pointless here undo

curprev 11:5111:51, 11 December 2021 Citation bot talk contribs 9,344 bytes +53 Alter: url, pages. URLs might have been anonymized. Add: isbn, series. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 21/214 undo

curprev 17:1617:16, 25 September 2021 Mathnerd314159 talk contribs 9,291 bytes +532 expand a little →Results undo

curprev 17:0717:07, 17 September 2021 Michael Hardy talk contribs 8,759 bytes +151 No edit summary undo
curprev 17:0117:01, 17 September 2021 Michael Hardy talk contribs 8,608 bytes 0 →Untyped lambda calculus undo

curprev 05:5705:57, 9 September 2021 Jochen Burghardt talk contribs 4,859 bytes +52 Partly undid revision 1043208588 by Mathnerd314159 (talk): despite its name, Normalization property (abstract rewriting) just deals with typed/untyped Lambda calculus; I support the merge undo

curprev 22:4122:41, 8 September 2021 Mathnerd314159 talk contribs 4,807 bytes +53 →Normalization properties: : add link to article. probably should merge the articles since they're so similar... undo

curprev 20:5020:50, 20 August 2021 Mathnerd314159 talk contribs 4,754 bytes +467 debold, WN/SN are a.k.a. normalizing and terminating →Normalization properties undo

curprev 20:0920:09, 30 March 2021 Citation bot talk contribs 4,287 bytes −9 Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | via #UCB_webform 1076/1483 undo

curprev 20:1520:15, 1 December 2020 Citation bot talk contribs 4,296 bytes −21 Alter: url. URLs might have been internationalized/anonymized. Add: isbn. Upgrade ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 2531/9606 undo

curprev 16:5916:59, 19 January 2020 Jochen Burghardt talk contribs 4,317 bytes −14 Undid revision 936438955 by 2001:984:9396:1:107E:8B9E:3BAC:2B6B (talk): as far as I know, in English it is "..., respectively" undo Tag: Undo

curprev 21:4221:42, 18 January 2020 2001:984:9396:1:107e:8b9e:3bac:2b6b talk 4,331 bytes +14 clarified grammar undo

curprev 23:3423:34, 1 January 2019 Jarble talk contribs 4,317 bytes +111 adding links to references using Google Scholar undo

curprev 18:0718:07, 4 July 2017 Matthiaspaul talk contribs 4,206 bytes −57 CE undo
curprev 18:0418:04, 4 July 2017 Matthiaspaul talk contribs 4,263 bytes +37 →Notes: +See also undo

curprev 23:4223:42, 5 December 2016 Omnipaedista talk contribs 4,226 bytes 0 per MOS:CAPS undo

curprev 11:0011:00, 31 January 2015 Luciotato talk contribs 4,226 bytes +57 →Normalization properties undo

curprev 21:3521:35, 2 September 2014 Jochen Burghardt talk contribs 4,169 bytes +1 Undid revision 623912765 by Rscollier1966: rewriting the outermost occ. yields g(4,2) undo

27 April 2024

29 November 2023

19 March 2023

21 February 2023

8 February 2023

30 January 2023

29 January 2023

13 December 2022

29 November 2022

28 November 2022

17 October 2022

16 October 2022

12 October 2022

9 January 2022

16 December 2021

11 December 2021

25 September 2021

17 September 2021

12 September 2021

9 September 2021

8 September 2021

20 August 2021

30 March 2021

1 December 2020

19 January 2020

18 January 2020

1 January 2019

4 July 2017

5 December 2016

31 January 2015

2 September 2014