{"entities":{"Q685379":{"pageid":687228,"ns":120,"title":"Item:Q685379","lastrevid":63459699,"modified":"2026-04-11T13:18:16Z","type":"item","id":"Q685379","labels":{"en":{"language":"en","value":"Solving divergence in Knuth--Bendix completion by enriching signatures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417330"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$10E057BD-8C84-49B1-9E7B-395C8D630916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8898f5bee42569c3943eb28c50b299a6eccdf6d","datavalue":{"value":{"text":"Solving divergence in Knuth--Bendix completion by enriching signatures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685379$1E4AD7B6-B0BD-4261-8C22-D334769CF090","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b454f8108b9372b0c86aec42371c16190894324","datavalue":{"value":"0779.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$C15CC71E-BB26-4CF1-A5F4-66FC2F25372D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec44522821efbe2da0d393185f32aa3f33f73612","datavalue":{"value":"10.1016/0304-3975(93)90241-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$77DF5571-D1F0-4ED3-AD27-265CFF7FFC4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8060c937db3f0d27508bc22073371aa5d9825f20","datavalue":{"value":{"entity-type":"item","numeric-id":685378,"id":"Q685378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$EE879F92-AE1A-43AD-822D-A5A3A3C71AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af7ed6d23cdc0805c7198a684725f1495aa44d7d","datavalue":{"value":{"entity-type":"item","numeric-id":714862,"id":"Q714862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$3D6FB4B1-EA80-40B6-AF96-150076A3E085","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$65782A71-C587-432A-A34C-36FA76F46914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64676cb2fd723bcdd2b292334fc4e3600b92f31d","datavalue":{"value":{"time":"+1994-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685379$51802FD3-DDDC-4356-8E49-5C99447B30E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52e5a98b026a09b52f4c534bf08e804f64e756a7","datavalue":{"value":"The Knuth-Bendix completion algorithm is a procedure which generates confluent and terminating sets of rewrite rules. The algorithm has many applications: the resulting rules can be used as a decision procedure for equality or, in the case of program synthesis, as a program. We present an effective algorithm to solve some cases of divergence in the Knuth- Bendix completion algorithm, starting from a grammar characterising the infinite rule set. We replace an infinite set of rewrite rules by a finite complete set by enriching the original (order-sorted) signature with new sorts and new operator arities, while remaining within a conservative extension of the original system and within the original term set. The complexity of the new rewriting system is no worse than that of the original system. We characterise the class of examples for which this approach is applicable and give some sufficient conditions for the algorithm to succeed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685379$8E3396DE-2CEE-4309-B158-C08D9309F24F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$B26ED33F-B595-44FC-8D83-D9264CE494CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$7259EBC4-8C3A-4AD2-A0B7-A48830066FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$780D9D49-8415-427C-831C-AF2D13355E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1ca2f1974570ec839a3b6d9baa09e7a7ba6c0d7","datavalue":{"value":"417330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$6B4F6047-0885-4230-8E38-01317AF20E1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092aec5c85ed78f621ffc36c04c33efe0653c658","datavalue":{"value":"order sorted term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q685379$7BDCB1CE-5A96-4A93-AB6A-4798E082F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5ad218a3b4397ec08e8f6f7bee87b7af24de02","datavalue":{"value":"divergence in the Knuth-Bendix completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q685379$1BC704A2-4643-4D3F-94C4-22625C5FEB55","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9fdfbc40fb83d092838c91b5ba58f04912ca1c73","datavalue":{"value":"Q59675416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$5515FE41-9DF2-42C5-88CF-5938DF052ED1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$AA059549-15D7-4464-8289-1696618D217B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0bdefcdce10def11aea2e770e9d8a161d0bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5881270,"id":"Q5881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$92355173-960F-4DF3-9291-20A7F439C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9386b4272b452b92ed0c1c95bf80f247d5fb10e8","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$96F6B721-942E-4D4A-9509-6B5DCB13C808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$B2DD6635-46EB-4B20-BA11-D200C4EC7C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$D1DDA07A-DE7C-4A93-A512-C0BA4282E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$172A536F-01AA-4E35-A617-BF2A3CC27EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c0e0d5f53a5c5ad22b228cbbcad62e835f6388","datavalue":{"value":{"entity-type":"item","numeric-id":916402,"id":"Q916402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$9322E325-91AB-44B8-99BF-B6D9AA52B9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$C784B4F2-15E4-412C-BB18-E60E6224C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91c181eb5346fb8d5d6c8d626d661095ac857b8","datavalue":{"value":{"entity-type":"item","numeric-id":1262755,"id":"Q1262755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$80A92146-88CB-4569-A623-C62A18BFD218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d99c1afc936cde398325356b7b83aecd5cb4f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5881274,"id":"Q5881274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$56F034D6-D46D-427D-BF3D-99FDFB5AAA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf9a467ed3d4a57283b0a604ac931bc807b3da1","datavalue":{"value":{"entity-type":"item","numeric-id":5055769,"id":"Q5055769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$8A2A2360-3072-48AE-A8FC-6062F046E968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ef0b4038aa6d15cf1652afd68f5a3ef517c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1187687,"id":"Q1187687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$8BFB763C-0931-4E27-8198-C357906B75D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301c6781c7283c45edd0902ab584909a29b0aac1","datavalue":{"value":{"entity-type":"item","numeric-id":5055775,"id":"Q5055775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$F993D832-85CE-41EE-A4A3-1566CC670351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$CCEF6ED8-C2F7-4550-835F-A3458402C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869d4442a19887c35c6ffb8de8dc0db844cccf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3993363,"id":"Q3993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685379$11C07464-3635-4739-B0EB-6862C2D74E27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b493684dfe7e04b93730a5f6c7b9d9b03f37076b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90241-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q685379$4B7EF1B4-9EB2-4810-86D0-D203133BBFF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e047b84fd3ab1b86d9dba9026e87762c7f16e851","datavalue":{"value":"W2060409040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685379$53A6AEBC-7945-425F-B0A5-FAAD0C599068","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4394babb35832f5230c078c472b211cfc3f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":3325075,"id":"Q3325075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b0a54ec4043a6bd9e0502e82f178c366387d24","datavalue":{"value":{"amount":"+0.84879714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$DD74395D-54AF-45E7-8338-C72154A94FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f347b68470cf5fad9a8712e244de42e18d5f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3702509,"id":"Q3702509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1d932aa15096e8e562ae048f327c061371e8c9","datavalue":{"value":{"amount":"+0.8406927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$4B26196E-FC34-477C-8ED3-9750F83E45D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b80ae72552fe355c6d62c8e6e6500eb145a21","datavalue":{"value":{"entity-type":"item","numeric-id":3806800,"id":"Q3806800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dfaf59a3c20bfcb0558985eed40858383772a6","datavalue":{"value":{"amount":"+0.83166355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$4CC18A65-B389-45D0-8644-C7D1FD0FF3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1789754ecee27dc4d2ba7295d02ee02d35413c1","datavalue":{"value":{"entity-type":"item","numeric-id":2841250,"id":"Q2841250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dad353bab9110860260076f2e5e2d98b073d7a","datavalue":{"value":{"amount":"+0.8250685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$7F01186D-6AED-40E5-B574-90B6C6A294D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d920c5687b21d8e6eed4a006ebc349f82c106b6","datavalue":{"value":{"entity-type":"item","numeric-id":5899320,"id":"Q5899320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732c58878c1ebcf3b3025153255830bbcf6cafc0","datavalue":{"value":{"amount":"+0.81551564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$8DC7026C-FA23-4321-9587-3E0C7DF4D8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bbbf9d95ec6e484d6cec7feb284558813a56cd","datavalue":{"value":{"entity-type":"item","numeric-id":5881277,"id":"Q5881277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b197a822052180e7939cec70a0b89cb7474a18","datavalue":{"value":{"amount":"+0.81277245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$0BBFDE00-D2D6-4507-88C6-42B7024C8ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d88b6c0e576c87447c074da4e0022a9001e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":6114511,"id":"Q6114511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8278c233b780a62ac38284ff25365d793d320a4e","datavalue":{"value":{"amount":"+0.81174904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$15E685F0-4DCA-4BD4-9A7C-CD8A09D9CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d92be5fbf609684652a1bc7590db43f6f12bb0","datavalue":{"value":{"entity-type":"item","numeric-id":3140551,"id":"Q3140551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a3626b862dace89f4d63a479e2bfdf2a6314ec","datavalue":{"value":{"amount":"+0.8090456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$C405DFCC-57CB-4CC8-A368-1F76EBA13D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fcfc46fe50037151497d41ad9adf4d0260cdfd","datavalue":{"value":{"entity-type":"item","numeric-id":5055776,"id":"Q5055776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7eeed2f58cafa5b86328dd5b4ca8de432d73d78","datavalue":{"value":{"amount":"+0.8086926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$2F11E082-24AD-4CD3-936F-F4E093B9FA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e3ffa3fd618efeeedddd9a02c6590c4f39bb00","datavalue":{"value":{"entity-type":"item","numeric-id":1037933,"id":"Q1037933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a029db5767a990a5792e86eeb22059317b6745","datavalue":{"value":{"amount":"+0.8049897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685379$FA0D7936-676F-42BB-AC7B-EE143EAA1F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving divergence in Knuth--Bendix completion by enriching signatures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_divergence_in_Knuth--Bendix_completion_by_enriching_signatures"}}}}}