{"entities":{"Q1346178":{"pageid":1356917,"ns":120,"title":"Item:Q1346178","lastrevid":70207704,"modified":"2026-04-13T13:10:14Z","type":"item","id":"Q1346178","labels":{"en":{"language":"en","value":"Order-topological complete orthomodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 735682"}},"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":"Q1346178$80C9404B-3BB7-4EEC-8BA3-F4B82D0040F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7258dad0d32d9dd4d413bc38d5f24de63d2d16c","datavalue":{"value":{"text":"Order-topological complete orthomodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346178$E7C346C7-37D9-4F0B-9A45-13D43C3DCC44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7877f9afc241aeee403782653551b77c3f995bb7","datavalue":{"value":"0817.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$AD6C2144-4B08-4A74-A585-BC885182A1BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c141b0687adb4a3f40953fa84aea76ce380b8ed4","datavalue":{"value":"10.1016/0166-8641(94)00040-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$781C0F30-0E28-4C7E-9CD9-AD517C9AF1C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ff7be87eb315c398cc9af993f51d5ac847e431","datavalue":{"value":{"entity-type":"item","numeric-id":171474,"id":"Q171474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$708A2FAE-D363-4F5A-8012-17FB922AEC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6813a7da72e60f616aef2b6d483202d74b2a0528","datavalue":{"value":{"entity-type":"item","numeric-id":202253,"id":"Q202253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$F8A2F38D-03A6-4469-99CE-EBCDE93678C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$2641065F-54C8-4EE7-AFF4-619E194FC986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b99a96e44ac25cec2bad39b6415c82143facdae","datavalue":{"value":{"time":"+1995-07-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":"Q1346178$DBE3A442-2E63-4DF9-B0BC-02BFEB8E4C68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21a631080fece0ec31a7ef1c3a1ccc52f789c78e","datavalue":{"value":"The authors prove the equivalence of the following statements for a complete orthomodular lattice \\(L\\): (i) \\(L\\) is order-topological; (ii) \\(L\\) is (Scott-)continuous; (iii) \\(L\\) is algebraic; (iv) \\(L\\) is compactly atomistic; (v) \\(L\\) is in the order topology a totally order-disconnected topological lattice.   A lattice \\(L\\) (element \\(a\\in L\\)) is hypercompact, if its hypercompact elements are join-dense (the complement of \\([a)\\) is a finite union of principal ideals). For an orthomodular lattice \\(L\\), the following conditions are equivalent: (i) \\(L\\) is hypercompactly generated; (ii) \\(L\\) is atomic and for every atom \\(a\\in L\\), \\(N_ a= \\{b\\in A| a\\not\\leq b'\\}\\) is finite; (iii) \\(L\\) is meet-continuous, atomic with a \\(T_ 2\\)- interval topology; (iv) the MacNeille completion of \\(L\\) is a compact \\(T_ 1\\) (\\(T_ 2\\), totally disconnected) OML.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346178$AB3C12AA-529A-4C2E-968E-18624E57AF7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$698FAF75-EF83-4719-B994-C65564BA7B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$50BA4189-11AC-4F2B-ABB1-F5D6A54062FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$4EE33BA9-EEB8-4FA7-B61B-1EB55CBC71E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$511BADA6-0B2A-4842-9405-199CD6D3D028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bb5da5e8f44b318bfb4f4e515c2b7980fdd3a21","datavalue":{"value":"735682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346178$B173D961-54D4-4E4F-A4E5-DC163036AAAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a7be6c8d811b3aaf046ce218d6efdab1fd638f","datavalue":{"value":"hypercompact lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346178$29FEC811-4C91-4DA5-A415-425171BF1975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe118845e5531f08e15b82d09b0eb1a6fff71788","datavalue":{"value":"complete orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346178$CF237D60-6948-4AC9-97B5-D86955A78606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0cfd894b183b3a5246899ae223e1b6a3a1ec0f4","datavalue":{"value":"order topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346178$F132D3AC-DD35-4097-A7BA-845DCA01B4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff0c45a4adcb3c56de20837b454860b731944c0","datavalue":{"value":"topological lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346178$68978E64-9744-4E0C-9EF0-D085E25EAED5","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":"Q1346178$9FE8D61C-3A93-4B8E-AFDB-6E50275A46B2","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":"Q1346178$9EF717ED-06CA-43FD-BE60-28E07BA6FDB9","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":"Q1346178$93D859F5-EFE1-4D82-90A9-DC4437F11558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$C96C08A4-0B98-464B-B61F-F7CE243ED0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$7CF0D327-2A63-4463-982B-7D78E2C49703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17eaf369d4ae3f8f48fcd08944d7d377cfa92a49","datavalue":{"value":{"entity-type":"item","numeric-id":4168647,"id":"Q4168647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$D8754321-2CA1-4FBC-AFE1-9B7340F6D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93808abb8bbdc3ef603255ee1da1f51b186fe9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1160152,"id":"Q1160152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$3B7B53F5-4C92-40FD-B05F-D7AEAE0834DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7d16e9760242783d9f8ab900699fa6411ba7f","datavalue":{"value":{"entity-type":"item","numeric-id":3919759,"id":"Q3919759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$CFD09467-BC18-4F3D-9554-67482AB0B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb523fe7729e356fd97cce5fa2f1b8a8a7d24e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3940471,"id":"Q3940471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$12AA85BA-7EBE-42CD-AC16-8032541E5947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7989780f941fb1e83a7033df2da265351b8166","datavalue":{"value":{"entity-type":"item","numeric-id":1182063,"id":"Q1182063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$C3CC0139-9888-456D-87FA-419FBFE03461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bebaa7d6041b147103e4284fd032234121719cb","datavalue":{"value":{"entity-type":"item","numeric-id":3719483,"id":"Q3719483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$46504DC5-75D8-496C-B2BC-088C485F6BCE","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":"Q1346178$26631CAC-3334-4D2C-AECC-1BB96431D59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$EA6BC107-58D9-49E8-BB6A-EE8191415732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$C19E1A34-4161-4B3F-998D-AFA8F2F60C2D","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":"Q1346178$8CCFE25F-64B6-4652-98EC-EC22F455F6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efe3f58850399fd762d4492f9b7c4a54571b1f3","datavalue":{"value":{"entity-type":"item","numeric-id":2653675,"id":"Q2653675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$63E77F38-9973-452B-A726-DF94EFCD2823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ebb0c8aeeeaacbc3d3e506e2bb390fba5f3b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2395169,"id":"Q2395169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$9A20A64B-847C-4713-9C73-1B6F3C68DDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1ce64c02729089b137512f5df7342f431c8a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2557720,"id":"Q2557720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$B2571696-819D-42B9-B411-9EF0008F7BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5feef447381b17d18b5336a0440d397eacc102a","datavalue":{"value":{"entity-type":"item","numeric-id":4018748,"id":"Q4018748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$F1583F4E-EC56-4ED8-97CC-9DDA1F39F451","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":"Q1346178$6BA9B3F4-7B59-4F1F-98AC-2380CC0A4620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3cc69d9f11d926a9a1aa0fbca696feb1a4c000","datavalue":{"value":{"entity-type":"item","numeric-id":1200434,"id":"Q1200434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$3C1358D5-67CC-4986-A250-1F243565A637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835af66e9279a7a5777cd29259c3958e11626897","datavalue":{"value":{"entity-type":"item","numeric-id":3483290,"id":"Q3483290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$9808FC64-6B3B-42A2-B6EB-C345F640934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa09de5e9f4e610f0f59ee7efef808d6280cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4007199,"id":"Q4007199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$03E7A8A7-579E-4B0A-A99F-8460E765C1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f13fd556afac4013ec981161c00dc97202041f","datavalue":{"value":{"entity-type":"item","numeric-id":4027606,"id":"Q4027606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346178$64EA1A5D-25DD-4447-9893-254162CE2F3F","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":"Q1346178$748C664A-FB37-4AD5-A89B-EF93CB174DEA","rank":"normal"}],"P1643":[{"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":"8240bffd39c2e245cc97be0f696a8d49e0b0556b","datavalue":{"value":{"amount":"+0.8338946104049683","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":"Q1346178$CA046D65-59B2-4C66-8FFF-020DEEDD9465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272de33c69ec3c508d65b314d1d1f1b63c8d4416","datavalue":{"value":{"entity-type":"item","numeric-id":3353066,"id":"Q3353066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d8a0b11b5d120a12bfeb2f3fda13eaae020e3e","datavalue":{"value":{"amount":"+0.8315570950508118","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":"Q1346178$BC1DE889-94FB-4C02-AB79-BDFC1DEB2B20","rank":"normal"},{"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":"1591cffbe8ba9b1ed55922eae6f315d68888533d","datavalue":{"value":{"amount":"+0.8208592534065247","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":"Q1346178$1E43D477-0A3E-45E4-8E4B-6687F3EA4B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6106e6532197fc1e75c8bd9d5c41c346f68a0e51","datavalue":{"value":{"entity-type":"item","numeric-id":4657020,"id":"Q4657020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95725125d304ba5684b407a8e57535b0d32de66b","datavalue":{"value":{"amount":"+0.819977879524231","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":"Q1346178$5310031B-93B6-40D6-9438-14331E281918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe3361af0d0f5a357dec49497cd1bc2395c7596","datavalue":{"value":{"entity-type":"item","numeric-id":4955601,"id":"Q4955601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787c4979e715cb1bc80ee2335947e17718130f83","datavalue":{"value":{"amount":"+0.8026508092880249","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":"Q1346178$B8C0C622-A275-4351-BE3D-0EE6FDBC5C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-topological complete orthomodular lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-topological_complete_orthomodular_lattices"}}}}}