{"entities":{"Q739832":{"pageid":741681,"ns":120,"title":"Item:Q739832","lastrevid":63977580,"modified":"2026-04-11T16:49:37Z","type":"item","id":"Q739832","labels":{"en":{"language":"en","value":"Heyting algebras whose congruence lattices are Boolean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6613946"}},"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":"Q739832$26D03BF3-4A35-40FD-8237-46C0D201DD0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60a5d8b1607fc4c89daeb0431283386d1c6e25b4","datavalue":{"value":{"text":"Heyting algebras whose congruence lattices are Boolean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q739832$FDC90E58-248D-42C4-9914-04FFC54A28D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11c50eba1041463fbcdabefd6dc9222ebaf4c4d8","datavalue":{"value":"1349.06025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739832$1513F3DF-4CE7-4BDD-9EBB-A0540A58A6E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a126e688225383b09604ba53dde0e0dcdc80b603","datavalue":{"value":{"entity-type":"item","numeric-id":739831,"id":"Q739831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739832$A04054E4-49AD-4F2C-84BB-B50739902290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739832$D653D54F-B835-4F7E-ACE4-4CDE0F377430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q739832$60BEE58C-6465-4FF7-B6F6-EA61EE9C7001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739832$0EF597A8-B536-4255-B127-A7AE6AAF57E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739832$C138B036-D5EF-4795-8192-323E7D1A7FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f5c2e18040d929be5980d906c3d6f3dbca65763","datavalue":{"value":"6613946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739832$5476D0E8-739A-4692-82FD-7EC6D4B5DF66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q739832$824B6B14-11C9-44E7-B85A-268FCCDC280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q739832$6F2406E5-E2DE-40A3-A992-3906424AB470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfadde772ccb1fd6cd86b73b1a4668450a8d91e8","datavalue":{"value":"dual isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q739832$4F56DD7B-6332-47E4-8270-66B4EF048FE0","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":"Q739832$B1D837FD-E838-47CD-B981-004183303BB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98a5f7ddd04c4074f0980b8df76be5a8a8c3b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2998599,"id":"Q2998599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06df04813913ff88b479908124bdc6cb9dd62ec2","datavalue":{"value":{"amount":"+0.8237597942352295","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":"Q739832$6A2A045D-DD8E-4BD7-9386-BE724084537E","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":"b5ed982ce9228dbdc86018f8ba0446a34a57338c","datavalue":{"value":{"amount":"+0.7998272776603699","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":"Q739832$6BD4B3B9-15EC-4C12-A38E-2721EB060EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c12879454c6e8f8be4c91cb83f181387f0f041","datavalue":{"value":{"entity-type":"item","numeric-id":1785571,"id":"Q1785571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efd9e3c4f72c354e61aba59679f09948c4278a6","datavalue":{"value":{"amount":"+0.7948462963104248","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":"Q739832$1DF947D0-8D97-4A44-B14A-89BF366BD598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534423c6293b1ef3253fe7a0bb8ad1e8e177448a","datavalue":{"value":{"entity-type":"item","numeric-id":3977933,"id":"Q3977933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce797afc99d5f0acc2171d39e257d1e6fd2c38d4","datavalue":{"value":{"amount":"+0.7811247110366821","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":"Q739832$D468FA73-D11C-444D-B05C-84146C081C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ada56077e231a54f65663d6f1174d499323edc","datavalue":{"value":{"entity-type":"item","numeric-id":5134045,"id":"Q5134045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5d0435b91f829bfe39dcdd5d2f3e7e0c808433","datavalue":{"value":{"amount":"+0.7807565927505493","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":"Q739832$13A36E36-3614-45DB-8577-C52C0455D975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heyting algebras whose congruence lattices are Boolean","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heyting_algebras_whose_congruence_lattices_are_Boolean"}}}}}