Jump to content

Knuth–Bendix completion algorithm: 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 14:4614:46, 27 March 2023‎ Citation bot talk contribs‎ 21,644 bytes −84‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 22:4522:45, 20 October 2022‎ TFCSM talk contribs‎ 21,728 bytes +2‎ →‎Introduction: Fix grammar: as binary relation -> as a binary relation undo Tags: Mobile edit Mobile web edit

curprev 22:3922:39, 20 January 2022‎ 2a0d:6fc2:43d0:9200:7198:40e5:da64:5b4e talk‎ 21,726 bytes +34‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 01:3201:32, 24 December 2021‎ Mathnerd314159 talk contribs‎ 21,692 bytes +419‎ →‎Generalizations: improve discussion of completion without failure paper undo

curprev 19:5619:56, 10 September 2021‎ Mathnerd314159 talk contribs‎ 21,273 bytes +86‎ Knuth-Bendix Completion Visualizer →‎External links undo

curprev 17:5317:53, 30 August 2021‎ Jochen Burghardt talk contribs‎ 21,187 bytes +619‎ →‎Example: suggest to slightly beautify E-Prover output undo

curprev 14:4514:45, 24 May 2021‎ TheKing44 talk contribs‎ 20,568 bytes +68‎ →‎String rewriting systems in group theory: Added caveat undo Tags: Mobile edit Mobile app edit Android app edit

curprev 16:5316:53, 19 May 2021‎ TheKing44 talk contribs‎ 20,500 bytes −32‎ →‎String rewriting systems in group theory: Rules might overlap themselves in non-trivial ways, so the condition needs removed undo Tags: Mobile edit Mobile app edit Android app edit

curprev 09:1209:12, 11 February 2021‎ 24.143.110.83 talk‎ 20,532 bytes 0‎ Fixing typo ("than" instead of "that") undo

curprev 13:5813:58, 2 January 2021‎ Jochen Burghardt talk contribs‎ 20,532 bytes −30‎ →‎top: dab "term" undo

curprev 22:5222:52, 1 January 2021‎ R'n'B talk contribs‎ m 20,562 bytes +24‎ Disambiguating links to Term (help needed) using DisamAssist. undo

curprev 16:1916:19, 22 December 2020‎ Tom.Reding talk contribs‎ m 20,538 bytes +27‎ Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

curprev 14:0414:04, 31 August 2020‎ Citation bot talk contribs‎ 20,511 bytes +52‎ Alter: url. | You can use this bot yourself. Report bugs here. | Suggested by SemperIocundus | via #UCB_webform undo

curprev 23:0823:08, 16 June 2020‎ Trappist the monk talk contribs‎ m 20,459 bytes +17‎ →‎Rules: cite repair; undo
curprev 23:0623:06, 16 June 2020‎ Trappist the monk talk contribs‎ m 20,442 bytes +8‎ →‎Rules: cite repair; undo
curprev 23:0523:05, 16 June 2020‎ Trappist the monk talk contribs‎ m 20,434 bytes +39‎ →‎A non-terminating example: cite repair; undo

curprev 13:0913:09, 30 April 2020‎ Hbuisman talk contribs‎ m 20,395 bytes +38‎ No edit summary undo

curprev 20:0820:08, 31 March 2020‎ Jochen Burghardt talk contribs‎ 20,357 bytes −8‎ →‎Introduction: agreed, but then avoid reduction example that could be simplified by omitting the last step on both sides undo

curprev 03:5803:58, 30 March 2020‎ Launchpadx talk contribs‎ 20,365 bytes 0‎ I believe b*1 is supposed to be 1*b or else there wouldn't be a matching substitution undo

curprev 21:2621:26, 13 December 2019‎ Citation bot talk contribs‎ m 20,365 bytes +68‎ Add: chapter-url. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 19:0919:09, 17 September 2019‎ Equinox talk contribs‎ m 20,297 bytes −2‎ no space between the surnames undo

curprev 17:2117:21, 27 August 2019‎ Bender the Bot talk contribs‎ m 20,299 bytes +1‎ →‎References: HTTP → HTTPS for Tufts CS, replaced: http://www.cs.tufts.edu/ → https://www.cs.tufts.edu/ undo Tag: AWB

curprev 16:1616:16, 19 July 2019‎ Nemo bis talk contribs‎ 20,298 bytes −143‎ redundant URL undo

curprev 04:2704:27, 26 February 2019‎ Jarble talk contribs‎ 20,441 bytes +73‎ adding links to references using Google Scholar undo
curprev 04:2504:25, 26 February 2019‎ Jarble talk contribs‎ 20,368 bytes +198‎ adding links to references using Google Scholar undo

curprev 19:0819:08, 13 September 2018‎ JCW-CleanerBot talk contribs‎ m 20,170 bytes −4‎ task, replaced: J. Comput. System Sci. → J. Comput. Syst. Sci. undo Tag: AWB

curprev 15:0815:08, 20 February 2018‎ 103.21.125.83 talk‎ 20,174 bytes +2‎ No edit summary undo Tag: Visual edit

curprev 08:2708:27, 12 November 2017‎ 222.153.170.187 talk‎ 20,172 bytes +99‎ Why xxxyxyxy? Because Case 1. undo

curprev 19:0619:06, 11 May 2017‎ Syrak talk contribs‎ 20,073 bytes 0‎ →‎Introduction undo
curprev 19:0519:05, 11 May 2017‎ Syrak talk contribs‎ 20,073 bytes 0‎ →‎Introduction undo
curprev 19:0419:04, 11 May 2017‎ Syrak talk contribs‎ m 20,073 bytes 0‎ No edit summary undo

curprev 04:1104:11, 30 December 2016‎ Cedar101 talk contribs‎ m 20,073 bytes +522‎ →‎A terminating example: equation numbering undo

curprev 03:1503:15, 27 November 2016‎ Unready talk contribs‎ m 19,551 bytes −15‎ <pre> for unsupported lang undo

curprev 15:5015:50, 1 June 2016‎ Dcirovic talk contribs‎ m 19,566 bytes +5‎ clean up using AWB undo

curprev 05:5605:56, 15 December 2015‎ Cedar101 talk contribs‎ m 19,561 bytes +13‎ →‎Rules: {{underset|''R''|⟶}} undo

curprev 10:4210:42, 14 December 2015‎ Cedar101 talk contribs‎ m 19,548 bytes +100‎ →‎Rules: {{math}}, {{mvar}} undo

curprev 08:4108:41, 2 November 2015‎ Silvescu talk contribs‎ m 19,207 bytes +3‎ →‎Description of the algorithm for finitely presented monoids undo

curprev 19:1019:10, 28 August 2015‎ Dexbot talk contribs‎ m 19,204 bytes +281‎ Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 04:5404:54, 4 June 2015‎ Ezrakilty talk contribs‎ m 18,923 bytes +1‎ →‎Rules: Fix one more relation space undo
curprev 04:5404:54, 4 June 2015‎ Ezrakilty talk contribs‎ m 18,922 bytes +42‎ →‎Rules: Fix spacing around relations undo

curprev 14:5914:59, 30 May 2015‎ Rjwilmsi talk contribs‎ m 18,880 bytes +34‎ →‎References: Journal cites, Added 1 doi to a journal cite using AWB (10971) undo

curprev 16:5416:54, 15 May 2015‎ Trappist the monk talk contribs‎ m 18,846 bytes −2‎ replace/remove deprecated cs1|2 parameters; using AWB undo

curprev 10:2010:20, 21 April 2015‎ 86.127.138.67 talk‎ 18,848 bytes 0‎ →‎A non-terminating example undo
curprev 10:1610:16, 21 April 2015‎ 86.127.138.67 talk‎ 18,848 bytes +1,081‎ →‎Example: needs an example of the other kind too undo

curprev 08:1208:12, 3 March 2015‎ Cedar101 talk contribs‎ m 17,767 bytes +26‎ →‎Example: <source> undo

Retrieved from "https://en.wikipedia.org/wiki/Knuth–Bendix_completion_algorithm"