{"entities":{"Q1583844":{"pageid":1594584,"ns":120,"title":"Item:Q1583844","lastrevid":72250449,"modified":"2026-04-14T03:38:11Z","type":"item","id":"Q1583844","labels":{"en":{"language":"en","value":"Dedekind complete commutative BCK-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523423"}},"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":"Q1583844$5EA1947E-BD6C-40BD-9F9F-F9F32154C991","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d202370f81fdf3cd5d6427a30906681f621ac25","datavalue":{"value":{"text":"Dedekind complete commutative BCK-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583844$D492BAE3-13AE-43FD-96BD-AA4CD5671B4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0df281a14c207d1fd387a22ae010f1502d5d5684","datavalue":{"value":"0966.06026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$AA98E37B-A163-4FAC-8085-DBE4B8651378","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aea6d7e6c1d251af85f462567c732fcdf3b2dce9","datavalue":{"value":"10.1023/A:1006409215452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$4D6BB95C-591C-49DA-83FA-AF84FDE08417","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":"Q1583844$58B2F938-56DA-4BC9-A28E-1D3B2D7E7C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ade9b1871372110a5a87e59f3c8248550e19eab","datavalue":{"value":{"entity-type":"item","numeric-id":166331,"id":"Q166331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583844$B951DB7B-C964-4CF5-9075-3F6E72857114","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583844$18B21A86-9697-4A70-8F08-5ED513BCAED6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583844$07774177-ADA2-44E5-97EC-D68AA093471B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a3cef8e3c972634a67e622815473d9a421f5160","datavalue":{"value":"As was shown by the first named author, there is a most general embedding of any commutative BCK-algebra with the relative cancellation property, into a lattice-ordered group. This result provides a useful representation theorem for such BCK-algebras. In this paper the authors characterize various classes of Dedekind-complete BCK algebras, and also generalize Cignoli's theorem on the representation of complete and atomic MV-algebras (= complete atomic bounded commutative BCK algebras).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583844$49B84C1E-0C1A-47F8-A94C-87F1A3013B0F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583844$8470B4BB-76D1-4445-8500-CDCFF2EB5B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$80FE939B-9441-45FD-A440-AD28BAA108BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$9843D9EE-5212-40A0-B364-93B42F9FC297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$04CA164D-748E-4571-9EDA-C70961DBD5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$6FD816C2-6C3A-4E46-B266-420AF8F10D38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39c669bd7443a8a9111fdd729b7c42731fa23d1","datavalue":{"value":"1523423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$681780DE-F7AB-4843-BCCD-1D1A32057DA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e5a1012574bbc0962c43c408ddbfe30d81833b","datavalue":{"value":"universal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583844$261F61C9-24AB-4354-9DEC-1206F5B7E84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30c3b9e063f6a16d9206715a89a79a0cf178394","datavalue":{"value":"Dedekind-complete BCK algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583844$E01E761A-B2B5-49D5-A8B2-00F38EE43010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583844$03097285-2A06-4CEE-90F8-849CD0437DF4","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":"Q1583844$7275D5CC-A682-4120-829C-1FBE56CA2E6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40edb33e15f544ddda7abdfccd44f150cec6fd1e","datavalue":{"value":"https://doi.org/10.1023/a:1006409215452","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583844$7401BC15-684F-4C22-AED1-555CA6C9006B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7e66c05ca656034d733fd669123bfd026f65c40","datavalue":{"value":"W68600364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583844$E5F33201-23C6-4AD3-A00E-972EDBA58CAA","rank":"normal"}],"P1643":[{"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":"e17e35129c7051315808a8f8b9d7eebdcd2f103f","datavalue":{"value":{"amount":"+0.8519881963729858","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":"Q1583844$E7F85A66-C367-48FC-8B32-25B8B9FA3B12","rank":"normal"},{"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":"57bc21a338ae4d20499f83e56fe01e68cdbbabb7","datavalue":{"value":{"amount":"+0.8335970044136047","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":"Q1583844$7D0511F1-9AB2-4EB2-A670-F47E6D71C333","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":"c71023a72f409f9655d702611b91509980c02b1a","datavalue":{"value":{"amount":"+0.8324996829032898","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":"Q1583844$7C596855-017B-4C2E-9126-7E23664DFEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602fef131b748728e0e5e99dddebf2a60551f64f","datavalue":{"value":{"entity-type":"item","numeric-id":5698928,"id":"Q5698928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddeb234af7ca59d7404cd562057e8641d5068714","datavalue":{"value":{"amount":"+0.8026193380355835","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":"Q1583844$480965B6-8D8F-467F-A8C6-9A7850ACF270","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":"cd711d39a46e458aefead40d26a3d85b87410e4f","datavalue":{"value":{"amount":"+0.7926433682441711","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":"Q1583844$9D0E8B45-FE78-4E2D-8158-5BAC0DE52FB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dedekind complete commutative BCK-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dedekind_complete_commutative_BCK-algebras"}}}}}