{"entities":{"Q890023":{"pageid":891871,"ns":120,"title":"Item:Q890023","lastrevid":65148531,"modified":"2026-04-12T00:38:32Z","type":"item","id":"Q890023","labels":{"en":{"language":"en","value":"An algebraic axiomatization of orthogonal posets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506243"}},"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":"Q890023$A5539DA0-0F91-4068-B5F2-DB7C60F211DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35bf517bc04c80e00cae82f057d666bc3ac12ba1","datavalue":{"value":{"text":"An algebraic axiomatization of orthogonal posets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890023$8C04F98D-99C1-4654-92E2-69C879632132","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bec4b2283c413a2a04a53b6ecc9bc96e5ec3e7cf","datavalue":{"value":"1329.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890023$F5B62CFA-2829-4C8F-986D-A56E7B4CA4F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$029542BB-BE0E-422D-83BC-A2B8E1189E74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890023$69580A6B-B54F-4474-9490-B57627AD4482","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"edcc6d60629aee2a0149ff9e11971e00fc07622b","datavalue":{"value":"An orthogonal poset is a bounded poset \\(\\mathcal P=(P,\\leq,{'},0,1)\\) with an antitone involution such that \\(x\\vee y\\) exists whenever \\(x\\leq y'\\) and satisfying the identity \\(x\\vee x'\\approx 1\\). An orthocomplemented directoid is an algebra \\(\\mathcal D=(D,+,{'},0,1)\\) of type \\((2,1,0,0)\\) satisfying the identities \\(x+x\\approx x\\), \\(x+y\\approx y+x\\), \\(x+((x+y)+z)\\approx(x+y)+z\\), \\((x')'\\approx x\\), \\(x+0\\approx x\\), \\(x+x'\\approx 1\\) and \\((((x+z)+(y+z)')'+(y+z)')+z'\\approx z'\\).   It is proved that if \\(\\mathcal D\\) is an orthocomplemented directoid and one defines \\(x\\leq y\\) if \\(x+y=y\\) (\\(x,y\\in D\\)) then \\(\\mathbb P(\\mathcal D):=(D,\\leq,{'},0,1)\\) is an orthogonal poset. Conversely, if \\(\\mathcal P\\) is an orthogonal poset and one defines \\(x+y:=x\\vee y\\) if \\(x\\vee y\\) exists and \\(x+y\\) to be an arbitrary upper bound of \\(x\\) and \\(y\\) otherwise (\\(x,y\\in P\\)) then \\(\\mathbb D(\\mathcal P):=(P,+,{'},0,1)\\) is an orthocomplemented directoid. We have \\(\\mathbb P(\\mathbb D(\\mathcal P))=\\mathcal P\\). Moreover, the variety of orthocomplemented directoids is congruence distributive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$BBEFC413-0C82-4846-BF9F-5E16FC1DCBAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890023$1C1A7C59-00B3-4961-9429-2EE7118807FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f4c7900a6d5d7450b9994be6a53fa8fe4f354a","datavalue":{"value":"6506243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890023$00C01BE3-1477-4351-B166-6E3C5325474E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c20282fa60c555511921a6e3eb4e679f90226d","datavalue":{"value":"orthogonal posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$09C67FBC-3566-47F8-A218-B11AE8B99765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11feab5031f5c04d1443553d0919e1a5890c3d06","datavalue":{"value":"bounded posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$84797C08-4A82-40CA-AAA8-515C6170A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a8565544682eb2a341634029107b378b7f2e14a","datavalue":{"value":"antitone involutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$0C8634BB-E8EB-4B3E-93B3-15B5A93DAB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfcd5714393a0e7257641d213661b287af9f53a","datavalue":{"value":"orthocomplemented directoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$4A0A222C-40D3-4949-A3D2-E0F36D6B2BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62760309cf7c54041cd401725fa90763069a74f6","datavalue":{"value":"congruence distributive varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$E7E07C25-A1F6-48D4-AAF7-3E94A69538D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q890023$9DD0EF6C-8931-4635-A00A-57F9EC6DB2A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$ED692A26-387A-4E6C-A336-5D89E5775B32","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":"Q890023$9069AE4F-75A8-49CC-A8CA-3C575863346D","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":"Q890023$FA72AA15-F407-4169-AA19-98485234AE8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab7a1af26f855995ccf31bb2afd5c347016f4578","datavalue":{"value":"https://doi.org/10.1007/s00500-013-1047-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q890023$205B90BF-8D96-4B92-BA9E-DF9963A5B3B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6ce5b7ca7a95871b1d3c1a45629da43025030bb","datavalue":{"value":"W2094518669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890023$1413DC54-3210-4C7D-BCE0-7300358B1D4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadf854e78af3508a3496dff4b16ee2a3dc78cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3357176,"id":"Q3357176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$F3601E28-4B81-441A-9526-C8157B28230E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8426399063b747f6e6f31d06a38536b5fd60b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$8EBEA3DD-79CC-41B1-974B-C15F8831A732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$84DADAE1-3128-4B7C-8657-675F84F233BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b64440cee12fa7ce1a9eaf3e5ebb122519ec994","datavalue":{"value":{"entity-type":"item","numeric-id":5250893,"id":"Q5250893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$EFE2B3E8-F745-4A35-BFC8-8DED7E150096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a353edbd95d6211c803584e0e5931d2364974b","datavalue":{"value":{"entity-type":"item","numeric-id":3102713,"id":"Q3102713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$F9BBB233-13C5-409A-AC3C-B06BB83D4DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066a96cc4c33e84cbc72e15f05ec9ada1ae9e179","datavalue":{"value":{"entity-type":"item","numeric-id":362991,"id":"Q362991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$0C96D3DE-28C5-40CF-A320-D9DB5A93BDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0599883a2de4f70c34efbae4c7d138a2fca721b2","datavalue":{"value":{"entity-type":"item","numeric-id":1955899,"id":"Q1955899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$6DCA4F17-AB27-4ACD-9C36-3B9C9DC96BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$FD1C450B-041E-4DE0-92BB-686AAC4931C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae7ea757709d719cf6d6a81f80dbbc8c238aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1917672,"id":"Q1917672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$1C076E00-1A00-4193-A5BA-D5FA03714519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fcdb5e30e526dc39a1320017bd25aa11991d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4291523,"id":"Q4291523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890023$5361E967-0A0F-47FD-B1C5-727E7E41629D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7a91a08aee59e85c0568517e27818056f64c474","datavalue":{"value":"10.1007/S00500-013-1047-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890023$ADDC64D5-C7E8-44FA-AFF4-DEE0876B681D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e15393aa2e1e9b93c5661973503a8e97e1e7249","datavalue":{"value":{"entity-type":"item","numeric-id":4840833,"id":"Q4840833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a835771ae99e6dec93151385803138b2f6c3e774","datavalue":{"value":{"amount":"+0.8057953119277954","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":"Q890023$D0A4413B-DBA6-4538-8682-7E9EBFEBE139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f5121aa2ae99b1bc9209581106cc5c4870732a","datavalue":{"value":{"entity-type":"item","numeric-id":1896751,"id":"Q1896751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0346417bb269a5ee654b2a710984f4f0602682","datavalue":{"value":{"amount":"+0.8033978939056396","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":"Q890023$A56F7DAB-C78D-4321-9C49-E6D053418BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97af35915b099ab4fbe76a05e8038164eb87be39","datavalue":{"value":{"entity-type":"item","numeric-id":5250893,"id":"Q5250893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8c44ea807112c44c2838aae4439d3a139d6a79","datavalue":{"value":{"amount":"+0.7936908602714539","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":"Q890023$D35E0008-164E-4029-8CAA-2AA2A1620A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb132d856839eebe666abe171d1196156b1e099","datavalue":{"value":{"entity-type":"item","numeric-id":362991,"id":"Q362991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa5b7e36baeebbd2a9748603149c3dc2b7368b9","datavalue":{"value":{"amount":"+0.7831583023071289","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":"Q890023$FA4EBF2F-3B5D-4167-B301-5CDDA06D254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a0522b3453ac6529d4e3a5171090691ccdd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5066805,"id":"Q5066805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b455cadf5b137ab77007f4906b05ac19d3f104","datavalue":{"value":{"amount":"+0.7797800898551941","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":"Q890023$4830E079-CCBC-47DA-888D-A3B7202ACF32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic axiomatization of orthogonal posets.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_axiomatization_of_orthogonal_posets."}}}}}