{"entities":{"Q1111368":{"pageid":1122117,"ns":120,"title":"Item:Q1111368","lastrevid":49223833,"modified":"2026-01-06T19:26:39Z","type":"item","id":"Q1111368","labels":{"en":{"language":"en","value":"Conditional rewrite rules: Confluence and termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4076599"}},"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":"Q1111368$C44A3B38-1AEE-478D-A203-C59C9ACFE8D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fa33cea7183e280a248126bfdda72bb3d3dd71a","datavalue":{"value":{"text":"Conditional rewrite rules: Confluence and termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111368$7AB3E162-C56C-4536-A59B-832E59088D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"759dbbc5971c50b123880e6c399eea0b69086a0b","datavalue":{"value":"0658.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111368$350C6CC6-AF92-4265-A8FE-48706B232957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63edb3e9ee4f5a905227fb7ec8a027fda346f597","datavalue":{"value":"10.1016/0022-0000(86)90033-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111368$D7ECF06A-DCD1-4C1B-874C-817A0D46D0A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$638D4A51-EE20-42AF-8DAC-D8AEF6EBB6C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1111368$09848001-A4E2-4946-98F8-214A1723A008","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fffa9992510facdae0ccf2a41b44a121389c8d36","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/12720","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111368$69565D1C-2FF4-479D-9A24-C2D214D219D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6765e1e2ead4683c25126359a6c096caf8b7073c","datavalue":{"value":"The authors consider conditional rewrite rules:  \\[  \\bigwedge^{n}_{i=0}(t_ i\\@s_ i)\\quad \\Rightarrow \\quad (t\\to s)\\quad,\\quad where\\quad \\@\\in (=,|,\\to \\to \\}\\quad,  \\]  and four corresponding term rewriting systems (TRS);   0 for \\(n=0,\\)    I for \\(n=0\\) and \\(\\@\\) is \\(=,\\)    II for \\(n=0\\) and \\(\\@\\) is \\(|\\), and    III for \\(n=0\\) and \\(\\@\\) is \\(\\to \\to;\\)     also the particular case \\(III_ n\\) when s are normal closed forms (they contain neither variables nor rules). \\(\\@\\) operations define a reduction relation which could be circular; the problem is solved by a fixed point construction; this approach enables the authors to show that the whole type 0 syntactic theory is suitable also to I and \\(III_ n\\) types without using a hierarchy of TRSs. The authors consider the confluence and termination problem for some known strategies: full substitution, leftmost reduction, parallel outermost reduction. They analyse the decidability of normal forms and give some criteria.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$CE7994DF-924E-41DD-BF7B-8A6C2D51F450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111368$2B8A57E1-ADF3-4A92-A2DF-53CF743E68AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111368$4674FABB-FE01-474A-AA28-2C223EEF06BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2dcd29c8f5329f382176eba1f310ffbaa020a5","datavalue":{"value":"4076599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111368$FC594E24-E8E6-4155-A9C0-141711C63C31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$AC4F74F4-151E-43A3-8A1E-DA539A402FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e623ec118f141e6eeb9168529b417dbeab970b78","datavalue":{"value":"reduction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$658EE3ED-92C2-4969-8816-5A47A1A493B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d2d48d21b7e55837aff6ad08f656a0e53dab64","datavalue":{"value":"conditional rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$D23A34CD-7C2B-429B-A5F2-A577B9D88BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$3FF106CE-74E9-4873-98DC-7E43471AD3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$412F0AD0-94A8-49C7-902F-E0798C1EA3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111368$7E82EE40-0EF9-420C-82E3-F7466BE57FAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$06855C2D-3641-45AD-8DF7-0058B82934D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$4619E874-CC5D-49D6-B55E-EE8DEF4ED279","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":"Q1111368$48347B05-A715-49B5-A90B-C13C2B986D0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3338f11c8ceb74024f61cb0b47ceab956d6d84d8","datavalue":{"value":"W2167316540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111368$0CFA5D8E-6908-48C7-835B-98F1DF2900D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$25094B77-203C-496B-9856-0CB0DD2AB9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907aa2ec32dd709ef2ac1f74163a80b2dde836f8","datavalue":{"value":{"entity-type":"item","numeric-id":3896478,"id":"Q3896478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$53D75FD2-294D-44DC-8021-6EE0E851FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$0BB075EC-351B-41F3-BC19-B2D0854AF06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$1B4DB346-64BB-46D9-BF8E-504DA7A45D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f8d0ddc20429cb5ddeb8d2aa2be986bead10cd","datavalue":{"value":{"entity-type":"item","numeric-id":3347272,"id":"Q3347272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$11DEAAFA-D974-4F7C-8724-EE6440AB33C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$1819CDC8-B580-43C1-8488-5E2F0BD06673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$EA1A9788-BD08-444F-81E8-A0D0FB25B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$7FDBADAD-29A5-4B48-AF41-2775CC358405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$756D8058-8DEB-47CF-8D92-D8A64EB3E965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$83C6F551-EEAF-46DF-A6F2-F02FF0865BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111368$ABF39A6F-747C-4A58-BD78-5EFB0529D80A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11657cab5da6ccda3d74863e31abdc7ede599c07","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5abc500fe914c10f41c54137d4ace5f2851ca4","datavalue":{"value":{"amount":"+0.846179187297821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111368$E3D6F274-281A-48B4-A48D-778615035BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228d2b24a3cd7a438f8ff233fba9dd4988bfd593","datavalue":{"value":{"amount":"+0.8371523022651672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111368$D3CC2BB8-D48A-4402-BC94-8FFD9B753673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b4298c2669c6bf61b49d8afd96600bf2b85706","datavalue":{"value":{"amount":"+0.8266209363937378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111368$04F1BE8A-4894-48E6-B897-C0042E26AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fba29b8c33e16e6b5e17d1279d611ec3082c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86fc2193f9d7eeaac1e9980440045c7a424da44","datavalue":{"value":{"amount":"+0.8168471455574036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111368$56EC4696-4BA3-4D19-A773-B163F3475D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e25c0dc71325e23a4e3ab92f687918a8041e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8900f0e205c8383c69fe283b761c2bddd93afe","datavalue":{"value":{"amount":"+0.8166326880455017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111368$388CB75C-356F-4A77-ACCD-03F1B18AC2EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111368"}}}}}