{"entities":{"Q2250140":{"pageid":2260883,"ns":120,"title":"Item:Q2250140","lastrevid":52035485,"modified":"2026-01-20T19:32:23Z","type":"item","id":"Q2250140","labels":{"en":{"language":"en","value":"Consistent Smyth powerdomains."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313434"}},"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":"Q2250140$0E08984B-9495-4780-82E6-5F86C6257067","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16aaaceab6a64aab4e31b05de5e6da8d46cd80de","datavalue":{"value":{"text":"Consistent Smyth powerdomains.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2250140$C95F0AE7-21D7-4276-8A1B-A43D20FEAA05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f61b3685cb7d08e37f4575a7834fa481810a1b84","datavalue":{"value":"1303.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$66723E48-3047-498D-BEB3-98776B889BCE","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":"Q2250140$7E142B95-77FE-4699-BD99-2FB7FD2FBD94","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":"Q2250140$29EF901B-6ADA-4DF0-A614-C8D2A64857F1","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":"Q2250140$B48F8F1B-FB69-4A8F-BEFB-6356B6681E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"528fd4e4e62279625069f1dc7f195683c614a8fc","datavalue":{"value":{"time":"+2014-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2250140$C7766A3C-22ED-45C2-BD8F-C10C7C3B3171","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f0d32f65a320edb69a0dbec97f584449f627490","datavalue":{"value":"Powerdomains are familiar objects of study in domain theory. The Smyth powerdomain is the deflationary semilattice over a continuous dcpo with the Scott continuous meet operator. Motivated by the fact that in various applications the meet operator is only a partial operation, i.e., lattices having so called \\textit{consistent meets}, the authors construct the \\textit{consistent} Smyth powerdomain, i.e., the free algebra with the Scott continuous \\textit{consistent} meet operator over a continuous dcpo.   The article presents the relevant notions (e.g., linear connectedness, compact-connected sets, saturation, etc.) and their basic properties in the first few sections quite quickly and constructs the consistent Smyth powerdomain \\(S_C(L)\\) over a continuous dcpo \\(L\\) as the set \\(RQ_C(L)\\); the set of non-empty, relatively compact-connected and saturated subsets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$61C1CC02-3FE4-4B18-AFCA-6AC0A06C8BBE","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":"Q2250140$78A4A0F7-69F2-4CBB-89F1-B3DD10A2093E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$F1FCD6F0-25EF-4B31-B719-99816CB2E832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$B67A521B-6DE6-48E6-8634-0DCCCCB5692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd1d0fd44795f1d939549575c09caac8d4530fa6","datavalue":{"value":"54D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$1EB9C927-8F83-40E1-ACA3-D0DF7D4C8461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdd307d9e41c61e67c8653aa3d8ff6b40689e156","datavalue":{"value":"6313434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$46A85D9F-138C-4976-AA47-5F3D34F81DE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$2BDD4976-DC23-441F-8AB5-D6D021F1FA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da62b975681383fd2868d59ec45e0c53be43720","datavalue":{"value":"continuous lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$D3871FDF-C85A-4710-8421-E87C1828CFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf4bf6e4552540f52763b1393e46121709c8c1a","datavalue":{"value":"consistent meets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$93351D33-3414-45CD-A766-6F72AC2D1A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d46fd63e00b44e398b84988b3ded23752f80ae","datavalue":{"value":"free dcpo-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$41CC63EB-5AE4-44F2-8370-4426BFF51486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94148a2c63cb2a08422216c96ebec8705b1ce0ba","datavalue":{"value":"consistent Smyth powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$A5F650B8-01BD-44DF-94A6-9147BFE62D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e97c7715a09adeb9188ff06f985f018d2f2ff22","datavalue":{"value":"continuous directed complete posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2250140$23A3E931-2C69-48D2-AF00-2B8EB83D6490","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":"Q2250140$85C278BB-A057-4F61-8B24-F3A2A8F13D91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef87034a554537c92e17d63d50b3cc30d88e6dd8","datavalue":{"value":"https://doi.org/10.1016/j.topol.2014.05.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2250140$815A59B2-98A0-4AD8-A9B7-2D24D8AF1BDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44f7d818be507200327dc069ecd496667dd70186","datavalue":{"value":"W1980824162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$2C9C10E1-0E2B-4D09-8CF5-5F799C0E0C59","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":"Q2250140$9581FAF3-04EC-44C6-8618-5F604A9DF248","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":"Q2250140$AB49A12F-8DDD-4D09-AFE0-A5F1599B1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2250140$01EF1C06-29A9-4568-A36E-987F00B0EEBD","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":"Q2250140$9B26E27A-7A1B-43A8-AADF-AA9571A3EFF2","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":"Q2250140$962F2D6C-E6E0-4807-A52D-659513F98ACB","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":"Q2250140$A808F5CF-5EA8-4128-B1EA-AF0E6B922AD0","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":"Q2250140$00BEEFDA-7B67-4C0A-9428-33B8B515462F","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":"Q2250140$242442F3-BEF0-442D-BEB3-2E9C1834CCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2250140$58711264-A49A-461F-9C54-84A2F24519C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db32f35ce8395b31ee230e1bdae9b00d32c7bae4","datavalue":{"value":{"entity-type":"item","numeric-id":1767772,"id":"Q1767772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2250140$822109E6-2C29-49E5-9A77-4F16733CBF85","rank":"normal"},{"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":"Q2250140$2DCA1CDF-162A-4223-8445-5A7B48DE58D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf68e222a09ccb8e917d9516a350a95f3ee43f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3818365,"id":"Q3818365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2250140$261E592A-CF00-45FF-A4F1-BC86C7E7D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2250140$A9D4D1A9-6501-4D0D-B55D-4A2A6E317054","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":"Q2250140$0F7B6415-A840-4AD1-BC75-2F7D723588FD","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":"Q2250140$0914C393-7660-44B7-BCCD-A5AE05ECFBBC","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":"Q2250140$C7D9FEA6-4D92-42B7-B54B-20436A0D8EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5b1532afdd83ebb25aaa0a772d12241c28bce5","datavalue":{"value":{"entity-type":"item","numeric-id":2503038,"id":"Q2503038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2250140$C5D30E0D-9771-4866-A172-1B343B00FD17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36d04741d917e77851f2266b9e77b668300dca63","datavalue":{"value":"10.1016/J.TOPOL.2014.05.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250140$F67331F9-A7D6-44E4-9B12-500AD2249BBF","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":"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":"Q2250140$B644CC20-5BB5-422B-8CEA-44DAAD6EF477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b70b9161d18769a75224ce10b52da59410498","datavalue":{"value":{"entity-type":"item","numeric-id":2401571,"id":"Q2401571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d406fdb01800cf04d781e6eaf93551d658fce9ee","datavalue":{"value":{"amount":"+0.8793981075286865","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":"Q2250140$93946395-4F3C-4F70-A9EC-F72B650B5DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2a0d5dc7d7f28cff332d3aeec0bbde77a69d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1744465,"id":"Q1744465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837d399090a6ff781f2016794fc9e8f90620b8d4","datavalue":{"value":{"amount":"+0.8754306435585022","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":"Q2250140$2311979A-C10C-4A24-ACA8-D2327E8F7645","rank":"normal"},{"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":"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":"Q2250140$67CEE346-7293-488D-8EA2-F669F25FD428","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":"01a1c4a6fef6ce37e984f90aa8da0e19228760bf","datavalue":{"value":{"amount":"+0.8501078486442566","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":"Q2250140$A1D63BD7-CD39-4301-B6DB-3555934E05F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2250140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2250140"}}}}}