{"entities":{"Q2690817":{"pageid":2701560,"ns":120,"title":"Item:Q2690817","lastrevid":79082480,"modified":"2026-05-06T13:06:26Z","type":"item","id":"Q2690817","labels":{"en":{"language":"en","value":"Dual skew Heyting almost distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7664240"}},"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":"Q2690817$7F2F7A47-7277-4B1C-8C10-3B7E1579D1CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a198c39fa4770266edc0fad418fded5f334bb456","datavalue":{"value":{"text":"Dual skew Heyting almost distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2690817$23F67FF2-C72F-4722-B48C-29D47CFB0637","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b4f4306e2b28c7ad607cd4255ff158a6ec85584","datavalue":{"value":"10.2478/AMNS.2019.1.00015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2690817$4E8F6966-CE31-4D69-B2AE-956D28824FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df09f474e495405d28b9543635f720dde7146df3","datavalue":{"value":{"entity-type":"item","numeric-id":377886,"id":"Q377886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$94289547-2B0D-432D-92CB-677F9CB9519F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd662a0a247eb8b0d7c97a3080282208ac0bc859","datavalue":{"value":{"entity-type":"item","numeric-id":2690815,"id":"Q2690815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$4953467E-8BAA-4BE7-A0E8-7A8846D330D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44ddd0461765a30d8250f06d42dd29afa3b1f47","datavalue":{"value":{"entity-type":"item","numeric-id":274981,"id":"Q274981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$D723F805-79AF-45C3-994B-9E34EB1C7C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"179f70a36aceec71cf60dded2a2fa59f92824e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2690816,"id":"Q2690816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$090F853D-6023-4EE9-83F9-3D9358DF2FB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ca24e551a08b03c414c20976a05d960ff3ebda22","datavalue":{"value":{"entity-type":"item","numeric-id":2690560,"id":"Q2690560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$CE7441D6-8196-44FB-BDDE-54BDB3D6D0F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e43f376ae9ba886450e46ec4b7b364d7cf7e404e","datavalue":{"value":{"time":"+2023-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2690817$E14BFB68-6BB6-4EF3-8E1D-2C8347B7613B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2690817$ED65D42B-EE3A-4294-B659-01FB898F039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2690817$1FDCD1B6-E26E-4099-ACE1-F051FB1585FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7768520a4755974a38552d1b55c95c153589839","datavalue":{"value":"7664240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2690817$FD429B30-20ED-414A-A224-114F0B366A84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109961cc015f07fde6ae6deef570cc31786d7166","datavalue":{"value":"almost distributive lattice (ADL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2690817$FAB7E9A8-54CA-4F72-AFDB-44379FBD28A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"609d6cf3cded0a5ee879c71a153f789367aa439b","datavalue":{"value":"maximal element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2690817$FB2DF6AA-71E8-428F-913D-15C40C5EE74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f927c5c9337a21867dfcc1b050774b0df3a99f1f","datavalue":{"value":"Heyting almost distributive lattice (HADL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2690817$449DF05E-B935-4FE7-B94C-2A1E1C38CA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2690817$466F65E7-AE90-40CD-BD1E-23F9C7B0FFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ec05f7d9531001a09a49812f5713229ec5428c","datavalue":{"value":"skew lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2690817$1CB78CF0-2298-4199-B732-C0CE343523F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e70f693400b5d76656aa603f036a850ed66869a","datavalue":{"value":"skew Heyting algebra and skew Heyting almost distributive lattice (skew HADL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2690817$5E3F9184-CC9D-4560-B8BD-C3AE7B251B5B","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":"Q2690817$CCBEDFF2-62C5-4BD6-9678-D528F8E3591F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$8AA53DB7-FCC3-459F-95CD-5947B9F6CF54","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":"Q2690817$BAD49D74-B7D7-4E05-87C1-A35685363480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b64c8734b94f74924c0b0ac4419105b2f5aec6","datavalue":{"value":{"entity-type":"item","numeric-id":1118623,"id":"Q1118623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$A9E27FF1-BDBC-4196-87CA-9F58C72A23DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e281255931d986dca3a8e220de475e1a83ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$DF4E6B28-F4A1-4844-878E-4066DCF4980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906e4ca161dae6a140475fc6b216dbd9b2c21c26","datavalue":{"value":{"entity-type":"item","numeric-id":1184165,"id":"Q1184165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$F76BA428-472A-459B-80AE-FD15C3607628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bb103454738835b528a63609c9a4dff7ca8288","datavalue":{"value":{"entity-type":"item","numeric-id":5357287,"id":"Q5357287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$DC82435D-75DA-455C-8527-C04D3397DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f08a4c6ad92fe1a05a8fceddce87a4ab87c1bed","datavalue":{"value":{"entity-type":"item","numeric-id":3927298,"id":"Q3927298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$A3D64B0B-6EEB-4872-B2E8-D008B7B1B32C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7276ffaa07fa27615ebd84e9ca13f306d3cc8e","datavalue":{"value":{"entity-type":"item","numeric-id":5134021,"id":"Q5134021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc31dc87682d72b1bf033f540e8d8129511a9e7c","datavalue":{"value":{"amount":"+0.898438036441803","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":"Q2690817$FA95ED49-EB3D-4EF4-BA07-63CB0E3C48E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8956fad924bef0d90641d0113637d1826cb7134a","datavalue":{"value":{"entity-type":"item","numeric-id":2939112,"id":"Q2939112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f001302ce356dc3350c34e205eb815df5ce32b98","datavalue":{"value":{"amount":"+0.8551819324493408","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":"Q2690817$BDD312B0-7DDB-40D7-895E-F2304ABB8D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642ee5d69cbbfd1c73df21f569f02e233b0a1f06","datavalue":{"value":{"entity-type":"item","numeric-id":3084674,"id":"Q3084674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b0744e5cbf2176a587de7d0360067ab1883cc6","datavalue":{"value":{"amount":"+0.8034817576408386","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":"Q2690817$9E156CC3-560D-4845-8F62-33E965A02A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d24acb7316502bc78a9d6ef8a5143ea6fbfe9b2","datavalue":{"value":{"entity-type":"item","numeric-id":748241,"id":"Q748241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9bcf719a8dbe0e0f76bf555d260d4455afe6be","datavalue":{"value":{"amount":"+0.7927361726760864","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":"Q2690817$532BDEA8-024E-4FB7-B427-E00E2A2806E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bba8c46f616d9123e8d4e4081c112a1f18ad78b","datavalue":{"value":{"entity-type":"item","numeric-id":721264,"id":"Q721264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ff4724e5a3125e7a9d6725c7cfb2717d18a963","datavalue":{"value":{"amount":"+0.7882106304168701","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":"Q2690817$8375B2B4-0E9D-4DCC-8B12-70BBAECF3202","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2690817$3ACAE209-D83B-43A1-A937-0BDD2EF20827","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual skew Heyting almost distributive lattices","badges":[]}}}}}