{"entities":{"Q1346091":{"pageid":1356830,"ns":120,"title":"Item:Q1346091","lastrevid":70917741,"modified":"2026-04-13T18:13:53Z","type":"item","id":"Q1346091","labels":{"en":{"language":"en","value":"Implication algebras and the Metropolis-Rota axioms for cubic lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 735306"}},"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":"Q1346091$FC129605-D35A-4596-9739-2F84522E4C35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"612dd9406d5a395ed028e08272fc844ddb4bb42f","datavalue":{"value":{"text":"Implication algebras and the Metropolis-Rota axioms for cubic lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346091$3E7BF8E8-2415-4AFA-B418-85DDA41F594A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c3ae4c50bb759179dc4f9c82b31ccfdb7ff8bdd","datavalue":{"value":"0821.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$39DEC5CB-BE60-4A5D-90D3-FC0D45DA6E55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a582541685dbe73700c677a5353d7c40edc58c","datavalue":{"value":{"entity-type":"item","numeric-id":214543,"id":"Q214543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346091$81DCA3CC-6571-4A87-8BEC-47C69E5F82B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01302dde8ba8f66f2b9a858b0c423edfdca70ed1","datavalue":{"value":{"entity-type":"item","numeric-id":886923,"id":"Q886923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346091$6395F20C-CC80-4182-8385-F5120D01355E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346091$398613E1-C9A0-4C84-90D6-96EDD2A5CF57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"151ac7ed6fc6633f65d3ecb847dedba552bce936","datavalue":{"value":{"time":"+1995-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346091$E129BD54-E220-454D-90AA-AE4487F95D2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f94e59d0c4d524c889e2952d4e0131a0b31a1086","datavalue":{"value":"Finite Boolean lattices are exactly the face lattices of \\(n\\)-simplices in \\(n\\)-dimensional Euclidean spaces. Since for \\(n\\geq 5\\) all regular solids are either simplices or cubes or hyperoctahedra -- the latter two giving rise to dual face lattices -- it is an intriguing task to characterize finite cubic (face) lattices internally, too. This task has been solved by \\textit{N. Metropolis} and \\textit{G.-C. Rota} [SIAM J. Appl. Math. 35, 689- 694 (1978; Zbl 0402.05010)]. Their characterization of finite cubic lattices is given in terms of the mappings \\(\\Delta_ x\\) defined on \\([0, x]\\), where \\(\\Delta_ x (y)\\) is the antipodal face of \\(y\\) within the face \\(x\\). Dropping restrictions of cardinality, the authors of the paper under review show that if \\(L\\) is any not necessarily finite lattice, with 0 and 1, which is equipped with mappings \\(\\Delta_ x\\) for any \\(x\\in L\\), satisfying the axioms of Metropolis-Rota, and which furthermore is complete, atomistic, and coatomistic, then it is isomorphic to a possibly infinite cubic lattice (= lattice of pairs of disjoint subsets of some set \\(S\\)). Their proof makes use of the theory of implication algebras [cf. \\textit{J. C. Abbott}: Sets, lattices, and Boolean algebras (1969; Zbl 0222.06001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346091$066E93A8-9909-4133-BAD3-C2A6EA7C4A2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$74622CAE-F599-4F41-891A-07D164BBA5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$A14BE383-3E41-48E6-AE0B-1C32E5DA07EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$AEAEAAB8-8C80-4BB3-BA89-B0119A63A63C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21e77f248f19f0ccea7aa16e62f0fe545f006b32","datavalue":{"value":"735306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$BDE5E0D8-5BA9-48F9-868C-953789402ED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601f8816a34c7cdfc7a46663eeb739c00214a1da","datavalue":{"value":"face lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346091$D088F3E0-BD04-4885-AA2E-9E2F4248E39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1018af9ad2d89a965ac4a74d9383a328f361171","datavalue":{"value":"cubic lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346091$978805CA-FB73-4B44-9F9D-E25FF6909E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3527471e0b09a986c8e6ce57ce11cb323965360","datavalue":{"value":"implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346091$719D35D2-7831-4F62-8090-940428514196","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adec00be824bd247cdea1af83bd0dad28a9541c0","datavalue":{"value":{"entity-type":"item","numeric-id":588356,"id":"Q588356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346091$1928A530-DDCB-43EA-8B0C-4D2C6BBB699A","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":"Q1346091$9A5276A7-A655-4E08-87C1-8574D67AA90A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"880291b1ae9a7ce00b5a80241cf87510f75b08ec","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346091$8047264B-56AC-458A-AA9A-9AF185028EC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dee64166e464779d2aabe741c614acb251beda3","datavalue":{"value":"W2083439600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$997FDC32-ADA5-4773-A396-52FEC5C87592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d52c04a6349f1d1f4c787e6ac9c9e27c8d033f6","datavalue":{"value":"10.1006/JABR.1995.1017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346091$97992367-FD43-4DE6-B759-58C053AF3B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679b640d9d578f5a96270192bf6a76a287fe5228","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41492e8b7a1ee177fe74eca3a64e6bf160e36bfa","datavalue":{"value":{"amount":"+0.8986771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$A3AF88C9-D512-437C-9588-14E45AAA4C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac57b367bb0a1d7e293ffd8bda20174dc6052927","datavalue":{"value":{"entity-type":"item","numeric-id":2712554,"id":"Q2712554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e21caa85f8463603504ce999a25dcc71c6ef885","datavalue":{"value":{"amount":"+0.8962812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$4C5229A1-B622-4015-B346-1A69DBCD16CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625c8a7fb1dd6d977669c3098a6a7a457b3163fd","datavalue":{"value":{"entity-type":"item","numeric-id":862981,"id":"Q862981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3148cf03b2572c201c0157b80ef7d20df5f723ee","datavalue":{"value":{"amount":"+0.8949762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$14A4349C-47D1-4E14-9223-AEF0D41F7101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f771fe7723ac55232c0933919d885ded68fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":4695517,"id":"Q4695517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4731d68d630883869064a4a475b38f3613b9dbd","datavalue":{"value":{"amount":"+0.89406216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$6997C230-F7D7-4D99-999A-CABBF65BBBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f02057b5dd636dd9f93d146154c1da7a012224","datavalue":{"value":{"entity-type":"item","numeric-id":3148081,"id":"Q3148081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9a91c49f1275a864afec4209d4273d22d79312","datavalue":{"value":{"amount":"+0.89360416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$165822C5-D992-44B8-9796-663ED473F7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d6c95ba1b59158041166d0e6126701863fd66a","datavalue":{"value":{"entity-type":"item","numeric-id":4505732,"id":"Q4505732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36397dfcba2d1663b5e10fe3178490a6fadee9e7","datavalue":{"value":{"amount":"+0.8910716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$8D47C9BD-87DE-4B35-A43E-7B1E4B9DFB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e0f6d136f82d51b66356463eabe6873d112789","datavalue":{"value":{"entity-type":"item","numeric-id":4827641,"id":"Q4827641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406a55039480cbf68446cf0d319994d4d69ad0b8","datavalue":{"value":{"amount":"+0.88801885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$F7906C52-BD18-4B3B-AE16-15083E8CEB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714fe8863cda7fcdf0dd8d060f61d42c28e0ebf3","datavalue":{"value":{"entity-type":"item","numeric-id":4704397,"id":"Q4704397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78cecbdef845164381296692da9abb22e14fbb59","datavalue":{"value":{"amount":"+0.8877021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$E8DD628B-1D97-4A5E-B6F7-FCB8EDD65193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf573cb384708fd9c99a21c2ef66099dfde0b2","datavalue":{"value":{"entity-type":"item","numeric-id":4237708,"id":"Q4237708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cf9646cbd7301fdd4aa6c07e9d4e84125b24ae","datavalue":{"value":{"amount":"+0.8876274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$F4AE67C7-05D0-4189-AD7E-2D827DBB7F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40e1f86bed0831097fbfbfa68421b8fe09f57d6","datavalue":{"value":{"entity-type":"item","numeric-id":3460161,"id":"Q3460161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5127cfe22c4b10b38a1fea98d919fa40d7af3b","datavalue":{"value":{"amount":"+0.8861649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346091$0AC0AFE8-9FDA-44D2-9AD6-086ACCA57A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implication algebras and the Metropolis-Rota axioms for cubic lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implication_algebras_and_the_Metropolis-Rota_axioms_for_cubic_lattices"}}}}}