{"entities":{"Q1059392":{"pageid":1061240,"ns":120,"title":"Item:Q1059392","lastrevid":66161643,"modified":"2026-04-12T07:57:45Z","type":"item","id":"Q1059392","labels":{"en":{"language":"en","value":"On the correspondence between two classes of reduction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3903962"}},"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":"Q1059392$E491CDF0-3FEC-41AF-B516-BF6EF87FCEFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"995a06d0591409fdf9ed2020be3df648745fdb35","datavalue":{"value":{"text":"On the correspondence between two classes of reduction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059392$ACF68081-32D9-4318-AAAC-16E14D300B1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c5a0f2859a4a6c155ce7d1b2156a85d3993dd33","datavalue":{"value":"0566.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059392$312719CF-F478-4B75-82CF-5C02AD059066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"430849b6656e6295044530ffe962d44f6e2cbe64","datavalue":{"value":"10.1016/0020-0190(85)90068-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059392$DDB83AD5-9F09-4294-9181-D7385B01245F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2875d8c3bf5a90838b3f77794d93fe24e6c0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":685422,"id":"Q685422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$87EF7201-9D7E-49BF-9836-815C03E2BA7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$BD944229-A980-418B-8D09-34BFBD3D3DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1059392$6470DB78-860E-4246-BEAD-D1E95FADCBFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64fa023e172ef160e79ee05895f05085ca6baf06","datavalue":{"value":"http://hdl.handle.net/2027.42/25754","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059392$6F634009-46ED-42D7-918F-FC0AAEBB935F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68d3a1868b8e39cff3de70a626daae4c94acb6f3","datavalue":{"value":"We consider the relationship between two classes of term rewriting systems. In one class, there is a sharp distinction between data constructors and computable functions, which is absent, in the other. Both classes contain systems described by sets of left-linear rules without critical pairs in the sense of Knuth-Bendix. We show that although the class based on constructors appears to be a special case, it is in fact powerful enough to simulate the larger class, and thus certain problems such as sequentiality in the larger class can be reduced via simulation to the technically simpler environment of constructor systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059392$FF34EE34-FBD9-40EF-8DF9-C344A3CCB700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059392$DF9E349B-9BEF-4E35-9B67-F2EEC2234B56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"930dcf4452c85ad4978cffcf2fd91faf9ef4ce1f","datavalue":{"value":"3903962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059392$B2D2608D-D93E-4781-A478-BFA715232952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059392$A6C16127-A129-4435-A402-2F9A575431DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eeadc5ee22978a12a6d6fd727cb40646cecadc","datavalue":{"value":"equationally specified reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059392$3ECADB8C-7848-45BB-8303-22F06EB5A520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059392$A68F6E5D-47D6-432D-9F63-EAC8A4EA3E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"318c05bb258a90d08595502e2dc4252d14fe9978","datavalue":{"value":"data constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059392$BB590421-5D8A-4AC2-ACC0-9385B314D718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059392$395BD928-A1F7-46B0-A0D2-7F5AAC56BF9A","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":"Q1059392$AD46C219-B995-45CB-97B9-7E3A9B6262CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f5fd995b6ebeb789c49b95075057dda4806adfe","datavalue":{"value":"W2065568880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059392$AE571046-B261-4180-A34E-449ED6196713","rank":"normal"}],"P223":[{"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":"Q1059392$B7045871-B144-415A-AFC9-613265B9231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900e49395881cb92abc2a43086fd28e03f8aff19","datavalue":{"value":{"entity-type":"item","numeric-id":3719790,"id":"Q3719790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$2EADC17E-DB9A-4956-A78E-CB0667EA8287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$F96144D0-5F95-4834-A59D-F95F5CB9B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"542591a8020259671efae6a04dd23c088cc0fcad","datavalue":{"value":{"entity-type":"item","numeric-id":3662594,"id":"Q3662594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$E9D089EA-C680-4B2B-AA48-B9F7621E344B","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":"Q1059392$8260437B-C02D-4F92-8823-854FB36143D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$C9C19F5B-C9EC-4597-8A2C-0CAC10625BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059392$8EF40220-A5C7-44BC-8367-73EE63C01076","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45666dabca91a135c1af8f8472798bf74e92b057","datavalue":{"value":{"entity-type":"item","numeric-id":689634,"id":"Q689634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2d29fdd3b84376921afb4b9b4aa6c18c7b208a","datavalue":{"value":{"amount":"+0.7915573120117188","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":"Q1059392$DF99DF82-6F39-45BC-A883-7043299A4B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24699d25f0c6d812b1a4a1f877e2340c52be9010","datavalue":{"value":{"entity-type":"item","numeric-id":1338780,"id":"Q1338780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c116daac56e88cd2742c568e12148f596c4be7","datavalue":{"value":{"amount":"+0.7911539673805237","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":"Q1059392$788C3F72-67EC-43BD-904D-17596710CF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85b655bd45e36b7ba2a4de1af96579cb163b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":3782743,"id":"Q3782743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c116daac56e88cd2742c568e12148f596c4be7","datavalue":{"value":{"amount":"+0.7911539673805237","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":"Q1059392$FC482C3B-3764-4D87-B927-A0EFFC827C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946df74ccf4dc68559e50e2ab772e69aec18121c","datavalue":{"value":{"entity-type":"item","numeric-id":674754,"id":"Q674754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e910a9c921ad3d508726ec0f6991f90afaf16f93","datavalue":{"value":{"amount":"+0.7891107797622681","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":"Q1059392$26F08CBA-7128-43AF-BA0C-2866B3CB15F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650505a09ddf2840499c2c56a919f1ccf617ebc0","datavalue":{"value":{"entity-type":"item","numeric-id":1112601,"id":"Q1112601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f699e3a77154f261fbf3a7786815063196830db","datavalue":{"value":{"amount":"+0.7750954627990723","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":"Q1059392$6597A245-6413-42C4-8FCF-D6E33DD77A37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the correspondence between two classes of reduction systems","badges":[]}}}}}