{"entities":{"Q1024711":{"pageid":1026559,"ns":120,"title":"Item:Q1024711","lastrevid":69446478,"modified":"2026-04-13T07:03:32Z","type":"item","id":"Q1024711","labels":{"en":{"language":"en","value":"Residuation groupoids -- again"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565948"}},"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":"Q1024711$0B2335FC-1EC1-4591-9391-BA9AAC6264D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3faf1f76ce851b992c29925b1e9ded11eb013c4","datavalue":{"value":{"text":"Residuation groupoids -- again","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024711$515D1928-F3AE-4E18-8E18-3B01A79E0CDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21032ee55ad99e565829e1c47ff27160e69b46d9","datavalue":{"value":"1173.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$D60E1D3D-529C-45FA-8904-0BC931C6B4B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b97d8820f8e2e229efb71419e32ed135a5e96e0","datavalue":{"value":{"entity-type":"item","numeric-id":585243,"id":"Q585243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024711$75771DD5-AA56-497C-8331-3B29997C98D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12982252bdbf08365fdfe453232fb6e734596979","datavalue":{"value":{"entity-type":"item","numeric-id":189241,"id":"Q189241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024711$1B6B12E5-45AE-4431-8FC8-A83BBD60C850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b56d9fd9827ead92e1d841b592f7852bcfece777","datavalue":{"value":{"time":"+2009-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024711$4FFC1C42-4600-4730-A805-DD5244D0C46C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2adf8ad6a2ff9d5b0f772c60836bdea725ef92aa","datavalue":{"value":"The present paper arose from contributions published by the author decades ago culminating in his main embedding result: any \\(\\ell\\)-group cone admits a canonical embedding into some brick, and any cone algebra (in particular, any brick) admits a canonical embedding into some \\(\\ell\\)-group cone. In this paper, a new method of embedding an \\(\\ell\\)-group cone into an associated quotient \\(\\ell\\)-group is provided. Also, the former embedding procedure is simplified for the particular case of a brick. Furthemore, semiclans (i.e., special semilattices endowed with a partial multiplication which is left positive with respect to the induced order) are shown to be bricks (and conversely). As a consequence, an alternative embedding method for semiclans is given. Finally, commutative bricks (bounded BCK-algebras) are considered elaborating a short cut of the first embedding step given in the embedding procedure for semiclans.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$34E9A380-08DF-4421-A475-F8493FE29FA1","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":"Q1024711$D5FAF9EF-DB4F-4AEF-9AF3-193FD0EC837E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$2168A8F4-8BBA-46B3-B5F8-F4A0F4E8D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$1B19CDEA-3042-4571-A011-397B2AD8A203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$B5307E60-FE66-40E4-9751-3427B27887FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$357F4864-FFBB-4A53-8E72-2C04D9421E7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d15613561bdfdfed75af76b05cfaf21cdc77e55d","datavalue":{"value":"5565948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$F9A16C9F-7134-4D5E-AEB3-184508B51336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$2362F640-EDBF-4AFE-B786-B5E755235F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca0ef3dda052a3ed1654504c155c4f7228b253b","datavalue":{"value":"hoops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$1060F019-B372-47A6-91A2-161881F94DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4318cda8a44c884558cbe01f0f0a328a080335a","datavalue":{"value":"po-monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$1D1715D6-318D-4929-A78A-C5B7D7C7041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1b490307e2cef854971efdc12e2a43bd366519","datavalue":{"value":"\\(\\ell\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$C4026ECD-4297-47B5-8052-6E461BA6D85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bdf433588def4d97c977f8ef7889346628dc7f","datavalue":{"value":"bricks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$D821A571-90AC-4950-AA40-BD7DDB01F714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$0FDE72EF-65FF-4D02-AD9E-C3DF0EADE6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1392ffbeb6d1d6299d464dbdbab2c4fa0553c982","datavalue":{"value":"bounded BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024711$9C091D08-9F01-4599-9940-44E7B7ECCA9C","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":"Q1024711$51476D83-F93E-4858-82A5-CD31354AB641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"226a15e6bf460459dc3bf780758d4eaf316e833b","datavalue":{"value":"https://doi.org/10.1007/s00025-008-0329-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024711$CCCB9FDB-D74D-4DF0-80A2-8DCF7E62C0EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"273f5d2ebc66142881868229cd32fddea99f7c68","datavalue":{"value":"W2060935145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$81F907BF-4A10-4C10-BC47-1045B97B82F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffbdb8107c2ee0c18e1534764bd97c6f89e51447","datavalue":{"value":"10.1007/S00025-008-0329-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024711$BE35F758-CD16-4D33-9986-71E41F069D0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6083afcfcdb6e1e0d9792de9f7e4fbbf4ad0d1","datavalue":{"value":{"entity-type":"item","numeric-id":5414968,"id":"Q5414968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa22c196deacc0a3d7bc21bf0b88fda3fa62465","datavalue":{"value":{"amount":"+0.767235517501831","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":"Q1024711$E5BD5857-29E6-4196-A73E-9CC097C08D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac2cc9f704cbe899ebe25957ef15262b910def6","datavalue":{"value":{"entity-type":"item","numeric-id":4874644,"id":"Q4874644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f079e2e5f7eb08fe14c50bab86a8f71cb8eb2a10","datavalue":{"value":{"amount":"+0.7595162987709045","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":"Q1024711$BFEF0F8D-ADDD-4054-99C6-580526C6C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31df8d4aeeffbf11d36c4116defaf3568e2cf56","datavalue":{"value":{"entity-type":"item","numeric-id":2510712,"id":"Q2510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832d57ba9f7f476c1ddc6f52cdc053c06ab61975","datavalue":{"value":{"amount":"+0.7590129375457764","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":"Q1024711$8F7FC219-A341-4D15-9EDB-820199AE96AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3142ef2d443c8ede5e8b417247578652b6fc25af","datavalue":{"value":{"entity-type":"item","numeric-id":3315565,"id":"Q3315565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd51d7635ea9aaeadb1b2602f12cfa243758e73","datavalue":{"value":{"amount":"+0.7488442659378052","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":"Q1024711$B25BE91A-6FF4-45BF-AFA3-372AF8C86292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51857a09bc36efae3446190b4431476d7cb35932","datavalue":{"value":{"entity-type":"item","numeric-id":2027209,"id":"Q2027209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca7bd6945383c81066e494fcf91a582087a401d","datavalue":{"value":{"amount":"+0.7309372425079346","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":"Q1024711$75239E17-66D3-499A-94AC-649E7D91CA08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Residuation groupoids -- again","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Residuation_groupoids_--_again"}}}}}