{"entities":{"Q1343217":{"pageid":1353956,"ns":120,"title":"Item:Q1343217","lastrevid":70197174,"modified":"2026-04-13T13:05:49Z","type":"item","id":"Q1343217","labels":{"en":{"language":"en","value":"Implicative commutative semigroups are equivalent to a class of BCK algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 716387"}},"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":"Q1343217$D0655BDA-9B7D-46FF-9F83-B6A29594B4C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dbd99297213c0066588e380ef0e6929e4426f65","datavalue":{"value":{"text":"Implicative commutative semigroups are equivalent to a class of BCK algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343217$DAF041FD-4C53-4AE2-A60C-4327E393D1AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9be7c436c8e89f8a635c2081d558d45abdcd7b2","datavalue":{"value":"0807.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343217$AAF34035-013A-478F-B963-CF162B7C2936","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45c60576e74112f26ed7837cb14d7399280c7c47","datavalue":{"value":"10.1007/BF02573506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343217$18092515-B17D-4446-AB85-17F3EE10EA05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a22607fbf3be521927e21ac383605463026368b9","datavalue":{"value":{"entity-type":"item","numeric-id":171312,"id":"Q171312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$21E96294-5183-44E2-86DD-C05F881405E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$0F89D848-214E-41B6-AC2E-CEE4F3D1E92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3500a4e46fbb352dfc230edc76ff040b3b0cc153","datavalue":{"value":{"time":"+1995-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1343217$87542357-E0E0-4C96-81AA-D0173A46B32E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d773aa1f56dace2014edf3751f568ec184fb435","datavalue":{"value":"https://eudml.org/doc/135368","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343217$27250E68-F21A-41EA-A00C-BDC5E3B4DA79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343217$C3237673-26E9-4ED4-A3FF-862C54B30ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343217$0ADF1731-2474-40D5-B0C9-1D04B4B95F17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b8ded6a3b70749bdd5259174b6e9d83081b4491","datavalue":{"value":"716387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343217$07DE5A0E-02FC-4D79-8FD4-0DE8CE0C9C5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4994e1199fd75cabc3bd21575f82fb11a9ad88d8","datavalue":{"value":"BCK algebras with condition (S)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343217$F00AB9B7-7E68-4B41-BAA5-263FCFA222A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9806d132db2bda290bb031ed3b1d6d99e2ab026","datavalue":{"value":"implicative semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343217$66814E37-FA0A-425A-8398-75D3CC4A464A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b44af54e4195d18124a4beb2b3388140cc2756","datavalue":{"value":"ordered filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343217$608C7B9A-C642-4BDA-B4CD-00F9F6D80506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343217$BE34067E-84D0-4DAD-B8B4-7E5FF375F772","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":"Q1343217$CC542D4B-C953-4DDF-A69E-1F04D24D4736","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$BCF9CB26-20B3-4F60-BECF-C0838D82495D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64caf8cf4f9d360fae3934778a1f899838eaf293","datavalue":{"value":{"entity-type":"item","numeric-id":1206773,"id":"Q1206773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$CBB4D795-DF3E-4103-9BD2-5963C4B22439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$94FFB15E-D78D-42F6-B4CE-6E1988E7D2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a229ea16fe0c7733d764fc7b020ed18c7d993e","datavalue":{"value":{"entity-type":"item","numeric-id":4159369,"id":"Q4159369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$673548E4-73EF-49B5-AB6E-4E16807B44D8","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":"Q1343217$A34F8249-D037-4EEE-BC0A-E3AB62544427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ff0816ae147d287d27169cd68e9112a8bd4aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3866113,"id":"Q3866113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343217$C67839E1-6930-4C86-BA5F-29D8265D9ED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74b50efa95baaeed17e81c020e521a858e901468","datavalue":{"value":"W1996004667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343217$29471A82-3DCA-4150-9126-C8B7E5A41143","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2653c237e5d3705aea79019b74c0a96f23f0e6","datavalue":{"value":{"entity-type":"item","numeric-id":4225602,"id":"Q4225602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a1a7cc67866fa8666778fb62669d4a1e212256","datavalue":{"value":{"amount":"+0.8904992938041687","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":"Q1343217$70122796-5686-4CC2-8547-BF1374F2170A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6bc8a824d38dd733e2e029bc3ca38d3c5908a7","datavalue":{"value":{"entity-type":"item","numeric-id":3781105,"id":"Q3781105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c866882506f963d9222baefe08352f3326b2d2bd","datavalue":{"value":{"amount":"+0.8250308632850647","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":"Q1343217$4B3CC582-C106-4F53-BB2A-B69E5803969F","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":"82902b8b956b25c79afac20331fb142d19c28e02","datavalue":{"value":{"amount":"+0.8119843602180481","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":"Q1343217$9A4123A3-DE9A-469D-8674-D00683E5B00F","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":"a3aa88e62c1bd57fc37f57679d92eff2ff433deb","datavalue":{"value":{"amount":"+0.8112474679946899","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":"Q1343217$560A0F8C-2CC6-4DB8-B493-8B502FCD404C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de07bd3285b466dadb72e2d3f8628b4d42fb2adb","datavalue":{"value":{"entity-type":"item","numeric-id":4724633,"id":"Q4724633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606537f39bd3d97c569dbd9d9f6b6ac016f82598","datavalue":{"value":{"amount":"+0.809374213218689","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":"Q1343217$19AD2248-1022-43A3-84C0-1CD5DDDDE64F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicative commutative semigroups are equivalent to a class of BCK algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implicative_commutative_semigroups_are_equivalent_to_a_class_of_BCK_algebras"}}}}}