{"entities":{"Q1087006":{"pageid":1097758,"ns":120,"title":"Item:Q1087006","lastrevid":69928695,"modified":"2026-04-13T11:16:45Z","type":"item","id":"Q1087006","labels":{"en":{"language":"en","value":"Reducing transformations for functional programs with assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986618"}},"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":"Q1087006$F6A32215-364A-4A25-B19E-11B07A940B75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6959ef322c0749fbe2e540cd34d070450102b7f","datavalue":{"value":{"text":"Reducing transformations for functional programs with assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087006$95EE74AC-090F-45E2-AD9D-35E8A1069B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd92467deb1d6bb90e876a0b327df1dab0e0ad48","datavalue":{"value":"0609.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087006$073F105A-A76B-4377-95FE-09985DDFA7FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087006$A6E60D93-CB93-478B-BF07-6D4FCDDCF6F0","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":"Q1087006$542731CE-5694-408C-AAE7-E3FFCA855FEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ce9c899ee04bbc0698f49c346e9ea887a4608b6","datavalue":{"value":"We consider a functional programming language augmented with the assignment statement, which occupies an intermediate position between functional and statement languages. A system of equivalent transformations is proposed for this language, eliminating the assignment and reducing the program to purely functional form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087006$7FF1153E-7382-441D-B74B-6ED300E7B510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087006$0970B32F-6E18-4FF2-AD71-F58A1437F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087006$10F829FA-736E-4DD6-B125-F4F57C4064CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a4066dfe36921bac6dd314a26c61d4e7c12ba3c","datavalue":{"value":"3986618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087006$AD0C3AFE-2AF4-4856-8762-6AC0D4E944C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087006$14580542-FB1C-4E62-8146-14E916BA5804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a90a9ba8c817a880cf84cd9e39b35b994a9833","datavalue":{"value":"assignment statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087006$F0812B83-CD81-433C-B9AF-98D2B04BE382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14dfe199bc5c247707ead0a2a1314c68e682ff51","datavalue":{"value":"equivalent transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087006$ED239DAE-2331-4DAF-ACAF-79CA0A71CCE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"debfedf6f4657203170842670e6619e00f5b8d60","datavalue":{"value":{"entity-type":"item","numeric-id":1662524,"id":"Q1662524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087006$57BFBC4B-2239-4204-9DF2-73D0C4A2670C","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":"Q1087006$8B39B839-9DE4-415A-86F2-B2749836C4A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f2e6451ebce01056d8fa764ed5c182edb8dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3830518,"id":"Q3830518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ab852609a27a9224c55ea734bb0010183a9ccb","datavalue":{"value":{"amount":"+0.88269323","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":"Q1087006$682BF90B-29B2-4B76-A9F2-5B21C3E70586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0e48cf0e5446b21b49368081ffb3e84d74665d","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c1a2a154839ef55d2ab94fbdc971c64b21142b","datavalue":{"value":{"amount":"+0.8751996","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":"Q1087006$03E316D5-C324-4CF4-AC7E-1B4FADE538BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8817a3c2dbdb1881bdce708774b70c98d6cd02fd","datavalue":{"value":{"entity-type":"item","numeric-id":3677142,"id":"Q3677142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1afcf89f28eedc513da9e548f76c336efcb192e","datavalue":{"value":{"amount":"+0.8743794","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":"Q1087006$85BD09B3-8E75-4B61-8BE1-BD6CE66CB950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df49d2a026a138143143eb0bb776ceef2e5608c1","datavalue":{"value":{"entity-type":"item","numeric-id":4274972,"id":"Q4274972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d067e2a3a98db3b055fc8c97f3a837544e0cec","datavalue":{"value":{"amount":"+0.86792004","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":"Q1087006$9C211E12-532C-4BBC-94DC-FBC3E806C60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed9f5864f81045a67a60c410e4e16ddea966d08","datavalue":{"value":{"entity-type":"item","numeric-id":3219096,"id":"Q3219096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d4acec21a7efc58121343c6c213867fda37653","datavalue":{"value":{"amount":"+0.86671126","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":"Q1087006$D2AFB1B9-6672-487D-94AD-78EAD003A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bddb4a79f7ee198ff8c99d161d63ff5788c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2939022,"id":"Q2939022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357984f08d360e35f4a7c9c17096832a67a9f530","datavalue":{"value":{"amount":"+0.86374","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":"Q1087006$15152958-8E03-4F26-921C-6FD9E163D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328889c31f48d12fe2b46683724dd74923334b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4258623,"id":"Q4258623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5e5f33122e5f3f3ff1501d27289bc8538d0c24","datavalue":{"value":{"amount":"+0.86315656","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":"Q1087006$80533AD9-5328-44BE-AEF7-043593874FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15973f74a9f413bdbfe35cc919db6b4454e8d290","datavalue":{"value":{"entity-type":"item","numeric-id":4602236,"id":"Q4602236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0af36b3c8121203eae30399acd4cab346c4db4","datavalue":{"value":{"amount":"+0.8598977","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":"Q1087006$69474390-ED10-4BDC-8A5E-78625D57AD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add223cdcecc7eabcaf75111567d524b0073e8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3591083,"id":"Q3591083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09abd84c763a508af09235720f7cb72953f0e60e","datavalue":{"value":{"amount":"+0.8572676","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":"Q1087006$3DD6FE3C-6A15-487F-9608-5AD34096A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea126505d367fb1ddc98bbaf4ba1c9a858d6a00b","datavalue":{"value":{"entity-type":"item","numeric-id":5423555,"id":"Q5423555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4414c98e36bca61eab6da1a370a5ae94127e850","datavalue":{"value":{"amount":"+0.85391426","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":"Q1087006$F3627937-6518-46E3-863C-9CE53E0C5871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing transformations for functional programs with assignment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducing_transformations_for_functional_programs_with_assignment"}}}}}