{"entities":{"Q1368465":{"pageid":1379205,"ns":120,"title":"Item:Q1368465","lastrevid":70995762,"modified":"2026-04-13T18:47:15Z","type":"item","id":"Q1368465","labels":{"en":{"language":"en","value":"Stone duality and representation of stable domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067166"}},"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":"Q1368465$7D0A5CDE-5E53-4FF3-B89C-A0634138358E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8634ba817d81196d70cd053d90216af0845af8b","datavalue":{"value":{"text":"Stone duality and representation of stable domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368465$7AE69E7A-1368-4C1F-BFC7-63521BA2A131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b70d467f921f6f054c8119e3dbed0ace90d0c67","datavalue":{"value":"0883.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368465$E17ED823-6507-4AB7-973A-17164A5B5FE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e639d6f7311c8909d5b55cc5731399f4486f8e67","datavalue":{"value":"10.1016/S0898-1221(97)00096-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368465$68F1D493-7CEA-4BEC-9A8A-638DF24D65B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ff419243b28fa9d39bc2b53155a27e240a83493","datavalue":{"value":{"time":"+1998-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368465$256A12CC-E979-4216-B831-61AD86594FA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b98386c82a73296c1abcac73e62051d3b1f524b","datavalue":{"value":"The author gives a Stone duality result for the category of \\(L\\)-domains and stable functions, by relating them to a category of particular \\(\\land\\)-semilattices, called stable \\(D\\)-semilattices. He also introduces semitopological systems, which form a generalization of the topological systems studied by \\textit{S. Vickers} [Topology via Logic (1989; Zbl 0668.54001)]. After deriving a Stone duality result for such spaces and continuous functions, he obtains, as a consequence, similar topological dualities for the categories of \\(L\\)-domains and of Scott-domains, respectively. \\(L\\)-domains, Scott-domains and stable functions are important in mathematical foundations of denotational semantics of programming languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$D53AFB79-053A-4A1E-997B-4911E7335563","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368465$69865B72-B968-4D48-9B22-9653147EAD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368465$41063F0C-05E1-40D8-9CD5-CF92183CDC7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a48b4e35f799724e847699edcdbce9d77b00816d","datavalue":{"value":"1067166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368465$D44CA15A-237E-4F53-9321-AA6F508415D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee87f0d34067f3441096b167dcd9f74af69ad1f","datavalue":{"value":"stable domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$70E3A5D6-7F0D-4FA0-B4C3-B49E127C7281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416f238239c305f0ab10255d96b52d903591d75a","datavalue":{"value":"category of \\(L\\)-domains and stable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$B0AD7569-9C1E-4D68-9B7A-2302A665DFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f3d75fdaad524b946242c15234bf6fffce799f6","datavalue":{"value":"stable \\(D\\)-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$265F6820-8056-4D6B-BB98-A57BE23D3687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$0754F5A1-7ED7-4C76-84AE-FC96803B4F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bf47bbc1506a45ad05dc60aa6630fd0276c0eb","datavalue":{"value":"semitopological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$D3BE8640-D7B9-4BB8-BBAE-B7534813772C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe652244219df720e2a6856f6b8de95fa6ea40f","datavalue":{"value":"topological dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$54AFB7FC-27FA-4F02-9087-12ADD269F613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2bda06b5c28e56871538e9a7943e4c2b20fa7e3","datavalue":{"value":"Scott-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$AEB0A90C-598E-4DF9-BFF1-D9894B7C1535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368465$4A8C23EA-BB4E-4E07-A8C6-9EA49B5E360D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$8D827A8A-59DA-44AD-B56E-005051229D38","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":"Q1368465$2312925E-A8E3-4CD9-A662-84C942457883","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":"Q1368465$1C9DF9DC-9067-4312-8437-AE4CCD2F91FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$F141DD47-87C9-4413-8FF2-63B676D2DBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$0ED8904F-594E-45B1-9733-2AF887EC887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$90A80504-DB53-4DD1-9C3A-BFD84027E478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$8447940A-425B-4342-9AB9-2DA2B9263EA4","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":"Q1368465$0127269E-6009-4E00-871B-F876BECDC76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e350d60c891131cdbb8841f1cc1be7d8e7ffc3","datavalue":{"value":{"entity-type":"item","numeric-id":4282565,"id":"Q4282565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$FB36318C-17FB-4E7A-B60A-8ACEB33CDC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331e66213d6791ec89f45bc8203d84ce5a81423c","datavalue":{"value":{"entity-type":"item","numeric-id":5887527,"id":"Q5887527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$971F97C5-D3C8-4E37-8353-661F1C6F92D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed3a0f6749e0ebb4b82fc165179bd02bade00","datavalue":{"value":{"entity-type":"item","numeric-id":685417,"id":"Q685417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$61167F28-FD27-4AB6-8024-00F61706DBD5","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":"Q1368465$AA172C99-2FF1-479E-BD31-E6C03439C5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5919240d940375e6cfdce3ad930dbd5631f514","datavalue":{"value":{"entity-type":"item","numeric-id":1185012,"id":"Q1185012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$C8DD303A-05E0-477A-9AA6-BC0A720D44D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e08477502e3a31e51b39f20bf4937f96676c229","datavalue":{"value":{"entity-type":"item","numeric-id":5204324,"id":"Q5204324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$D8CD583A-FDD6-46C5-B4A6-E9E19431AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6003ac2f97ef0852c64701b6d0a9d9bdc01bfbc7","datavalue":{"value":{"entity-type":"item","numeric-id":4279246,"id":"Q4279246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$CEB5B08A-DEE1-4B92-BB66-24745D99D8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39d43d8d3fc3cd5e981295737723b7a5bb0da07","datavalue":{"value":{"entity-type":"item","numeric-id":3853627,"id":"Q3853627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$C199650B-C841-4E1E-8C65-F2DA5202AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12baf6c19dd2a0e349700dd813c53e78613d91a","datavalue":{"value":{"entity-type":"item","numeric-id":1262787,"id":"Q1262787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$688C736B-3DF1-41EF-87F9-7375049F0D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5952f2a64e38dfab3b2c3c77c2dad7579759c003","datavalue":{"value":{"entity-type":"item","numeric-id":5812713,"id":"Q5812713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$4868B692-E612-4E58-93BD-FEA84F7C5F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$AD09CC2C-8B0C-4D31-8F22-28E89AE543F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930ff6c146eadf1d16c7d55282eb1c5517685f6","datavalue":{"value":{"entity-type":"item","numeric-id":4282566,"id":"Q4282566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$5A56DB03-EDB1-4231-B97F-F41E43FB91D5","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":"Q1368465$9861BED7-C6E4-4485-A1B7-C50153D0CCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f0af04c9717455e4bbc4191c8ad68fd298e12f","datavalue":{"value":{"entity-type":"item","numeric-id":685428,"id":"Q685428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$A5BF9BC2-B21D-4A9E-8635-4AC5460E712F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd45e777b215572733ffffcf3fb4360b4657ce05","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$C90B4434-D714-4217-9876-1D03E4026062","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368465$6FCCD6C3-B8A0-47E3-8233-7590ADDAF37F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6587e412fd16e20a61164ac06fa3e0b23070fe3","datavalue":{"value":{"entity-type":"item","numeric-id":3154015,"id":"Q3154015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f1e2a646210e6d95c954dc5fc66e7b17324133","datavalue":{"value":{"amount":"+0.8336659073829651","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":"Q1368465$F55BB377-C937-41B9-9103-AD81CA0FF7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec55835b4fb3c55cfe5770e563b2654073de78a5","datavalue":{"value":{"entity-type":"item","numeric-id":4282565,"id":"Q4282565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b418d22b5d3d3d8f20290b6797f3850cb5f4b7c6","datavalue":{"value":{"amount":"+0.8141423463821411","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":"Q1368465$2831FC8C-9DCB-4D4C-AB78-8FE901ACCA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf387fd655904772e52da88bd2c31fc383e7462e","datavalue":{"value":{"entity-type":"item","numeric-id":685428,"id":"Q685428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04119112eb1468ca02f1f0970f6978b33bf8f8d5","datavalue":{"value":{"amount":"+0.8039416670799255","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":"Q1368465$9D530651-8A81-4939-B3CC-A04DDE4B495F","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":"c56ae23a135dec809239b30afa2e79adb189fb20","datavalue":{"value":{"amount":"+0.7966665029525757","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":"Q1368465$1D94723B-E1F6-4C15-816A-FEE03A958554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stone duality and representation of stable domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stone_duality_and_representation_of_stable_domain"}}}}}