{"entities":{"Q1330449":{"pageid":1341199,"ns":120,"title":"Item:Q1330449","lastrevid":67182240,"modified":"2026-04-12T15:52:04Z","type":"item","id":"Q1330449","labels":{"en":{"language":"en","value":"Relational programming laws in the tree, list, bag, set hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609580"}},"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":"Q1330449$0DC1A919-7EF8-4253-AEDC-4CBC5A5DE48B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2999983949914751b0c5af567b6862933ddc07","datavalue":{"value":{"text":"Relational programming laws in the tree, list, bag, set hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330449$E2ED17C4-F6D8-4E40-A446-6060F76811DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2152b9903c1811c2e6f29a299ccb3a3ea0bd2306","datavalue":{"value":"0811.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330449$520E58CA-2C1D-46F4-9037-B0502BC73FB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c651f7fa574f2bc54ae42c3386be300107aa1a97","datavalue":{"value":"10.1016/0167-6423(94)90008-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330449$EDF58976-1207-4537-8070-B5983591F5E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"218ebdeb60b3bd671a14be736c9b414e0e468e49","datavalue":{"value":{"entity-type":"item","numeric-id":1330448,"id":"Q1330448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330449$577C2273-D7A6-45EB-BBB5-94A90A52070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fb904a820c73693b0d5559909fc9d5a5d7f002","datavalue":{"value":{"entity-type":"item","numeric-id":1330442,"id":"Q1330442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330449$F1F712B4-F122-4756-91A9-9560C4027F96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330449$57DF2005-5E8B-4101-ACAF-0A4B8AEB4377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71edc96fcbd008bfd3061c3ff4af97a6b34cf242","datavalue":{"value":{"time":"+1994-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330449$77517B3C-71B3-4B4C-9DB7-DAE0218304CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b5c5300325b983858abac0d44d5aba841c2e9f4","datavalue":{"value":"The authors demonstrate that the basic rules and the calculational techniques used in two extensively documented program derivation methods can be expressed within a relational theory of datatypes. The two methods to which the authors refer are the so-called ``Bird-Meertens formalism'' for the construction of functional programs and the ``Dijkstra-Feijen calculus'' for the construction of imperative programs. The paper starts with a brief introduction to a relational calculus of datatypes as described in some previous paper of the authors. Then it is defined the so-called binary structures and the map, reduce and filter operators. Before the authors start with the original Boom hierarchy where laws play an important role, they first define what it means by an associative, symmetric or idempotent relation, and also define the Boom hierarchy for their system and it is shown how can be incorporated into the relational calculus. Finally, the formalism is related to the quantifier calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330449$851619DE-F870-4A1B-96A6-23209EB16470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330449$35D569F9-D20A-4553-9937-9FE957A7805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330449$80C373C2-8308-4E76-9CFA-3E0D1B456EFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"472cd5558f68f1702771a9c151d89995201b5bc7","datavalue":{"value":"609580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330449$F85348ED-37F3-482B-AA9F-7647F59F7C9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d48cfe0f8d4ecab5130f5ddd98dddc7b5e4d80","datavalue":{"value":"Bird-Meertens formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330449$F0F6EC56-1B96-4381-88CE-A2E17CAF9C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5042e87c8f52c9735a036eff9294b8d615d5e010","datavalue":{"value":"Dijkstra-Feijen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330449$CEC32337-247D-4B60-930B-E69B63AC5154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c2cd4b13fd2a84a7e0ac9acc97c5bd1b47f0df","datavalue":{"value":"relational theory of datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330449$29552CB2-EF40-4D1E-B6CF-C85C47B5D785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330449$695519BF-14FC-41E2-8216-E2296A42592A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6157837de11f2e28fe479554c99ef4c02d4ee00e","datavalue":{"value":{"entity-type":"item","numeric-id":172108,"id":"Q172108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330449$6F48D2DD-C126-4849-98FA-F1F592AE8A69","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":"Q1330449$F0F4EB82-A4C2-4A7E-8B98-6DB64A6FC8A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"488ed6a293fbec1a0acffaf7228455366f22ef47","datavalue":{"value":"https://doi.org/10.1016/0167-6423(94)90008-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330449$C1D77BE0-CD2D-4913-8B3E-CD6671B15B32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af73d9ab3a27562143dbe172148010ea41931134","datavalue":{"value":"W1996302019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330449$C60C5929-5F2E-49D9-B559-A57D0906BA70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446f0537937102cf8e2bb8dbc7e1305728a3c801","datavalue":{"value":{"entity-type":"item","numeric-id":4036554,"id":"Q4036554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed529524a1ee8a2ab69abe02b1a29ba51881a6a","datavalue":{"value":{"amount":"+0.8497027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$025B0080-2178-4779-B53B-B78B3B19847A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb685e2aa3a0c73ad56ea1a10cd579f453c9290e","datavalue":{"value":{"entity-type":"item","numeric-id":4281669,"id":"Q4281669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254b675646458db802543581afa7d8e338dd8c8a","datavalue":{"value":{"amount":"+0.8287139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$28C472CC-4DE3-4717-8371-2A3544DCBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f313acf52490eeb6c5ae2109e43e36b7a27858","datavalue":{"value":{"entity-type":"item","numeric-id":4037329,"id":"Q4037329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a370625c74b68be417d408bd96332891e9ab4c","datavalue":{"value":{"amount":"+0.8259444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$CCD7FA16-EDD7-4556-AEAB-A99C1FF395D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec8a9641d59827e03bee3c7c6e09ba1a0caf0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2695345,"id":"Q2695345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c41b848d6b942dceda0a043bbe27845b1720c9","datavalue":{"value":{"amount":"+0.8241998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$5CC4DA9B-D73C-42FA-B371-3659B6A56CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3de1127c76f379c5c5fd01792990c511ba4fea9","datavalue":{"value":{"entity-type":"item","numeric-id":2272218,"id":"Q2272218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902018d8b1d2606da1cc6d592571f607f085f06c","datavalue":{"value":{"amount":"+0.8221773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$DC7BF7E7-45F5-419D-8C2F-81D9E7F6AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63788981b7c866a3f5b42652f1cd9ec7cab3bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3204444,"id":"Q3204444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4debd506a12f475dedbcd7909e132fc96c8156","datavalue":{"value":{"amount":"+0.82086045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$A0F070EF-0692-4E3C-9358-D64AC30BCCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9e8cbbf056cc553cd7895a81757aabebdcf65e","datavalue":{"value":{"entity-type":"item","numeric-id":3774921,"id":"Q3774921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b9b360ece966419cc26d8f3e207bdad24618a4","datavalue":{"value":{"amount":"+0.81724566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$CBA3E33F-2770-4710-A9C2-FF354D7BB656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93107b08314803b17dbc3a7651b2520a0c66e5f4","datavalue":{"value":{"entity-type":"item","numeric-id":4385450,"id":"Q4385450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5828f43dfd03280eed3ce5f01acd874e469b39f5","datavalue":{"value":{"amount":"+0.81110716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$AE3B23B8-2075-4566-9C7F-510D038CB2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39c3e832679a5ea2fcb86594b2d350ff674238b","datavalue":{"value":{"entity-type":"item","numeric-id":877842,"id":"Q877842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7a53d24dd013abcdc92699e4d2f4118c635d44","datavalue":{"value":{"amount":"+0.8071585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$C5117178-77BB-4DE2-BA65-930CC13190FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746ca6793031566507e1df1a0d3f0c5733bb6e25","datavalue":{"value":{"entity-type":"item","numeric-id":1124382,"id":"Q1124382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0047736806f0fdd8d81dc55575e6c4f392812a26","datavalue":{"value":{"amount":"+0.8069901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330449$09B5E794-0860-45F1-865A-4774EA8F2630","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational programming laws in the tree, list, bag, set hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_programming_laws_in_the_tree,_list,_bag,_set_hierarchy"}}}}}