Jump to content

Path ordering (term rewriting): Revision history

View logs for this page (view filter log)

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 07:0407:04, 25 July 2023 Citation bot talk contribs 7,730 bytes +1 Misc citation tidying. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 01:0101:01, 4 July 2023 Dwarfroe talk contribs 7,729 bytes +54 Adding local short description: "Total order in computer science", overriding Wikidata description "in term rewriting, a well-founded strict total order (>) on the set of all terms" undo Tag: Shortdesc helper

curprev 14:3714:37, 2 February 2021 Citation bot talk contribs 6,929 bytes +51 Add: s2cid, doi. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Order theory | via #UCB_Category 9/180 undo

curprev 07:5007:50, 21 January 2021 Jochen Burghardt talk contribs 6,878 bytes −28 Undid revision 1001250259 by 81.5.57.99 (talk) undo Tag: Undo

curprev 21:5621:56, 18 January 2021 81.5.57.99 talk 6,906 bytes +28 No edit summary undo Tags: Reverted Mobile edit Mobile app edit iOS app edit

curprev 03:0703:07, 30 September 2019 Monkbot talk contribs m 6,878 bytes −1 →top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 19:4619:46, 2 April 2018 24.238.45.249 talk 6,879 bytes +2 less -> fewer undo

curprev 06:5606:56, 14 March 2018 InternetArchiveBot talk contribs 6,877 bytes +157 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.5) undo

curprev 07:1507:15, 25 September 2014 Jochen Burghardt talk contribs 6,720 bytes +14 →top undo

curprev 21:0121:01, 19 September 2014 Jochen Burghardt talk contribs 6,706 bytes +8 →top: wikilinks undo

curprev 16:1016:10, 21 July 2014 Monkbot talk contribs m 6,698 bytes −8 Task 1c: Fix CS1 deprecated date parameter errors undo

curprev 13:1213:12, 2 July 2014 Jochen Burghardt talk contribs 6,706 bytes −7 removed repeated 'strict'→top undo

curprev 17:4517:45, 17 June 2014 Jochen Burghardt talk contribs 6,713 bytes +20 →Formal definitions: dab undo

curprev 19:1019:10, 11 June 2014 Jochen Burghardt talk contribs 6,693 bytes +1 fixed correction (but thanks anyway!) undo
curprev 16:4116:41, 11 June 2014 Mdann52 talk contribs m 6,692 bytes −11 Checkwiki error fix #10 - fixing unbalanced square brackets., removed stub tag, typo(s) fixed: ect. → etc. using AWB undo
curprev 06:0906:09, 11 June 2014 Jochen Burghardt talk contribs 6,703 bytes +1 →Formal definitions: fixed bracket error undo

curprev 09:3809:38, 10 June 2014 Jochen Burghardt talk contribs 6,702 bytes +935 →Formal definitions: started explanation towards lpo (will be finished soon) undo
curprev 09:1209:12, 10 June 2014 Jochen Burghardt talk contribs 5,767 bytes +1,392 →top: started sect. "Formal definitions" undo
curprev 08:2508:25, 10 June 2014 Jochen Burghardt talk contribs 4,375 bytes +301 →top: 2nd general reference undo

curprev 17:3317:33, 6 June 2014 Jochen Burghardt talk contribs 4,074 bytes −9 →top undo

Retrieved from "https://en.wikipedia.org/wiki/Path_ordering_(term_rewriting)"