{"entities":{"Q2577735":{"pageid":2588478,"ns":120,"title":"Item:Q2577735","lastrevid":78908789,"modified":"2026-05-06T12:43:03Z","type":"item","id":"Q2577735","labels":{"en":{"language":"en","value":"Dual categories for endodualisable Heyting algebras: optimization and axiomatization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243880"}},"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":"Q2577735$37B431B9-1E9C-4FCD-9A99-3B30F35EB9BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2bdbe9e06848159f986fb1d889e6a7eda66477","datavalue":{"value":{"text":"Dual categories for endodualisable Heyting algebras: optimization and axiomatization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577735$056CD1CC-8ED2-4134-9A4A-DA919CA2C7E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e058f2e23a957c678d3bb6e3c2ad3c35b70a1eb7","datavalue":{"value":"1092.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$B9724700-DD12-4217-BFA3-110FF8788CB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577735$ECB86DFD-1F87-4F0C-AFBE-91E4940EDFDA","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":"Q2577735$2B3D2D25-6C66-4F34-8DE4-311BFC107AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577735$B20F8B0D-9170-430E-948E-876D8476F17A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75abc5d1b182c56d5f81ddd7baa3c1c4d0bb5368","datavalue":{"value":"The paper is contribution to the natural duality theory and to the theory of standard topological quasi-varieties. Especially, the duality on the variety generated by the \\(n\\)-element Heyting chain is investigated. In the case \\(n=4\\), the authors give a set of quasi-equations that describe the dual category. A quasi-equational description of the optimal dual category for the variety of Heyting algebras generated by the (non-chain) Heyting algebra \\({\\mathbf 2}^2\\oplus 1\\) is given. Some further interesting results are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577735$99DD88D1-AA59-4CF4-8B3D-8C1ECB0EECC0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1dfa1f8c0c090ff904ac9167d75774af966591d","datavalue":{"value":{"entity-type":"item","numeric-id":587991,"id":"Q587991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577735$8CE5B089-A7E4-433C-8B2D-F6122266234D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$FC4D888F-F091-4A1C-A8CF-302258042946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$AA390525-DF52-4F0D-AAF2-1B1C0F9538FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$166DAA80-9352-4BB5-9F5E-04AAD1D9BA69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d930ef4ef5eacd41a11f5334f05848bf8a7111e","datavalue":{"value":"2243880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$783FE93C-7F72-43A9-8E05-E166B0FB3AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577735$304AF93D-1723-4DA9-B711-834951FC8197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"046587e4fc287a32d3c9ac874eae0d241396d3cb","datavalue":{"value":"standard topological quasi-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577735$A4FBC7F0-ACD4-4F4A-AE59-44E2FA3A211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577735$8A7B283A-0811-4984-82D2-C5CC2C154CBD","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":"Q2577735$D39166E2-B4AE-401C-AACC-0E4A17CE6A01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bab51f00476584dfdfc6cda183f3107aa93b8e49","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1920-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577735$26C7FE86-5384-4314-8138-8D1ED4FB3DE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3567cc2ded229dabb86023695a2182d092c36975","datavalue":{"value":"W2040962856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$DA1BADB1-7199-4842-8455-23357325FD92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ba2686ce8632f6432244c0cba214ee7747d6b36","datavalue":{"value":"10.1007/S00012-005-1920-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577735$F2BBC403-4691-4690-9042-B3322E616BEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab9fd2f26e2e9b9ec38102d62ac2a35177b147e","datavalue":{"value":{"entity-type":"item","numeric-id":1914059,"id":"Q1914059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d52eaf290abdad8e3ba64cf73db4f7c950cb01","datavalue":{"value":{"amount":"+0.8692370653152466","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":"Q2577735$149AA2F3-A7B8-4DBF-B059-24A292F7588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2f1e95e6ee03497b1ef03fd298e2a0562bf22e","datavalue":{"value":{"entity-type":"item","numeric-id":1861494,"id":"Q1861494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98266e099d24209ebea91029d57e26e724b882a3","datavalue":{"value":{"amount":"+0.8186551332473755","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":"Q2577735$7C5AD9D3-1633-44C0-9F0C-535AD395406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9970eea53f789918e0dbbd69b8205c1c11286e","datavalue":{"value":{"entity-type":"item","numeric-id":4786326,"id":"Q4786326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a54b4795e76ecde3633d358403554875c7f1cf2","datavalue":{"value":{"amount":"+0.8078940510749817","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":"Q2577735$596B0B36-0712-45F5-9CC8-5F2ABD05B93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda929456db47a043492d8729e3119bec9953971","datavalue":{"value":{"entity-type":"item","numeric-id":494623,"id":"Q494623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9389dd82483173dd13f219761aec647efc3e97ff","datavalue":{"value":{"amount":"+0.7964765429496765","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":"Q2577735$516E55D5-124B-42FC-B979-9797B0472D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e8d5c48e4f6a2fd2c2501abd21dcaa8d32db7b","datavalue":{"value":{"entity-type":"item","numeric-id":603889,"id":"Q603889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1243988a02584aa83629ac76b1393fda749508","datavalue":{"value":{"amount":"+0.7939807176589966","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":"Q2577735$CBC1ADD9-81E8-41B7-A2EE-E09CAE59B4DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual categories for endodualisable Heyting algebras: optimization and axiomatization","badges":[]}}}}}