{"entities":{"Q1111585":{"pageid":1122334,"ns":120,"title":"Item:Q1111585","lastrevid":69669024,"modified":"2026-04-13T08:35:15Z","type":"item","id":"Q1111585","labels":{"en":{"language":"en","value":"Every BCK-algebra is a set of residuables in an integral pomonoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075144"}},"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":"Q1111585$F7C9EA3A-5D01-48C7-8F9B-FD601FC7493F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cef5bcb71465fe77ad03b7a6d01d6623a0a7932e","datavalue":{"value":{"text":"Every BCK-algebra is a set of residuables in an integral pomonoid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111585$BB8DC7F0-4BBD-4003-9878-1C94F0AC8224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"968872961af319e269418e1e9a24fc982e0b87b2","datavalue":{"value":"0658.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111585$F7EBD0CF-89B4-4BD2-9309-FD8F0A492308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d26b07f5f132d8edab0d67d439b18b377cc10648","datavalue":{"value":"10.1016/0021-8693(88)90065-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111585$4D7A3520-BB84-486D-8E74-971EBF2EFAD0","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":"Q1111585$3A649F58-2212-4C07-A799-E03843865E8F","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":"Q1111585$77E67624-E1FE-4DCD-9E2B-D920955F30DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1111585$1D644ED6-7256-411C-968B-93EF59F469F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff84bb025ff9cce8cd729f118dcc813254d80495","datavalue":{"value":"It is shown that every BCK-algebra is isomorphic to a sub-algebra of the residuation-reduct of some integral commutative monoid with residuation. This result can be easily derived from embedding theorems of \\textit{H. Ono} and \\textit{Y. Komori} [J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)] and \\textit{M. Pa\u0142asi\u0144ski} [An embedding theorem for BCK-algebras, Math. Semin. Notes, Kobe Univ. 10, 749-751 (1982)]. It was also stated by \\textit{A. Wro\u0144ski} [Math. Jap. 30, 187-193 (1985; Zbl 0569.03029)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111585$72CA7342-DB83-4992-A526-795F6DEBF6E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"83061ce9ff866ae18eef8243f29aeb05789c8987","datavalue":{"value":{"entity-type":"item","numeric-id":593512,"id":"Q593512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111585$2CF10F3F-7DE0-4F6F-B05E-9D2F61C4B6F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111585$CC2CC4F9-E5DA-45FC-A7E8-6CF3E3726DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111585$976658DB-2A41-4868-89AA-02AA330EDBAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6f35aadd318db9bd108ec38aa834055ec5e672d","datavalue":{"value":"4075144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111585$DA9FDF8D-9ADF-434C-966F-4EFED4C0774B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111585$6684B9E2-373D-46E4-8AD3-8DEBE0C38557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6caaac6fa8534c5dd99f88042dcaaa76831c9378","datavalue":{"value":"residuation-reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111585$9DEC1CA5-A61D-444B-BDD4-4AD980CE173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d780ca67674984873775ebebbdf2069d0c8707b4","datavalue":{"value":"integral commutative monoid with residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111585$496DB4D0-129A-4055-8E82-212116278143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111585$DB1EFA33-16D5-4CD6-AAA2-57895C07D3E4","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":"Q1111585$8EBBDEC5-D97F-4971-B5FB-F271A80B4164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7b9ad6a679522e2e4623c3c2f9810229ddbeb9e","datavalue":{"value":"https://doi.org/10.1016/0021-8693(88)90065-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111585$453C5A53-7D37-4551-8A4D-ECD9E937CB7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df2f38bad56cb289e9863b9a31d37b5461bd84d5","datavalue":{"value":"W1988838565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111585$5768820A-4FA0-4EA7-99A9-C95209124914","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111585$B61AE800-C645-4B97-B6EC-D0006CA24E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af421c7c0ab7e4186fee17352b4a4cafe3800633","datavalue":{"value":{"entity-type":"item","numeric-id":1170211,"id":"Q1170211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111585$7168F8F7-0017-4FD6-9EC6-5858BB50EB8A","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":"Q1111585$1DDAC77F-582E-4E7C-9403-D4EAD55226C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d718a63c9d37074bf67fcaddda0513950cfe1f","datavalue":{"value":{"entity-type":"item","numeric-id":1121303,"id":"Q1121303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111585$FF6BBB08-C334-43B3-A983-F7F85036BD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4323bdc39c54a56954ce28f1eea70d7c114734","datavalue":{"value":{"entity-type":"item","numeric-id":3879232,"id":"Q3879232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111585$EC714AE9-116B-4701-A06E-33EA12E47FDD","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":"Q1111585$F1724D59-7FA5-4C20-A97F-F78FC09A29A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111585$59EE7A9B-695A-4F6B-ABDA-63E43F3F7719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b625e2fc2a365141ffb8e243f4a4de8461ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":4849084,"id":"Q4849084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49be964a8d8c9e83820946de1a6377ea10b032f4","datavalue":{"value":{"amount":"+0.7912827730178833","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":"Q1111585$0E4BE0A1-0EA7-4F60-8928-A0F9659F2516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92257133f898932b63e7332846ee07c6f03e7737","datavalue":{"value":{"entity-type":"item","numeric-id":3161451,"id":"Q3161451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9d7a14235d7c57a1c6b987b051ee5307feb9e7","datavalue":{"value":{"amount":"+0.7801890969276428","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":"Q1111585$96D53715-5D81-425B-9332-A281B2CCEA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5835da670d9864c51c58057d2c87d63122597f4","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe976c4f78b4755d681f5cd00856f0aa4792d5c","datavalue":{"value":{"amount":"+0.7788586020469666","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":"Q1111585$8EDA0201-3103-44F9-AEAD-985EC4B5E26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d2ce5ae5d90d00e0b3ea9ce92fabb5b1a912f8","datavalue":{"value":{"entity-type":"item","numeric-id":4393866,"id":"Q4393866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def71f7158f3482016903b1c0bb9f84c8ef7a5e9","datavalue":{"value":{"amount":"+0.7777760624885559","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":"Q1111585$FEA5FF18-EFE8-4766-9F3F-A83FDB6FB5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403a6ca566e31f2a2d5ca9d985281d25d48dd7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a737f38f0fdb4e0ff6986059d7f7c877bbd5ebd","datavalue":{"value":{"amount":"+0.7764320969581604","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":"Q1111585$0AB7FE1B-F66B-4D53-8AA1-EC1F136986B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every BCK-algebra is a set of residuables in an integral pomonoid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_BCK-algebra_is_a_set_of_residuables_in_an_integral_pomonoid"}}}}}