{"entities":{"Q1047085":{"pageid":1048933,"ns":120,"title":"Item:Q1047085","lastrevid":69503925,"modified":"2026-04-13T07:26:53Z","type":"item","id":"Q1047085","labels":{"en":{"language":"en","value":"Orthocomplemented lattices with a symmetric difference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652277"}},"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":"Q1047085$917F1354-D05E-4EBD-BD7A-167A51BEC9F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6930749c964d45f78e54361fed24bcf625c15db","datavalue":{"value":{"text":"Orthocomplemented lattices with a symmetric difference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047085$05E77198-1B7C-4D79-968C-EDEBBA2E9F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"262833faab850b3e960934239f4b29b0ec8fb7b1","datavalue":{"value":"1186.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047085$C32741DA-E46E-49D4-85D0-21303C7A2BE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"068a17844e33019e5331a361d85768ef72e297f2","datavalue":{"value":{"entity-type":"item","numeric-id":472696,"id":"Q472696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047085$C2E72B6E-07BC-43B9-80B3-526B3C4E3D64","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":"Q1047085$68D9416B-65F7-4439-99D9-85C36CDEC222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047085$5790311E-17FA-4AF8-B8BF-D2BD46743D35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a3ff8b1de513c16746c1a06c46c2d244481255a","datavalue":{"value":"The central notion of this paper is the so-called orthocomplemented difference lattice (shortly ODL). This is an ortholattice endowed with an additional binary operation (the so-called symmetric difference) satisfying certain axioms. Every ODL induces a corresponding orthomodular lattice. Valuations, set-representable ODLs (shortly SRODLs), several types of ideals as well as horizontal sums of Boolean algebras are considered. SRODLs are characterized by means of the existence of certain valuations respectively ideals and it is shown that the class of all SRODLs forms a variety. Examples of ODLs being not set-representable are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$4829D687-90D0-4D90-B0B9-6E62904245F2","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":"Q1047085$60BF14CD-6AE6-4427-A267-45705109FE62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047085$FA4BBD8D-3AE0-4AFC-970E-37E49155F9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047085$EB084A92-B302-4753-B1EB-289504A69861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0044c3fbc5845581f32ac6a53990f8fd3593cc39","datavalue":{"value":"5652277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047085$65103D7D-D527-4DBA-91F6-4D2159742E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"409cf91ee3ee97d421111e36f49746f8017d5c7c","datavalue":{"value":"orthocomplemented difference lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$3BC0151D-C28E-407A-B320-2C2FAB6C9752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$A1378562-0D95-4F49-95E3-0CB32E8CDF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacd8a1efe2137c331f15174e1eef409e33a7a12","datavalue":{"value":"symmetric difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$4A8C7CBF-95C5-44A8-B17D-68BD11175966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$F7C4EA0D-F2B7-4025-949A-6C56E2533A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf24d89f4f0821f90ed933db7d403c989feed0ad","datavalue":{"value":"evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$4DCD7F13-AC1C-4DA9-8A87-4797735C3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b938723ad35394c895b3794fcd9bf24e680fccfc","datavalue":{"value":"set-representable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$C4F4E7D1-BE8F-417A-8CFE-380F82CC6800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$A9ECFD30-FDC9-4EFE-92E3-E4DE2B41EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6fbef0f7de33635603203e8718f4934b47aac4","datavalue":{"value":"horizontal sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$78A2EDCC-71F8-40DC-8F62-0BFA51116D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$1B399787-4D04-4477-9CAF-4AFC7EA8EF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047085$9A946613-630C-42CD-97FC-0B83313E01AE","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":"Q1047085$9D6D292D-5CA7-4F3D-9A63-A0EF0D543D8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97582258ba7d8b719a8a7f66735754ad0c4d7724","datavalue":{"value":"https://doi.org/10.1007/s00012-009-2105-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047085$9E4B377B-4BD3-49BE-8C1B-D0990AC1EFD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcd1772e6fa1b6a0b834c901e65bc041cd0fe2b2","datavalue":{"value":"W2069664407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047085$68971513-2346-4907-A83D-6796A3DE7D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70a2d1f8956657bd1e657f29aeaae77f204fe4ce","datavalue":{"value":"10.1007/S00012-009-2105-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047085$28268BAF-6D13-45B4-B1B4-E2558DF091D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609e60b8fc4ca43c6f3d38d1976915d1277a957b","datavalue":{"value":{"entity-type":"item","numeric-id":3083165,"id":"Q3083165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96949cbf4b99d2ceca4f85cd52e977a4bdbc301","datavalue":{"value":{"amount":"+0.9106566309928894","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":"Q1047085$8C24DAFC-9C65-4112-BF8C-3FADF658051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a27c0bc661f70f685b46321113eabbd38701aea","datavalue":{"value":{"entity-type":"item","numeric-id":2006986,"id":"Q2006986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f28f3afb3ade589cabd484451bf4d0cc59bf465","datavalue":{"value":{"amount":"+0.8725588321685791","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":"Q1047085$3F367FE4-7788-446D-9C5F-D66406CCE87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb4953c8e0c5d2e31d9782b90ced477b5d1645a","datavalue":{"value":{"entity-type":"item","numeric-id":1016088,"id":"Q1016088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23064496e2bb61d104b41409f3883c654863399c","datavalue":{"value":{"amount":"+0.8611852526664734","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":"Q1047085$218C80B3-8653-40DD-8287-E932FF6FED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976cd542f27ca377686507b5aaa44bc951d70cf","datavalue":{"value":{"entity-type":"item","numeric-id":3085448,"id":"Q3085448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186ed25d612937c9f4fb59be83df2514365da6ae","datavalue":{"value":{"amount":"+0.8527417778968811","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":"Q1047085$D7D51030-2C2E-4695-AA17-74A9CD5D6149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce237ff1e31f30d9763f28aa291cfa8d4b2a149b","datavalue":{"value":{"entity-type":"item","numeric-id":2505973,"id":"Q2505973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8afc858f0e407193235fec075425a0568aa9d74","datavalue":{"value":{"amount":"+0.8359419703483582","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":"Q1047085$79C26715-840E-4C0F-8523-737ADE57DEA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthocomplemented lattices with a symmetric difference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orthocomplemented_lattices_with_a_symmetric_difference"}}}}}