{"entities":{"Q1095168":{"pageid":1105920,"ns":120,"title":"Item:Q1095168","lastrevid":69942789,"modified":"2026-04-13T11:22:53Z","type":"item","id":"Q1095168","labels":{"en":{"language":"en","value":"Subdirect products of totally ordered BCK-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027538"}},"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":"Q1095168$3F63BA8D-1F22-4FEF-B2E8-4542C36D033C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"208f57cfc9260f37f15f9875f8d27a9671a7bd25","datavalue":{"value":{"text":"Subdirect products of totally ordered BCK-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095168$BFE3EE9C-2733-411C-99B6-B70FD5950184","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea11e27b0728ae82330e66ba0c3bec6e867b3cfc","datavalue":{"value":"0632.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$AD5F28E0-E524-4467-9134-93B7C642D5FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be695628bad9df3bb82d0d68291ba05e93e8e63e","datavalue":{"value":"10.1016/0021-8693(87)90224-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$C12A0B9A-7195-46DD-9914-F73C72D44CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8160cd73c52f12b156dfe5f344d0b1a2631efa21","datavalue":{"value":{"entity-type":"item","numeric-id":188194,"id":"Q188194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$FFC43BA6-C7A6-473A-A663-18672D9BF4B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$D6CEF13F-FD7D-4797-B2A9-91D8627A194D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095168$EA52290B-B645-469C-A812-21F0336DAA07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f1b2e3dab69b8a77fe83aaf4d3c90235c2da515","datavalue":{"value":"Let \\(L=(L;.,0)\\) be an algebra of type (2,0). On L it is possible to introduce a binary relation \\(\\leq\\) as follows: \\(x\\leq y\\) if and only if \\(xy=0\\). The algebra L is said to be a BCK-algebra if the identities \\(x0=x\\) and (xy)(xz)\\(\\leq zy\\) are satisfied and \\(\\leq\\) is a partial order with the smallest element 0.    The author characterizes the class of all BCK-algebras which are subdirect products of (totally) ordered BCK-algebras. In more details, he proves that a BCK-algebra is from this class if and only if xy\\(\\wedge yx\\) exists for any x, y and \\(xy\\wedge yx=0\\). This is a generalization of a similar result obtained for commutative BCK-algebras by \\textit{W. H. Cornish}, \\textit{T. Sturm} and \\textit{T. Traczyk} [Math. Jap. 29, 309-320 (1984; Zbl 0579.03049)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095168$BA2F5003-9756-4C0C-BF04-F430DBF65E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$9B090F7E-6AAC-49D7-BEF8-F4AF74DE2D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$C2154475-48B4-4F74-BB0F-6F8246770198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$495C0EF9-AF13-4740-AD59-5482610F4FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8be2d055b9d6a646ff0d600f7971d8680ea3d88c","datavalue":{"value":"4027538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$E070544C-2A51-4CAE-B478-1FC2F0BC6819","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3591d6d9ed0d3e38f73b7d023c1a6088f341308d","datavalue":{"value":"implicative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095168$1033E5B5-6362-43A9-8DF1-F4E2B1676FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80ffbe5ac452c4e90978b6f4ca7afa76f3684a94","datavalue":{"value":"semi-Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095168$0BC3C1DA-826F-40F7-B643-D5D0F7D65604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fef87e225baedd43c4034130f519588f5a77252","datavalue":{"value":"relative Stone lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095168$6E0C118D-42D0-4CC3-A1D8-E2B05D7A4F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b592d57d5b8f6c2ca256a200a84383662b18a1","datavalue":{"value":"subdirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095168$76029CA4-D943-40A9-B303-5CB7CE36BBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73dfc941e4317fd92b6720a7fe0bc395c64557d4","datavalue":{"value":"ordered BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095168$4EFE2A89-0C73-4719-96D2-9162369058C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$646DD4CC-0193-47C4-B8BE-9EAD3B7BFC54","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":"Q1095168$E2E28119-0C57-43D4-AC42-F62E5F144083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054346968f6b98056f93e9ec366d2f67a44420d7","datavalue":{"value":"https://doi.org/10.1016/0021-8693(87)90224-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095168$397DF41F-E854-40F6-AFB7-013C9C70C8CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d649ba6021b62199663fab427cbb7d8d0413689","datavalue":{"value":"W2059943621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095168$714936D4-0B78-4B09-A82F-ABE1FD0B9128","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4cc729864077cfaa756ad6fc2ab9f45904eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":800488,"id":"Q800488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$2A49A443-3639-40EA-8FB1-DA79EB0B0477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c1b269614e65682e5c630fe0ab8d35bfe43884","datavalue":{"value":{"entity-type":"item","numeric-id":1107548,"id":"Q1107548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$2507C7D0-6E15-49EB-91D9-2A7291B79EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$BC0302B1-9FED-4061-B335-2C5452B15D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b523454658900592ed9af654ef517f407757a7","datavalue":{"value":{"entity-type":"item","numeric-id":3701425,"id":"Q3701425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$B44E8A3B-C0BA-4376-A2D9-C58FE0B7F165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$E9F24FD5-2659-45B2-B7A8-D35405F8DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d23c7a96922c719c4fa52e12cc037cf336466d5","datavalue":{"value":{"entity-type":"item","numeric-id":2536071,"id":"Q2536071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$9BFEC056-E2DA-4331-8B40-38D5E1002310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e398aee2e439a138ee4f502be68becbda86fd70b","datavalue":{"value":{"entity-type":"item","numeric-id":5587092,"id":"Q5587092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$A220C1F2-4242-4254-BB80-1F52EF63DC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6635831fcb3672b6bafeae96fd457c828a5cb7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2536070,"id":"Q2536070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$41D90C36-593F-4868-8327-C59F22AF0CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3a4e8b4dceec56c1f07a82bf95b48c6f867bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3874204,"id":"Q3874204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$A670423C-13AA-4779-A34F-C7ABD1EB2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095168$B79A5F3A-8D4E-4BBC-AE5C-7D2DE9A9F935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1f4a9efc44c0f337dc3c8e9c72d3d628411a14","datavalue":{"value":{"entity-type":"item","numeric-id":3775561,"id":"Q3775561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14debba478a6ac98165dd6a370d82f9456286a85","datavalue":{"value":{"amount":"+0.8698257207870483","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":"Q1095168$AD07934D-0332-4708-BC54-1BECF2C4B709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f81c920cdc17634db5a37bd27ccc2df683979d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4232818,"id":"Q4232818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b9ace0a5042e4052aa7c3b3acabc87a70f4f4b","datavalue":{"value":{"amount":"+0.8431459069252014","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":"Q1095168$FDD24CE6-17E0-44B9-9013-2DB61A6A3760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c995265aab2d5c38131ae048888fdc00e3212d","datavalue":{"value":{"entity-type":"item","numeric-id":1891709,"id":"Q1891709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fcba3e3d5deb44630e1e5c44e6c18f28b7b38b","datavalue":{"value":{"amount":"+0.8397095203399658","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":"Q1095168$6CBCF778-0916-4D5C-A0B5-3B06F317CF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa286d71f3a52252324b22403981f12093a76bdb","datavalue":{"value":{"entity-type":"item","numeric-id":5158862,"id":"Q5158862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fcba3e3d5deb44630e1e5c44e6c18f28b7b38b","datavalue":{"value":{"amount":"+0.8397095203399658","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":"Q1095168$557788CA-14A1-44AB-B393-4B011F8F69BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d40719b3a2207d8d9b517e689c0fde81f4def74","datavalue":{"value":{"entity-type":"item","numeric-id":5025727,"id":"Q5025727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8fb5048228df0fe5ec0669b2349da278afd461","datavalue":{"value":{"amount":"+0.8090776801109314","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":"Q1095168$C14D7DD3-7F62-4CED-8C5D-096407398224","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subdirect products of totally ordered BCK-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subdirect_products_of_totally_ordered_BCK-algebras"}}}}}