{"entities":{"Q1914059":{"pageid":1924801,"ns":120,"title":"Item:Q1914059","lastrevid":46370346,"modified":"2025-12-24T15:56:22Z","type":"item","id":"Q1914059","labels":{"en":{"language":"en","value":"Optimal natural dualities for varieties of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883884"}},"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":"Q1914059$C02C5B42-1394-4499-BB21-2682FB16B7C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10056267624a4d7825f6da9e9d10cb0f6e4db0ef","datavalue":{"value":{"text":"Optimal natural dualities for varieties of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914059$322CA2D1-ED29-4CF7-92A8-F0902CB190C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20c87b046c338b69e46809280aff0b9c0f5a9d6b","datavalue":{"value":"0854.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$BEAEDB2B-E2CC-476A-8733-26074D047CE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd5d5f0306a76c61847fed9468f6ea90a67653ba","datavalue":{"value":"10.1007/BF00370141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$02AE3AB9-0177-4027-8CBF-C539794A83FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"891dd938a0a1e5d776955ccb9d55aa8014d5b8bf","datavalue":{"value":{"entity-type":"item","numeric-id":178373,"id":"Q178373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$3207A320-785A-4372-8835-3726B8E7389C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7256ce4da28dc118cec51eb3d7cd80467cbfd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1070252,"id":"Q1070252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$138EBA01-25F8-4521-B42A-4DC282866F60","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":"Q1914059$B7E8C00B-FCCB-4215-9F5A-5D3AE717B09C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"846c3948b65d14340e25df78828d728925bfe86e","datavalue":{"value":{"time":"+1997-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1914059$9197373E-D5D0-45C2-A1D4-0CA8915E7DF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$932CEE0A-5AF3-407C-9099-6906B4130CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$DBEC7B24-12B2-4026-B1E9-0DE36F10BFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$1194CD09-A51C-4126-A80B-8BB6357DE67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4c9acc4bd85c073622924b031f9bd3f0863d49a","datavalue":{"value":"883884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$31DCD33A-C3F7-40DE-B1FB-956566F94937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914059$F38F2D4D-4A32-4DD0-99E3-A9C9921F9FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa86167d36db42354fcec7aac8a81aee2cb0c084","datavalue":{"value":"finitely generated varietes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914059$640CFEED-A64F-43DA-871B-1D423EF80325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914059$13747B8B-9B71-455C-8811-6184D6B6D59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937e1f69e7f7e6af985ef82c18c06186cc27acc1","datavalue":{"value":"optimal dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914059$F9FEB27D-04E6-43D0-9295-E94C7C2384C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914059$B6DBA31C-5382-44AA-A775-BEAE94782710","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":"Q1914059$807FD7AA-31B1-49EC-A2C7-EC1F8BB0772B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd924493e9168b7d214036453195d2e9622e00a0","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$AA18FB71-B9D6-4CC1-B767-08575C5EDCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$52797890-E544-449A-A4B2-C9034636D088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ff4e412bf8854d9903378f7760ad489d0d0572","datavalue":{"value":{"entity-type":"item","numeric-id":4081295,"id":"Q4081295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$8828E949-E140-4671-AB27-E0F6E1792753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d9b5372f4fc3e6c2c00202210385941d92ecd5","datavalue":{"value":{"entity-type":"item","numeric-id":3138860,"id":"Q3138860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$D6DCDDCD-A61E-46CC-99DD-968E4701563A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530b2ccdc7c98a58a1018fbe4d78fc8651775cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3033816,"id":"Q3033816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$7596EA2C-774F-49F2-A638-3C472394CC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$1B258A88-3121-4807-B229-672E6F2FBDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3814b569ca86e885830ac7be287254faeec97f73","datavalue":{"value":{"entity-type":"item","numeric-id":2366009,"id":"Q2366009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$19858C75-3309-47BA-9358-88C9CE01EB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7066128a2d605dc753be9a51eaf289cd37e7e97","datavalue":{"value":{"entity-type":"item","numeric-id":3137492,"id":"Q3137492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$E276C53B-2301-49FE-BB6D-B08C914456F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c810828fd054fa6adbec0128eae0e445f8cffc1","datavalue":{"value":{"entity-type":"item","numeric-id":4715122,"id":"Q4715122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$5ED1C483-78D6-491D-8EF8-6FD1CE49D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528535558606f6bd463a849ae0bd3fb29ab882ae","datavalue":{"value":{"entity-type":"item","numeric-id":3969000,"id":"Q3969000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$4E657DDA-993F-4350-AEB8-5AF85532046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed34054e0a2e5afac4f4ab442d8a78b21c23aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3749112,"id":"Q3749112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$39330EA7-2CA8-4903-8EAA-B4A3F7A2E999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6674e95b5ae0bee63b03cc1997ffd07c7ae0f55d","datavalue":{"value":{"entity-type":"item","numeric-id":4849835,"id":"Q4849835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914059$74083843-052B-4A8F-A46C-FA04571D3BB7","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":"Q1914059$F58FC502-141B-483A-B8CB-B2A514460C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1006305a5ea116969f7e5e6785c3eaf5d91904b2","datavalue":{"value":"https://doi.org/10.1007/bf00370141","type":"string"},"datatype":"url"},"type":"statement","id":"Q1914059$488610FD-6ABC-4B98-9AB5-D0D3E40982C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b2bc950b5fc7871b3cf0f2feef7f138a23ac265","datavalue":{"value":"W2023891907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914059$1D6CA6DA-F677-46D9-BFFE-7609682213F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30e3ad469b55cccf87abf1e62c0e3cb556203f5","datavalue":{"value":{"entity-type":"item","numeric-id":2577735,"id":"Q2577735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cb65f99acbd16bfa6d88df5622b05d5a87b996","datavalue":{"value":{"amount":"+0.8761979937553406","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":"Q1914059$D60D11B7-D738-4BDA-BC2B-B871A704DA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6dc4bd8db85c0e4d99404ae0bc79c8fce7537b4","datavalue":{"value":{"entity-type":"item","numeric-id":4715122,"id":"Q4715122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5ccf65efdabd58bbe502b03259b5e9a524eccf","datavalue":{"value":{"amount":"+0.807935357093811","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":"Q1914059$F6BA00A3-D448-4EDB-89A2-BA52AA877753","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":"c00de270b6889fb7478e28b72408dffd3a11d6e8","datavalue":{"value":{"amount":"+0.8062487244606018","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":"Q1914059$33C9DC06-25E1-44A0-ADA9-F37E0BB6A159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1914059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1914059"}}}}}