{"entities":{"Q685428":{"pageid":687277,"ns":120,"title":"Item:Q685428","lastrevid":63460095,"modified":"2026-04-11T13:18:39Z","type":"item","id":"Q685428","labels":{"en":{"language":"en","value":"On stable domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417360"}},"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":"Q685428$D4907758-56B6-4E0A-85AB-870B9B3D1ED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00edb85884debefcf6ce44de33996c2e8f3c7e0e","datavalue":{"value":{"text":"On stable domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685428$0D866FD9-D74E-4159-B0DC-03FDC17E8D3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3ce3f65c60d9326fa2199505441c3ebf69a3b23","datavalue":{"value":"0777.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685428$963A3C4B-11DC-4A03-A0C6-098B7D5EDC2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c92caead00bbe90a61e24557a21f4c64a84f06f1","datavalue":{"value":"10.1016/0304-3975(93)90183-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685428$0D1A849B-B8AB-4522-8F48-D8B9E99CE8E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$B9E3208B-4CB8-4582-B607-7D66AA07C087","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$9BC57A36-267F-4444-AFE0-6A271CB64BC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0802548d3bb1db3e5fc95d663413182f61537a","datavalue":{"value":{"time":"+1993-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685428$9553B493-E39C-42FD-90CF-0AB90CD0EA96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abfbbab25a09bb6e06b35e4c6320a74a862fa28a","datavalue":{"value":"In denotational semantics of programming languages, various categories of domains, with continuous functions as morphisms, and their closure properties under operations like taking products or function space have been intensively studied. However, classes of domains which, like bifinite domains, are also closed under the Plotkin powerdomain operation are rare. The author investigates stable domains. They naturally generalize the concept of \\(dI\\)-domains studied by Berry and others and satisfy a strong finiteness condition for compact elements, but in general no distributivity assumption. The author shows that the class of all stable domains is closed under countable cartesian products, stable function space and the Plotkin powerdomain operation. As a consequence, he also obtains that the categories of all stable \\(L\\)-domains and of all distributive stable \\(L\\)-domains, with stable functions as morphisms, are cartesian closed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685428$A3EF26FC-89B9-4B1D-9DD9-02216FB62D42","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"704682b0d07797310aed9358790516e2487b2e7f","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$152C90A8-A093-46AF-8260-9C7575B88FC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685428$09C2BD0D-BFA4-418C-9DAA-A99E6971EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685428$CA05E740-D1DA-475E-9E8C-CC0423CEFECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24497000f9ddb1f43fed5c23a0bb492b7b7956b7","datavalue":{"value":"417360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685428$60E5A0BA-EDD5-4818-B6C8-74F6FBA5F73F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ab363ea98b421eac425bc5603b5cf2e1293c7e","datavalue":{"value":"power-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q685428$C0097DBE-2608-41BD-880B-B61437643869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd26c19d6ac2f0d99cc98463ccaeaff39080c5d","datavalue":{"value":"cartesian closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q685428$44F4E66D-67ED-45F6-97E9-67EE4D1A7BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfba705e53d8b72922c8e8220be7de93510095eb","datavalue":{"value":"\\(L\\)-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q685428$247C6BFE-F84A-4D6D-AFF4-D4EA1C92FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee87f0d34067f3441096b167dcd9f74af69ad1f","datavalue":{"value":"stable domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q685428$CC6C7D42-8962-455B-AF02-2DCFE5F5BE49","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":"Q685428$2546D357-2016-4704-8CD7-08B2849A274D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$F9FC46A7-8498-4830-B476-4EDC66CCEAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$C1B6024B-789C-4607-9C67-22A14891E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb4408b726dcb40eb6cb23972f26d896669a974","datavalue":{"value":{"entity-type":"item","numeric-id":1263665,"id":"Q1263665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$EBBAAD05-4717-428E-85AA-17D3C1019AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$863ED7A8-BCF9-49FC-B3BC-318943B238CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$7F52AAA4-A2C3-424F-9AA0-D765A4E30D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87a324be910bae2f58b4d91d503cdc31e3e6970","datavalue":{"value":{"entity-type":"item","numeric-id":1175945,"id":"Q1175945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$CE25F9F8-6C53-4E2D-9C64-AEC39D6C1A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68143ba4bba7a3123919a47c4b233e46da05c53a","datavalue":{"value":{"entity-type":"item","numeric-id":914401,"id":"Q914401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$F9A6982E-2D1D-4C7B-836F-7E4178608B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$994D1D89-F3FA-49EC-AED3-AAA6566FD421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$E61107D9-9C45-467C-B277-3E2A5827C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242e8141c70c013ebf3853041ebcdb346472a331","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$BA368AFE-2878-4D27-B88E-29EF9DB359D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$B92D5A26-4506-4B94-9B81-9122B107BB37","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":"Q685428$10D2E5CF-42EE-46D4-BE86-EE4A7EDCA9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$4F35D6ED-1664-4B1D-90D8-2B967A362025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$81CFB632-CDF6-4089-9471-0ABCF89EC07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$8B528984-F08A-4C7C-BB32-C01D60B60B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2973a40cdc7ada8d04704b32ff80bbdfecef18","datavalue":{"value":{"entity-type":"item","numeric-id":3960746,"id":"Q3960746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$2D04A49B-BB7C-443C-8D64-87FAD18B9D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$5A188887-9DB2-49F1-8CCD-87BCBAAFED02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbcf01e75baf90b926b037455795da8362bb0c7","datavalue":{"value":{"entity-type":"item","numeric-id":917677,"id":"Q917677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$AB9E594C-34AA-46B3-8496-973E916848A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477a21e9bf6d6c513ed36c29e31db833edada1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4732603,"id":"Q4732603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685428$5AB9E91F-B61F-4760-9449-C7D2E3500F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d746378acd8d230120e595a1d9701a814dd472","datavalue":{"value":{"entity-type":"item","numeric-id":671652,"id":"Q671652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd5a6bd8eb31701603c05b8e3375c021c92fb62","datavalue":{"value":{"amount":"+0.8343931436538696","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":"Q685428$45B368B2-7D39-44A8-BFA1-FD7D4608CC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670212f10473abee44f679b633dfafdb55521f4c","datavalue":{"value":{"entity-type":"item","numeric-id":917677,"id":"Q917677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a2ad5de87a4cf7de5acb02040e20490035c9db","datavalue":{"value":{"amount":"+0.8006165027618408","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":"Q685428$83397C38-EE2C-455B-90EF-669AC982FA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5073223488e7d8f526b84ce60923e31a845bf28e","datavalue":{"value":{"entity-type":"item","numeric-id":5687238,"id":"Q5687238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1240af2452824b0f0e06ffa95457d094158c33","datavalue":{"value":{"amount":"+0.7991533875465393","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":"Q685428$5DD5649F-44F8-4988-8405-ECA738184724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f65d49c6a71fdde7ef5d934b32e821e8bd65fa","datavalue":{"value":{"entity-type":"item","numeric-id":1349652,"id":"Q1349652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72329df7da2ac0b12b5f0bd23d113f1509b36de2","datavalue":{"value":{"amount":"+0.7922725677490234","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":"Q685428$8F4D34BE-8607-45B5-8BCD-E5BD344E2EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411d00c29c53117d0fa6bd7b83dca0bb24789f20","datavalue":{"value":{"entity-type":"item","numeric-id":1368465,"id":"Q1368465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eebfbd24a140b0241fe7f235b25bb5db5e49d8d","datavalue":{"value":{"amount":"+0.7772490382194519","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":"Q685428$70930EB6-82D5-4DD9-BF58-A1F2273A36FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On stable domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_stable_domains"}}}}}