{"entities":{"Q1866849":{"pageid":1877591,"ns":120,"title":"Item:Q1866849","lastrevid":71018010,"modified":"2026-04-13T18:56:22Z","type":"item","id":"Q1866849","labels":{"en":{"language":"en","value":"A characterization of completeness for trellises"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899969"}},"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":"Q1866849$38B50037-AAD8-4839-B52E-62EB7588C993","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25145a8fc264de3e3de2017c897d832260a4c659","datavalue":{"value":{"text":"A characterization of completeness for trellises","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866849$9A005E15-54E7-4ABD-950F-81C65D2C6F74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fac04c02c57cbd8f8d4e2f3d2ab9bb2c275bf213","datavalue":{"value":"1013.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866849$B0A0891C-B7C8-4A7F-A4A5-75AFF2F2306C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71cb8b33a121a06c75cd86860a61d3a046e2b56f","datavalue":{"value":{"entity-type":"item","numeric-id":651429,"id":"Q651429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866849$AC27AC6A-50C5-4E1D-B09C-7155D25B3B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd6aec00f4cc52fb720f480fcd3cd65901f47f37","datavalue":{"value":{"entity-type":"item","numeric-id":1866848,"id":"Q1866848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866849$B92297E6-4AFC-4812-813F-656544F4391C","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":"Q1866849$08DB9FDF-6DEF-4829-B5CF-98AE355D91CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866849$5BDBDE8E-CE06-41F0-B4E7-652FB4AB6A42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0ea24877d5d828fc566939197cc9ff2847e2058","datavalue":{"value":"A trellis is defined as a pseudo-ordered set any two of whose elements have a GLB and LUB (a pseudo-order is a reflexive and antisymmetric binary relation). Main result: A trellis \\(A\\) is complete (i.e. every subset of \\(A\\) has a GLB and a LUB) if and only if every ascending well-ordered \\(p\\)-chain in \\(A\\) has a join.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866849$AD4A0E5F-E74A-4AC4-A030-8E09B5DAE6E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866849$616B2A9C-64E4-4B25-B3F4-AE3B6AF49B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866849$9417467A-F147-413D-908E-D0AC1E5F67E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866849$0152473C-EEE3-4C84-9F1C-950DC32923EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5935d5faf1435c79d0a4451632015237528d88d","datavalue":{"value":"1899969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866849$76B5EC5A-8C29-449B-9106-C2B1BD3EA4AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e8ac4e457dd118390a396f4ff46ad220ffbe7fc","datavalue":{"value":"pseudo-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866849$3C890D45-89C5-4BC7-BE61-FC5BE639E4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040a69a94775f100554b6565430bf6f9d8bae2ac","datavalue":{"value":"trellis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866849$5AFF2CBD-CD23-4CF5-93C6-08291D9F2002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b5c98b9275271bc3413f9111011db4e3326dcf","datavalue":{"value":"complete trellis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866849$440FFC2E-0250-44AD-B715-D8A2541F7D61","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":"Q1866849$42436A33-6ED3-4FE2-BE6A-82E68948348E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fe51a34063653ae06a73cc23ace63a32e22ee37","datavalue":{"value":"https://doi.org/10.1007/s000120050189","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866849$E91C1B92-5FAF-4897-B804-D70B43A1FFC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d23b4d9a68b10ae8945c91e34e9c8805686b030","datavalue":{"value":"W1993332859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866849$44BB7A1A-8A5B-408D-A6FD-067FA57AF74A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350fee7fa63f40e19a4b76998871a18de49457b1","datavalue":{"value":"10.1007/S000120050189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866849$0A543911-6A5B-4470-99D8-F46A67B0C466","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59eafbfa417eb42780a89d37e2f26db14fb91911","datavalue":{"value":{"entity-type":"item","numeric-id":4814534,"id":"Q4814534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9607a318d9338ff8a76d188edd406a429eaec4a5","datavalue":{"value":{"amount":"+0.8121190667152405","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":"Q1866849$7C657B70-600B-4F2C-A65C-4DC40877BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033e8c21c53378f4ea2cb68bda89c258aff319dc","datavalue":{"value":{"entity-type":"item","numeric-id":3161696,"id":"Q3161696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26af49964167abc9bd473fa76ff3e50249f8d4a2","datavalue":{"value":{"amount":"+0.7699148058891296","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":"Q1866849$773E9F9C-5548-4FED-9F19-8839881662B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46b12b45dea3e479952249a073d7858cf202e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5001508,"id":"Q5001508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9db6d5640736cb86afb0829b2732cf92e6acb3","datavalue":{"value":{"amount":"+0.7368976473808289","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":"Q1866849$55585EBE-287B-49DC-A013-6CD61CD6F4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158d75e242a9ed079ff6d53c82f1d5eea069f43b","datavalue":{"value":{"entity-type":"item","numeric-id":4205463,"id":"Q4205463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbd204ad791089f450f426814c26e8b0380be74","datavalue":{"value":{"amount":"+0.7291873693466187","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":"Q1866849$B0383BA0-FDAD-4EF2-98AC-EA38586B82E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4382556515a3ecdd31b094f7e83343a4bcf44a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3520083,"id":"Q3520083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209318cf15a3376ac1328b0d12cf4494384285a1","datavalue":{"value":{"amount":"+0.7200790643692017","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":"Q1866849$8822F8EF-5360-4D12-985C-26C1F0FE8978","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of completeness for trellises","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_completeness_for_trellises"}}}}}