{"entities":{"Q1047083":{"pageid":1048931,"ns":120,"title":"Item:Q1047083","lastrevid":50863142,"modified":"2026-01-15T11:49:49Z","type":"item","id":"Q1047083","labels":{"en":{"language":"en","value":"Terms that are self-dual in Boolean algebras but not in \\(MO_{2}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652275"}},"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":"Q1047083$3E27D15F-B857-45DB-88DE-B13D7B63D2BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66f8f8e578da9537ef12206e3d1f2663a0fef9f1","datavalue":{"value":{"text":"Terms that are self-dual in Boolean algebras but not in \\(MO_{2}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047083$22C2EC87-3528-4338-AFEC-1D3B6359F967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f72bc2b01d4c779ecf8f1c1ee6094dd064dd86","datavalue":{"value":"1186.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047083$E0D279CA-390E-4326-A767-C21815C2E6CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c953b2ce706013ef2ec0fbee1df154bcbd40d7","datavalue":{"value":{"entity-type":"item","numeric-id":761475,"id":"Q761475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047083$650C23FC-C33C-4941-A5F4-77873D9AA038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047083$3F911CB5-9C60-46F6-AF09-3C44A2046308","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":"Q1047083$0EE95940-A8BB-4506-AC46-594CD1A83192","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":"Q1047083$316F46A4-FBE4-477B-B5C8-14B848465A51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"857c1c6bb41ab53082c38410b38d7e70ce954918","datavalue":{"value":"An absorption law is an identity of the form \\(p=x\\). The main result of the paper says that if \\(q\\) is an idempotent term that equals its dual in Boolean algebras then there exists a term \\(p\\) of the same arity as \\(q\\) which does not equal its dual in the six-element orthomodular lattice but satisfies the same \\(2\\)-variable absorption laws in orthomodular lattices as \\(q\\) does in Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$D3840006-8CFB-4450-8808-990D448D1027","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":"Q1047083$E4C04429-12F2-45A5-8B99-2382823EED03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047083$E043A854-9D5B-48F0-9949-0331E2390489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047083$27EA2C99-80FD-4C91-AA6B-4AC9ACFFC9F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0613e67793581f524e1e5287ec3ccdbd37d78b68","datavalue":{"value":"5652275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047083$97ABB8FE-C57F-4176-9E4A-44699BFCBFB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7388884478ef3b10c4929e2ac130f6a922013d","datavalue":{"value":"absorption law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$1D170BFD-36AD-40FB-AD1D-227FDF5EC8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$52842004-0394-4161-9FC3-9FC4C6EB757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31aabcf0f66c918b8311803a4556519054519721","datavalue":{"value":"minority term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$8EAEBCEC-0E7C-4C95-9C0E-6E4B2E51D55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$B2621946-066C-47E8-81DE-F24382C8A0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f496bda06ec3745df97e9c468018166047d6ac8","datavalue":{"value":"Pixley term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$77F9E6BE-1C92-4729-9BC1-2DA4C73765C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e16b9b94347cb362f08cb749817110f7957b765","datavalue":{"value":"self-dual","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$B81BCC79-814B-40EB-A76A-4ED11EBC8F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacd8a1efe2137c331f15174e1eef409e33a7a12","datavalue":{"value":"symmetric difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$6470CCFF-47A2-47E4-9D7E-A67F21BFB166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6db8f2b9b18b8d7dcb4c566fb0982140f36c687","datavalue":{"value":"idempotent term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047083$ED738B1B-5034-4EE5-86C2-A3B2A86A77B9","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":"Q1047083$E80977E2-12B4-419F-8AEE-05D4B6F30111","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e89932cba24fdafd7aea557b2b3920e8a45d6ab","datavalue":{"value":"https://doi.org/10.1007/s00012-009-2094-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047083$73B00393-E0D9-4B38-8121-70CEE5B8ADE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5db09017b53a38c422a6fe7ccf94af6b58a909c2","datavalue":{"value":"W2048723165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047083$6CB292B3-A9A3-4BA0-9F21-42DAE5911414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"898cb650bfb32ae1d5cf51af585f6c28de6753ca","datavalue":{"value":"10.1007/S00012-009-2094-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047083$D563B913-77C9-4487-A47E-78EDB0F60C65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4088d24b35db629f7a835395867483f1547b652","datavalue":{"value":{"entity-type":"item","numeric-id":3781149,"id":"Q3781149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dfe66cd0f7c37872c5aedf677cd74f54a1b595","datavalue":{"value":{"amount":"+0.725549578666687","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":"Q1047083$BE47B61F-C387-48A8-BB25-E967505F9B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07f8994276c6a1140238a5f9a928dc2db86d65","datavalue":{"value":{"entity-type":"item","numeric-id":4582649,"id":"Q4582649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8af48ac87c9dc41be2da5bb89ebeb6caf313267","datavalue":{"value":{"amount":"+0.715593695640564","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":"Q1047083$95BFA776-0DDF-4D0E-8D17-81A2F41A303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01b571ef3bbf02b5f8b3a274ba91e32b6ff9a99","datavalue":{"value":{"entity-type":"item","numeric-id":1089367,"id":"Q1089367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdf8548ddabb0f81f986d757e15df0d3881fac3","datavalue":{"value":{"amount":"+0.7155321836471558","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":"Q1047083$82CF1C85-12BA-4295-BBF3-98C8E163B449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c0aa2325203e4fc77f17005416aecdec5a85c5","datavalue":{"value":{"entity-type":"item","numeric-id":5932473,"id":"Q5932473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632f2caef24d8b3b2ea7b5e28c937771eb9c9c48","datavalue":{"value":{"amount":"+0.7068161368370056","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":"Q1047083$D7A228A6-E9C0-4080-A047-F9A27A840EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cc0892bc9609d8c682fe76bbea79b383f3beb1","datavalue":{"value":{"entity-type":"item","numeric-id":3803182,"id":"Q3803182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a16057ce75a41df9d9ca314f6ac3ef092ca0ad","datavalue":{"value":{"amount":"+0.7068160176277161","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":"Q1047083$8BBBEF3D-D93D-4AE1-A6EE-DBACF62C71E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1047083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1047083"}}}}}