{"entities":{"Q912880":{"pageid":914728,"ns":120,"title":"Item:Q912880","lastrevid":65328288,"modified":"2026-04-12T01:50:20Z","type":"item","id":"Q912880","labels":{"en":{"language":"en","value":"The Hoare and Symth power domain constructors commute under composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145967"}},"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":"Q912880$58C9F42F-D89E-42B5-ACA1-BEC853821127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63bfa86aff3e762fc153ce54c480b6a0e67c780f","datavalue":{"value":{"text":"The Hoare and Symth power domain constructors commute under composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912880$747E0CAA-9256-4C23-A163-1FD337C6EFC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cf25f2415f743f0276ea92997fd32e78913b086","datavalue":{"value":"0699.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$BB72C8C6-DB51-4D1E-866F-044BFDEEC322","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc4d25eb5e0a472a94bc85a9bcf3641a1e485da7","datavalue":{"value":"10.1016/0022-0000(90)90008-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$733FD1A7-86D2-417A-8B36-706E339AB750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4adfb1469115cc5534cf47780f772e31d7c95720","datavalue":{"value":{"entity-type":"item","numeric-id":912878,"id":"Q912878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$C5AF7B9C-ECFF-41F2-9F74-492FFD012A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794ead9cea6e36260daca40a42cd619cc8a88e30","datavalue":{"value":{"entity-type":"item","numeric-id":912879,"id":"Q912879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$2FA563E8-A012-4C7F-8DFE-860137E8339F","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":"Q912880$C4D3E59A-6DDC-40F6-9781-96B72C471ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q912880$AB90AC86-8D39-47A3-BC26-34A437F0F4FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$25EAAC61-AE89-4D93-A83F-622BBE539C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$E80757BE-66BD-43A2-A96E-0F3EEB2E20ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$F04D96F1-D349-4B8D-865D-6F7E279D15EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5ce000f601afbd906202911c2babab68d5f3325","datavalue":{"value":"4145967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$6995E0A2-AD79-4D78-8EA0-D09F6063760C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad60a2cbe7879ff20120c0524896864cc85d4682","datavalue":{"value":"composition of power domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q912880$3A866EC3-BE1A-4C35-A0B0-E8707F756D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fb4d62dae4fa45efc43db16e311eab399027675","datavalue":{"value":"consistently complete algebraic partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q912880$73212B15-87DB-4317-B1F7-5E597792EF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097788d34f9285811ee156835cf5be3957c2a825","datavalue":{"value":"Scott's category of information systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q912880$6F284F57-8D06-4D1F-B8CD-3F7F41D5BBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d210e37e87e60a89f891fc064d32e4e0a0e31ec","datavalue":{"value":"double power domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q912880$9942AA08-F28F-4299-9795-8E30902FB450","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":"Q912880$01353983-4445-4788-BE0F-63C995AAD26E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cb9f503424c33ce9c1edfe3cf1b8f61f6aeeb65","datavalue":{"value":"https://doi.org/10.1016/0022-0000(90)90008-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q912880$9CA6E8CA-6302-4BC9-8E0A-72EC2ABEE808","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8405e7ddec3d81cf9c7bffde984614b9b10aae4e","datavalue":{"value":"W2063819656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912880$47904E53-8ACD-40F6-B3AC-7D57F66B1A25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$16A6321E-A13D-4DCB-84EE-BF50981A4CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$A96B4E0E-0A2C-4CC7-9D8A-E2CD73BBE9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$16D71329-B4ED-4591-BB9E-F13C7F3FF11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2901249b551485960836e9a991cdbf958abb55cb","datavalue":{"value":{"entity-type":"item","numeric-id":4124312,"id":"Q4124312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$1F156909-7B86-4D0E-941D-2AB680BA09C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$5FB751F7-CFE2-4B91-8765-50CB8F2D37E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cf732d2bd1cdce509a9503301c047678392e24","datavalue":{"value":{"entity-type":"item","numeric-id":3313252,"id":"Q3313252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912880$8A4E4C4B-2544-483C-819D-ED5FD34A1253","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4b5d9deb520291313260cd20d546dba19037a1","datavalue":{"value":{"entity-type":"item","numeric-id":1183424,"id":"Q1183424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c18f5e534004dc29a42d43a99a32e5fcf5af357","datavalue":{"value":{"amount":"+0.80445796251297","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":"Q912880$87518551-D526-4829-82B1-ACD21209F51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c8c72a3069fa0a78588558d5bd52e131447963","datavalue":{"value":{"entity-type":"item","numeric-id":2250140,"id":"Q2250140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e90e9e109272e6acad56d6ef6a40749eda994c0","datavalue":{"value":{"amount":"+0.8025604486465454","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":"Q912880$F26F6D7C-B027-45A2-8D0A-2AA92CBC0DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e7a2ccd1060c599bd9713f8bb2bd987a0d10a3","datavalue":{"value":{"entity-type":"item","numeric-id":471444,"id":"Q471444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a21acb29ceeb236401c7050410bbb2fea797ff","datavalue":{"value":{"amount":"+0.7890476584434509","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":"Q912880$7A18F839-FE80-4625-BBA1-F022E677F3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef5acb7f4deb13020da9ca70b9737924adb6cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4880142,"id":"Q4880142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7615dc927f094bd0d62a363464ce73e46280c9b","datavalue":{"value":{"amount":"+0.7784432172775269","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":"Q912880$4A0AF822-A518-4618-847F-397E5C753262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6593ee4c2bd834a6c206c4004fd579655296b7","datavalue":{"value":{"entity-type":"item","numeric-id":1183553,"id":"Q1183553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e777f4a55fe7aa7feb4aed97e5e8e2a741f25b","datavalue":{"value":{"amount":"+0.7773064970970154","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":"Q912880$1F5B9FEE-63D9-403B-9C40-6801F7F317C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Hoare and Symth power domain constructors commute under composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Hoare_and_Symth_power_domain_constructors_commute_under_composition"}}}}}