{"entities":{"Q998769":{"pageid":1000617,"ns":120,"title":"Item:Q998769","lastrevid":42807700,"modified":"2025-07-11T16:37:20Z","type":"item","id":"Q998769","labels":{"en":{"language":"en","value":"Priestley configurations and Heyting varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5500515"}},"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":"Q998769$24814F53-2887-4FD3-B9FC-8A409AEC226A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1967c241cea496edfbe6382d9f8756d5570514b","datavalue":{"value":{"text":"Priestley configurations and Heyting varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998769$2BB543F6-B511-49DE-BF79-F5EE6AAEBA53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18867a914324c985387ccb5938dfbff5b4aba53d","datavalue":{"value":"1165.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$27DA9B26-E99C-4D88-AA85-F757173D2AFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d12c6860773e4b7465f098c35b7f1d608a627517","datavalue":{"value":{"entity-type":"item","numeric-id":409253,"id":"Q409253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998769$6B97E413-0E6F-4FFB-B134-4940F2E31B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8978c34b34784de614de4ef62e5765f7a01a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":283253,"id":"Q283253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998769$75AB49CC-757F-460E-A0DD-9A78A76426CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ec4988b2740deb3f4f56ca53450b3e354afa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1141149,"id":"Q1141149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998769$93BA6E90-5D23-4DAE-B750-86E9EBB1EB67","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":"Q998769$6224ACCE-6183-4C6F-B5DF-9FF9CD76A2BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6acab23889a0ed3b92367ee7861f8c14e06ffc","datavalue":{"value":{"time":"+2009-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998769$C1A3C185-82DA-4454-8C4D-8A4BC2548690","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"344765d31edb995a0989d287d6e6559721514450","datavalue":{"value":"The first two authors showed [Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 45, No.~1, 2--22 (2004; Zbl 1062.06020)] that the class of all Heyting algebras whose Priestley dual contains no copy of a given configuration forms a variety iff the configuration is a tree. The present paper characterizes finitely generated varieties of Heyting algebras given by prohibiting a system of trees in their Priestley duals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998769$C2B33089-6E5F-46D9-B19F-905E7BEFA7BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998769$40F73798-1D3D-4C06-BE72-774B445525A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$1B15954F-BC10-41FF-BF9F-51D73558BAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$9B02DB74-BA9E-405E-A53E-E470F8EBD33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$704320AD-782A-4E87-9561-E9A3B99AE7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$D98601BD-13A8-4E1F-9C8A-4A692B169E32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be33d18e976017d977190490acff660ccd8edfc6","datavalue":{"value":"5500515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$99895727-7C77-4814-B2BA-6C5A669801CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q998769$C3523556-69E9-442D-8687-8B692D8D5074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q998769$A5F74F27-6EB8-4FF5-B4A0-FF4B2618269E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q998769$72298659-2583-4DCE-8B15-7EA1E7A223E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q998769$F21773CC-5D31-4D7A-9BC6-7C24949CCEFD","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":"Q998769$F63ED41F-7811-4807-963A-2299E926C191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad52e7cb5a86628a9f8d0851b021e84e86007cf2","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2035-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q998769$36EC0558-8EEC-42DC-ACF5-350455F76FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56ac62ed7d3201ae0d9be0fc8cbf5b53bfc74581","datavalue":{"value":"W2045693325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$8EB3C04C-CE27-40A9-81E1-BE6959A4E521","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c60091c41f7ef391cf8427104ad61ed6cc0b179","datavalue":{"value":"10.1007/S00012-008-2035-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998769$588A7C39-360A-4B6C-93CE-33FE1975FB04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0886b781517ebfc9ab796f650ad15cb35d44d8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2487461,"id":"Q2487461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1c92873a8656ee33a877e0c62d8a3547edd6a8","datavalue":{"value":{"amount":"+0.8806987","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":"Q998769$BCE33351-84BB-4ED4-826C-8E58B2F0DB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc2c2829182b8e91145507569e65b6e74c90a01","datavalue":{"value":{"entity-type":"item","numeric-id":782617,"id":"Q782617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef92835f58553ccdd56f47f1ef59f0341d759b3","datavalue":{"value":{"amount":"+0.87083966","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":"Q998769$08A03B68-B452-416F-9B7B-CB098F5CF61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5363d8287ba30e646747ff79f7ceda82a616af3","datavalue":{"value":{"entity-type":"item","numeric-id":6045395,"id":"Q6045395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98dca25247168881031737bd55da2f3e75f0fb99","datavalue":{"value":{"amount":"+0.86088634","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":"Q998769$8FCFCBA0-5BF9-46B3-9519-CFBE34017249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8809417e789ce1516ce606b9d76f4917927c1f6d","datavalue":{"value":{"entity-type":"item","numeric-id":2471007,"id":"Q2471007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d0663ba3da01ee572c5a2e97f2e6f96843cefb","datavalue":{"value":{"amount":"+0.8592242","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":"Q998769$ED00EA8F-5F69-4224-A171-65AE40CAB022","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":"175b8e93d1204012422c0082af3b4c4f4f844349","datavalue":{"value":{"amount":"+0.85643196","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":"Q998769$507BC981-06EE-4284-8E66-43774FA7E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a063e9f58ce200c47096d189fa1d978452cd9b3","datavalue":{"value":{"entity-type":"item","numeric-id":3645147,"id":"Q3645147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05e60afe1bbdc3a37b52ba935d0cd54b8d8be6c","datavalue":{"value":{"amount":"+0.85298055","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":"Q998769$01C1AFFD-45F9-4782-995E-D782585C37D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73b6a3457e261b50691ee0c543334baa0a74f49","datavalue":{"value":{"entity-type":"item","numeric-id":488839,"id":"Q488839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e323e86a3f2d2bda53f50d274ca11e88a30816","datavalue":{"value":{"amount":"+0.8517375","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":"Q998769$0D524E0E-D280-48BD-8D79-7AB30D1360BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aea9fa18ecc25dfb7125adeaed3127ec9706b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1922762,"id":"Q1922762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3117201d3153c6012638fc76e4aab08bc919a321","datavalue":{"value":{"amount":"+0.8501595","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":"Q998769$AB4E7DD0-7C77-43D9-A301-061EE082D2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb46c54f19edc20557b305afe9eda99e2bc0f7e0","datavalue":{"value":{"entity-type":"item","numeric-id":1680521,"id":"Q1680521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad7b6e53b3f757f3f20a1afaf43b78033298dd9","datavalue":{"value":{"amount":"+0.85007924","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":"Q998769$FBD68C3C-CAAA-43C8-BA0D-0AE36F676A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3668cc0ddc24ba3770c3f72794db74b64339d2d1","datavalue":{"value":{"entity-type":"item","numeric-id":1880100,"id":"Q1880100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719459e0ff997c0b048719694df1bf8b7aa2f12c","datavalue":{"value":{"amount":"+0.8499485","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":"Q998769$6D2F6883-6D0C-432E-8489-59C1ED63A110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:998769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:998769"}}}}}