{"entities":{"Q1077161":{"pageid":1087913,"ns":120,"title":"Item:Q1077161","lastrevid":70062237,"modified":"2026-04-13T12:10:44Z","type":"item","id":"Q1077161","labels":{"en":{"language":"en","value":"On sufficient-completeness and related properties of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956433"}},"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":"Q1077161$9829B59B-F211-43B9-B6B7-1E5419DA2DAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9e6363013cc1efd4b925af1f36c06f7d767b156","datavalue":{"value":{"text":"On sufficient-completeness and related properties of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077161$79AEF048-3DE3-45D1-ACB5-AFBF5CC06BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a7f276935fefbc3bf3e9923d014a3e86a28ccc","datavalue":{"value":"0594.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077161$ACDA50BE-54DE-4F02-A454-8A2A5424D11D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"778c9af4a04b1a73d1feb249087b3810249ca76f","datavalue":{"value":"10.1007/BF00292110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077161$6DACC5AF-D36E-40E2-A6E0-F57BED8C0C6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$5E63C4AE-5146-4FB3-B316-4934B89FD4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$94DE6708-663E-4D55-8F0F-4EB3DBC52227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$031AF219-430D-4848-A4F8-6C86A03FC56F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$96AC0D1F-37D1-408E-ACAC-6B11161FE5FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077161$631DC10D-6BEF-4D5F-8E9A-F51037922628","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e4cad27ecefbd08f820e1686f50dae6b2c8acaa","datavalue":{"value":"The decidability of the sufficient-completeness property of equational specifications satisfying certain conditions is shown. In addition, the decidability of the related concept of quasi-reducibility of a term with respect to a set of rules is proved. Other results about irreducible ground terms of a term rewriting system also follow from a key technical lemma used in these decidability proofs; this technical lemma states that there is a finite bound on the substitutions of ground terms that need to be considered in order to check for a given term, whether the result obtained by any substitution of ground terms into the term is irreducible with respect to the term rewriting system under consideration. These results are first shown for untyped systems and are subsequently extended to typed systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077161$7EA940FA-8B8C-478A-AE5A-D23D3CD772EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077161$C5EA96FD-519F-475E-A1E8-D0617F0D0721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8094726709206f3b5aaf4bb594e8d12bd557f5c","datavalue":{"value":"3956433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077161$7D15093C-F2A5-4DDA-BCC6-55415BE5DD1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd12de4ad110f763ff779198e675d20ee330ce6","datavalue":{"value":"decidability of the sufficient-completeness property of equational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077161$D9ADB8C5-B8F8-4447-A263-1131A54686A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28027cc59874cb5ff00ddab9f78ddb1ff5f2dfe","datavalue":{"value":"quasi-reducibility of a term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077161$AA22B6B3-ADB7-4600-961D-8EBE64458328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9fecadecdd2501caa613cf102b18dcd6b434c49","datavalue":{"value":"irreducible ground terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077161$19954AE4-BEA7-44DC-90C8-6AF24AE260C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077161$2B3A346F-68E8-46A7-9ADB-5CB5AF43ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a0fbf1321309eb519d204c050cb5e89adf9b3","datavalue":{"value":"inductionless induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077161$B473C5C0-9ECC-45AB-AC1F-37D4617B1468","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":"Q1077161$48F7EA20-89B6-411D-9EAF-5C746218F1A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$2CFB1AE1-7B78-4B73-A48B-060BEA4C7360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$85C9CB3D-9EB7-4023-B003-CD229C9B41D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$8C346D43-4206-4AAE-AD00-B69D34F611F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$60D52D1B-913E-47E1-ACE5-7F5D9FE79B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$C251D406-B4E1-4A61-AC3B-3C5AA17962A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$3875A673-5ABC-4680-9655-C70A71D35BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$035D979C-ABC2-4513-AD10-74E7CBD2BBFE","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":"Q1077161$33AF2C9F-1045-4F9D-B8AB-2C76520BEA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$28303008-222D-4876-9B8C-8F4135684CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3ec1e159bd1943261f2117168841011130fdd9","datavalue":{"value":{"entity-type":"item","numeric-id":3713575,"id":"Q3713575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$CC0622EA-8E54-4D62-9886-0EC60C49E9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b953cb2cd1a42b9069e57d498e21a22c77afbe","datavalue":{"value":{"entity-type":"item","numeric-id":3868738,"id":"Q3868738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$8A77B31F-D605-4287-9DB9-4AF7539AFF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db95c7ffd199d5ad831cab3827672f48c3fb0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1085618,"id":"Q1085618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$B8ED8AFC-6764-4059-A62B-74728D05D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136dca5eaf30010d2d4c0f6c9100d687138b0eac","datavalue":{"value":{"entity-type":"item","numeric-id":3956381,"id":"Q3956381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$35A31E2B-40C3-4C96-820D-5475EF03CC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13354f860f564233e3fdc040eb05000a09a267ad","datavalue":{"value":{"entity-type":"item","numeric-id":1057264,"id":"Q1057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$04E4C584-C2DB-4BEA-868D-405B0A37A675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077161$8BF4330C-9ED1-4A24-B66E-75F8CE8A1C62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5073862a29f2c508fd4cd4072bc975a4b64607","datavalue":{"value":{"entity-type":"item","numeric-id":3757892,"id":"Q3757892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88339d3855ad5bd97b1a5195cb970c92deeb5c3f","datavalue":{"value":{"amount":"+0.94268405","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":"Q1077161$F1A975CF-C641-4E53-AD1C-A7ED1584323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220c681f45c42b60d3d63ddffb235ed60022bdce","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4d0d62e3d105ceb2a569afa657778c49d82fab","datavalue":{"value":{"amount":"+0.93633807","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":"Q1077161$1B57D2DA-0276-4A5D-8F45-946B4BC5FE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fa858d8c83e041662670d67f4070c5fa01ebd4","datavalue":{"value":{"entity-type":"item","numeric-id":4364373,"id":"Q4364373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6ecafb40bc0b12d02f31dc3c8add2286c524a1","datavalue":{"value":{"amount":"+0.934116","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":"Q1077161$9FDA59AA-1EE6-47DD-8750-4836066004E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047fe20b686478cc211a21d8249ca832543781e3","datavalue":{"value":{"entity-type":"item","numeric-id":5941203,"id":"Q5941203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da863779dff0bc40b030884c3db57d17ab13a04c","datavalue":{"value":{"amount":"+0.921142","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":"Q1077161$E4367374-E96D-4CCB-9A49-73967CB9C0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516dd297a14393600224b343aca8705e81d0953a","datavalue":{"value":{"entity-type":"item","numeric-id":3347284,"id":"Q3347284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caae68eac8bfe3b7ad2e72365edbb6a03bc26181","datavalue":{"value":{"amount":"+0.91882646","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":"Q1077161$7CAF286C-8006-4B7C-AE33-880638E8725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85493091cff5adfd90ff669bf12df3c0bf60a9","datavalue":{"value":{"entity-type":"item","numeric-id":5881204,"id":"Q5881204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f7408f37002db8fe1f1e0a00019acde175301e","datavalue":{"value":{"amount":"+0.91230863","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":"Q1077161$1B56E8C4-BE15-4933-90C7-776111BBAE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2465b2cd9b1ba0f6e927e5789f1d855590d45c","datavalue":{"value":{"entity-type":"item","numeric-id":5096744,"id":"Q5096744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3c916c8483b05341acb3353aeee5ec9d2217e9","datavalue":{"value":{"amount":"+0.9114694","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":"Q1077161$BE7C2CF5-CEDA-4E3F-8CCC-EF095B0F57DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208f72cb0f8195b520255c8808344b8d9d5131d7","datavalue":{"value":{"entity-type":"item","numeric-id":2119990,"id":"Q2119990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdfe80fc886876edb49288dc31695f269cf6929","datavalue":{"value":{"amount":"+0.90387666","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":"Q1077161$3506AD72-6967-4B06-94B4-874B076884A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7678c7b70137e8ca67893ab5af55c697779b173","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fac1b577db589adfdc935ae8c84acd8d61a3ef","datavalue":{"value":{"amount":"+0.903347","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":"Q1077161$91465D58-6BCF-4AF1-A3BC-621CAFED5EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0beca14a5742b40438401972bbc9993097605816","datavalue":{"value":{"entity-type":"item","numeric-id":4376886,"id":"Q4376886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b573d6ea4005dbfd81917b78834a5ee3ea4fd5d","datavalue":{"value":{"amount":"+0.8997012","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":"Q1077161$AA76E958-85E1-4697-A1E0-AE2F15EDBC49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On sufficient-completeness and related properties of term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_sufficient-completeness_and_related_properties_of_term_rewriting_systems"}}}}}