{"entities":{"Q2443678":{"pageid":2454421,"ns":120,"title":"Item:Q2443678","lastrevid":51968678,"modified":"2026-01-20T16:00:01Z","type":"item","id":"Q2443678","labels":{"en":{"language":"en","value":"Lattice subordinations and Priestley duality."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6280981"}},"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":"Q2443678$37DC85D8-D9EA-4750-ADB2-2840868AA5A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96574e727ea8bbd09724880dc6cd3c8f991813bb","datavalue":{"value":{"text":"Lattice subordinations and Priestley duality.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2443678$40B09DF9-D739-4616-B746-7AA712457A7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a47864a45fd1a2d75860df685be452e772138b24","datavalue":{"value":"1311.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$8A4A62BF-92F7-4FD8-BD5A-9C7EFADEE220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$9630F7B2-B571-4AE7-9B87-260768B6BC29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$E484AFD7-8C15-4A74-98D7-4D08BBD131E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0f9eadeb459885e3bd96056c7ce63a55a5683f1","datavalue":{"value":{"time":"+2014-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2443678$20FDA697-03CC-4B08-AAB5-B9117B58F7A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb44cc98af583473320fcf9ceec61783a3f52ce0","datavalue":{"value":"The paper deals with possible extension of the known correspondence between Heyting algebras and S4-algebras to distributive lattices. For this, the author uses an appropriate analogue of S4-algebras which defines by means of binary relations lattice subordinations. The author shows that the mentioned correspondence between Heyting algebras and S4-algebras extends to distributive lattices and Boolean algebras with lattice subordinations. Furthermore, he provides a uniform approach to dualities for the studied classes of algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$4A0BBF1D-206E-46AB-8ADC-2722EB113C36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$3B36F556-D393-4EEE-BFD8-AFC8B31A70A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$7C30A076-E099-4881-849C-6E5D17E4F80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$C5040EB7-4A7C-445A-A324-1F1CBD32F14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$4F5B04F3-4DAF-48BF-9BF3-9181C94CC2A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7028fe8d7ce4cc2c4accc9861d1be5042ff2700","datavalue":{"value":"6280981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$90817027-B984-441C-BAF3-35F76261B6F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$C18B800D-88DD-458C-B0AF-7A1616C3D19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$4F8DD9A8-55A9-45B7-AA80-56778594B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$072B1040-97F1-4A27-A98E-FA374D8EDA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaec606b507cb0319a31ea65e09c00603eea923","datavalue":{"value":"monadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$1952B604-7B7D-47D1-852A-A8A2D2E933DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$70A07A80-8A4C-4F88-809F-B03EAC3C8666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$0D9E81EC-F8C0-4B00-8D88-35A401FEB5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc62728f3da45a208be762803dd0928efb0d3e6","datavalue":{"value":"dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$B9750C53-775D-4FC4-8E68-F20AE8FF7E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cab8e74701023e11201002c068012953f63464","datavalue":{"value":"lattice subordinations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443678$DB8699F7-988A-4CAF-A0F5-67B412C493B8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3435347ae0836a141153808f5e539b63c593b7b4","datavalue":{"value":{"entity-type":"item","numeric-id":238869,"id":"Q238869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$CB19AF7B-DE88-444B-9260-66393B2431A7","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":"Q2443678$875BD4BF-A3FE-413D-84BE-7C49E8F818D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f01abf637255e1295e8dd918da79f5b7f0da79c0","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0253-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2443678$3EB3C3D4-312F-48E3-A183-03C2E2227493","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81b8fd5776e190f0f79ff1ddc406fca143ca693a","datavalue":{"value":"W2007384104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$2FD5D8E9-A21B-4AF8-9454-006613FD4E28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c328ff5a1104b2b229e3c05d4cd725d44f09af9c","datavalue":{"value":{"entity-type":"item","numeric-id":1846445,"id":"Q1846445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$97D0AB45-0005-4695-8AF5-B834D041FBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638e14e79a5fb6a2f543b113c1ce89fa4d4a8716","datavalue":{"value":{"entity-type":"item","numeric-id":960844,"id":"Q960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$49A72103-3022-411D-805D-E2F35EF31BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3760b801141d798ca65d9cd1f7c7b1bb40a3cbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$25F3473A-0A48-43DD-89A7-5C322D265F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c603b2268eeced2f44c4ae66bb1c5a27fff67f6","datavalue":{"value":{"entity-type":"item","numeric-id":634744,"id":"Q634744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$EEA74D1C-4F39-4022-BA32-876ACB71BDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c738b08d87af7a43a4ff84f7d7ec3ddbc2b7ab14","datavalue":{"value":{"entity-type":"item","numeric-id":4137166,"id":"Q4137166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$9CC8C291-18F1-41DF-A36C-5B1B2B9D3A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77228b85c1f27bbf1d343133dc347747837b26d4","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$4B1AE657-AD90-43EB-B01B-6AD2CB4E846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$ABB7F964-35D7-46D7-BEB6-6D89FA52877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$265B21B4-AACE-4633-8B5E-96C3320C37BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5585d4baeb825d826f8bb66ff9726cc956b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5255790,"id":"Q5255790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$6709C8C3-EADF-4D2E-9342-E3CCA3347941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$3A975F5C-BBB4-420E-B7E5-60E1B4FC1557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$118172EB-B5EA-4CD0-A214-82B574F77842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$49258C1F-F4E0-4495-98B6-FE44387041B4","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":"Q2443678$04A805F4-F881-4E2D-B2BB-2F6CA89AF1EA","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":"Q2443678$0B0E5EFF-2292-4940-A937-050765E7B2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$F9B3DC1C-9E90-406D-BB01-61B60F455E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29e9badf7a25dbbec38379786b5899f0f8f1e2b","datavalue":{"value":{"entity-type":"item","numeric-id":1611300,"id":"Q1611300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$D08A174E-CCD9-41AB-957F-22C5E8BA085B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443678$A6862AD3-34E1-4673-A131-B6BA363F27A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f2f8a4dc7f4bcfb04a8b32b5c8def4e2866a3bc","datavalue":{"value":"10.1007/S00012-013-0253-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443678$4AD14B79-C56E-4350-94D2-EBC43DA3763E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c96830bc2b8c768d72e513e51daaddcca251b61","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7eafbe10ff139509d8ec3e2f54cd380f191788","datavalue":{"value":{"amount":"+0.7779746651649475","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":"Q2443678$A9A550BE-F872-4EAB-9EF9-FED8E76E06FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf66c4d3c2bcb1a5e5cff9ee83bcb912647382b","datavalue":{"value":{"entity-type":"item","numeric-id":2240721,"id":"Q2240721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c41ea9bda6212badc04317aa88b9bfb83bb67f","datavalue":{"value":{"amount":"+0.7767953276634216","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":"Q2443678$9B0C89B1-5EFB-4AE6-AA7A-0D23E90E6761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3b14a3c4d9816a149c279377745cc03909e46c","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ea1a029654d41a0622f1962850e4a495fd9ac5","datavalue":{"value":{"amount":"+0.7739469408988953","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":"Q2443678$E9257A8B-0D09-4D02-A037-62AE34A9DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bc6a61fcf196220d4e53e0f035e755e2d87ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4470610,"id":"Q4470610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d84e784780b5fbb05680c150d01c955692e401","datavalue":{"value":{"amount":"+0.7686480283737183","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":"Q2443678$4F738267-95E9-481C-8389-6A688C8E57CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3acc80b9f9244c83ad404a7f834a8f6b7e43187f","datavalue":{"value":{"entity-type":"item","numeric-id":634744,"id":"Q634744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2552b3de5818b9da3c3791a0921b6fab3ce34d2e","datavalue":{"value":{"amount":"+0.7676268219947815","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":"Q2443678$827D0D38-C7DF-4FCF-85CE-2DD7B50200EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2443678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2443678"}}}}}