{"entities":{"Q732011":{"pageid":733860,"ns":120,"title":"Item:Q732011","lastrevid":63952731,"modified":"2026-04-11T16:39:39Z","type":"item","id":"Q732011","labels":{"en":{"language":"en","value":"Meet continuity properties of posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612515"}},"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":"Q732011$D7D1D34C-357E-4770-BEEF-4D3CF3753148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63810e254ef9a3b3c7530e83221c03c7fea2e85f","datavalue":{"value":{"text":"Meet continuity properties of posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732011$06464659-CEDF-4A75-AE1D-35CE67B72FF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302b1c86becfdebf7428d0e5c0e593c58429fc90","datavalue":{"value":"1180.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732011$6E43D43A-CB14-4C0A-B95B-857A94D0922E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58e11b18f6a2e3b2e5fbb2428fbc24167af0e44","datavalue":{"value":{"entity-type":"item","numeric-id":732010,"id":"Q732010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$95217C25-1816-423E-A585-3F348D4CE380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9fe92a06efb137ba268d44b69fcc91a245bc71","datavalue":{"value":{"entity-type":"item","numeric-id":221087,"id":"Q221087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$B6BBAE6C-799C-4526-B907-EED2A3A82A3B","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":"Q732011$078F10E0-A594-4E69-ADC6-2B632822A7F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-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":"Q732011$FF31B12A-0481-4081-AFD9-3EAD15140FDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"483d584b129a496e9439fdd31f524e4ad557987d","datavalue":{"value":"A meet continuous lattice is a complete lattice in which binary meets distribute over directed suprema. The authors generalize the concept of meet continuity to the setting of posets which are not directed complete. Using a newly-defined intrinsic topology, called the local Scott topology, the concept of locally meet continuous posets is introduced. Characterizations and properties of (locally) meet continuous posets are obtained in terms of the lattice properties of the Scott topology and of the local Scott topology. Posets for which the Scott topology coincides with the local Scott topology are meet continuous iff they are locally meet continuous iff they are PI-meet continuous, while the three kinds of meet continuities do not imply each other in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q732011$7AF26187-FB02-47EE-B54F-F838D5F123EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732011$A8916688-5877-408E-AAE1-59E2D785F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732011$2A62EF0C-08B3-4394-8A16-315F48B0A4DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75944b4e2be4f6ef39ad1ba51c11e2487345c242","datavalue":{"value":"5612515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732011$5F90E1AC-14BC-4C21-AA01-57712A02BB02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e7c9badbec3879aa46950c7d5b91388569fe9d","datavalue":{"value":"meet continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q732011$9FFCD75B-F52B-4EB7-9C82-F858906CECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c18a5a99656a7d6bfdab96dd95f8bdc9c599ee","datavalue":{"value":"locally meet continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q732011$623E24E6-0C76-444B-9B56-C24DF12094DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86166313ad73a1de172ce82477a301f3a2b50f9f","datavalue":{"value":"principal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q732011$4A2C2543-BE5F-4707-A3C7-5228B18B8D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d791a2a071a92b8b27a42205accffa2d43c3962","datavalue":{"value":"local Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q732011$2182E2D3-0861-4D3E-8918-0414F669A8C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$F9BDBE68-749E-4319-A534-F836AB7A3A82","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":"Q732011$21A21CE5-ACCF-4FF0-945E-7B6663A06A64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"facbf1349061062135a9f2b96b16640632c57883","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.06.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q732011$F3029A61-7F4C-47AC-BE4A-3B23B8421451","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ae6c0b4e8eeb25cfb0b3929ef7bd845169392de","datavalue":{"value":"W2040868527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732011$98C39F52-3113-4E8F-9948-E4B9082634E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$CFF10657-4CE0-44AE-A42D-29312C57B279","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":"Q732011$06173CBE-5148-401D-9003-8DD96C01E61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197c197e25b2e6898fcbed3cc5398f39a883235d","datavalue":{"value":{"entity-type":"item","numeric-id":1434352,"id":"Q1434352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$E2906AB8-153E-4704-9DA6-C081462D8A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$67D19C21-AA18-49BA-9AF6-89E10FA40873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aba4ec45307f1b7a282feb120d06b69b2cc44b5","datavalue":{"value":{"entity-type":"item","numeric-id":4261093,"id":"Q4261093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$2189692F-A7CF-4164-9D21-787A7CDE8E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$9CA02413-A76B-4161-A72A-4689AF1E970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d5fd453268b6f7a5002a70a856f303178df223","datavalue":{"value":{"entity-type":"item","numeric-id":4456908,"id":"Q4456908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$C41E1C2A-3871-44CF-BD6C-32CE29C1931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0da2a61cbfb7d19002c23d3371305eb16dc406","datavalue":{"value":{"entity-type":"item","numeric-id":2493897,"id":"Q2493897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$2B8D4E92-FD4F-45C7-B722-8F0D13639B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b767556270144980fca44a8d0e1064d7fe3fc09","datavalue":{"value":{"entity-type":"item","numeric-id":932355,"id":"Q932355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732011$BCB5C401-5E7F-49EF-B088-4D46A1B9F9A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"596416f19e62caaf13957bdb725ce71851f2da93","datavalue":{"value":"10.1016/J.TCS.2009.06.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732011$8EEE4235-D3F0-4BC0-9BC8-F61332AD24EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aed155e7e26a64fed9afe7091a1f76777f00889","datavalue":{"value":{"entity-type":"item","numeric-id":5367702,"id":"Q5367702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8320439c74d159e5e199a25ceab0a329bf2bfc","datavalue":{"value":{"amount":"+0.8626887798309326","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":"Q732011$116C788F-ECF7-4BBC-A9EA-C3973E5DBDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d593b09aeea85eceae9d740e6d285f891f26cc20","datavalue":{"value":{"entity-type":"item","numeric-id":3455466,"id":"Q3455466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d382beaac7d8dd3e2cc54e44987818d4fd0b9793","datavalue":{"value":{"amount":"+0.8514707088470459","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":"Q732011$AD01B33F-FB65-493B-A6C2-106F3533D73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a50df82d875e1752c859ccc72e8313b6fcf16e","datavalue":{"value":{"entity-type":"item","numeric-id":3021070,"id":"Q3021070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0851d6b0ac3be77da75c31eecac2702022ecc567","datavalue":{"value":{"amount":"+0.84764164686203","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":"Q732011$CAFC7E66-C3FE-4CBA-ADE3-D7188A0FDC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c47f02af85f9ecddefdf8a938021178952a6620","datavalue":{"value":{"entity-type":"item","numeric-id":2994286,"id":"Q2994286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a50aeee8cd58368487981471ff221d7576019e6","datavalue":{"value":{"amount":"+0.8433406949043274","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":"Q732011$06C8B60F-BEA7-45D2-BC5B-2630D157EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709d6569b4e4d52e2a82925493c1ec403b466df3","datavalue":{"value":{"entity-type":"item","numeric-id":5209687,"id":"Q5209687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09e79a29a9d97ece6c806cb70ad1bc94696d859","datavalue":{"value":{"amount":"+0.8371507525444031","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":"Q732011$DF5577F0-AB13-4126-B2E2-F0FF7591C5C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meet continuity properties of posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Meet_continuity_properties_of_posets"}}}}}