{"entities":{"Q5137292":{"pageid":7166863,"ns":120,"title":"Item:Q5137292","lastrevid":91404473,"modified":"2026-06-04T23:05:02Z","type":"item","id":"Q5137292","labels":{"en":{"language":"en","value":"De Morgan semi-Heyting and Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7279963"}},"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":"Q5137292$2085B233-F2F8-408B-840A-8E6131807E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae0f6784e4b768ae358d4d8c418be274c8c3a62a","datavalue":{"value":{"text":"De Morgan Semi-Heyting and Heyting Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5137292$04F69056-EDFB-4899-8310-9135E5DA6AE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1ebe5ee285eff769e829302f2e31dd464ca0770","datavalue":{"value":"1448.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137292$230F4579-78B4-49B7-9AB8-F6E91006C97B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81985a4995e94131e712ac86686c5bd8496265ad","datavalue":{"value":"10.1142/9789811215476_0024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137292$8AF23398-5ECA-41B2-930A-7FA8AF17D74E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3a1991129f0c8a62afa8111a1e1abd5b55d22d","datavalue":{"value":{"entity-type":"item","numeric-id":295915,"id":"Q295915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137292$1F0F81B6-2CBD-406A-8138-4ECCFE1159E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff48b9574fc1b65339ef7dffbf3fa9883c9a5c95","datavalue":{"value":{"entity-type":"item","numeric-id":5137268,"id":"Q5137268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137292$3B47153F-B6C3-43FA-A43F-347B065EDBF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3b6bbd4a0d1ea12fe2065959cca05fbabd2369f","datavalue":{"value":{"time":"+2020-12-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":"Q5137292$1381248C-61EB-49F8-A703-F7DD4C796DBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07671a9264202ca1ff3996bb20fa46385023ffde","datavalue":{"value":"https://arxiv.org/abs/1807.00268","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137292$6477F667-6E87-4709-A701-151F66B92023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137292$CFE5E435-CDF7-4370-9238-9F234076B0EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab54e6c2ad7c54796bbc029e91da678495fbd1a","datavalue":{"value":"7279963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137292$6BD7A360-56C7-4E4D-8B6F-2B92B3E2017E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a93697df4e3f2e2b1899a0da310cc9beef209b5a","datavalue":{"value":"blended dually quasi-De Morgan semi-Heyting algebra of level \\(n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137292$89552DD5-6022-4E56-9799-A465826E88E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f3562ddc96740cc910f3f99d7a871bdbcc382b","datavalue":{"value":"dually ms Stone semi-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137292$8F62B539-4064-472E-9FD1-A4A98790FF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9219d7a424c02b427eafad5560d6e5812a50ae97","datavalue":{"value":"De Morgan semi-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137292$28262E7F-1462-4CA1-BE36-B49D8F1B5516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4507f3272a513718ace2ca3ba23b94dc8eb887a","datavalue":{"value":"De Morgan Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137292$8AD77D93-F105-467F-9C0E-6224357B0479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137292$EFDDF25A-172D-413F-98F2-B0EFE641C56C","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":"Q5137292$189F1D0C-734C-46CE-AAE4-435D3B7DC122","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92b2c87cd4cf9c637efa6c5633a675952be10fe8","datavalue":{"value":"W3006910722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137292$48004F4B-D31D-4145-A70F-3EFEA7F6BD25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f4b1808f7b005cf6390bdd81c95adc504f95db","datavalue":{"value":{"entity-type":"item","numeric-id":305161,"id":"Q305161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5702982489a7ac54297e109ceef22c6fad61b8","datavalue":{"value":{"amount":"+0.8718648552894592","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":"Q5137292$31C99221-DCBD-4742-9F59-89BBB86146E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e34ca66ff850a70eb1e981882c101a369d0d324","datavalue":{"value":{"entity-type":"item","numeric-id":2834606,"id":"Q2834606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf31efc5afe3594401755782f198b9c6307577b","datavalue":{"value":{"amount":"+0.8454445600509644","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":"Q5137292$7BCC1199-130E-43B5-B67B-27EC04290F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5929313705c371bfd6735ffd4d93f1e83dd27231","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09aa024de290e7ef191f4285527224747b1a3ba","datavalue":{"value":{"amount":"+0.8186361789703369","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":"Q5137292$8981503D-C1C9-4062-84C3-8372392529FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0b00d659e3ed2ca6436e7fa3ab4f18458ba081","datavalue":{"value":{"entity-type":"item","numeric-id":2834607,"id":"Q2834607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121e67ec9da31ae361d95b0c3f50b7bcb56ad8da","datavalue":{"value":{"amount":"+0.8181455731391907","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":"Q5137292$C5EE2C75-3377-4059-8FAF-A725CD51A6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b2e45814a47a3ffd1dd28521504cefdda47141","datavalue":{"value":{"entity-type":"item","numeric-id":5124105,"id":"Q5124105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9daf3d1a0877f88d8239c49f552fcd6490a4c1b","datavalue":{"value":{"amount":"+0.8174372315406799","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":"Q5137292$10EC26AE-C8EC-42DA-9099-875F5E16F877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"De Morgan semi-Heyting and Heyting algebras","badges":[]}}}}}