{"entities":{"Q1789052":{"pageid":1799794,"ns":120,"title":"Item:Q1789052","lastrevid":56652879,"modified":"2026-03-18T10:12:29Z","type":"item","id":"Q1789052","labels":{"en":{"language":"en","value":"Uniquely complemented posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6949473"}},"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":"Q1789052$FA68952C-81EB-4C5B-812D-887153B9EB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe8f413b4bdd11ddf26f6d1ca6fe842f77d576ed","datavalue":{"value":{"text":"Uniquely complemented posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1789052$8FD0024B-67FD-4C71-8B57-FF62176DC15C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e6e4b70347cf87184711afc6a1a7d41314a4e48","datavalue":{"value":"1400.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$9CD32561-BFA6-42E8-AC8C-0CDCAF6D2D1C","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":"Q1789052$F390A5B9-A130-46C3-AEC3-5C71DB0DEA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$B19B83DE-AA11-4228-96FD-106398C3839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$98AE8C10-EDFB-4EF8-96D6-9A341C4DEC56","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":"Q1789052$499E0090-2F24-478A-ACF4-52AB12BED808","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6fb386ba4436b2fd380b04497cf42193d92b54c","datavalue":{"value":{"time":"+2018-10-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":"Q1789052$F530172F-4CF7-43C0-8618-D2043EAD4AB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f96b50b941f0dba20ac02bec3cc60f745ca24863","datavalue":{"value":"It is known that every complemented distributive poset is uniquely complemented, and that the converse statement (that uniquely complemented posets are distributive) fails even for lattices. This paper provides conditions that force a uniquely complemented poset to be distributive. In particular, the paper provides proofs that uniquely complemented posets are distributive in the following situations: (i) the poset is atomistic, (ii) the completely join-irreducible elements of the poset are atoms and the poset satisfies the descending chain condition, or (iii) the poset is modular and satisfies the descending chain condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$F8D08A94-4479-4661-981F-1D8DF775DB9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$631A7482-2F5A-405B-815B-70F466D44F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$333B9311-52FD-4030-A664-8DAF6FC5BC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa4446080f6ef2ae4d17a75a38b31128fb212f09","datavalue":{"value":"06C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$D69C978C-7B6F-4B26-9AE7-B548F5E76D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$B963C838-CF31-4886-91A3-DAA12F13E3B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef3accadbb3d8a5605e63853a2f26427b6b8fa0b","datavalue":{"value":"6949473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$C8D9DFBE-7387-46F7-AD5C-E089DCDE9D7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2f8a61b2df4851fa5a3d6358b3d4a58cc7084d","datavalue":{"value":"complemented poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$206F4394-8FAE-453D-AB58-6BE8B8855F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6471ad075a2523b4a27f04abed8e1a075fd636af","datavalue":{"value":"uniquely complemented","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$F117B447-BCA1-43FB-A8AB-8C9052BE2031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c972caeffff209d57b5591787bd2d553f052fd","datavalue":{"value":"atomic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$6AC83673-39D9-4919-B52E-BE40FCFDC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b767fb96ce3d8f7335621b0d22852d4f5af11dc","datavalue":{"value":"atomistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$95B6F0CD-4FA9-4243-93EA-4A8CA16473B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77cd101e731d7e0f2881cf27118d1192e9bb444","datavalue":{"value":"distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$3B48CF69-38AA-4625-8360-AB2650D82C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9796ad952a8cf9b8235e89eb973db16101375c1","datavalue":{"value":"LU-identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1789052$F75BEC3E-4272-4A81-A2FA-961628837AD1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"deb95c6597eb3e9658b0806695ab69531b4d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$C50C00EA-3340-49FC-BCA6-4E08670BBCA5","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":"Q1789052$4257B7AA-3D07-404F-A632-CA5368690E3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8a0fbf53f886d5e6f1f68efebd8f538dfe9e9c8","datavalue":{"value":"https://doi.org/10.1007/s11083-017-9440-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1789052$FB3863B3-05B9-4F91-ADBB-9864C4CF4E10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"694d406d1e08438af816c2da6d5cfa5fb8df72ce","datavalue":{"value":"W2767205695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$73F79E7A-9DB2-4E82-AE9E-56DE291A40F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c11ffafeb352c69780a8724cf58078e7c11236b","datavalue":{"value":"Q59607530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$E610950D-87FB-468B-AD56-E34FAAD3F4C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca3ed7344a017d43cca533d2be14d582677f00","datavalue":{"value":{"entity-type":"item","numeric-id":4740609,"id":"Q4740609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$C2E6AC37-D86E-4F41-846E-899C331CF65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb25e7a47c49d8c5e956e689b12bc262ecf6609","datavalue":{"value":{"entity-type":"item","numeric-id":3138111,"id":"Q3138111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$A08D4042-6EB2-4964-B42F-57A3C2FD7FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313b5df0e2613ac9d49db33ee010e3940bf02b99","datavalue":{"value":{"entity-type":"item","numeric-id":4582649,"id":"Q4582649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$7077BD7D-D33D-4393-B096-365A5EBDF161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9eb14862565793bbcdd0c0c4e295a02bf31f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":4591126,"id":"Q4591126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$6FE53851-88D7-413D-A09B-64D91C913B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa83c3e733620aadc8a83a35b0f06be1aa95cfef","datavalue":{"value":{"entity-type":"item","numeric-id":1121294,"id":"Q1121294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$262504A8-60F2-46E2-AD2C-C920630F2434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbbd41f3df60cd5a0d12d6723e9387cf4261091","datavalue":{"value":{"entity-type":"item","numeric-id":5834608,"id":"Q5834608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$F5A7D56A-6B49-46B1-A89F-2D3589623E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$BE813145-3F2C-4612-A9B2-A0988F93C54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7030b4c7dfd08deac22991b9d8174bde96463d","datavalue":{"value":{"entity-type":"item","numeric-id":4890978,"id":"Q4890978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$31073346-6DE8-42DB-AE47-A7EC638CA204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a81e6b03e3df77cd8d9d06d8fecf2b7d592453","datavalue":{"value":{"entity-type":"item","numeric-id":4396129,"id":"Q4396129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$A8632186-6408-452E-9E73-5042C44D9019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391439478e985223dc97e0754cd688fa8336ced4","datavalue":{"value":{"entity-type":"item","numeric-id":3035342,"id":"Q3035342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$B6E6A737-274A-4E3A-8A43-4E3DB1DC2D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7888d87159cf70ac684afee79f9b1c0c159faa3d","datavalue":{"value":{"entity-type":"item","numeric-id":1904396,"id":"Q1904396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$E335E024-10BA-4C83-8263-2AC9664B1025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a29c3fa1d22f9660027d7de02f4687f9659128","datavalue":{"value":{"entity-type":"item","numeric-id":3009680,"id":"Q3009680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$0A840B61-63DE-4E4A-9723-AB7648B3FAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1df5138935463cfe3540ff01632c132492ee37f","datavalue":{"value":{"entity-type":"item","numeric-id":3926627,"id":"Q3926627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$0D5E84AA-1EFE-4112-B4E5-4D7B91E1AD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85db00406a7257d6a3d142ebea1ca18676481f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2490420,"id":"Q2490420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$B448BFB9-6F8C-4621-B9EC-8DC42510A3E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db98dd6b649489f837ee85998c823e877dfbc2c6","datavalue":{"value":"10.1007/S11083-017-9440-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1789052$C5D7F19D-328A-4F84-AE24-B555691364FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086f0047f52ed0532e58f7a04338b90286cbbedc","datavalue":{"value":{"entity-type":"item","numeric-id":2490420,"id":"Q2490420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f90c699b54b21314bbf666d115768c019f2f28","datavalue":{"value":{"amount":"+0.8569643497467041","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":"Q1789052$E7EB68B3-3654-4D57-9681-C178ED73C1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87dc626dfac0be947d87e214e5754438e10d757","datavalue":{"value":{"entity-type":"item","numeric-id":3333091,"id":"Q3333091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dc185e2d5b92be5dfb0489b60ce1ed95d51f51","datavalue":{"value":{"amount":"+0.8258745670318604","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":"Q1789052$78CD440F-152C-4CB3-82E9-9816E085F8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edc06e48ad115b7c3542306416d967e92e9b5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4987154,"id":"Q4987154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81f4399731d47f102a303d0e275fb6a11cc7f73","datavalue":{"value":{"amount":"+0.7852734327316284","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":"Q1789052$34E1CDF8-C618-41CF-A663-E86198BB4E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141ccfc8de9443a28b3499ad322cef3c6ab44137","datavalue":{"value":{"entity-type":"item","numeric-id":5293995,"id":"Q5293995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44aa6562940aa3a7a5fb9af468da3d2e59a3db55","datavalue":{"value":{"amount":"+0.77939373254776","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":"Q1789052$B6752922-B447-4D51-BA9C-B805A8478A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7848cfed4d778f497a0da9b0618e0143b22614","datavalue":{"value":{"entity-type":"item","numeric-id":5129653,"id":"Q5129653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962c1e572011fa0d58cdaf5047e4b28d59228da7","datavalue":{"value":{"amount":"+0.7745316624641418","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":"Q1789052$B9E8FA08-BF0B-4166-BB50-F9ED390D1FB7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1789052$E20D6E2E-1207-405B-8CD8-86D519F02E5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1789052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1789052"}}}}}