{"entities":{"Q5894758":{"pageid":7933724,"ns":120,"title":"Item:Q5894758","lastrevid":47206738,"modified":"2026-01-01T00:22:00Z","type":"item","id":"Q5894758","labels":{"en":{"language":"en","value":"Representation of partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446957"}},"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":"Q5894758$0E67FB0F-3BCD-4BCF-87AD-BB54AEFA1297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52ba9085f6ab59e1bfe5ae9e67806b93c5f3f671","datavalue":{"value":{"text":"Representation of partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894758$F427D72D-3275-40C2-804F-CC83E2982C64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0d33fea25b4f44bb30d6c6f9c734b94dfb6e04c","datavalue":{"value":"0799.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894758$E4256748-7078-4A1E-9ABC-0F082FB36B45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40fc1927e6ad9e763f25675a21aefabc1cd1cec6","datavalue":{"value":"10.1007/BF01190444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894758$16EC8BF2-DBBC-4BE6-BFB1-032D311778BD","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":"Q5894758$40955358-249D-4779-8D01-4AFE951C8E76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894758$5E21CBBE-E44B-42EA-9BF1-DC1029735A23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d9aeb0b3838e2fef3331e0e9b30a6a730cbcaa0","datavalue":{"value":"For a poset \\((P,\\leq)\\) it is known that there is an ordering \\((Q,\\leq)\\) and an isomorphism \\(f\\) between \\(P\\) and \\(Q\\) with either  \\[ (*) \\quad f\\Bigl( \\bigwedge_{i\\in S} a_ i \\Bigr)= \\bigwedge_{i\\in S} f(a_ i) \\qquad \\text{ or } \\qquad (**) \\quad f\\Bigl( \\bigvee_{i\\in S} a_ i \\Bigr)= \\bigvee_{i\\in S} f(a_ i) \\]  for any finite indexing set \\(S\\). In general you will not obtain \\((*)\\) and \\((**)\\).   Now let \\((P,\\leq)\\) be an ordering where every nonempty chain has an infimum and where every finite subset with an upper bound has an infimum. It is shown that in this case the existence of a mapping with \\((*)\\) and \\((**)\\) and \\(S\\) arbitrary is equivalent to the existence of a weakly dense set of completely join irreducible elements. Note that a subset \\(D\\subseteq P\\) is weakly dense, if for any \\(p,q\\in P\\) with \\(p\\not\\leq q\\) there is a \\(d\\in D\\) with \\(d \\not\\leq q\\) and \\(d\\leq p\\). Moreover \\(x\\in P\\) is completely join irreducible, if whenever \\(x\\leq \\bigvee_{i\\in S} x_ i\\) for an arbitrary indexing set \\(S\\), then \\(x\\leq x_ j\\) for some \\(j\\in S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894758$93912000-FE5D-44E5-BAAC-0778C18124C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894758$ABE6A977-36B0-444E-B09F-21556F1CF22C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f06f1767e32a4ca7b2815fa22eb86c5b327f12de","datavalue":{"value":"446957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894758$D5322448-61ED-46D3-BAE7-E347401B0FE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83930fc3f21029ff15077a1e749c8236c9798eb1","datavalue":{"value":"weakly dense set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894758$1D1D2795-19EB-402D-BFBB-4FCDB72E2172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf759070eaac432bf75118b83c5a0363730b6cf","datavalue":{"value":"completely join irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894758$BC7DD962-5855-4317-B6B1-A1CDCB50DB59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d17a9e1c5f527ba8a61f1183fc977aff898c6c99","datavalue":{"value":{"entity-type":"item","numeric-id":1360189,"id":"Q1360189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894758$8EC6D3D6-7CE9-44BE-AD7D-F821696E2808","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":"Q5894758$C3EBDCE7-15D0-43DB-8FC5-C804A2CFDD21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f39b98d131d0a2a5c1a60579ccc16b7182cafd8","datavalue":{"value":{"entity-type":"item","numeric-id":5556419,"id":"Q5556419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894758$D5788CD0-0CFE-4592-B7CC-4B70EBC3C18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894758$3547E662-677A-4D7F-9876-C0B7781B27C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359c18acc4b568bd2f64dd452cd64b3652dbcab","datavalue":{"value":{"entity-type":"item","numeric-id":4206793,"id":"Q4206793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894758$3C81A07F-AE08-424D-8261-B02B83265FE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d979a8d31e0bdd693b9c07502368c0a37555b1","datavalue":{"value":{"entity-type":"item","numeric-id":1360190,"id":"Q1360190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c67f4587b28f987ba77ad29f1aad3996496bcdb","datavalue":{"value":{"amount":"+0.8286167979240417","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":"Q5894758$3CB47AB0-BDA3-4575-894D-FE5AAAA2E267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121124c3161c3527a065f0d61523634d3c3d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":4652983,"id":"Q4652983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2e134ce1ca057c772b72e508b718059e185227","datavalue":{"value":{"amount":"+0.7485218644142151","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":"Q5894758$2CF9D50C-E945-454E-8018-053F767C65FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbde32b558c9ad4095ba7cb4694fb35587552aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3686760,"id":"Q3686760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00a845aa87f21e3bea8c246c77fb2dcbed59ea8","datavalue":{"value":{"amount":"+0.7443867921829224","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":"Q5894758$D3EF59F0-AC11-47CD-89CE-4A19C6D8B869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1dba7cd8d5c7bd4c928621144b89db28f71138","datavalue":{"value":{"entity-type":"item","numeric-id":4461624,"id":"Q4461624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f37b60ed88bbd1636753f507d7f631df465ba6","datavalue":{"value":{"amount":"+0.743195652961731","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":"Q5894758$BF8D2F8F-7A67-4EF0-B1BE-E9E2747CD947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d393a756417bde2c86a6dc2f473179f5ff800e39","datavalue":{"value":{"entity-type":"item","numeric-id":5895408,"id":"Q5895408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef243245886767a180b6c3fde79b89c96ab72c20","datavalue":{"value":{"amount":"+0.7420462965965271","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":"Q5894758$7B78035D-743C-4816-83F4-08D9E12A0669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894758"}}}}}