{"entities":{"Q580385":{"pageid":582152,"ns":120,"title":"Item:Q580385","lastrevid":62922381,"modified":"2026-04-11T09:00:33Z","type":"item","id":"Q580385","labels":{"en":{"language":"en","value":"Different orthomodular orthocomplementations on a lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016972"}},"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":"Q580385$C126D6A5-DF53-4DDE-B4C1-E33F4DE93829","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9d38703455056f60ad7a07f201aaaffdf39a180","datavalue":{"value":{"text":"Different orthomodular orthocomplementations on a lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580385$30D58FFC-CA89-4454-BFFC-478B451FBCD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"562b026fc9a2541d5e2492a4299948e135a91fac","datavalue":{"value":"0626.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$FCB93947-951C-4CA0-83C2-3D34E6C7664B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"722b27a28eb097e73d2c4141d3ba7ddaf6138c67","datavalue":{"value":"10.1007/BF00337887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$27A83623-B6D5-4F09-B27A-6AC9158AD2CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1555f3450c86e90883b7f7574a82d6c469043fa9","datavalue":{"value":{"entity-type":"item","numeric-id":580384,"id":"Q580384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$211BE73F-F6CB-4512-92CD-6C687ECACF45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$6808F36D-A538-4214-97FD-66D67EFD2D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q580385$5140F9B5-5276-4548-A2F4-1AD77C7A7979","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"caaa9a289ccb9649d316017f056621c38e277eae","datavalue":{"value":"In the axiomatic approach to quantum mechanics the lattice L of closed subspaces of a separable Hilbert space is called the standard quantum logic. The author constructs Hilbert lattices M which have all important ortholattice properties of L, but admit, on M as a lattice, infinitely many different orthomodular orthocomplementations. The quantum logics M are lattices of orthoclosed subspaces of separable orthomodular spaces. Orthomodular spaces are vector spaces E over a field K with involution * provided with a (bilinear, definite) *-semiproduct \\(f: E\\times E\\to K\\) such that the projection theorem \\(E=U^{\\perp}+U^{\\perp \\perp}\\) holds for orthoclosed subspaces \\(U^{\\perp}\\) of E. The spaces E, used in constructing the new quantum logics M, carry a topology induced by a (non- archimedean) Krull-valuation on K. The notion of a topological type is used to distinguish the different orthomodular orthocomplementations on the lattice M. It is well-known that the standard quantum logic carries (up to isomorphism) only one orthomodular orthocomplementation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580385$B6191689-A84E-4A81-A180-79B6720ABCEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$86E90502-58A1-41BB-9028-AA535E6B4CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$9BC45213-35AF-418D-A6BE-803DC5525E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52e0168162117eb8e8335cbb8d5acc37f04a4a3e","datavalue":{"value":"46C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$F5B58538-AC81-44C2-9A5D-D84D1323EE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$70450114-4AC4-4D89-952D-F708F59562B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b6f342700c10d3381fbb8e79c01ee26222e01f9","datavalue":{"value":"46L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$502B3845-B933-4193-BFD3-5B2624FEF1AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a318ac5e52a0f9e34f480132bc2aa0c81b589280","datavalue":{"value":"4016972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580385$8AA7815F-C99B-4FF2-9FC7-627DBB83A929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb030cf0c77a7994b5ba3a09f1ec9dc705e761c4","datavalue":{"value":"separable Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q580385$A7138A0E-B185-40ED-A519-C51F6C966E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207a8a5b96a31ceaf82a0f485714c3ebf6cebeee","datavalue":{"value":"Hilbert lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q580385$A3FFC683-BA20-4EAA-A0C8-CC8FE1CA8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1410bee3ab4895b2ad0331ccfe2d434b8733d950","datavalue":{"value":"orthomodular orthocomplementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q580385$72E16B33-92FE-495A-B291-F858AA2AB725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"635c0863fa2726003aa1174dd797f2f050c0ebce","datavalue":{"value":"quantum logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q580385$F55EB5F0-D3D3-4B36-8E5B-F9FF0F1DD21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bd5f89edeb4815d3748e1a4f5db43699b3ff86","datavalue":{"value":"separable orthomodular spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q580385$EBD26C04-2062-4C34-8711-6D2FA4CCC068","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":"Q580385$96678F0A-51B9-4F86-9C4A-5074F0E7B628","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":"Q580385$C9F7C8A9-C14F-4718-80AB-FBA5DDD8CCF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b138c36a41f68b88df369a42542b0213f0692f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3220653,"id":"Q3220653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$C737528E-3C42-4736-A012-275B2DFDC4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52fabc71882dd27939111d24ff70e8fb5b5d30c","datavalue":{"value":{"entity-type":"item","numeric-id":4141340,"id":"Q4141340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$662A441D-A2A2-4499-8C5E-9CEBB84B66B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a021a8df7e909cf3f593fb476090b5a141f39f0","datavalue":{"value":{"entity-type":"item","numeric-id":1259648,"id":"Q1259648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$525D8DD7-AFC1-4C75-8A12-9A0043143807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa632755d35e3995dc53042f88b895f226bc97f","datavalue":{"value":{"entity-type":"item","numeric-id":1250265,"id":"Q1250265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$43AA74C8-E7A4-4DBB-AC8C-064A73D6E559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f51ffe20bd6c2275c7b967a1dbb7d2018b4b62c","datavalue":{"value":{"entity-type":"item","numeric-id":1053229,"id":"Q1053229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$F80317C3-6D51-48A6-8109-417566B05644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0996caf2c04ffaa0d7977c7f000434930fa35c3","datavalue":{"value":{"entity-type":"item","numeric-id":2523895,"id":"Q2523895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$C8A426E1-C496-4D8C-BB3B-0AF6E5B3C345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11789266681379acb7e621557530112c4a42b71a","datavalue":{"value":{"entity-type":"item","numeric-id":5532622,"id":"Q5532622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$8F7E79C5-54BC-47CB-B007-407C702748E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606509c5e093bdeea6d5e25fe221d9d0353a78c6","datavalue":{"value":{"entity-type":"item","numeric-id":1250266,"id":"Q1250266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$4CB6D7DB-A643-4AF4-AA3C-1958D80C9CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2508948a0046d13e64313bc67a37d405b14caf9c","datavalue":{"value":{"entity-type":"item","numeric-id":3871032,"id":"Q3871032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$4594E29E-471A-4694-BAB1-F10BA5872522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dc82a2e26664343efa4a11fce56b220c5a6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1260055,"id":"Q1260055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$6D2461C9-99ED-4E15-A4C2-EE87875ABAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807e744e11782315ae9caae9dd8966533d3edf96","datavalue":{"value":{"entity-type":"item","numeric-id":1168394,"id":"Q1168394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$702CF188-4B9A-4136-B4C9-3F80C2D83CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e55fad7260e80d40fc297ea69201993afdd09c","datavalue":{"value":{"entity-type":"item","numeric-id":3050473,"id":"Q3050473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$C2F33365-CC37-4264-B876-E5E0FA2B24BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e617c8f65cf1d86b2966f7e01744b4ac115507f","datavalue":{"value":{"entity-type":"item","numeric-id":1161808,"id":"Q1161808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$63CF3715-9987-488F-BBD7-64FC29A4E3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c213bc02200d9d3f9f250a4c0623e3913facdca0","datavalue":{"value":{"entity-type":"item","numeric-id":3950631,"id":"Q3950631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$95138F61-CBC3-4CEA-A489-6370C622F07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654e6f53ecc656b58ab595d35273028809ab79c9","datavalue":{"value":{"entity-type":"item","numeric-id":1063016,"id":"Q1063016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$30B99B31-2FB0-4806-A653-84645A666A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98366f8bbf481951e0b38ee94179b64998a5de2e","datavalue":{"value":{"entity-type":"item","numeric-id":1087965,"id":"Q1087965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$0B4C10BB-6F65-4B24-8DBE-8BB21E8D79A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bf8aecae5539f3a16e121976a8170aa73f47be","datavalue":{"value":{"entity-type":"item","numeric-id":3927362,"id":"Q3927362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$712E967E-6634-4F28-AD4D-2413FC6A828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037d28419efd5e69bdc7bcd3b31e155a5b4ffdb2","datavalue":{"value":{"entity-type":"item","numeric-id":1086274,"id":"Q1086274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$31C8F9C4-5E51-4EA9-A3A3-D7D4D5703636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4352fe08a14a22c5cfd0ad95963e950bfb15e68b","datavalue":{"value":{"entity-type":"item","numeric-id":1820808,"id":"Q1820808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$A9F6FC95-3D58-4CD5-A197-D18CE3707844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9439c71c9f8c66e94894ca5d68030c15d9cd2f","datavalue":{"value":{"entity-type":"item","numeric-id":3900196,"id":"Q3900196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$934ECF3D-3A85-4769-9ADE-126C79F1AA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a23899af0fee947b426803be2786abff5ac668","datavalue":{"value":{"entity-type":"item","numeric-id":3222923,"id":"Q3222923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580385$1B90EB37-EF71-4C43-932E-3B6B66B2D3DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df60eb906c04d8c072a5534204f8092147c67af","datavalue":{"value":{"entity-type":"item","numeric-id":2464098,"id":"Q2464098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c1980928c943dbdc1245936028c63ee7c76ee0","datavalue":{"value":{"amount":"+0.8165889978408813","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":"Q580385$5451D52F-7275-41BF-9CFB-B1CDA7AD6613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ab4329b5920bf848c71c34d8fb3a1721b708b4","datavalue":{"value":{"entity-type":"item","numeric-id":1586449,"id":"Q1586449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5190a10bbbc122344993938a9aa2ebca736b52","datavalue":{"value":{"amount":"+0.789046585559845","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":"Q580385$8F1DCC05-455E-4F59-BB5E-4DE6954F1AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c187156b6f82c2c924f4dbb547818a7206090c","datavalue":{"value":{"entity-type":"item","numeric-id":2429783,"id":"Q2429783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5190a10bbbc122344993938a9aa2ebca736b52","datavalue":{"value":{"amount":"+0.789046585559845","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":"Q580385$D46F37D8-238B-4015-BA24-21A5ACE890A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e189d2952839fae1ca138f4aea0c6ed56d1103e","datavalue":{"value":{"entity-type":"item","numeric-id":3691791,"id":"Q3691791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4884b9172521c035c6cbe875cdd518408aaf8a10","datavalue":{"value":{"amount":"+0.7867208123207092","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":"Q580385$F6E51BA4-5049-4184-B0C2-F94CCA9A2636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8aa4bafebae13bcf65111add0bd1b6cef7a6d1","datavalue":{"value":{"entity-type":"item","numeric-id":682660,"id":"Q682660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747be3d31dc557690d93b0d0fd69b5c18a25b11c","datavalue":{"value":{"amount":"+0.7795106768608093","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":"Q580385$74416644-8E66-453E-B698-3C2742AE33DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Different orthomodular orthocomplementations on a lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Different_orthomodular_orthocomplementations_on_a_lattice"}}}}}