{"entities":{"Q1068927":{"pageid":1079679,"ns":120,"title":"Item:Q1068927","lastrevid":66206436,"modified":"2026-04-12T08:16:11Z","type":"item","id":"Q1068927","labels":{"en":{"language":"en","value":"Algebraic theories for continuous semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3931230"}},"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":"Q1068927$B8049089-3558-430C-A367-C443CF8D9DBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fef8cb6aaba2c8c7c8ed91744e8d2e1fdf1f6c98","datavalue":{"value":{"text":"Algebraic theories for continuous semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068927$6E6E990D-C1C9-45E3-B590-CBE5E7A47321","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c81e5b0daffe0cec91243a2204fa268b767f8ad0","datavalue":{"value":"0582.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$478AA8F8-8050-4912-AC7A-F35D17EF37BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aced0d2579888fa2ce4fdbe82621ef191ff35fa8","datavalue":{"value":"10.1007/BF00250716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$5B51A582-A2A2-4DF7-B3FA-7CA7CC69EEC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a038df88fd37ff5330da681bb604af6fa0e52eee","datavalue":{"value":{"entity-type":"item","numeric-id":1068926,"id":"Q1068926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068927$4F83FE2A-9449-4787-AF6B-F12B850B24B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"511d57c88112b9a679d7b7c8c8c776608976a72a","datavalue":{"value":{"entity-type":"item","numeric-id":163608,"id":"Q163608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068927$D686CDFB-0148-401C-B98C-617AA10C5E64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1068927$B37DA5F4-5F27-4E5F-B975-D8D0CCA3DE27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbde68022a49cc190506e3401d9eb60aedef38eb","datavalue":{"value":"A (sup) semilattice is said to be continuous if it is complete (all non- empty sups and infs of chains always exist) and each element is the infimum of the elements which lay above it (the order dual of the standard definition). It is shown that continuous semilattices arise as the monadal algebras of (i) the monad of proper filters on sets, (ii) the Vietoris monad of non-empty closed subsets on compact spaces, and (iii) the monad of proper closed (resp. open) filters on topological spaces. (Alternately, one may view these as ''free'' constructions adjoint to the forgetful functor from the category of continuous semilattices to the categories of sets, compact spaces, and topological spaces, respectively) Cases (i) and (ii) are alternate versions of known results for continuous lattices; the properness conditions do not appear in this case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068927$8DAF11F1-15F2-42AC-AD65-E4E8FC6A2AC3","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":"Q1068927$2A15BE00-AE0A-4882-8F6E-B919D0574501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$8554187C-2FA1-483C-AEE5-BD5D9C34E25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$80891943-EAA3-42A0-A850-2CA83E7892A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa4446080f6ef2ae4d17a75a38b31128fb212f09","datavalue":{"value":"06C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$732ACDB6-A9E8-427A-A6B5-0DA358ABA9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$45150E14-C65D-4EF2-AE15-98AF1277DB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$55DCFAC4-F4CC-40A0-9B1E-626145502399","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789cdc0c883cc4a54f10f8bd1c98fae885ac5e8a","datavalue":{"value":"3931230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$A2EA7D9B-E818-4C78-8863-AA073BB13B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b61b0c5df0698fae488cdf743cf509415a77351","datavalue":{"value":"continuous semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068927$5F0E4E90-578D-48F5-B255-AC82AD7719F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d5e395d43ac8bedaef560b59dd8b6139b55be0","datavalue":{"value":"monadal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068927$5555EA2C-9EB5-408A-BEDF-81A4126C6B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068927$F4FA33CF-A3E6-4442-BA13-9FC0408A1B8B","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":"Q1068927$F051D6DA-7DDD-4680-AB5C-FF632A21897E","rank":"normal"}],"P223":[{"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":"Q1068927$BCD9BF89-EB10-473E-B4AA-102CB42969DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068927$BDFD63CD-F474-48D8-B30F-F960E8C05846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61419096edc1ffbdcfe0820150a78c61244317e4","datavalue":{"value":{"entity-type":"item","numeric-id":3912632,"id":"Q3912632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068927$3F67565A-9262-4951-BB1A-5D785F818521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b776ac5564dd49190eaaba1518283bd2a5c666","datavalue":{"value":{"entity-type":"item","numeric-id":5185227,"id":"Q5185227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068927$B21E1497-287C-49A5-8C2B-C6F1BC78DD80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30b9612b1f7ddc591f8396623ec9ebd24f6aefbe","datavalue":{"value":"https://doi.org/10.1007/bf00250716","type":"string"},"datatype":"url"},"type":"statement","id":"Q1068927$7289D878-24ED-4602-BB31-73A6644F441B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05a6f950450e1b48b4735627ace89a69b6963ae9","datavalue":{"value":"W4210463406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068927$E916CCA7-2D97-4CA4-96FF-F05E86659FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19e614b22dae7c6db8c18bc6aed73cbf80c5400","datavalue":{"value":{"entity-type":"item","numeric-id":6081542,"id":"Q6081542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673984d671a5dae524ba1e12c55d49e8c79436fa","datavalue":{"value":{"amount":"+0.7857219576835632","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":"Q1068927$287C70F4-28A2-4E4A-9C51-7245690BCDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482ea1960c4821e340bf4c3e4d7e51f554ad08d4","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61293c56622471f13c46ed8c558cb2701a957e0","datavalue":{"value":{"amount":"+0.7852717638015747","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":"Q1068927$8D919182-666B-40D1-B4EB-C3BF4696E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d60f969af9f82ca6cfb255d22eac863d28e899d","datavalue":{"value":{"entity-type":"item","numeric-id":596031,"id":"Q596031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1023f999d0515a2d5e68f67fbfdb3a02970d44","datavalue":{"value":{"amount":"+0.77772057056427","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":"Q1068927$BD00E0D6-7409-4C38-AF4E-215684753304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b709abfaf4e803d61702199872ad95184312c622","datavalue":{"value":{"entity-type":"item","numeric-id":1080873,"id":"Q1080873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c03392b01b9a0e12465afdcfc3f634fbf371d","datavalue":{"value":{"amount":"+0.7739263772964478","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":"Q1068927$704EC824-7BCB-4AD2-B538-B10F0E4A1EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fc7b8966379e121f0d051d30472676d89385f0","datavalue":{"value":{"entity-type":"item","numeric-id":1105674,"id":"Q1105674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6c9005f34195997e6df23db8d96c5d7b35f169","datavalue":{"value":{"amount":"+0.7617502212524414","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":"Q1068927$D5CA86EB-EE45-446C-8C5A-BAFEF530CE1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic theories for continuous semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_theories_for_continuous_semilattices"}}}}}