{"entities":{"Q1970590":{"pageid":1981332,"ns":120,"title":"Item:Q1970590","lastrevid":82264328,"modified":"2026-05-06T20:29:25Z","type":"item","id":"Q1970590","labels":{"en":{"language":"en","value":"On categorical equivalences of commutative BCK-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420234"}},"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":"Q1970590$ED596590-D05D-4C68-96A3-617B04319C01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e4408a7725a05261ce7b3343bc30dfad10eb49f","datavalue":{"value":{"text":"On categorical equivalences of commutative BCK-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970590$185CF004-6FBF-4EB3-BBC0-55A4CEEF7AC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0075a28b81ab521aaaa51fb4c27a186bd4c609a3","datavalue":{"value":"0947.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$45520FAC-7BD0-40D3-8BA8-89E364B57630","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"649f788808aa9f9657354a8f48599d0d47e46d5f","datavalue":{"value":"10.1023/A:1005282128667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$D0D9AC26-963C-4E6B-8981-1D9B30684BDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"359c0df30f5ebfb148ed65afc8a013219b3ae9dd","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970590$8C312318-2B64-4C56-9C00-39FE145995EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970590$EA7A9906-359E-4E44-BBA7-EF2740B5B66B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24b0115b00159b0b379aa6d875fc4c22fbfeaead","datavalue":{"value":{"time":"+2000-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970590$5DEAEB51-7171-4A65-8EEE-56009C8F6D75","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7676e658c01796525cc46b17e185055df475a4e","datavalue":{"value":"A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra \\((X;*,0)\\) which satisfies the condition: if \\(a\\leq x\\), \\(a\\leq y\\) and \\(x*a=y*a\\), then \\(x=y\\). Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian \\(l\\)-groups whose objects are pairs \\((G,G_0)\\), where \\(G\\) is an Abelian group, \\(G_0\\) is a subset of the positive cone generating \\(G^+\\) such that if \\(u\\), \\(v\\in G_0\\), then \\(0\\vee(u-v)\\in G_0'\\), and morphisms are \\(l\\)-group homomorphisms \\(h:(G,G_0)\\to(G',G_0')\\) with \\(f(G_0)\\subset G_0'\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970590$C82D3B94-6939-4BDE-A95C-EF358426DCA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130b588f9b4b45c0dfaceaf03b0190034f0a27b9","datavalue":{"value":{"entity-type":"item","numeric-id":171312,"id":"Q171312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970590$3C32ED61-292A-4C94-A9C9-46808167432E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$4690B825-8C07-462F-9B60-29EA8CD9870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$11BE4641-7FF4-4FE4-BCCC-02889B70AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$0B89CC8D-DF7A-4EF7-AD56-7CC68FEB415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$DBDFAABE-8A3F-43DD-9062-1EECC34C9BC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"914c9542c680946ed8646968538108b2d90c1bbc","datavalue":{"value":"1420234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$A32FA009-EC85-4244-A9BA-1D35A1CA30AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98379766bd5d0a8b742f85f0a935594bb236c674","datavalue":{"value":"lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970590$8B1C60DC-7EC9-45FA-ACC2-36B1AC50C460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423ea4d0e2be16145702233b5f78fdc515ee981b","datavalue":{"value":"categorical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970590$A16F3377-E6FC-444E-A731-0B2A985AB7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970590$94EB7137-C8D8-4333-9243-5B1883BCB0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf91f063ead83cc1b6b7b31d6faf758c91cab9f","datavalue":{"value":"commutative BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970590$F4B4B554-5018-4C21-8C9A-E3D66C4BB53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4436d7652526a7f125f8667add7268c4c5bd1d6","datavalue":{"value":"relative cancellation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970590$B41EDE53-B991-44D1-8ADF-86F90F51B3BD","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":"Q1970590$B61BB2EF-FE9B-44D3-917E-7F1190A22374","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fa63bb3acebdb51ae20bca16bf353c6404a892b","datavalue":{"value":"https://doi.org/10.1023/a:1005282128667","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970590$3C8ED123-2E8C-4D74-B3DB-0DD6F20FA461","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03ec01cc75ebdbcfa3bc9e751329bb2c7ba59443","datavalue":{"value":"W1548152469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970590$E66B2084-A6BE-401E-B4DD-012E2ECDB80E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3fe465b6269fb2593bda9cfabe75e3996bcc66","datavalue":{"value":{"entity-type":"item","numeric-id":4256068,"id":"Q4256068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4812908edbd5610c303c6a4a1f996d290a64d5c3","datavalue":{"value":{"amount":"+0.8596212863922119","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":"Q1970590$9303FF33-769F-465D-9F95-C08036111C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0a96792ece448d702ddc95f6bb6b9e3470b126","datavalue":{"value":{"entity-type":"item","numeric-id":4441345,"id":"Q4441345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82dcea086a9b30c907e5fd38123272636dfde49","datavalue":{"value":{"amount":"+0.8390304446220398","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":"Q1970590$2509115E-8A13-4BEE-8251-BADA1E94368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4597fac41ab78bbd6ee39a7abf78540385f8eb7c","datavalue":{"value":{"entity-type":"item","numeric-id":4258334,"id":"Q4258334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53450b22fbe413b6504f82127d17fc65b863b9da","datavalue":{"value":{"amount":"+0.833659291267395","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":"Q1970590$6F297BA2-C828-428F-A045-F26F84E4161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f95fad922db335f424e6a55e12b64f46880ed76","datavalue":{"value":{"entity-type":"item","numeric-id":1586458,"id":"Q1586458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc3d132cb8c1bb17ea59c34f2486dd6b0069980","datavalue":{"value":{"amount":"+0.8289364576339722","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":"Q1970590$B8CBB183-689B-497C-849B-AF9B3E41FA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dd3a8006940ccd2c3519db72205d5ae059ff74","datavalue":{"value":{"entity-type":"item","numeric-id":4881804,"id":"Q4881804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc3d132cb8c1bb17ea59c34f2486dd6b0069980","datavalue":{"value":{"amount":"+0.8289364576339722","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":"Q1970590$3BD44D28-A1ED-439D-9E91-F566D4DE4CCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On categorical equivalences of commutative BCK-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_categorical_equivalences_of_commutative_BCK-algebras"}}}}}