{"entities":{"Q805642":{"pageid":807490,"ns":120,"title":"Item:Q805642","lastrevid":64473891,"modified":"2026-04-11T20:07:06Z","type":"item","id":"Q805642","labels":{"en":{"language":"en","value":"Equational theory of continuous lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204401"}},"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":"Q805642$DDCD3C48-BFD4-48BE-9C30-5035CDB8D142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c71bb3009ec94896a82b25dee28a0e5bebf76d7","datavalue":{"value":{"text":"Equational theory of continuous lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805642$2744BD05-16D0-4AC2-9213-E8632819B74F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7ba47a15c5f4fc2901d033df70e61896e31fde3","datavalue":{"value":"0729.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805642$CB2A421D-CF51-499A-9ECF-BC08878C0DA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d1269ee7e1cbbc8adcb68ee2ec6afca2f14b592","datavalue":{"value":"10.1007/BF02573408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805642$44CE5421-BEE0-4403-B626-CCA3830D0254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49199d4269aedeea87748c65769310647c63baa4","datavalue":{"value":{"entity-type":"item","numeric-id":788818,"id":"Q788818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805642$49B505B8-00EA-42BF-875F-2D2C7A8273E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805642$029A729A-3AB4-4202-BF04-5EE949C15D2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q805642$FE8DE286-9290-4EAE-ABCF-C8F94651DB95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4f546ea6f11e96ba4e8a964ad614142109a6f10","datavalue":{"value":"https://eudml.org/doc/135066","type":"string"},"datatype":"url"},"type":"statement","id":"Q805642$80CD4E11-F6E8-4EF3-BC40-14AD0E17F830","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fff4b63c6ca20a6cb3695ae8def83426cc70ddf","datavalue":{"value":"There are standard equational characterizations of continuous lattices among the complete lattices; the equations in question involve a certain general infinitary distributive law. The author characterizes continuous lattices as posets equipped with an infinitary operation of ``inf'' for each cardinal and a P-ary operation of ``lim inf'' for each directed poset P, for which these operations satisfy a small number of very natural equations. These operations and laws are all algebraic in that they are preserved by morphisms of continuous lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805642$B6B8706F-7D3B-4846-BF20-224B2DB206D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805642$D3791ED0-E6F5-4391-AEBC-D17353AE2A7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"855fcb4a23bc43831552d9d2e303a6f2eed27eab","datavalue":{"value":"4204401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805642$CE62EA11-93D8-42CF-900E-D706D194B3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q805642$035DBB0B-1E64-45FF-A521-4542DFD22B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da62b975681383fd2868d59ec45e0c53be43720","datavalue":{"value":"continuous lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q805642$B2B1F26F-C290-43C5-988A-03F2A764FDF7","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":"Q805642$B69CDD78-8E25-44D8-9F64-93E666760816","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":"Q805642$6278EAF1-7A8D-4952-BD52-0284D73BA215","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4d34aa922ba1e858cc09cb834d96e26eb64342","datavalue":{"value":{"entity-type":"item","numeric-id":3876101,"id":"Q3876101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805642$BA1EB13B-8F88-4267-BF6D-7169BCF4A35B","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":"Q805642$3DF1D6F7-8FB3-4DAC-A68B-9872AE461FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a6de4778569d893d2fd399a897c5e47593c741","datavalue":{"value":{"entity-type":"item","numeric-id":3726175,"id":"Q3726175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805642$72ACEB06-CC3E-4348-9AE2-0558BC3DDD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38d5815d864217d8b57b2df255974937ed2f66","datavalue":{"value":{"entity-type":"item","numeric-id":5776646,"id":"Q5776646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805642$93B468C6-9A94-42AA-B5F9-6B14447447FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a2b8d841c710d395f5b034e8e8930c0011fe7b","datavalue":{"value":"W2066933924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805642$EDA14FCE-747B-4917-A123-0491EA0F966A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1af2d3907f6f6349aba4ec732b1a33829a82fe5","datavalue":{"value":{"entity-type":"item","numeric-id":1180695,"id":"Q1180695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5694daec99d9610241e7f588b54311d4a6cdcd75","datavalue":{"value":{"amount":"+0.9248511","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":"Q805642$83BDFE7F-7DFF-4C62-888E-A243511C6C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b061cecae7a1518c127c0311470ebeb68ce7f9","datavalue":{"value":{"entity-type":"item","numeric-id":4373725,"id":"Q4373725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9894519d1a806ec41522d84a7e1c06e5bfd8c6a1","datavalue":{"value":{"amount":"+0.92019004","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":"Q805642$3A3DC210-30C4-4D4A-BAAD-7744E6A92562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebefda19fe220c0ec2e26f7efe760d7c851d2fc6","datavalue":{"value":{"entity-type":"item","numeric-id":655418,"id":"Q655418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d7b0d0e6db46a45c153e7e7211cc86d3a57e4b","datavalue":{"value":{"amount":"+0.9192183","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":"Q805642$09132FB7-637B-4CB0-8434-1C8A5E4B4B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c24cad63802258ba4e74a4e0a41d9de22a6eb63","datavalue":{"value":{"entity-type":"item","numeric-id":5009708,"id":"Q5009708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f9197b20836be872ac00b517028d026986712b","datavalue":{"value":{"amount":"+0.9172267","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":"Q805642$21C4C649-B9C8-4FBC-9218-95FF08B3E788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991e8a7eb6574aa540fe9aca2dbc9a5d0cb52d67","datavalue":{"value":{"entity-type":"item","numeric-id":3788071,"id":"Q3788071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493bdcec706c6512ef883a810eb5fffba9ee1d88","datavalue":{"value":{"amount":"+0.91267616","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":"Q805642$24D2FF64-10FC-4A52-B446-D00012D7D83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e1faf0cbfbc41c538957b37ce80e07303721e4","datavalue":{"value":{"entity-type":"item","numeric-id":1092937,"id":"Q1092937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c9dd996bff29ff38bef529515d0e1dfc1d7ea1","datavalue":{"value":{"amount":"+0.9098345","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":"Q805642$D7D684F0-8BC5-4456-8E1D-3FAB682E11C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee27636b9d1c74b1ed0bed14612855026823f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1922118,"id":"Q1922118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5de518b477b6874a8d95f07cd7390bf6653135","datavalue":{"value":{"amount":"+0.9082374","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":"Q805642$D6DFAD64-5C37-4E5B-877C-DBD1DF8C2F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7efa1288a89aab04220a54a420321b8836e20b6","datavalue":{"value":{"entity-type":"item","numeric-id":1083465,"id":"Q1083465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e16fe9caeeb78b83c48f9ab6690cf31255925c","datavalue":{"value":{"amount":"+0.907809","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":"Q805642$0D50541E-650D-40A1-89F3-918B1104D23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8848c5da52c02492a580f1eced901543ece6183a","datavalue":{"value":{"entity-type":"item","numeric-id":2950767,"id":"Q2950767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410901ffcbff3040600e92c17f4062a8f28ae997","datavalue":{"value":{"amount":"+0.9077928","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":"Q805642$803A3E8E-671E-4B3E-A1E5-160BEA270048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a694bb2d00dac25424e4683b67d8681f67001c11","datavalue":{"value":{"entity-type":"item","numeric-id":3712357,"id":"Q3712357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7831db373f5c714fbddbb7595e476a78eb0a6d2","datavalue":{"value":{"amount":"+0.90776145","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":"Q805642$C96C22D8-43E3-4CE8-B723-EA25B965DB4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational theory of continuous lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_theory_of_continuous_lattices"}}}}}