{"entities":{"Q1814857":{"pageid":1825599,"ns":120,"title":"Item:Q1814857","lastrevid":73021524,"modified":"2026-04-14T09:26:43Z","type":"item","id":"Q1814857","labels":{"en":{"language":"en","value":"Continuous \\(L\\)-domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 940897"}},"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":"Q1814857$8FC55A2D-B241-4F19-9582-D50AB5F04A34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"155743cad0a6c3e62d6be88ec379b34b5cee6a09","datavalue":{"value":{"text":"Continuous \\(L\\)-domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814857$13D45FD3-D0C2-4D82-84D7-CF52A4F45A31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcf6ce9bd9084acb17c23d7d08729188c1b6298d","datavalue":{"value":"0860.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814857$A18339AE-CC3A-49F6-8B79-016688657328","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d97c3955a340bf2fabd1dc725af535482e933f3","datavalue":{"value":{"entity-type":"item","numeric-id":181511,"id":"Q181511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814857$422A604C-4EFC-4554-BC58-4F6FC62B3794","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e841b33426c82a5eafbf7f8cc8852d9be70f609","datavalue":{"value":{"time":"+1996-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814857$B0ED965E-48EF-4BED-AC89-CBFE1C7BD5C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94a1a990cc033d0b6c07d16b9176f2c0e2094ca4","datavalue":{"value":"It is proved that the category of continuous bounded-complete CPO's is cartesian closed. Moreover, a continuous bounded-complete CPO \\(L\\) is characterized by the property that \\([X\\to L]\\) is a continuous CPO for all core compact spaces \\(X\\). This solves a problem posed by Lawson and Mislove.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814857$E470F315-0663-49C4-9D53-49A772F577CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814857$5A4CF13F-C047-44AD-A9AA-748EBD3BA610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814857$19C01D39-EB7A-4915-A2FB-84A5F0E7CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814857$86AB40E9-BA4F-4F9E-BBD0-5432781F6A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814857$0CFA949B-CD28-430F-893F-5943498C72A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0928b66042210e7801e4470def7170620723d4f","datavalue":{"value":"940897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814857$E8E81211-9175-4C62-B02A-03A0A12CDBAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49ade06d231a6fbfface73258898ee7daef5945","datavalue":{"value":"complete partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814857$294D484D-60C8-4EB2-8209-39B0E9F5E215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814857$C86D96A4-221A-4A9D-948A-49275F98EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a145f8ce977b08f836e360f0a25a11147ee5c62b","datavalue":{"value":"\\(L\\)-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814857$A8ABD783-B27A-4C55-A219-730F39986D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feda3671bf695e752f43fb51a1c34d8d819703fd","datavalue":{"value":"continuous bounded-complete CPO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814857$9BFA854D-C685-4AD3-96F8-29A09E5495AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1794969791f6b0cb912ae73417e47571d5263db5","datavalue":{"value":{"entity-type":"item","numeric-id":1270911,"id":"Q1270911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814857$0270E057-997B-4C89-8E04-4EFDE22E9391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85b7795951b905abf0a0f4a0310ed2f4e1be0490","datavalue":{"value":{"entity-type":"item","numeric-id":580761,"id":"Q580761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814857$849C86EE-04D7-43DA-AB1D-A21F18DB8E29","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":"Q1814857$6278CD59-8A57-4E6A-9574-A3137758F72C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70ef43849b69aa59f63a829f73c464f6c3cf71a","datavalue":{"value":{"entity-type":"item","numeric-id":1686201,"id":"Q1686201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d5b776f9dcb855b5f16dd2b722576e0405f1fe","datavalue":{"value":{"amount":"+0.8341588973999023","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":"Q1814857$7AE63771-DCAC-4D3D-B1FA-998699123F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b492cda6473d0fa1944c3902c02000c184b0a4f7","datavalue":{"value":{"entity-type":"item","numeric-id":854182,"id":"Q854182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa86999e60136c18ec90d1fb8c2fd19af07feee5","datavalue":{"value":{"amount":"+0.8220286965370178","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":"Q1814857$2557DF6D-6BB8-4F30-8C5D-7BD4AF93B29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93828864d88be8dd239857e7df55f4cc76452595","datavalue":{"value":{"entity-type":"item","numeric-id":2486012,"id":"Q2486012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5a617e3b09c7304b218326183792bf38280bed","datavalue":{"value":{"amount":"+0.8203077912330627","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":"Q1814857$C9F0B0C3-9D4E-400A-8886-4EC2CE5668F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3d020143d9539116a0bbff5bf5d8f8595d7c06","datavalue":{"value":{"entity-type":"item","numeric-id":2918311,"id":"Q2918311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52f34fa43e06136a7579a24b63379a405d2b7ab","datavalue":{"value":{"amount":"+0.818801760673523","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":"Q1814857$DBCC52F5-5109-46B0-BCCA-F756F462F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6848f268bb214de516b074165c55cba8f0e24a","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a209f2d98a3bfbcfa4a06b9528f80da8ce2cfd2","datavalue":{"value":{"amount":"+0.8078569769859314","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":"Q1814857$4B0A2FF4-C3C3-48AF-B6F5-09A0F686F278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuous \\(L\\)-domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuous_%5C(L%5C)-domains"}}}}}