{"entities":{"Q1120607":{"pageid":1131356,"ns":120,"title":"Item:Q1120607","lastrevid":66171090,"modified":"2026-04-12T08:01:31Z","type":"item","id":"Q1120607","labels":{"en":{"language":"en","value":"Convex powerdomains. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101276"}},"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":"Q1120607$8E7B35BD-2176-4F3D-9D9E-791FB3BCA13E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d7691e6f4cc363112f69b7d01792a59eacb6878","datavalue":{"value":{"text":"Convex powerdomains. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120607$B193A3B5-1357-4CD1-B0D3-6452F6B5145B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ad79e366b35ca93947d851a77745fe7b9f346f0","datavalue":{"value":"0673.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$073B00F5-23FA-4038-B60B-5494C5901B82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54e202a203b624fc741ade3eb36370313e736e66","datavalue":{"value":"10.1016/0890-5401(89)90034-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$7DC4D19F-77C2-4EC2-BCDB-113368CFF7DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"869f6116a34de7fc3eb0b7608f954cee8381df01","datavalue":{"value":{"entity-type":"item","numeric-id":195652,"id":"Q195652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$D775D915-FF63-4F62-9507-2DD2A91CA09E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$139BF7A5-593A-43D5-9A11-6CB7393AEEB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1120607$A11A7232-7686-4C01-9DCE-C5ACF05F3071","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73bfdd7dcfee1d6f4a6fed9a4d5055717103b4e7","datavalue":{"value":"The author continues an earlier investigation of powerdomains [ibid. 74, 198-225 (1987; Zbl 0627.06011)]. His earlier construction of the powerdomain P(D) involved taking Frink ideals of the domain D. From the viewpoint of denotational semantics, it is important to identify members of the powerdomain with subsets of D. In this paper he shows directed ideals in P(D) may be identified with order convex subsets of D which are compact in the Lawson topology, and arbitrary Frink ideals by certain collections of such subsets. The powerdomain operations of union and big union are defined and studied in this context and the relationship with the classical Plotkin powerdomain is considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$04B81501-9B46-43E6-8FA1-E86541B28B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$286D7AFE-9C72-46DD-88CE-A3B9D9C2823E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$9D7E0CE5-9EFF-4D8C-B249-2C3C53539350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$506DD5E9-521D-4D53-9330-07F3C36E0EF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4b2fc3a4a04a7ee7f26777e7cc66ce29fd7be4a","datavalue":{"value":"4101276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$77B3710D-8D60-422D-A6B5-C17B6E80ED02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f5c25207f53ab6e39f92342c60dc11b813bd49","datavalue":{"value":"continuous posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$DB9DBE32-CA0D-400C-B8F6-FA519450EF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db9d488ea6d0894eaa7e9169e2916c4c7e67eef","datavalue":{"value":"continuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$14F15CF8-89E0-4E33-978A-F1EA825045F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$E6C06B5F-449F-47F9-8B81-A2B633A62466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8088b09f70c705ad70ba4d8ca658805bafc0cb","datavalue":{"value":"Frink ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$79054FBE-83F6-4B73-B1D1-DDCB71824EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$E0945341-265E-4C10-9F38-BEF39C9AF5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe5919ae68e7d302e09d7034997709cb66063d1","datavalue":{"value":"order convex subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$F8C6288B-322F-41E4-B0B3-50D856BA1A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139c362d8aff0d65525f55d23b745f22d126d755","datavalue":{"value":"Lawson topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120607$BFFB0097-81AB-4055-BD3F-A91FBB902D99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36050b54f2c6fc0c913df56241219ed2ee903672","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$1ADF16F9-7107-424B-8CEC-B8CDC7644CB3","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":"Q1120607$2D502FD7-7250-4C93-88F3-BFFE24E45862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b434e0d2d58311bc7b0ff808866d03d9f669272e","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90034-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120607$D30A5C1B-03A2-41CB-8800-B9315584176E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44c97da319489222d3b4b10651d6a36775c4a0e4","datavalue":{"value":"W4206049602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120607$F6D1567E-2CC6-420C-AE28-A9A2017060E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$65B2C00E-C845-4EED-8F2E-C6C5A8109511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$ABCD8DEC-694A-41A4-ADB9-0ACBCDD47F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bb1423023ba3299bea656887ee2014f61561c5","datavalue":{"value":{"entity-type":"item","numeric-id":581432,"id":"Q581432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$FA76B2C3-DAC0-4254-87E4-88A05DCEE822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58fc956229675c46f48aec9978116b90d0ee71","datavalue":{"value":{"entity-type":"item","numeric-id":3803170,"id":"Q3803170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120607$04806D84-69AA-4317-BBEA-F17307DA33AC","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":"Q1120607$90FBBE7D-9593-46B5-9240-E80D090080CD","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":"Q1120607$C3D456BC-2586-4098-AF82-CF13D8677234","rank":"normal"}],"P1643":[{"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":"2bac23d4adc9305265b75e0604b1ba681378d213","datavalue":{"value":{"amount":"+0.8975843191146851","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":"Q1120607$452BFE85-1CDF-4305-A120-904960DCB4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c2183fcae3d288a21639ec603e3b42fda0bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":3691052,"id":"Q3691052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba26818330e77aca9e4363084a8bba2289ebdbe3","datavalue":{"value":{"amount":"+0.8522756695747375","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":"Q1120607$3BDA4D90-70A9-4D8D-A3F9-921A3523EB8B","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":"ed7c813ea12680349dd47dcad5de7a61f5eeb307","datavalue":{"value":{"amount":"+0.8104438185691833","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":"Q1120607$AB2549B4-1B8C-4232-BA84-E16CD36BA3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ae1646b5f3fdcd35944201af87ee002f353103","datavalue":{"value":{"entity-type":"item","numeric-id":5057469,"id":"Q5057469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be30cc6c5ff5a251b15a4541e596cf432bd909e9","datavalue":{"value":{"amount":"+0.8102852702140808","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":"Q1120607$905AB76E-DB14-4857-B6C2-37A9FB5F14B5","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":"9eef2d81b58519b6a62bb8da6079ae74c8064dd1","datavalue":{"value":{"amount":"+0.809407651424408","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":"Q1120607$8FDAB7F5-73D6-4019-B7A6-31176C7A2410","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Convex powerdomains. II","badges":[]}}}}}