{"entities":{"Q793066":{"pageid":794914,"ns":120,"title":"Item:Q793066","lastrevid":64416966,"modified":"2026-04-11T19:43:38Z","type":"item","id":"Q793066","labels":{"en":{"language":"en","value":"A topological characterization of complete distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855182"}},"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":"Q793066$4A8CB07A-D12F-40BA-A33C-040BA7A0A29F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9e1f8f000394b3005e9940effb3d7a4e42e5b76","datavalue":{"value":{"text":"A topological characterization of complete distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793066$D4ACB225-158E-4965-91FF-0BC337FE3D0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e0e1e2396e13f690df9035c0bc2d62ac53f4bad","datavalue":{"value":"0538.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$28D07261-EC49-489C-8F89-1D69EF1E94F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"376fe26df9a482c1649da9ef98bdf0761e120eec","datavalue":{"value":"10.1016/0012-365X(84)90063-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$AE736B4C-4927-4C49-A67C-6674CBDC136A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b87425768e349ef41af73f43a0e6a274f9d7959c","datavalue":{"value":{"entity-type":"item","numeric-id":221488,"id":"Q221488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$F4A853E0-D056-41EE-B727-F273B44B67F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$9975B83B-79DA-4435-999A-7F13AEEB99C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q793066$1DFE4175-2C3C-4005-AA6A-99CA77347734","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d16fd6b263467a7ea346804506f9c32e43927018","datavalue":{"value":"A Priestley space X is a totally disconnected ordered topological space. If \\(A\\subset X\\) then \\(A^*=\\{x\\in X;\\) there exists \\(y\\in A\\) such that \\(y\\leq x\\}\\). By \\(Q(X)\\) is denoted \\(Q(X)=\\{A\\subset X;\\) A is increasing, closed and open\\}. For a Priestley space X, \\(Q(X)\\) is a complete lattice iff it satisfies the condition (E): \\(D\\subset X\\) is increasing and open implies \\({\\bar D}^*\\in Q(X)\\). If an ordered compact space X satisfies (E) then X is a Priestley space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793066$BDB6103D-1258-410A-9664-C7335E00714F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$3652E37E-4AAA-4A9F-817B-385B8932DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$ED3764E7-D8D6-4B76-B3B4-455008EE7EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$0A57FDDE-31A3-4A58-8B11-B8B706D955FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$9F76B678-9DE7-4D2A-A88D-431AB53087A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"155f7d09b0b968deec9487f31fef8bb18e478926","datavalue":{"value":"3855182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793066$C2546119-1BAA-4E25-BEBD-4716448CCCA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q793066$14D201A6-CE99-4A7F-A6C6-1B8229D1A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962db3047a56b289ea920396869b387af8dcca63","datavalue":{"value":"totally disconnected ordered topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q793066$82D05532-4B09-4B65-B265-C50FB0C4F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q793066$E8463AD9-3526-4D8D-BBB5-3596297FBC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54640aa0349303c96ed19a6e9593de5a79cb6a4","datavalue":{"value":"ordered compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q793066$459F37D5-0D52-49D3-A703-A468E49477F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf53eae261c6c9a26d23df4f54eaf5c15ea2fe76","datavalue":{"value":{"entity-type":"item","numeric-id":1819406,"id":"Q1819406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$A36BDB0B-6012-43CF-B8AA-2E4C62A2332E","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":"Q793066$1A20C7DE-0EA1-4368-AC66-A3EF78E42A59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$4CD42083-6E8E-42C3-9AE2-D934EC8F2DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ea377cefd6d7cf2cfb17a8de435dfdf6add52","datavalue":{"value":{"entity-type":"item","numeric-id":5808817,"id":"Q5808817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$AFDD429E-0F1E-4E19-B78C-7E98F56454D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf8e9e50b2a58a68f3afae4afa50f57469a92","datavalue":{"value":{"entity-type":"item","numeric-id":5340517,"id":"Q5340517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$AF347D50-0477-4FCC-BC74-7FEE25E7BAEA","rank":"normal"},{"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":"Q793066$81254945-DAC6-4D84-A7B4-565E3E6C4AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793066$E0DC22A0-6F87-48E9-962D-0E59712FAFD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9882d79993efda56655212c5e78f2f2a04f06b02","datavalue":{"value":{"entity-type":"item","numeric-id":3476856,"id":"Q3476856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12470afadacc7c186bc22451b3ebc560f143481","datavalue":{"value":{"amount":"+0.8857555985450745","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":"Q793066$B9F3D99F-DF90-4E7F-96E3-E272D532F176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4077f655d233f0a4447b478507c75721f9c54b58","datavalue":{"value":{"entity-type":"item","numeric-id":5971231,"id":"Q5971231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e2c22870792d5ce4c8bf967e990a501b55525f","datavalue":{"value":{"amount":"+0.7852993607521057","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":"Q793066$345238C4-67C4-4FBA-BA74-1B8188F042AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63b644772e50d466a7d6dd1e747be491ded0c9f","datavalue":{"value":{"entity-type":"item","numeric-id":5920363,"id":"Q5920363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed641d49536bf13170311da29d2b51ed02e63e4a","datavalue":{"value":{"amount":"+0.7852990627288818","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":"Q793066$5D90DEF3-8201-4153-AE83-FD7B615E10FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64656954cc0582390f11c629ae533c889c77253","datavalue":{"value":{"entity-type":"item","numeric-id":651431,"id":"Q651431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2592fd550498034d8704232f36192c359bd0eb","datavalue":{"value":{"amount":"+0.7761709690093994","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":"Q793066$0A3F75B3-1D66-4010-9FA1-EB98BD6988B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb04ae345528b72d9aad8596bb7d693d4076679b","datavalue":{"value":{"entity-type":"item","numeric-id":4271825,"id":"Q4271825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da723d5b0e4d691f9ed2406bd5bc7ba847cb1800","datavalue":{"value":{"amount":"+0.7654982805252075","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":"Q793066$4C669BA7-61A6-4BF4-887C-8170AF3368D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A topological characterization of complete distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_topological_characterization_of_complete_distributive_lattices"}}}}}