{"entities":{"Q2277499":{"pageid":2288242,"ns":120,"title":"Item:Q2277499","lastrevid":49483237,"modified":"2026-01-07T06:09:07Z","type":"item","id":"Q2277499","labels":{"en":{"language":"en","value":"Representations of distributive lattice-ordered semigroups with binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4196034"}},"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":"Q2277499$D30A2DDE-AB89-442D-9CB1-705518DBCF0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de6d1a295deab1a7e0ee7c2a68d1dcc9ac5370d2","datavalue":{"value":{"text":"Representations of distributive lattice-ordered semigroups with binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277499$6F51DFFA-2298-4740-A82F-DB1BD4DA2349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85eff8f8fde0aeb13146cd81be8a1033d5975f73","datavalue":{"value":"0725.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277499$22496C66-2B69-4161-8459-0C2144E441C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"653866402eb045912276b2ad031a210bd756bce6","datavalue":{"value":"10.1007/BF01190407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277499$D5947A01-25E3-4F01-8379-7DA3C7D98C60","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":"Q2277499$705F4E6B-08A7-40A4-8A3B-9F66F6E9A4A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277499$D79926D4-8373-4AAB-8036-D53173A71A54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c64efa151b3ac61d8c7b317c427240dfad89e388","datavalue":{"value":"This paper studies the problem of representing (semi) lattice-ordered semigroups by binary relations. Let R be the class of all algebras which are isomorphic to structures whose elements are binary relations together with the operations of union, intersection and composition of relations. It is shown that R is not a variety and that it is not finitely axiomatizable. The variety generated by R is proved to be the class of all distributive lattice-ordered semigroups by showing that every free member of the latter class is representable. More generally, it is proved that every semilattice-ordered semigroup whose semilattice is distributive, is representable as a semigroup of binary relations endowed with the operations of union and composition. The class of all these latter algebras was previously shown by \\textit{D. A. Bredihin} and \\textit{B. M. Schein} [Colloq. Math. 39, 1-12 (1978; Zbl 0389.06013)] to coincide with the class of all semilattice-ordered semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277499$8460CC37-8A8E-4FD3-AA50-0AF2675F94FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277499$7293D913-4728-431F-A1C3-78953EA6C431","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fbaef1d6c8812f2a6f6382d830611033a9764be","datavalue":{"value":"4196034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277499$35CC0BBE-9791-43B4-B3FA-940A52B5DF4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f476b85047300beef9d2df2e233cd614c76dcf74","datavalue":{"value":"representation by binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277499$4C45A3B7-7BE1-4B60-BFEA-2480FF3193FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b67269ed01737fe70b9ada8171d3c610096d93d","datavalue":{"value":"lattice-ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277499$EE50A765-6A17-4259-B990-4CCEC68EF69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277499$11776845-4053-4038-9661-4A4F1894DB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e004983b611c1110c165ddbb26d29a34625f6719","datavalue":{"value":"semilattice-ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277499$18A6B1CB-BA26-4AB0-BC38-231BC2534945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277499$51134777-7998-4A7E-B0E9-6ABF89997DB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277499$58B9975E-B6F0-44F6-8F76-CF6F3CBA8339","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":"Q2277499$16221A7F-819F-4735-9252-DDB5C18A38EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277499$18640833-2D84-466A-959E-F9B3ED8E707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62a7ee57a756d9c692750076403c6b2fb06447b","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277499$8F0883C3-74B8-4928-9A9E-35611D1246E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277499$6C9436FE-4172-45EB-9D35-863BC63927E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c732a8a4cc3e72bcacc21e381b05be0bb7a10391","datavalue":{"value":"https://doi.org/10.1007/bf01190407","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277499$F3B0028A-C166-45EC-99A8-95315F8E200A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f96ab492e0e8c00ad8c89bceea15c8d88d99c3cf","datavalue":{"value":"W31834033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277499$C054FD3F-2BC4-4FFE-AC9A-485468FC2274","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d8befd010e586394a4193b0d27d111f33e8afd","datavalue":{"value":{"entity-type":"item","numeric-id":360174,"id":"Q360174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb6df360e4c2436a32bf6d7a022ce2598c7e1d2","datavalue":{"value":{"amount":"+0.8042507767677307","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":"Q2277499$0C2BE331-854E-4062-B75C-94093B58B729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139e1c63f88d2f68940cc348a251e11be41b678f","datavalue":{"value":{"entity-type":"item","numeric-id":2520764,"id":"Q2520764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c7bc8c56595845a7145fa6b4b9988afcec1e98","datavalue":{"value":{"amount":"+0.7930012941360474","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":"Q2277499$7945E65C-2B35-4F68-84B2-E13542353391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a546c5c14ba241138ae1bb37a35e5b73801615","datavalue":{"value":{"entity-type":"item","numeric-id":1570433,"id":"Q1570433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456e9744457a1dd5394b244d6ed18f78e44fe9d5","datavalue":{"value":{"amount":"+0.7851157188415527","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":"Q2277499$49776047-811B-4D17-94CB-9FE81232DB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278950fe1d05c250abea72f1af04fb5d316f315f","datavalue":{"value":{"entity-type":"item","numeric-id":284661,"id":"Q284661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b337b8ba6822f86dd71d2b88e680a6e9eb313b","datavalue":{"value":{"amount":"+0.7815768718719482","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":"Q2277499$AAEF8FE1-B29C-4DF4-8836-2FE0DBFC9595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7075c4aaa548e6674faaf339b3ce5f66faa05c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5130730,"id":"Q5130730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a0b2988c67c4341c32ee37fee962c7f3698c53","datavalue":{"value":{"amount":"+0.7802584171295166","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":"Q2277499$FE041623-70E7-4C4D-BE7F-3E3ED088F3BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277499"}}}}}