{"entities":{"Q471476":{"pageid":473243,"ns":120,"title":"Item:Q471476","lastrevid":62077758,"modified":"2026-04-11T03:37:55Z","type":"item","id":"Q471476","labels":{"en":{"language":"en","value":"Consistent Plotkin powerdomains."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369801"}},"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":"Q471476$8C2E4CB3-0560-4C99-9562-E4B4205B84A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e3e020cfad3df5734cb6c65e72eb7511c8c4ee3","datavalue":{"value":{"text":"Consistent Plotkin powerdomains.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q471476$9EA52E61-CDE4-4C2A-B777-2AF0378BDA8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a95a74607d08fb2e5559b60b1abf728665e953f","datavalue":{"value":"1306.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$5427136E-74F7-4205-9916-931EE5D6C0C3","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":"Q471476$D6249A56-D998-424C-9AE6-63B5C1BE2EB4","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":"Q471476$BF5813D8-A81F-48E1-8304-7A8A7C2BCE1B","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":"Q471476$A9044D72-4BBF-443F-934C-AADD9EF7F8B5","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":"Q471476$FE1FA487-A559-4E23-8C5C-AC7FE4151B98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bfcafab3ead3e6ff82481f8770e282d030cb9e6d","datavalue":{"value":"Powerdomains are well known objects in domain theory. The Plotkin powerdomain \\(P(L)\\) is the free dcpo-semilattice over a continuous domain \\(L\\). In applications joins and meets sometimes only exist under consistency conditions, i.e., if two elements have an upper bound, then a join is guaranteed to exist, and similarly for meets. Various powerdomain constructions can be adapted to obtain constructions under consistency conditions.   In this article the authors locate a subset of the Plotkin powerdomain \\(P(L)\\) to obtain a consistent version of the Plotkin powerdomain for a Lawson compact continuous domain \\(L\\), freely adding consistent semilattice operations.   The few preliminary concepts (i.e., a construction of the Plotkin powerdomain in terms of lenses) are quickly introduced and then the consistent Plotkin powerdomain is constructed as the set \\(P_C(L)\\); the consistent lenses in a Lawson compact continuous domain \\(L\\), which is a Scott closed subset of the Plotkin powerdomain \\(P(L)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$A6B9F27E-C2D9-4518-88AB-7ABEEFA46A24","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":"Q471476$488C0CB4-7362-455B-A60B-EACAA518FA49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$F05BA25C-7DF4-4725-B9B2-F7CDBD5DCE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$3885C546-FF3C-4B49-B3EC-39A7B5D0D47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd1d0fd44795f1d939549575c09caac8d4530fa6","datavalue":{"value":"54D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$DB323BDD-F247-43F2-96F8-29E287EF80D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2718d3d01b515847f91263a381d0cf310a404203","datavalue":{"value":"6369801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$DA27A8F7-F067-4C3E-853E-9EF7AE1CA7FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$F5058ED5-A966-4278-B0B6-F02F6BD1557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e09f911eb832a38d02ee4a3b70ef5346635efc1","datavalue":{"value":"consistent Plotkin powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$35B09B55-1B31-4E8B-937F-8F8028FEA9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6b253d64db792cb6234c97e075e4e008026d64","datavalue":{"value":"consistent semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$0FFC3CE0-3ECD-4A95-B423-5AEC95FFFA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d46fd63e00b44e398b84988b3ded23752f80ae","datavalue":{"value":"free dcpo-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$10DCDC5A-39F6-4808-BDED-A5B91DD4B8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da62b975681383fd2868d59ec45e0c53be43720","datavalue":{"value":"continuous lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$BADEE6D2-38BC-4181-9C7D-9762933990AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecca799836c7292873acc18423dc0da285f052f2","datavalue":{"value":"Lawson compact continuous domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$D6CEE16E-C6A2-4818-8994-697A65F480A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf4bf6e4552540f52763b1393e46121709c8c1a","datavalue":{"value":"consistent meets","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$90F4399B-E924-47FE-8605-FD4B1ADA00CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34223e2705f442e29e439960195bc4458e9207cd","datavalue":{"value":"consistent powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q471476$39E7D7FE-C21B-41DD-9F8B-7C9B8BF885A6","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":"Q471476$8AA6F7D2-BD3B-4585-B142-5CA827092B0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"097e9f2863f19d321dde5e22ed5220b1d06bc77b","datavalue":{"value":"https://doi.org/10.1016/j.topol.2014.10.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q471476$A81023B3-4917-43CD-A77D-839D8B9F4E2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"744dbfe1a855c6c74b0e93f855cfc7b475274708","datavalue":{"value":"W1966165163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$D9E1FF76-80EB-451B-BB40-D111260AF292","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":"Q471476$8B52A01C-B08F-4E5D-9A91-DCC45A7A2361","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":"Q471476$6DA7AD18-DCC1-4136-981F-E8565C1BBE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff49b0aa543b067b67edd8b6adf982041feba194","datavalue":{"value":{"entity-type":"item","numeric-id":6116576,"id":"Q6116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471476$D8E260C4-5021-45CF-B48E-CD369810E3AE","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":"Q471476$9A09594E-15A5-493B-AA4E-2C45DE95B9E6","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":"Q471476$019CE63A-31F1-47C3-A855-0F2E7EAB17DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f2bc01528ee0ec1436f72c55d42e0833b996d","datavalue":{"value":{"entity-type":"item","numeric-id":685429,"id":"Q685429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471476$1EE6887C-CFC6-4BB6-AF8A-8EBC4C75CDE6","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":"Q471476$654BDE80-0A80-4640-A8A3-485452BF43B0","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":"Q471476$2286D972-C974-47A9-9C47-4D9399D85903","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":"Q471476$1648F5B0-91C6-4D3C-A8F2-B2B0DE5EAEA1","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":"Q471476$9655932B-2F50-423B-94A1-6330D87A7637","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efed77341a92bac5cfba3ae8959b9ba1c0d03ac9","datavalue":{"value":"10.1016/J.TOPOL.2014.10.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471476$8B2DBAE1-0829-42B9-A832-3BA74DC81FC4","rank":"normal"}],"P1643":[{"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":"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":"Q471476$C8BA07C7-AA20-4D4D-BF61-610A0AFCF522","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":"ae9211560205fa52434d041aaf258dfbb522648e","datavalue":{"value":{"amount":"+0.8736192584037781","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":"Q471476$DF5CBF6A-9970-4DFF-9E1C-E5E551A904AD","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":"569fdc968e9962aaee95a60994215bd46b6900d4","datavalue":{"value":{"amount":"+0.8690890073776245","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":"Q471476$2FED2126-55DD-48F5-BFE9-67170956D389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff974a8a6bd7a0d513af9794e12fe6d0e6a1c147","datavalue":{"value":{"entity-type":"item","numeric-id":4222774,"id":"Q4222774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2ca046d61d2dc7d512d5a347d655f88fc843ac","datavalue":{"value":{"amount":"+0.8623141050338745","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":"Q471476$2AC2FAEA-EF45-429E-A3BC-524336A5E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a52e924e20d15f6a70ea23ab71eb3d291dddbb","datavalue":{"value":{"entity-type":"item","numeric-id":3803170,"id":"Q3803170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5165dcf427d430914be7ab9e54596f36cf618a59","datavalue":{"value":{"amount":"+0.8462046384811401","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":"Q471476$FFBFFE56-9FF1-4F38-9870-20E820BE1693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent Plotkin powerdomains.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistent_Plotkin_powerdomains."}}}}}