{"entities":{"Q873745":{"pageid":875593,"ns":120,"title":"Item:Q873745","lastrevid":64999197,"modified":"2026-04-11T23:38:25Z","type":"item","id":"Q873745","labels":{"en":{"language":"en","value":"On implication in MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139584"}},"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":"Q873745$363B41D8-71D7-4C55-8C21-192E4B0E3565","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52b5160d1cf9584c8361cc6afb268d6aea1fab28","datavalue":{"value":{"text":"On implication in MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q873745$18DA9EC9-4A54-47FE-8905-246C303CB47A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db2ca60f122f5050fed9aaaa8001fc3dac14060c","datavalue":{"value":"1117.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873745$F02110D6-E06B-4227-A16C-B13F10A0F93E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873745$730180CC-167A-4BCE-B28D-9B7D62A63FB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76a53f1eb14babcafe8609d74553b403b724b70f","datavalue":{"value":{"time":"+2007-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q873745$A47E7578-C388-42E1-ABF8-CA4BCE857AB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa6de48777e7a624daa378fd4953128d67625e19","datavalue":{"value":"The author observes that weak implication algebras are just the duals of commutative BCK-algebras. Thus most of the results of \\textit{I. Chajda, R. Halas} and \\textit{J. K\u00fchr} [``Implication in MV-algeras'', Algebra Univers. 52, 377--382 (2004; Zbl 1097.06011)] follow immediately from the facts that a bounded commutative BCK-algebra possesses a natural upper semilattice structure and that the class of MV-algebras is definitionally equivalent to the class of bounded commutative BCK-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q873745$2A1D746A-6D2C-4C0E-8901-A12E556195A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873745$DC3766F8-725B-4477-8DAE-B941DBAF3E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873745$283FD00F-2DF6-466A-AE65-4C331856DDC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86d9d6b46cd587ef240c2d699c9d4f8207eabd1","datavalue":{"value":"5139584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873745$BA2E1056-5A6E-40AC-BAAB-E1EB7840E287","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf91f063ead83cc1b6b7b31d6faf758c91cab9f","datavalue":{"value":"commutative BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q873745$E92B1A4D-C3F9-4FA7-9BAF-16D7C421AA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q873745$EB6F94FA-17B3-49EC-9428-578243D9EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q873745$FC25B747-CFE0-4573-8DBA-B5F6D3A5CDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9088e719084c8e8b9737d1c0ba185155943df97","datavalue":{"value":"upper semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q873745$2E0C8958-1ADB-4977-90A6-11984599B184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7194ed2eed87fe711a1b298dffeeda4abd2dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873745$43A2AD86-1B2C-41AA-834C-02B46A0D2080","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17c10f17a5e1177b66bfd4f3439d273c87e4d597","datavalue":{"value":{"entity-type":"item","numeric-id":705524,"id":"Q705524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873745$74A417D6-501C-494A-A283-DDE0462A0C1E","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":"Q873745$29729E5B-1584-4E9A-8BDF-BEF128027BD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c311898571e9399a3f80c279514bb46eec78a112","datavalue":{"value":"https://doi.org/10.1007/s00012-007-1978-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q873745$A2936A45-96C7-410E-8750-67B26794DAB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fb8437f49e48566bb687d03604dd161d42afaf2","datavalue":{"value":"W2155416711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873745$BBA0FF11-47F0-4758-AA7B-6D65FCF518D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c94bdbcf47295cba591208fdc302b8e7d4b5e25","datavalue":{"value":"10.1007/S00012-007-1978-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873745$DFEE0DF3-B536-4EB1-93DA-CD5998AB029C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cea7735d0feefc2e95e57209aec2d513f07c918","datavalue":{"value":{"entity-type":"item","numeric-id":2577699,"id":"Q2577699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9192c7a72767d1ff1caaec58024015ceee8ee2be","datavalue":{"value":{"amount":"+0.9005154371261597","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":"Q873745$9118F30F-13C3-492B-B5A4-684A2826CB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf28ab285c958cb5ba8d0fced3049c1e125f421","datavalue":{"value":{"entity-type":"item","numeric-id":2791048,"id":"Q2791048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1050f52519575681ff4f356a4a416586449a103","datavalue":{"value":{"amount":"+0.8459812998771667","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":"Q873745$A9DB63B6-4662-4773-8234-4D0C596E9387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310f542c62e0c2d9c9424e70859ccb21052db9de","datavalue":{"value":{"entity-type":"item","numeric-id":2720798,"id":"Q2720798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4755b987c0fd241e7a59c84a3c5e39fdb74184","datavalue":{"value":{"amount":"+0.8126309514045715","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":"Q873745$3C8DE3E7-1939-4250-91DA-BC56D0031ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc4598f4f1c46db1f213a75b94e99507151f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4332297,"id":"Q4332297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211d55c36150dd76317d157bd7bf9f2972bf3cc8","datavalue":{"value":{"amount":"+0.8112378716468811","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":"Q873745$7A34D2A3-4516-4CCA-AAC6-B2F26F399005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9d816b185b39bbe85f375ac4502a0824b693b","datavalue":{"value":{"entity-type":"item","numeric-id":2793296,"id":"Q2793296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb636fba281e46f9bb2f75a2ecef895619c6f5fd","datavalue":{"value":{"amount":"+0.8094480037689209","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":"Q873745$779B30F1-D91C-4387-8755-902A08C48E9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On implication in MV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_implication_in_MV-algebras"}}}}}