{"entities":{"Q1913870":{"pageid":1924612,"ns":120,"title":"Item:Q1913870","lastrevid":69275409,"modified":"2026-04-13T05:55:19Z","type":"item","id":"Q1913870","labels":{"en":{"language":"en","value":"Completeness of the bounded Boolean powers of orthomodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883418"}},"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":"Q1913870$EB573570-4153-462E-B237-E9A5BD6373E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d3ea80eff0246492321ee862f5464f0c0a5d29","datavalue":{"value":{"text":"Completeness of the bounded Boolean powers of orthomodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913870$173B37A7-3172-49E2-AB1B-142FA83B2696","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6056193b85f6cfc1db7461b3124e24bcd59a96","datavalue":{"value":"0848.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913870$2E517D51-24F6-4A99-8ECE-FB8E4D4F8001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4552a80853be4e2e6183a72768d32ddf2cc27db9","datavalue":{"value":"10.1007/BF01195497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913870$CDE4F7DB-ADA1-483B-A2D1-2DADD65A27CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913870$C5DFCB7E-B4C1-4F4B-B1B0-D54702364E0E","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":"Q1913870$E7C9651A-FA6D-4ACF-BC17-90DF66AB20A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913870$EC543516-4017-40B1-B718-155BF860CC0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de0fe6929d40ba41ac7f033b53c485f34ff20c15","datavalue":{"value":"The bounded Boolean power \\(L[B]^*\\) of an orthomodular lattice \\(L\\) (this is a bounded lattice with an orthocomplementation \\('\\) satisfying the orthomodular law \\(x\\leq y \\Rightarrow x \\vee (y \\wedge x') = y)\\) by a Boolean algebra \\(B\\) is defined as the set of all mappings \\(f\\) from \\(L\\) to \\(B\\) such that \\(f(L)\\) is finite, \\(\\bigvee f(L) = 1\\) and \\(f(x) \\wedge f(y) = 0\\) for all pairs \\(x,y\\) of distinct elements of \\(L\\). If for \\(f,g \\in L[B]^*\\) one defines \\(f \\leq g\\) iff \\(\\bigvee \\{f(x) \\wedge g(y) \\mid x,y \\in L,\\;x \\leq y\\} = 1\\) and \\(f'(x) : = f(x')\\) for all \\(x \\in L\\) then \\((L [B]^*, \\leq,')\\) is an orthomodular lattice. It is proved that this lattice is complete iff one of \\(L\\) and \\(B\\) is finite and other is complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913870$C5EFA18C-E3BE-48A8-ADB6-E42F1F3FA722","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":"Q1913870$6871F52E-74C4-4281-9050-503B083C653A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913870$F646F7AF-440A-46AA-8780-0ED015F3D27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913870$980CE078-C4EA-4EDD-9D86-8292BD678185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d0f128b85069ecd45837585ee08f1ec241f8e3","datavalue":{"value":"883418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913870$A0EC3D22-7883-4AE4-9B2C-FFAB643D7D00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913870$4FED2BD0-2B67-4412-98EB-B246A96BB3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98f92d937a4fc07b0125728fcd6587d6384969c","datavalue":{"value":"bounded Boolean power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913870$5E0D3866-59DC-466C-AFC8-D3F0BB97DDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913870$BE990E2D-84AF-48D2-AB43-8FFD80EE9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913870$F4FC719F-FE90-48DB-8CC8-48A3AD3D70D2","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":"Q1913870$E8D179C9-A44D-4A4E-84C1-3C68963CE2F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9048bb01846843c53cc9e31b8b63035e888cc184","datavalue":{"value":{"entity-type":"item","numeric-id":5560303,"id":"Q5560303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913870$A2C6CA9E-FAE0-4AEF-B093-BC0D27AE9DA5","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":"Q1913870$A8BDC70E-1EAD-49A5-B754-40BAE46A38D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6a8aa63dfc0ef6c207a8c47cbfe4783b7b3d83","datavalue":{"value":{"entity-type":"item","numeric-id":1226512,"id":"Q1226512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913870$1D223D79-6E47-4FB7-84CE-8A6F65FAE3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6462d18411b88247fb88a4464f8176600f9e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":3977004,"id":"Q3977004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913870$4F9BFD77-3296-4776-94B5-2BE2FFDD945B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ad6e9392abcd86dffaef3b9efd928b6ad5713a","datavalue":{"value":{"entity-type":"item","numeric-id":685161,"id":"Q685161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913870$C274878A-CD20-4B98-9F55-974FB7FEA442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60f6019d259d0624d3095bff5f79a05ccf307d","datavalue":{"value":{"entity-type":"item","numeric-id":3791154,"id":"Q3791154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913870$AB097305-F457-481B-8D5D-E418189B5A4C","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":"Q1913870$73D7A54B-AE0D-4361-96B8-4C47C2F51EED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"348febe18ee93c273f709fa05a2539f7a3b48fad","datavalue":{"value":"https://doi.org/10.1007/bf01195497","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913870$E4B6BE28-2940-408E-913A-67536D0D9FA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c14ef657e1ce79d467e598f46eaccb7ad20b005e","datavalue":{"value":"W2062969507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913870$E1331CD9-B1E0-4D01-974E-B922F34EF083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcad86ec2925932bb2225c98ae298dd18cda4df","datavalue":{"value":{"entity-type":"item","numeric-id":1325662,"id":"Q1325662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e49c5fcf55cf4175e195ee7537e0299b98f8a6","datavalue":{"value":{"amount":"+0.7900621891021729","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":"Q1913870$92EB0F93-1C1C-4471-83FC-C01120149626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b04901585ca1b5d10ae7c1b5781a24fc227ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2505962,"id":"Q2505962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1e749a9bcf5034ecd0acc5ee662448a252a336","datavalue":{"value":{"amount":"+0.7628414034843445","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":"Q1913870$18E49714-1742-46B3-96DB-60F3600621C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618d4978740cad8efc108300e27392e3f14d02d7","datavalue":{"value":{"entity-type":"item","numeric-id":432196,"id":"Q432196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04749cf8e24850653ab063ce0c510c044f79e14","datavalue":{"value":{"amount":"+0.7524899244308472","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":"Q1913870$4F50E8DC-1C88-4079-8BDB-B302FEF8DE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d03eb5571680a63424f68ba1af355b29362d5cb","datavalue":{"value":{"entity-type":"item","numeric-id":3632528,"id":"Q3632528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e155e8b24e077b37ea4d3a04a715c4f0d6c7582","datavalue":{"value":{"amount":"+0.745481014251709","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":"Q1913870$1A2A4420-7289-412C-956B-1A79191FE99B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of the bounded Boolean powers of orthomodular lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_the_bounded_Boolean_powers_of_orthomodular_lattices"}}}}}