{"entities":{"Q2508617":{"pageid":2519360,"ns":120,"title":"Item:Q2508617","lastrevid":44233929,"modified":"2025-11-21T03:26:34Z","type":"item","id":"Q2508617","labels":{"en":{"language":"en","value":"Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5063943"}},"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":"Q2508617$202AA6B4-D846-48F3-8535-88CAE6D419C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afca5b93264650098893216a3c702115dc0374ca","datavalue":{"value":{"text":"Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2508617$CBEF1DCB-3196-4A47-B909-9648AEC600D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b94994d5f26efdeb76d13662b0053e5388cceb3e","datavalue":{"value":"1119.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$5B11300D-0F95-45A2-AB5C-8692916B231A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af3681c3e912270cd2e91da9ab6b14bb1cabb060","datavalue":{"value":{"entity-type":"item","numeric-id":1930045,"id":"Q1930045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$E4E6B35F-F14B-4D9D-92F1-067F5C5CEF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c93f6530cac5fe1cbb012f661f39a2b09eb720c","datavalue":{"value":{"entity-type":"item","numeric-id":591436,"id":"Q591436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$A52D7DDC-6D6F-4C1B-B6A2-91009F83FF7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dd6d037f7589ccec73179b7d454e6852b114af","datavalue":{"value":{"time":"+2006-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2508617$9BD6DA5A-8E1D-4EDB-A6C3-527FE8BA3DAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37ce518e69e631cc7f7d1631ad509a7a2893e2f7","datavalue":{"value":"The authors introduce the notion of a quasi-hyperalgebraic lattice (always assumed to be complete) and give several equivalences, among them the condition that the lattice be a quasialgebraic one for which the upper and Scott topologies agree. It is shown that the quasi-algebraic lattices are precisely the ones that are Priestley spaces with repect to their interval topologies. The authors also show that the Smyth powerdomain of a quasi-hyperalgebraic lattice is hyperalgebraic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508617$B0EAC6E3-C77C-4045-BA6A-C1B73F660120","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$CDF37340-8C86-4042-8A66-8596B75A4795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$4FEA7C23-E244-494A-93CD-6F213680FF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$532862E2-096B-4E1D-AC72-2D795C1B01D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9c3c224f0771a85a0a4bd96ee4e781a6d585577","datavalue":{"value":"5063943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$B59BC6EE-EA5A-4ACD-9B70-EE02CC7EE333","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508617$712655BD-C1BB-4BA2-B7B6-5CCDEA057BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b88badf0633f24eb3f8cf2567299eee079d911b","datavalue":{"value":"hypercontinuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508617$FAA1E002-F3AD-4BE6-BBDF-31A00718BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78c32472017b8a089378b142e919e905a696b8c","datavalue":{"value":"quasi-hyperalgebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508617$BCB73869-FF51-4783-A68A-EAAE70D3D683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a3ea24e8b61c1eb80de4a5f78ab8e69d427c90","datavalue":{"value":"Smyth powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508617$3B540211-60E9-49D6-B031-B49F3F83E511","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":"Q2508617$00D75562-70B4-46FA-B075-7F21EFFFE5A7","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":"Q2508617$E5496B9C-E9DB-4939-ABD5-8749F6A40B7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e25d6672ea314709371463c8d5126ca3134c151","datavalue":{"value":"https://doi.org/10.1007/s10114-005-0737-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2508617$BEA793C2-9270-4FA9-B781-77E463518095","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ff88b41d194de10d767b19f8616c57755f2fde","datavalue":{"value":"W2037324122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$580472DA-3958-44A0-88D5-14101D2885C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$857C215B-67FC-408E-ABFA-F3ED47B556B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86de423da3471e578eb080fa92cb6b5c8254bd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3476856,"id":"Q3476856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$DD066B89-E1CE-486C-9B1E-F6C47FFBB91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac5ebd7c8c0510b9e71810ed8f959930aab94dc","datavalue":{"value":{"entity-type":"item","numeric-id":1361360,"id":"Q1361360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$0AAA4DFE-0623-4817-928F-239BFCC2B325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$DFA57BE7-7B77-4D25-B396-A409D58C4808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754d3c38d6acfc8c0a1a7098fbed5e7ca26453c5","datavalue":{"value":{"entity-type":"item","numeric-id":4472786,"id":"Q4472786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$CA4D81B5-DF45-4191-A197-69F26BA4C556","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":"Q2508617$5EA69722-4449-47AC-A5CA-DAC886AA9C02","rank":"normal"},{"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":"Q2508617$3E73218C-1685-4BC9-A0DA-4B1F81FB2692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e674bc0744d52aba772f7af8e99f738c86a064fc","datavalue":{"value":{"entity-type":"item","numeric-id":1421960,"id":"Q1421960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$6C186F95-399B-4AA8-A951-600F50182F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2445a892b3b919a8cc9cb985d7975cf4a673f1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4281769,"id":"Q4281769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$7E906E4B-EE8D-4809-A910-83F19309C608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$E2221AE2-5474-434D-89D2-698BC3390735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030ccb5389c02e17df8168d7953b58a7f32f249f","datavalue":{"value":{"entity-type":"item","numeric-id":1158182,"id":"Q1158182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$FFBC79FE-CC79-4B06-B1CF-F1DD2AF00156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcfb4044285e066bb5550016491c687a1a074d8","datavalue":{"value":{"entity-type":"item","numeric-id":5298086,"id":"Q5298086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$88DAAD78-7346-46A9-B3A3-E75A781A4D92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8292cddbf6be1c2a878b8a3574326df72c4bbfc7","datavalue":{"value":"10.1007/S10114-005-0737-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508617$DDBF281B-2E56-44B7-AFEB-8F1F0E6B9FCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d415f37e796cd5707244b8cf96aaa310c295d1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1970922,"id":"Q1970922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfbc09d9cc7ff92225a0496942540da3921ef60","datavalue":{"value":{"amount":"+0.909022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$0F2F7197-34E5-496D-8EF1-3730D9751881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb16eba5278a0239ee57df11ea300b92f90ba142","datavalue":{"value":{"entity-type":"item","numeric-id":1192092,"id":"Q1192092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25169d5700334b3c9ae796aab679fef1e1bd65f3","datavalue":{"value":{"amount":"+0.89262354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$65334F0A-153D-4273-9311-105E4BAC7DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadc9e193c70c9227e7724c1c82b8e0ec1fadd4a","datavalue":{"value":{"entity-type":"item","numeric-id":3140367,"id":"Q3140367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7b76008c397aa64ab2bc72017ba42f4f59c87e","datavalue":{"value":{"amount":"+0.8719929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$1CE23AC2-E989-4240-9A84-3B0F4C2B5CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477ba5946e70f79c3174b3419e95c4ea3e81f288","datavalue":{"value":{"entity-type":"item","numeric-id":5301325,"id":"Q5301325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a3e2fe128d9fdf91bd87105b54bf512fb40c12","datavalue":{"value":{"amount":"+0.8711401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$20FCFCEA-CECE-401B-83B5-1A236E6884D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a7b5fc387fe2a678f7f377859f10f8652ace47","datavalue":{"value":{"entity-type":"item","numeric-id":1821123,"id":"Q1821123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8759526cb75bc505e7e76d605263e83d66a1bc","datavalue":{"value":{"amount":"+0.86610293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$F96A1DC6-FD54-45FE-BC64-C4D34DCDEE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1ee0b79d1b64c676c39a0bbeae9a13358ddcb7","datavalue":{"value":{"entity-type":"item","numeric-id":5471524,"id":"Q5471524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45eee5b17141c029f0b1c991dd6e30036369005b","datavalue":{"value":{"amount":"+0.8657931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$6CEBF9CE-2240-4E6C-96C2-48F2D6ACBB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8a08956cb5d9c1a5f4d5870428ca6f53341f84","datavalue":{"value":{"entity-type":"item","numeric-id":4376427,"id":"Q4376427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c93c68499d4976e514eed04d0f5ebad3dc38995","datavalue":{"value":{"amount":"+0.8640088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$A8D006EE-24A9-40EF-9B78-C41F5D3E250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08810497e91371f87534930ab4b57c1531d23e17","datavalue":{"value":{"entity-type":"item","numeric-id":3754036,"id":"Q3754036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92928b8fb6ae06d2e62d55736439fd1eadbca44f","datavalue":{"value":{"amount":"+0.8624522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$8AF9C0D3-4A89-4279-BAE0-8A7827FEA551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade7516c21236af9679b51aacc3eb802075af026","datavalue":{"value":{"entity-type":"item","numeric-id":1080452,"id":"Q1080452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9082aeb4c27f8ee91539fc2a3a1e1bbf0ebb7c16","datavalue":{"value":{"amount":"+0.8617715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$964A9748-E515-4A9E-B0CA-89EA82C8A0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809a6a784621ac47064c48701de305031724e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2451712,"id":"Q2451712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3505329d41d889d809e8ecac3a0e25f24a852c","datavalue":{"value":{"amount":"+0.8606596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2508617$B86F0F5E-FED2-4D5F-865F-CC50A5751CEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3570b3f5f110906e70e74fb4db2efff35a52a831","datavalue":{"value":{"entity-type":"item","numeric-id":4225446,"id":"Q4225446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508617$A513417C-C06C-48F6-8341-20D178CEA863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2508617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2508617"}}}}}