{"entities":{"Q862981":{"pageid":864829,"ns":120,"title":"Item:Q862981","lastrevid":64918110,"modified":"2026-04-11T23:06:12Z","type":"item","id":"Q862981","labels":{"en":{"language":"en","value":"Representation of cubic lattices by symmetric implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118506"}},"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":"Q862981$F8144A72-BCB4-49BF-9885-D7E80CAE1271","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"972f3c0bffe089a91823083540858e138c3fc050","datavalue":{"value":{"text":"Representation of cubic lattices by symmetric implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862981$57C7232A-FE60-4723-81E4-6A664EBA68BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51bda4d10646c70d4365d3f211cccebe960b2a5a","datavalue":{"value":"1110.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862981$AB816F65-0F63-4621-8E0A-0D3C2807B06C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$E7B3232A-D776-4414-AABF-7D31CE427321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3d74a71cc8787f9f84643f0b42b9c050e5341ab","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$5C3A0605-4C46-4201-9526-556258B94BB9","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":"Q862981$7345BEF5-001B-4094-B824-92EAEAA878F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bcc80abf4febcaab92f350c6ca87f3e89154ae7","datavalue":{"value":{"time":"+2007-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862981$C72FE388-6796-4EDD-A3E4-AA68929882B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea626603c2cb09457e56d9793bdc7f3ba71ba083","datavalue":{"value":"A lattice \\(L\\) is called cubic [\\textit{J. S. Oliveira}, The theory of cubic lattices. PhD thesis, MIT (1992)] if (1) for \\(x \\in L\\), there is an order-preserving map \\(\\Delta_x:(x]\\to(x]\\); (2) \\(\\Delta^2_x=\\text{Id}_{(x]}\\); (3) for \\(0<y\\), \\(z<x\\), \\(y\\vee\\Delta_x(z) <x\\) iff \\(y\\wedge z=0\\); (4) \\(L\\) is complete; (5) \\(L\\) is atomistic, i.e., if \\(x\\neq 0\\) in \\(L\\), then there is an atom \\(a\\in L\\) such that \\(a\\leq x\\); (6) \\(L\\) is coatomistic, i.e., if \\(x\\neq 1\\) in \\(L\\), then there is a coatom \\(b\\in L\\) such that \\(x\\leq b\\). It is shown that for any cubic lattice \\(L\\), \\(L\\setminus \\{0\\}\\) can be represented as a power of the three-element simple symmetric implication algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q862981$BDA7FE4B-A8B2-4948-9F1E-4478A21CF3EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862981$ECABD867-2954-417E-8A0B-B43AC9B34FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862981$7D3A528D-2189-4F29-B6C5-E392641842AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8cbdef0df67d1bfd9904a0a8817b86b3f974e3","datavalue":{"value":"5118506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862981$46CBA578-D722-4232-B43E-61F1592233D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa02570bf2b1560a2f1dd7eba4cc855ea0590b9","datavalue":{"value":"cubic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q862981$30AC65AE-17A6-414A-81F5-06071C85638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q862981$E0AD98DC-BDB5-4756-AC75-9C97ACD4A7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q862981$38B0A2D1-CCE3-4F81-9933-9BB8CFC98BFD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"132effc0cc5e6f5b97c410501e6db3f17df8ce91","datavalue":{"value":{"entity-type":"item","numeric-id":587913,"id":"Q587913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$765B0930-8705-4FFC-85C8-8241D874DDB9","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":"Q862981$98E6A40C-F897-4946-ABEC-690580A8D09A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e843a11ae423c2f8c492cf80603e8c31109e09a","datavalue":{"value":"https://doi.org/10.1007/s11083-006-9041-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q862981$A90A46C1-0C2D-4413-B8EA-14A453ECB9A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f6fec3cebaa82f74140275107ae8cd2c1ebe143","datavalue":{"value":"W2039359973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862981$CBC68C84-3700-49AE-893C-EF02CAC5DB84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$E19367C9-CEED-44C3-B212-615CBBAA0958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460ade5e92963966f63f664914f7c3e0486ae141","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$3DE0667E-7DB4-4403-83AE-78AF46A3DB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ca9023ee7c71a0d05e78c63b97377af8347ba","datavalue":{"value":{"entity-type":"item","numeric-id":1163578,"id":"Q1163578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$65F81106-2B2F-4B30-9CED-7C7DC54AD894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c24d6841b5d889d7aa0d54e75b58acf106a1eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1346091,"id":"Q1346091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$A4BD5DD8-3EEC-4D1E-A5E6-1A9A9FDB3D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ace4cf9162ea27eac78a534bc4ae5b555ae03","datavalue":{"value":{"entity-type":"item","numeric-id":2496153,"id":"Q2496153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$5E661E12-2077-468B-AA68-064E745936A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223de8e3aba3eb497e5b74e0395c328d52bbe9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4186327,"id":"Q4186327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862981$FDBD87F5-3919-4F8F-AAFE-5A792F7A86DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6c2eca94af3e14b7ea7a83a1948560f774f3aa9","datavalue":{"value":"10.1007/S11083-006-9041-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862981$9C43E3E9-72CE-45DA-B9B6-6087D34AADA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e7b29cfe50df295a57c3a99bf2c696f18dede0","datavalue":{"value":{"entity-type":"item","numeric-id":1346091,"id":"Q1346091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9fe8b45102177cfdd83b208271fef7d7889803","datavalue":{"value":{"amount":"+0.8102155923843384","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":"Q862981$E2F0EDD0-022A-451B-90C0-D1D07BEE5AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2750eb389f13333314b7e46e0b2ca3de74a95b32","datavalue":{"value":{"entity-type":"item","numeric-id":5483752,"id":"Q5483752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777d41067dd395447311eb7aec098d64f55d2d19","datavalue":{"value":{"amount":"+0.8099763989448547","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":"Q862981$8EC43577-9605-400B-9878-4B1D59DCB0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f4a87ca1c28bd6b55d8c3d7a86bd090cd14b4fd","datavalue":{"value":{"entity-type":"item","numeric-id":4400936,"id":"Q4400936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5826342c198ac1e45af72c7bbfb7a1f8c279d632","datavalue":{"value":{"amount":"+0.7700970768928528","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":"Q862981$A2E87279-2FB2-4743-9E33-D8EFD7789440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41cce694240da96f1a77d338044feb049d7e9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3087062,"id":"Q3087062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5826342c198ac1e45af72c7bbfb7a1f8c279d632","datavalue":{"value":{"amount":"+0.7700970768928528","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":"Q862981$3E7F945F-997C-49B7-9789-FBCA35AA25DC","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":"3dcbae9c99ba578871631f93117a2c493bbf065b","datavalue":{"value":{"amount":"+0.7181493639945984","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":"Q862981$1C67DA0C-9D5F-4CF8-88E9-75FE5F261345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation of cubic lattices by symmetric implication algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_of_cubic_lattices_by_symmetric_implication_algebras"}}}}}