{"entities":{"Q5940932":{"pageid":8117734,"ns":120,"title":"Item:Q5940932","lastrevid":47657695,"modified":"2026-01-02T08:49:14Z","type":"item","id":"Q5940932","labels":{"en":{"language":"en","value":"Completeness of a relational calculus for program schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635083"}},"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":"Q5940932$8E775762-28AA-410B-A067-3F11B8EF529C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d969e78f2199dc204beda1018b464ffa45429bd5","datavalue":{"value":{"text":"Completeness of a relational calculus for program schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940932$29C2C43B-1180-44DB-8B0F-DB1B6A16BACF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"875be56d8a3bcf1cb4bed2c68844f20fcbe630c5","datavalue":{"value":"0974.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940932$11DC1E80-2951-4782-BE67-07574AFD1D44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e3d117cd14f6e55b71c46425ef64f6f301ccf2","datavalue":{"value":"10.1016/S0304-3975(99)00343-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940932$3D7E26EA-65BA-482E-AE62-696E075EF917","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$7DAA47E0-89EB-488B-98E4-37DF647993BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940932$1841BADE-FC85-4EC4-BEC2-4DE5E22B0A2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6abe0c613674af8d6ad0e7285e6f344849dd3c22","datavalue":{"value":"The relational calculus \\(MU\\) was presented in Willem-Paul de Roever's dissertation as a framework for describing and proving properties of programs. \\(MU\\) is axiomatized by de Roever in stages. The next-to-last stage is the calculus \\(MU_{2},\\) namely \\(MU\\) without the recursive \\(\\mu\\)-operator. Its axioms include typed versions of Tarski's axioms for the calculus of relations, together with axioms for the projection functions. For \\(MU\\) there is, in addition, an axiom expressing the least-fixed-point property of terms containing the \\(\\mu\\)-operator, and Scott's induction rule. Thus \\(MU_{2}\\) is a calculus for nonrecursive program schemes. Around 1976 David Park conjectured that de Roever's axiomatization for \\(MU_{2}\\) is complete. In this paper, we confirm Park's conjecture.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940932$C8C59CFB-C137-4D1A-8EFA-D42D4AA0827C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940932$E3CD7078-E7C1-4F43-9FDE-9B552C2855A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6494283567bca4544b89c74e87e8acdc4b570d07","datavalue":{"value":"1635083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940932$8079BFCE-D823-4084-9731-084327004E07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cff52f1f8df429852ad8af8776d8a3d505548d","datavalue":{"value":"relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940932$041F77A7-9A90-4179-90BB-0FC55CC3C6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940932$FD981EE8-0296-4376-8268-7AA959A0E019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940932$33631D38-BB23-43A7-A296-6BEFF3FAD97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fbc5f5cbe2620cb49454b14573fd2abc461670","datavalue":{"value":"projection functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940932$D212EAA4-B543-4CD5-AD4B-862325B47A67","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":"Q5940932$E30475DB-6067-4DC2-8786-70BE5F7947AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e8a7f3e5c1edf4423142601c5ff9a7fbc17795","datavalue":{"value":{"entity-type":"item","numeric-id":4338907,"id":"Q4338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$87A4D76C-5DBB-4D98-86B7-11AF5E6E2405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$DEF24B3A-5A22-478B-A81D-087A3E722CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef6b8122e9d1aacbd528b9b1bc369d92f8e2bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4936125,"id":"Q4936125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$90C04EE3-EDB4-4939-980C-85A865F9CEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$492CD3FE-1B8D-487E-A41E-D46E9CC2AFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c09ad9a0de9dced92128636a0fce96dd62c7ef","datavalue":{"value":{"entity-type":"item","numeric-id":1105596,"id":"Q1105596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$17AB4083-9930-40D3-9308-62D6C0C159E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$0DC205B3-452A-4712-9C3F-2E266550331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$5C0E83E4-A90C-4C2C-B4A6-7186E47BF9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a467544404fe6d50e225e2430d156425894e9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3879418,"id":"Q3879418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$F7C2B877-E334-4D3F-8911-7913BEDC9E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e052dc0eb54a8a79427ec9d552810f9a6de125f","datavalue":{"value":{"entity-type":"item","numeric-id":4113375,"id":"Q4113375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$E4C57344-E63A-4A7D-A45E-80E4182C83C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$7AB11752-14C4-4187-8DA9-94C34092C01B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"809af0e8665e7ae621fa9d99b0378118e517facf","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00343-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5940932$4029F471-6810-4EF0-8C91-AD0801F3DD1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55a6d948d66a24dc02a719fb079b2c6e43ca4e42","datavalue":{"value":"W2044353968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940932$DE543BD8-7E1A-49C3-85D0-0673B030B669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41be7213f049433b93e5e33defebb4bac684a8d2","datavalue":{"value":{"entity-type":"item","numeric-id":817580,"id":"Q817580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$8CD0755B-EFB3-4BE5-A606-065A9B66DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940932$BAEAEF2F-7D4B-43DE-B27C-770D9A5A1B11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337710987923e3dada4fc8d1b805d281bee9c0be","datavalue":{"value":{"entity-type":"item","numeric-id":3789094,"id":"Q3789094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b87ba6944ca571f980400f2bb893e96d538980","datavalue":{"value":{"amount":"+0.7283331155776978","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":"Q5940932$A64FC36D-3E2F-4404-A56F-2EF0FEEA98EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98a717377b511b6a99fd65a6ea8dbf72099eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bbcbbea0a44704d1782db286c4e5ca0345ed8c","datavalue":{"value":{"amount":"+0.7226915955543518","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":"Q5940932$E7659A20-0195-4878-B482-3B4523875A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a42cd6b7e97c314ae1771a73529d698a390665","datavalue":{"value":{"entity-type":"item","numeric-id":1961862,"id":"Q1961862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed6d6bf4e614456cfab6b2d72ba32b46bc2d7f4","datavalue":{"value":{"amount":"+0.7171054482460022","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":"Q5940932$CD6ADC65-430C-4C6F-A12F-AB2092BF7439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ae9b79fd8f47daaf661945c04e5a8c4c144e1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe934b7dc2c704ea7e26779b07c283b32865035","datavalue":{"value":{"amount":"+0.7168641090393066","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":"Q5940932$D9A10A91-FC21-431B-A724-63995F64AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4aa8a927e3540a92ac913b3a485ae3bf2878b0","datavalue":{"value":{"entity-type":"item","numeric-id":795496,"id":"Q795496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe934b7dc2c704ea7e26779b07c283b32865035","datavalue":{"value":{"amount":"+0.7168641090393066","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":"Q5940932$59930E95-F67B-4B32-B6E8-3A91A4D7AD33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940932"}}}}}