{"entities":{"Q1914063":{"pageid":1924805,"ns":120,"title":"Item:Q1914063","lastrevid":46370355,"modified":"2025-12-24T15:56:22Z","type":"item","id":"Q1914063","labels":{"en":{"language":"en","value":"Priestley duality for some subalgebra lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883887"}},"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":"Q1914063$82E04618-B811-4484-B64E-2A2D1F3BE4BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff26b8f02ca29cbbd661d1eb5ef44c46e9c5c029","datavalue":{"value":{"text":"Priestley duality for some subalgebra lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914063$EC849436-D1AA-453C-8305-DBC9E5C83251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30110ba00d29845bb213ca5f6865195e715ee878","datavalue":{"value":"0860.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$927334A9-3A6E-476C-9415-B2355D5AC247","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85805cde45afa9b31f87f9407d5dd690999d4dfb","datavalue":{"value":"10.1007/BF00370144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$7AB98CD7-B89E-4290-97D3-B38617B666B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c4dbb35e00a3e708e9492e3dad4babe01bc8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1288171,"id":"Q1288171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$0363F791-A59E-42C5-8160-24CD74AD20DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$38D49F53-DB3B-47B7-9B28-768B5FC18740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b708c1ef123d2022be1d9c45e421bc9f0d502ad0","datavalue":{"value":{"time":"+1996-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1914063$DFC68490-17EA-48B0-8A4B-3671C4AE369C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48aa2ed20f0768acbbd7aa9cf85f23285e3a915a","datavalue":{"value":"The author characterizes Heyting algebras with a modular congruence lattice. His investigations are carried out within the Priestley space \\(X\\) of such algebras. The author also looks at Heyting algebras with complemented congruence or subalgebra lattices. For example, for finite Heyting spaces \\(X\\), \\(\\text{Con} (X)\\) is complemented if and only if \\(X\\) is a tree and for a Heyting algebra \\(H\\), \\(\\text{Sub} (H)\\) is complemented in case that \\(H\\) is retractive, i.e., for each epimorphism \\(H\\to H'\\), there is an embedding \\(H'\\to H\\) such that \\(H'\\to H\\to H'\\) is the identity map.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914063$DB9355B6-EB74-4F54-9FD7-21DC59B81BA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$8A269A1D-C41A-46E9-AF5D-6CEFDA6CF9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$3645DB26-472E-4435-90D0-EC7C0FEF0A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$6AAB98F7-88D4-4DFB-947C-2D764D8DF293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$9025E430-0ACC-41D1-A93C-3AADBE5C6C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8fc1c4c4dfbf3165b443ea75f445829cc247602","datavalue":{"value":"883887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914063$A3A3AF44-6DFE-44B9-A7CF-BCDD6E0D2A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914063$4E356EB7-8DBB-4ABD-ABDF-BAEA7F352D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914063$8BFC8E71-96BB-45D1-A58E-A5442BDB94A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914063$FACB64A7-9454-40A8-A932-0D2D7B3A7553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3c7e1dcd914303a3b5446dce7c0ef625e6d5ce","datavalue":{"value":"subalgebra lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914063$2E5DD0BF-97D9-476C-B853-B268CF1B79C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b90f3877c303dfb1fe49296de147a0c452fed2","datavalue":{"value":"Heyting spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914063$2455BCBF-1C92-4C89-95FA-DFB1129C4B6D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2f4ec303ca6ec9b0d4f9ef1248968aff4d1e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":289022,"id":"Q289022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$C9E383D5-246A-499C-B1FA-818B3F7EE154","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":"Q1914063$BFC3755C-FC41-491A-A48B-659E7D3CFA12","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":"Q1914063$68F837DC-AF73-460F-8E04-77A4C746B32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386c6baa11091fa1a172cafce4971c79d8e43a40","datavalue":{"value":{"entity-type":"item","numeric-id":3734464,"id":"Q3734464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$2A099DA6-D1C5-4953-A83D-EB15C487D0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$4ADAD498-8AD8-43C2-9480-209C8B0B050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd53a3c4ffe0a63953f48d21c3815dfadcb0bcfb","datavalue":{"value":{"entity-type":"item","numeric-id":4079655,"id":"Q4079655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$2CA3A973-552C-41AA-828F-641FF2A6B3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa54b0fe557cec06cf4cb2f9b5719df140743ebc","datavalue":{"value":{"entity-type":"item","numeric-id":585240,"id":"Q585240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$BB31E843-DDC3-4CF7-985F-29C482C02941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e3b499e2793c3a3de891f375fdce02eae5292b","datavalue":{"value":{"entity-type":"item","numeric-id":3977933,"id":"Q3977933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$104F8F0A-AE20-4B1C-B1EC-CC0C29ADE103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3b00826d4d067c5df4b902174ad54602c8063","datavalue":{"value":{"entity-type":"item","numeric-id":3340910,"id":"Q3340910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$A1CAA9FF-A6B3-4371-9E63-18875F36D801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b54ccb90e95f450f25399d1901c8112c74eaaa","datavalue":{"value":{"entity-type":"item","numeric-id":3027063,"id":"Q3027063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$48293B31-EA6F-4668-815F-93641A4B34DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bed0a64c38b62f0b547397d449928dfbe039394","datavalue":{"value":{"entity-type":"item","numeric-id":750479,"id":"Q750479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$F377AA4C-DB21-460D-BC5E-E5689DFD383D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b723fd2ccc1c4514c9464f6f85bc50adfb5270a","datavalue":{"value":{"entity-type":"item","numeric-id":2367904,"id":"Q2367904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$C9CBF9F2-1EFB-4354-9612-81150863F1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265e3b94b880711bca034fc354537f8e621dd765","datavalue":{"value":{"entity-type":"item","numeric-id":3921217,"id":"Q3921217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$5A994D57-45F3-458C-A188-282C7AC578C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd804be8df9d4e42f66e5ef018982dc039e35213","datavalue":{"value":{"entity-type":"item","numeric-id":773322,"id":"Q773322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$7A2466B0-B6FA-4CAE-B436-F0C662CA2598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f067426f1a6a3b3bc6aad987813b4105a8b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":5667240,"id":"Q5667240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$5D9A783F-1B2A-42C5-BCDE-0EE390F6F877","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":"Q1914063$10891F10-C458-41C4-BB53-B838A53A0B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdb2a348ac2411a485d26d1c9c10d960ed8419a","datavalue":{"value":{"entity-type":"item","numeric-id":4085774,"id":"Q4085774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$27A4F183-46B7-4F8B-BEF2-2AD2D8DAFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77ddb93d7361ec77a9ec8c37b5b542ae7b9e368","datavalue":{"value":{"entity-type":"item","numeric-id":3290736,"id":"Q3290736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$755F837E-7AEF-404E-8DAB-1EE6E83E55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed86a4f71496cdb5daade6381c7e25733ee4a82","datavalue":{"value":{"entity-type":"item","numeric-id":3949092,"id":"Q3949092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$B9552C7E-C195-44E4-B74B-D0653B24DDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d127d925f145f508d7bc88c720c9be2c6b7444c","datavalue":{"value":{"entity-type":"item","numeric-id":3329516,"id":"Q3329516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914063$D33D0995-4438-4420-A3C5-7C572E6D0798","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534423c6293b1ef3253fe7a0bb8ad1e8e177448a","datavalue":{"value":{"entity-type":"item","numeric-id":3977933,"id":"Q3977933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d60471b99fcbd6bba842e5849efed4cf1aba3c","datavalue":{"value":{"amount":"+0.8351422548294067","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":"Q1914063$1683B41B-89B1-4CA0-9477-34249CEA36A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f571a2216e0576fad9f3917aa46a1f439683730","datavalue":{"value":{"entity-type":"item","numeric-id":3027063,"id":"Q3027063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6602913e44ab9de5a4506f06769dfb0d4e19abde","datavalue":{"value":{"amount":"+0.8072742223739624","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":"Q1914063$105577B2-1D60-4228-844B-47D2242419A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be37e185d1121410afab9b5ea2f1dc7b3cc6dad","datavalue":{"value":{"entity-type":"item","numeric-id":763321,"id":"Q763321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da232589af64575cde7172ad34b3b116b29b51aa","datavalue":{"value":{"amount":"+0.7943924069404602","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":"Q1914063$4183242A-DC98-4788-B735-504932608387","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":"c152890bf5330c32ee5738c6d8f816356142ec7c","datavalue":{"value":{"amount":"+0.7789723873138428","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":"Q1914063$2F0062CF-9222-49BD-AD77-F74A8D0BE0D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1914063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1914063"}}}}}