{"entities":{"Q2577722":{"pageid":2588465,"ns":120,"title":"Item:Q2577722","lastrevid":78908672,"modified":"2026-05-06T12:43:03Z","type":"item","id":"Q2577722","labels":{"en":{"language":"en","value":"On \\(n\\)-distributive modular ortholattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243867"}},"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":"Q2577722$05970420-F073-445F-95E8-953745AC8D2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df34067a7bc3a3f59bc0993185e0aec926d0b29c","datavalue":{"value":{"text":"On \\(n\\)-distributive modular ortholattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577722$79EB150A-9BE8-42D8-BEBF-785204DBA1BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4bdb1a1a530ba11b9cfe60a7b1c49bb241b4c83","datavalue":{"value":"1090.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$303E3B64-F20D-4B9B-8073-989E3F3AA425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b803d6b13f1d05b9ec9760fb720acc1ec86f69e","datavalue":{"value":{"entity-type":"item","numeric-id":2577721,"id":"Q2577721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577722$C7016B62-8E4A-42E0-8FE1-6F3535BEB061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9702acfaceaa597e0a3909acae3fafbdd7405d8","datavalue":{"value":{"entity-type":"item","numeric-id":185695,"id":"Q185695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577722$573A1664-6C3E-4A28-9326-2C450DCA625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc483e72969acb7c734c73c185088c4f5273de1","datavalue":{"value":{"entity-type":"item","numeric-id":429919,"id":"Q429919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577722$E6C7B1E9-BA75-4976-83FE-0CD7515C389E","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":"Q2577722$B2844BF6-C0FD-494D-AEA0-B8A9DD05D831","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577722$ADADEC3E-AAA5-44A6-9BE1-67544BE4A38A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"822c864f8689131703ba7bf5655e6250ce76ebd6","datavalue":{"value":"Let \\(n\\) be an integer \\(>1\\) and \\(D_n\\) denote the variety of \\(n\\)-distributive modular ortholattices, which are algebras \\((L,\\vee,\\wedge,',0,1)\\) of type \\((2,2,1,0,0)\\) such that \\((L,\\vee,\\wedge,0,1)\\) is a bounded lattice satisfying  \\[ x_0\\wedge\\bigvee\\limits_{i=1}^{n+1}x_i=\\bigvee\\limits_{j=1}^{n+1}(x_0\\wedge \\bigvee\\limits_{1\\leq i\\neq j}x_i), \\]  \\((x\\vee y)\\wedge(x\\vee z)=x\\vee(y\\wedge(x\\vee z))\\), \\((x\\vee y)'=x'\\wedge y'\\), \\((x')'=x\\) and \\(x\\vee x'=1\\). \\(a_0,\\ldots,a_n\\in L\\) are said to form a spanning \\(n\\)-frame provided \\(a_j\\leq\\bigvee\\limits_{i\\neq j}a_i\\) and \\(a_j\\wedge\\bigvee\\limits_{i\\neq j,k}a_i\\leq a_l\\) for all \\(j,k,l\\in\\{0,\\ldots,n\\}\\) with \\(j\\neq k\\) and \\(\\bigvee\\limits_{i=0}^na_i=1\\) and \\(\\bigwedge\\limits_{i=0}^na_i=0\\).   It is proved that within \\(D_n\\) every finitely presented algebra containing a spanning \\(n\\)-frame is a direct factor of a free algebra on the same number of generators. Via this structural result it is proved that for any \\(n\\geq14\\), the free algebra on three generators in \\(D_n\\) has an unsolvable word problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577722$36258D04-BB54-43E8-A6B5-0E710F166614","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"979ef4a30a3c4b4dc502fe36ddec548597439b00","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577722$741905B7-1EBA-43FF-B5D5-0789C8FB2A98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$B02EDC5A-FFB4-443D-B35E-88089F90B610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$CAAE4958-EE09-4744-884C-0C0C6CC4D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$059CD4C5-28BB-432B-801E-8B3CD08A2994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1339ba10506828cc492fe5a9c050857e460f793","datavalue":{"value":"2243867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$79FA000E-2CA5-4137-93EA-84FA3AA7FB65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad66c94ef74a0394ba7ddf5a200c150634ea80c4","datavalue":{"value":"spanning \\(n\\)-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577722$CB085F4C-3722-4DE8-A58C-490B6622B7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577722$30E8D95A-0DA5-4FD0-863F-77C65AB32383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15c7904f29b6ead5c6b56139f54d5a37b925235","datavalue":{"value":"finitely presented algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577722$E5857A85-1F45-45C1-A539-675342284252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577722$A485E1FA-7C1B-49CE-B66C-A154CAC1A089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9011d5bab34b26b68dcebb764114ccefeeccaffa","datavalue":{"value":"\\(n\\)-distributive modular ortholattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577722$11B0676C-5138-49D7-BFAD-DB87013EB43B","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":"Q2577722$0583E50C-521C-460B-944D-7918F6067A7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c27d00926b51aae47c7fd043ca71f4749deb7aa7","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1853-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577722$85C0F0FF-82A3-4E4C-88FB-C004651A72B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa21ee38b785fba5e53ea2f123dd2175668eb82a","datavalue":{"value":"W2051719823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$5289AAAC-4400-4371-8076-F12B7EA481C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"595dcf367c97571be79284077ec155f9d42d5890","datavalue":{"value":"10.1007/S00012-005-1853-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577722$BF717F3E-3B46-4A70-8A2A-E57BA02A82B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020cf05c846ad64ec8e45e61bb65a84ae52befb9","datavalue":{"value":{"entity-type":"item","numeric-id":3720655,"id":"Q3720655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acea1be0a99deace91b13a658a3fda79dbbcf355","datavalue":{"value":{"amount":"+0.8319109082221985","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":"Q2577722$E607FCB6-BF31-4F18-86C0-2614CB54CBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a56a5fb087281f57a40107c783f245965bd7ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1943680,"id":"Q1943680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19167919a92cc0956b7e7e3e1ea35d2f46ca376","datavalue":{"value":{"amount":"+0.7782624363899231","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":"Q2577722$A82D4B2B-5F8D-4EEC-A9DD-3A0E7CE2085C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e9325cd07686f3c6a55090a76cffdf79baab9c","datavalue":{"value":{"entity-type":"item","numeric-id":3472154,"id":"Q3472154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3494fc336e37752ba77b34b2b8d76f3e160eaf4e","datavalue":{"value":{"amount":"+0.7729222178459167","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":"Q2577722$AF2DDE61-75CE-46DE-862C-8EC3882ED7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7d53fd40e393c129f69130071970d9c321b140","datavalue":{"value":{"entity-type":"item","numeric-id":3770581,"id":"Q3770581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86ae299e7ea268cb2c69e9b39702fa59abb482e","datavalue":{"value":{"amount":"+0.7638652920722961","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":"Q2577722$06343C11-EF34-4E0B-AF46-4AC79DB94FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874d8acfa81621bc73aa6a4d8b3f0fb3e26fff37","datavalue":{"value":{"entity-type":"item","numeric-id":1388173,"id":"Q1388173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd7d04f75ebc3d8f742b4dfccf8ac342792a8ea","datavalue":{"value":{"amount":"+0.7635811567306519","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":"Q2577722$2610DE92-925F-4F9B-AA7A-3E5E594C889F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On \\(n\\)-distributive modular ortholattices","badges":[]}}}}}