{"entities":{"Q5932473":{"pageid":8109275,"ns":120,"title":"Item:Q5932473","lastrevid":97631363,"modified":"2026-06-05T15:07:47Z","type":"item","id":"Q5932473","labels":{"en":{"language":"en","value":"A combinatorial characterization of Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602879"}},"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":"Q5932473$9C5FAAEB-B03B-4DE9-97ED-E32C8DB82FF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49c9333aa3cc77b4d72ef0cfd1147e31605d5ceb","datavalue":{"value":{"text":"A combinatorial characterization of Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932473$10335103-4592-40E8-81BA-2C04E78D0AA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2a91beb7cd58da7c7e1f047f06d6c393bfc3736","datavalue":{"value":"0965.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$377CBE68-6966-4D20-BD09-2487AFA7A6D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db463b96c2836deed5f87aecd125dc617f36bb4","datavalue":{"value":{"entity-type":"item","numeric-id":699912,"id":"Q699912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932473$D1008D1D-9180-4119-877B-98DF321999E2","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":"Q5932473$AF2BA6D7-C930-4A08-BADE-64343A908BE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-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":"Q5932473$2F516237-2BD9-49AB-BCE8-B9E31BA083C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f85303687917684f2f899a082ea621fc0045a92","datavalue":{"value":"\\textit{G. Gr\u00e4tzer} and \\textit{A. Kisielewicz} asked in 1992 if every finitely generated variety in which for every \\(n\\geq 0\\) the free algebra on \\(n\\) free generators has \\(2^{2^n}\\) elements is term equivalent to the variety of Boolean algebras. Although the problem is still open, the author proves a nice result:    Theorem. A groupoid is term equivalent to a Boolean algebra iff the number of \\(n\\)-ary term operations is equal to \\(2^{2^n}\\) for \\(n=0,1,2,3\\).   The theorem has two consequences for the so-called \\(p_n\\)-sequences:    Corollary 1. A groupoid is term equivalent to a Boolean algebra iff it represents the sequence \\((2,2,10,218)\\).   Corollary 2. The minimal extension of the sequence \\((2,2)\\) in the class of all groupoids is the \\(p_n\\)-sequence of a Boolean algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932473$455C3247-C58E-4D91-A26D-789137C87C78","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932473$00D30F3D-755B-44FB-8D03-F18BBAA43BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$CE2EAF29-F309-450D-82EF-01D1A080BB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$3948B180-83F4-491E-A1E8-FEF30ED83683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$92D868DB-ACEF-4F0A-AB09-D4BC65E20DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$C6BABD73-F5DB-4F97-BD2E-05A4F224D12B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cda6d87c83a6e4389782193b41088820dc78b6b","datavalue":{"value":"1602879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$EFF9FADD-4F10-49F0-B2C9-0E051FB7588B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcc9f78a70b8cae99c131d43b52a212c8fcb02e","datavalue":{"value":"groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932473$8A1FC0DD-B66B-49C7-A73C-791BECCAD68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d4cf77fafddcc10bbf8b72be0df91c49486539","datavalue":{"value":"term equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932473$4FA6D32D-EE64-40A0-8465-1E8B2BBB6572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da53edecb10195210583d9bf76cf870d3004d3a","datavalue":{"value":"\\(p_n\\)-sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932473$B2517F26-8C3F-419A-9CA7-42B7461D14AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932473$18A7FECC-7CA3-42EA-BD1E-3B8976AB58B0","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":"Q5932473$1A7D2DDF-8F5D-4A72-A869-BEB94A766D5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91e7d15428cdc1653193e42bca9f49a2f986bf35","datavalue":{"value":"https://doi.org/10.1007/s000120050105","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932473$B2E88BB7-632F-4147-A6E1-D994F0D1E163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab6c3d49b02fc2499b67ca6383937f09c010d68c","datavalue":{"value":"W1977506901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$5E454C2A-3926-4A9B-B6AD-EBF53BB34B5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae1a1282ea5ca9c442f39d2a07c901953e4d86be","datavalue":{"value":"10.1007/S000120050105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932473$F973C56B-F7A3-4CB7-BFD3-6391FA7470A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fa0d2458ff7f3a03deb4de2155e6f638d7eaca","datavalue":{"value":{"entity-type":"item","numeric-id":2491958,"id":"Q2491958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3462cc4a372f2f8c0eaccdae4a1fadeca16825","datavalue":{"value":{"amount":"+0.8129716515541077","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":"Q5932473$F85C4413-2AAE-46E8-A3AC-3419873413F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d5d79de219e0eb7315d6f40e44c8dc58f23314","datavalue":{"value":{"entity-type":"item","numeric-id":1271977,"id":"Q1271977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb77f74813537f234212bb5108aef1c8a6843ef","datavalue":{"value":{"amount":"+0.7852252125740051","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":"Q5932473$2E06BB66-23CD-4BC1-9135-F784C76CCF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fd75350a12f3ccc7d8290eaff228692f8984c4","datavalue":{"value":{"entity-type":"item","numeric-id":4864486,"id":"Q4864486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53a3b15cd240d5ce0c04899a75a079e8e893d70","datavalue":{"value":{"amount":"+0.7826187610626221","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":"Q5932473$7FBB5229-B676-4FC7-9902-2170D385EECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746fc662a68d0637911498cccbcb739aadc82770","datavalue":{"value":{"entity-type":"item","numeric-id":5316217,"id":"Q5316217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd0a4c1432266517ecd34925b9ecadeff4d50c3","datavalue":{"value":{"amount":"+0.777044951915741","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":"Q5932473$54A19AE5-D89F-49B0-9A0B-417292A546DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0a670603aa0281563bdf6c72bbf4124458e7f8","datavalue":{"value":{"entity-type":"item","numeric-id":3562238,"id":"Q3562238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90a8c3ae37f74d8ef976bc3cd06d78e5a2c1fac","datavalue":{"value":{"amount":"+0.7588460445404053","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":"Q5932473$99DB30ED-4456-426D-B251-F1E95D609399","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combinatorial characterization of Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combinatorial_characterization_of_Boolean_algebras"}}}}}