{"entities":{"Q689271":{"pageid":691120,"ns":120,"title":"Item:Q689271","lastrevid":63499077,"modified":"2026-04-11T13:34:28Z","type":"item","id":"Q689271","labels":{"en":{"language":"en","value":"Block-finite atomic orthomodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445052"}},"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":"Q689271$883B2081-E614-4CB5-A978-48B783BC2A46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15dd8051ebf9c4df82a14b8656b5854e002ef6a9","datavalue":{"value":{"text":"Block-finite atomic orthomodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689271$BE024119-D580-43B1-9FB2-F10A4BD6FD50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7695cbc9fbc17d63c82fa5e5037829701c3faf08","datavalue":{"value":"0786.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689271$984C42DE-0978-4DB7-8E18-4A00A5608882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6aae0bedd073af28515c8aba98e93b260a10b26","datavalue":{"value":"10.1016/0022-4049(93)90058-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689271$150AE9DF-B064-46D7-A76F-89291F941400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29f22b91570b5df6412beedfb2a04c45a3e1599b","datavalue":{"value":{"entity-type":"item","numeric-id":688646,"id":"Q688646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$51743204-DA7D-43CE-9D7E-6BE96B684F3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$66E8A19A-BC25-4C5C-957E-FD01C369480B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e67371e5e0018c414c1595d9e0bd60a8318027a","datavalue":{"value":{"time":"+1994-05-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":"Q689271$74D15765-DB24-4991-A0F7-818021A44578","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17cf532d7cf4de5fbdba6b25b79b6e75ecaddac7","datavalue":{"value":"A block-finite orthomodular lattice \\(L\\) has only finitely many blocks, i.e. maximal Boolean subalgebras. It is shown that the MacNeille completion of \\(L\\) is an orthomodular lattice. Assume \\(L\\) is complete. Then \\(L\\) is atomic iff the interval topology on \\(L\\) is Hausdorff. Let \\(M\\) be a complete, (0)-continuous, commutator-finite orthomodular lattice with trivial center. Then \\(M\\) is atomic. For a complete, (0)-continuous, atomless orthomodular lattice \\(M\\), the conditions: \\(M\\) is a Boolean algebra, \\(M\\) is block-finite, and \\(M\\) is commutator-finite, are equivalent. For compact topological orthomodular lattices \\(L\\) some characterizations are given for \\(L\\) to be profinite, i.e. isomorphic with a direct product of finite orthomodular lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$59AFDF5C-D096-4BC3-BC1B-CA89BE1FEE32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689271$5C7B484C-787F-463C-BAFB-16D3D3A63FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689271$EA8E08E4-566C-4992-BE9B-E37512B67778","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25a7b469ddd2d8ca51aff8caafd01015eb09a0df","datavalue":{"value":"445052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689271$28E1B5B0-7B3B-4A6E-9974-460700F40EEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b86a1914b7fd7f8af83fd831f0082ba872ff863b","datavalue":{"value":"block-finite orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$2316E253-B209-4323-BC1F-BDDD29C3AF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$D56532DB-966A-40CA-B260-75C8343E216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c065ae81504d4450079370d4ad92a1396b521714","datavalue":{"value":"commutator- finite orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$3C490BD2-C8E8-4585-A1CC-7455151EB9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$3708F89E-CC3A-464F-B888-DB5CECC9AA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db933a8ca9d5df44c62c81e0c2331c47efe2f8b2","datavalue":{"value":"compact topological orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$D69EAA03-9F2D-4E00-B225-911022C9FA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1a888ad53cf5ca728fd97fc004d92f682ce7ef","datavalue":{"value":"profinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q689271$44E8BE24-F43A-4556-92BE-2DE238E30D7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$D8365DBA-CD31-4660-89DE-1C22AE4730C1","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":"Q689271$A8A2E509-8486-4AF0-BC6D-B917269BB155","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd4d48328a59df2a6fec3312ef2aaac1e481d333","datavalue":{"value":"https://doi.org/10.1016/0022-4049(93)90058-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q689271$4032E277-1C1D-4A9A-878A-B724B84A6DCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51f5027f585b2e9beb736a756abd944742c56c32","datavalue":{"value":"W2047978536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689271$214CCC6C-52B0-4539-8A6E-D478F6CD844C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c35af3571a0a6faec888d2d7d623240f513aa","datavalue":{"value":{"entity-type":"item","numeric-id":3952094,"id":"Q3952094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$C69DD2D3-5442-454E-A542-896EA0A44D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3792a67c1c8de1deff1f2a4dce46ed565a614e8","datavalue":{"value":{"entity-type":"item","numeric-id":4163277,"id":"Q4163277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$11496187-06C5-448D-841B-0C1FE8E9F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8addb515b9673ce0cd03efcadc0a5c7c4e978f76","datavalue":{"value":{"entity-type":"item","numeric-id":3955406,"id":"Q3955406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$932A646D-6A02-4FF7-9960-63C656CBBF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3cc844db92f3b193f14f5c8a199fd1ad71c8c34","datavalue":{"value":{"entity-type":"item","numeric-id":3957002,"id":"Q3957002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$A03F2B52-AAE9-4492-9B55-D4A54D58AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248427ff4762a9580f6ad0c161d542bf3c216728","datavalue":{"value":{"entity-type":"item","numeric-id":1325964,"id":"Q1325964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$CD4C98A1-5D4D-47D5-A077-463917AF4623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d9ff86e592ca6027becc1cce7f89ce4a5df9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4129420,"id":"Q4129420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$38286A6B-851A-4A4C-9CE6-F05BB03F907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644f15eae9b501b2208dfc28fa36ed7e39c5ce68","datavalue":{"value":{"entity-type":"item","numeric-id":1138565,"id":"Q1138565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$371CF294-11B7-41F8-8B2C-8625ED2061BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b7fecd1fe27952bb955df687a1597e8860cd9d","datavalue":{"value":{"entity-type":"item","numeric-id":801951,"id":"Q801951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$3BB81BA8-B476-4DC1-B0A0-59779870DD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3536dce8451001069241095e547951f77ec5d49b","datavalue":{"value":{"entity-type":"item","numeric-id":2540721,"id":"Q2540721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$46CE2539-2AF3-4680-8E55-D84C9E95058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$1EA51638-7EBD-4336-8319-A7C67AE0B146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d338d467dd42b3add16862e126d5385fb976bd50","datavalue":{"value":{"entity-type":"item","numeric-id":3732526,"id":"Q3732526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$56766BD3-C572-4C76-BD15-86F720955E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012904fe26f0c72b756739be79d23f80192e3adf","datavalue":{"value":{"entity-type":"item","numeric-id":3979110,"id":"Q3979110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$CC9135C5-7196-48E6-9546-E5B3437C7FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2651430d4eb2dae1a9d3d5c16a5721305a096b","datavalue":{"value":{"entity-type":"item","numeric-id":3989721,"id":"Q3989721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$C4C4F799-CAC9-4E93-9879-3AA4455635BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353752c821206741ac6524cd12cf5286761e4e36","datavalue":{"value":{"entity-type":"item","numeric-id":4014773,"id":"Q4014773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$10CE8D39-37A5-4E4D-AC9E-9D10798FAF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84faffd8d4246a72d298a72fdfc3a7f612a92f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3329941,"id":"Q3329941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$923FAE8C-D60F-4FEE-A06F-AE0DE1D8E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3b8d82bc878a09ecc2c39572bb475f9fe89984","datavalue":{"value":{"entity-type":"item","numeric-id":767570,"id":"Q767570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$E7516FF4-50B9-4BDB-A25A-CF6E25B1650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af88455d80994374cb6b9f215e2bfe1b38f1b434","datavalue":{"value":{"entity-type":"item","numeric-id":3134674,"id":"Q3134674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689271$DDD5361F-BA25-4F0E-A099-DA97D0AC2E31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedad857ef088833776204a8d3c3abfd7049385d","datavalue":{"value":{"entity-type":"item","numeric-id":3979110,"id":"Q3979110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7de2159ba169add93df77cc003ec01b2d6b1a8","datavalue":{"value":{"amount":"+0.8570974469184875","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":"Q689271$7A82A43C-885E-496C-B60B-EC6B10B16860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3eac8f81468e185653a3932ce97bea1dfce13b6","datavalue":{"value":{"entity-type":"item","numeric-id":801951,"id":"Q801951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c208b05f9794b06e769a5c45f140821c0e3107d4","datavalue":{"value":{"amount":"+0.8552567362785339","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":"Q689271$4F45439D-BAE8-4897-8D85-2E8CC6D267AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97b18e9da6da1924a3fd8476915de568dacf8ce","datavalue":{"value":{"entity-type":"item","numeric-id":4014773,"id":"Q4014773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc604b58011b591932828e6c67b7992b65ac8f0","datavalue":{"value":{"amount":"+0.805816113948822","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":"Q689271$98827BE9-1A3B-44D8-B624-72D7E72D4401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c42dacafbdd7b84f6c6d07a2ba7e6c187deb6d","datavalue":{"value":{"entity-type":"item","numeric-id":3134674,"id":"Q3134674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53325d3449f75994376fc8708438e2303d5c5347","datavalue":{"value":{"amount":"+0.8055046200752258","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":"Q689271$6D113287-7E79-4B38-AC6D-BC3132306589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e83b94e7d47ff9674a32085c7c441884c8bc79a","datavalue":{"value":{"entity-type":"item","numeric-id":1346178,"id":"Q1346178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ce376f6ae4843d260e42dd39b532a96190bb92","datavalue":{"value":{"amount":"+0.8041995763778687","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":"Q689271$13F673EF-9575-4F19-ABEA-E831932501C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Block-finite atomic orthomodular lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Block-finite_atomic_orthomodular_lattices"}}}}}