{"entities":{"Q471444":{"pageid":473211,"ns":120,"title":"Item:Q471444","lastrevid":62077497,"modified":"2026-04-11T03:37:49Z","type":"item","id":"Q471444","labels":{"en":{"language":"en","value":"Consistent Hoare powerdomains."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369779"}},"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":"Q471444$B1E8CD18-11BD-453F-B15E-A244701C2277","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ba555cc31bcec5f0e53d0a2033880f341031de7","datavalue":{"value":{"text":"Consistent Hoare powerdomains.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q471444$E4514C5D-1304-4F7E-978C-4D9E958C3915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958ec361868474a7860e623c29041a2971b2ca92","datavalue":{"value":"1306.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$61D9D1E3-23E6-4FD7-8C93-D8028FC09C02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"976ef2e6541917896e60edd6c1e371e004e5940c","datavalue":{"value":{"entity-type":"item","numeric-id":471443,"id":"Q471443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$B7E4CE10-201D-4B5B-93D5-1FDF79039ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff66c06024b6ac7d2f094ee77258b420d5ca296","datavalue":{"value":{"entity-type":"item","numeric-id":276415,"id":"Q276415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$04EBB436-A31F-43D9-953F-DFC18497DF74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$AACE483B-4012-4001-A319-CDF4590F9400","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7716cb22ca1a0f2aae16b7f525027a88bc263ef8","datavalue":{"value":{"time":"+2014-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q471444$3F624CE6-CE9A-42BA-BCB1-14185705E8D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c87565b9f0cbcc93ba873732cd57712a36765f8c","datavalue":{"value":"Powerdomains are well known structures in domain theory. The Hoare powerdomain is the free inflationary semilattice over a continuous domain with the continuous Scott join operation. In applications the join operation is often partial, giving so called consistent joins rather than all joins. In that context the authors define the consistent Hoare powerdomain, a free algebra over a continuous domain with Scott continuous consistent joins.   Briefly introducing the very few concepts needed for the construction the authors present the consistent Hoare powerdomain as the set \\(R\\Gamma_C(L)\\); the set of nonempty relatively consistent Scott closed sets of a continuous domain \\(L\\), and show that if \\(L\\) is algebraic, then so is \\(R\\Gamma_C(L)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$4AB5233E-ADD2-467E-BDAD-C09BF793F785","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dbe25fb37082c76317d1c3ba00636a8fb492cde","datavalue":{"value":{"entity-type":"item","numeric-id":272874,"id":"Q272874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$192AAB2D-1439-4BAE-A996-B32F88DFDD4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$F93F1D16-0A20-41CD-86D1-8CEA2DEFBA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$774F34DD-FBE8-4180-B582-65A1B85EBD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd1d0fd44795f1d939549575c09caac8d4530fa6","datavalue":{"value":"54D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$A88C84FE-B78C-4A1A-954C-41786A85E244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45397ce19ab09724444bf7bf1194ac566f77f880","datavalue":{"value":"6369779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$052B112B-01A5-4E1B-A069-B90682808530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$93B32DFC-D7E0-47C7-BAAD-5AEB584059C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da62b975681383fd2868d59ec45e0c53be43720","datavalue":{"value":"continuous lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$440757C3-FE12-4427-8141-616176DE9B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf4bf6e4552540f52763b1393e46121709c8c1a","datavalue":{"value":"consistent meets","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$BDEE73E8-EC4D-4149-8093-3BA84C1ADD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d46fd63e00b44e398b84988b3ded23752f80ae","datavalue":{"value":"free dcpo-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$2B41C073-F852-42BA-9FB8-0EBD451D637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb55d07654629ca4bb384406d979a45d4caa61f1","datavalue":{"value":"consistent Hoare powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$50B4CC7B-3575-4692-B9F5-9B322B129003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e97c7715a09adeb9188ff06f985f018d2f2ff22","datavalue":{"value":"continuous directed complete posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$3DD07CEC-4DC6-47E0-9926-185EC91558FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34223e2705f442e29e439960195bc4458e9207cd","datavalue":{"value":"consistent powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q471444$64559C9B-9109-4C98-A453-8F956CFA7A85","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":"Q471444$A8607654-5351-4ACD-9806-CACDD1E17DC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd839a98617c9c213fee0a880614d039f522e9b5","datavalue":{"value":"https://doi.org/10.1016/j.topol.2014.09.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q471444$1949FC13-18FB-4FF1-A9BD-0B7CDDA86436","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9db428426492f727e1e213e40dd0d01be52c2bb6","datavalue":{"value":"W1997472710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$E4B4B2AC-0001-454D-95A4-E89F8AE92300","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$6A9E3A26-0EB6-420E-98E5-286C8984C7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$2DFE89D7-79CA-48A9-B8FE-635C1356E396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$ADB50E95-89AC-41D1-AFD7-9E8EDE97AC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e351f60934b0d907e50e8afc65683d11ba0979c","datavalue":{"value":{"entity-type":"item","numeric-id":5941557,"id":"Q5941557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$A95C8C36-AEC6-454A-BA15-2994629E5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c1f0d20fc73ac81eb962b0fcc2d0176b63f505","datavalue":{"value":{"entity-type":"item","numeric-id":1183553,"id":"Q1183553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$0BAC2BC2-0F62-486C-812C-F402DA3C636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3acaf3ff6d4f048b664ed45362d020b6c99b35","datavalue":{"value":{"entity-type":"item","numeric-id":1349652,"id":"Q1349652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$CE68B2EE-35F2-4B34-B096-C547F7F80E30","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":"Q471444$51129B0C-03D9-4D9C-BC3D-7992EBB365F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$8DB84FFD-626B-4EDB-97D9-21695FA8F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471444$CF68DA43-D00D-4C01-8154-FB8A40E1FBDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6d0ef192b8f8a12dfb04a59751c4a980605f4b","datavalue":{"value":"10.1016/J.TOPOL.2014.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471444$CAF60C64-85E0-4B2A-8F02-93B81EAD4059","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94073a6ff1d758e3b83abdfbf551359aa4e69e71","datavalue":{"value":{"entity-type":"item","numeric-id":471476,"id":"Q471476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce46ce5eeb36df70d980a13854fe1d12237e865","datavalue":{"value":{"amount":"+0.8836584687232971","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":"Q471444$537B3C2B-1121-4C5D-A45F-4A17ED9ECE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6202d21d2e2aee24bda468747d8c1acff863bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1676530,"id":"Q1676530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f834b964fd661f11fce3bbc926163166094fef7d","datavalue":{"value":{"amount":"+0.8803317546844482","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":"Q471444$B35EDF70-57C8-415E-A712-AB844D63CD01","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":"2e82ce17c5de4021374f44dc64fba11c4206bbff","datavalue":{"value":{"amount":"+0.8797369599342346","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":"Q471444$4501FDF5-06F3-4EFB-B3C1-C627EE98568C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed8fccb3758ee6a0fcd4689cea579d73f9ece09","datavalue":{"value":{"entity-type":"item","numeric-id":2642996,"id":"Q2642996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0092f62f8a274da7d65a7d5a9664ae7b0cc1977","datavalue":{"value":{"amount":"+0.8687378168106079","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":"Q471444$BC89B316-D0BB-403E-BFD9-5B515DAC2C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35582380f1cd2abc947e85fe4eb9cb72b9353816","datavalue":{"value":{"entity-type":"item","numeric-id":581432,"id":"Q581432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef240dde7c9091479a9be20133a7e4a7be8c7e5","datavalue":{"value":{"amount":"+0.8538659811019897","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":"Q471444$D8A9667B-D3A7-4149-9CAC-D470ECFED7D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent Hoare powerdomains.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistent_Hoare_powerdomains."}}}}}