{"entities":{"Q6173718":{"pageid":13308606,"ns":120,"title":"Item:Q6173718","lastrevid":55465618,"modified":"2026-02-17T17:02:30Z","type":"item","id":"Q6173718","labels":{"en":{"language":"en","value":"On Brouwer-Heyting lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7712144"}},"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":"Q6173718$55E81C24-7FA4-4E9D-A1C5-7DAED4BC1FA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73df535d88cbf2a8335495fe8662a9bb71b752e7","datavalue":{"value":{"entity-type":"item","numeric-id":4998577,"id":"Q4998577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$99F5ACD5-E86C-4975-A0F6-EA71C0085C79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0383e481d0e7bffc6ee2f346166a7ba5238ed80b","datavalue":{"value":{"time":"+2023-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6173718$B0B9D89B-1956-4B63-AAE2-70767600C58D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1b4c5193574b4c81b191b05ae24eb4667c94f3a","datavalue":{"value":"http://elib.mi.sanu.ac.rs/files/journals/nsjom/96/8_eng.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6173718$9BCAFA55-ABAD-478E-A3D5-1AC0D1ED0FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173718$930845D7-B4E5-4F0E-AF38-18D5DD9CA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c2c7608290b04eb60417a4e35caa1f73e6faba5","datavalue":{"value":"15B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173718$D03C192E-8A8E-4B9C-B380-6479EB6E940F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8a4f9563fd04a91a6e5eb28f6219fe990554df6","datavalue":{"value":"7712144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173718$22263942-3B72-4488-AAD5-D0DC4E53DE32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c068bc8302fa7900fdf61ee4c871149e49ee9b67","datavalue":{"value":"Brouwer-Heyting monoids (BH monoids)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173718$84FFE64B-5365-4DDE-95E1-2909DFC5EBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50b965322ce02b383b80bd897c900efe31febfa","datavalue":{"value":"BH lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173718$E8020977-A9A3-4A63-A4D0-D755B6F7347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94768d165a2e5b93f7940af6b131f4ebc3b9fe4e","datavalue":{"value":"IBH lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173718$470C2AEA-8BDA-4638-83AB-3A4E0B9D184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173718$C70DD6CA-13D3-47F1-A110-C5656E557510","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":"Q6173718$61B7CFCE-6DBB-4E61-8C27-6C182D0DE680","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc888a076de43aba6ae566aed76169c6ee4074b","datavalue":{"value":{"entity-type":"item","numeric-id":5789040,"id":"Q5789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$92FB7E7D-9A1F-41D6-9C41-E3EFBFFDDD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$FB212EE1-7D21-4CAA-9E0A-5F1BBF91DD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997744b17d1ed487c74981dc37b3271e77786200","datavalue":{"value":{"entity-type":"item","numeric-id":5574737,"id":"Q5574737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$B14FA936-51B9-4936-A2D2-292C7FA861F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$9166DE20-7926-4904-BE08-81584A5AF683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0c7820e4f6a0840e1fc28b4670c79728ba37bd","datavalue":{"value":{"entity-type":"item","numeric-id":934913,"id":"Q934913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$E13A329F-ED4E-411B-8EAA-D2A01B3C0821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55998ebae34b6a4d79c05b6e8d578cc344c8e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5181342,"id":"Q5181342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$0F25A85F-4DC1-448F-9FA0-8BA4F22A0625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$544A33B2-F0F7-44AB-B5C3-C00DC08E0F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173718$CD49F2E9-CE1D-4B69-A1A4-65325C10241C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98af10dce82a60c0cd0b96890894701f499938c7","datavalue":{"value":{"entity-type":"item","numeric-id":1954013,"id":"Q1954013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e0ea032011ac288cbb63a46307c3a75310821a","datavalue":{"value":{"amount":"+0.7786438465118408","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":"Q6173718$F62333BF-3A76-4BA3-AD47-82B125BE8A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3495e17fc834814603463d045f38b5c429ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":3836005,"id":"Q3836005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740782b8ea5c44ac6a9bf0520097356d8ab2ac06","datavalue":{"value":{"amount":"+0.7719455361366272","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":"Q6173718$00CB9881-854D-4E2A-96F2-5CBDCA9AE365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef32ce0f185c8c7bd23aabdb6791b019fe0176b","datavalue":{"value":{"entity-type":"item","numeric-id":4257787,"id":"Q4257787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08539ac9d1159f3e4a8f54a50978ee616f3982b","datavalue":{"value":{"amount":"+0.7658915519714355","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":"Q6173718$0A83A79D-7A21-4088-A041-07EE0C503826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390666dea9d4f75640e3154c5cc5dd5abc89af05","datavalue":{"value":{"entity-type":"item","numeric-id":4681455,"id":"Q4681455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77903187e19b2e5436e9983f6c619e4e50572eab","datavalue":{"value":{"amount":"+0.7655727863311768","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":"Q6173718$5EFC2609-7804-40E7-8830-6B61CB9DDDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d742942156325998446c8bec3103fd9e50d159a2","datavalue":{"value":{"entity-type":"item","numeric-id":3786512,"id":"Q3786512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97873899fb7f4a7ede90f794a620b27f7ca3eef0","datavalue":{"value":{"amount":"+0.7505796551704407","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":"Q6173718$E5B7845C-9367-469D-9697-A3795050AAE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6173718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6173718"}}}}}