{"entities":{"Q1059653":{"pageid":1061501,"ns":120,"title":"Item:Q1059653","lastrevid":66652302,"modified":"2026-04-12T11:34:12Z","type":"item","id":"Q1059653","labels":{"en":{"language":"en","value":"Finitely axiomatizable varieties of BCK-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904656"}},"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":"Q1059653$016F7E08-0CA3-4A3B-A596-A9F71B676919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5f8415c1a3abaf927d68e7c71aee3e3bd73af02","datavalue":{"value":{"text":"Finitely axiomatizable varieties of BCK-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059653$23F88ABD-7082-4640-AF6F-0BFA675578E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c9676efff3375eabf72d2bab9d0fd249d735e83","datavalue":{"value":"0567.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$5853A063-0A94-4901-8821-77A2EE3DC392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb11db1a6d0a44c5c2dc5b41b828cf374481567","datavalue":{"value":"10.1007/BF02572662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$1506A74E-5810-422E-9042-BCD6E7EC25E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a3b56d8216701b1c2a987ee06288017ed1896dc","datavalue":{"value":{"entity-type":"item","numeric-id":1059652,"id":"Q1059652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$571A48EC-9F78-457A-9D7C-88F7F4FCC047","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":"Q1059653$21AE9DC0-55FD-4173-A07E-A9DD74ECEAE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1059653$283EB2C8-86E4-45CC-A858-39324996C116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acf38dfeac1d6edb17f9ea22e5d4a11924a6d763","datavalue":{"value":"https://eudml.org/doc/134759","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059653$44C8FD8E-A029-4683-A491-B1E6964BC07D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0a3eddb6a2282fb92ca059a98103b6b46be5b2d","datavalue":{"value":"The main theorem of the paper is that the join of two relatively finitely axiomatizable subvarieties of a variety of expanded BCK-algebras is also finitely axiomatizable relative to the variety. The notion of a variety of expanded BCK-algebras, introduced in the paper, encompasses various varieties as examples, e.g. the variety of commutative complementary semigroups of Bosbach, the one of the Heyting algebras and the one of the MV-algebras of Chang.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059653$59AEB55C-B46B-4E24-A288-6E54D586F0D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06894b1e6928d36ebe66af174c2e7bc2155094b6","datavalue":{"value":{"entity-type":"item","numeric-id":788080,"id":"Q788080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$273D4E94-1AB4-4A8B-AE35-1E0B05229A0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$3CFE5927-21D1-4A86-ACBB-6FE76649D906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$02F1B731-B46E-4E29-A46F-28C8A767938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$F4DC9649-F28A-4107-96C6-43280AB83AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$F6AE9BC9-7346-4037-A275-43E2FC85C6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$53BC1EBB-0159-4457-9A65-4D31399B4A8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6ce4eee5ce82b89725cef797e69982c465586b6","datavalue":{"value":"3904656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059653$32A24586-0887-48D8-823A-1714B2E7C901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f38a7cbf626bcdd348ecdf898434556f5a76d76c","datavalue":{"value":"relatively finitely axiomatizable subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059653$E1123755-B70E-46A9-A9CB-BC17E9CFAB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e625f1d7387932df3a8c453ef995a72e4ca895","datavalue":{"value":"variety of expanded BCK- algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059653$922A1067-94CD-4E11-A08F-6275C37A0603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1a8316a223d69f5c1085d0de470d2696a68853","datavalue":{"value":"variety of commutative complementary semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059653$43B8F0CB-C174-4609-B4E4-2E9A90AA704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059653$5A2ABBEC-FCC7-4638-8AC8-DBDAD510B18F","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":"Q1059653$DB405604-B802-4F9E-A27B-E18CD2D4424C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e1a944da08687c3d87f18b45f8a25bd83ce78d","datavalue":{"value":{"entity-type":"item","numeric-id":2526152,"id":"Q2526152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$5EF63DB0-FB50-459C-BBC3-E7B256D31D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997744b17d1ed487c74981dc37b3271e77786200","datavalue":{"value":{"entity-type":"item","numeric-id":5574737,"id":"Q5574737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$ABC1E7F6-3CF8-4F4E-BCBF-7B683BFBD8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86893b14591bdf4f2ea0c13509d32eb40233a0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4405369,"id":"Q4405369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$3EBB7F3D-868D-4509-AF89-F67B10BA5E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83536b98f06fea6695bf5842911df14305f31340","datavalue":{"value":{"entity-type":"item","numeric-id":1050379,"id":"Q1050379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$E409E187-26A4-4025-A41B-D2EAAB9BE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$A80521C5-7BD0-4B60-9033-3D5842246634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c207dca393365a9a4c71005b2d9b5d5eb6d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":3960852,"id":"Q3960852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$C246B020-89AE-43C3-826A-0B533D13BE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb9d3af31d60a5e7856555eb3152a175648d4355","datavalue":{"value":{"entity-type":"item","numeric-id":5769534,"id":"Q5769534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$998F980F-A25B-4277-8AFE-5A587B999E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7085ec2ffc99115ccf24ec26ab8b2bf7504486ea","datavalue":{"value":{"entity-type":"item","numeric-id":4126337,"id":"Q4126337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$3D717874-1462-4129-BAD1-2A07C5E12DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917c2294e85abda367dd39585e2f822634c75a72","datavalue":{"value":{"entity-type":"item","numeric-id":5768431,"id":"Q5768431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$03F23E42-2F46-4705-ABD7-1C8BBCD84FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0146acb8a4d3692b839d7e93518eb6ef1f402c41","datavalue":{"value":{"entity-type":"item","numeric-id":4154868,"id":"Q4154868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059653$34E1BC88-F54C-42E3-B2C6-6EF341766081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a5b59ee98832bd85edcb193aa3bff731e18518","datavalue":{"value":{"entity-type":"item","numeric-id":3686713,"id":"Q3686713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8745c1c329a9b87698a09d8280856caac13e6b7f","datavalue":{"value":{"amount":"+0.8151018023490906","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":"Q1059653$DA3989C0-58B4-467E-9208-781289EEA553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024eafc65a98ebb5e1a4771b48045523b8a2bb6","datavalue":{"value":{"entity-type":"item","numeric-id":3340857,"id":"Q3340857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71e686f62872edbda52cbaf1c06f5eb2ff01d1e","datavalue":{"value":{"amount":"+0.7965924739837646","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":"Q1059653$F26358EB-63FE-48B7-94AF-14C167ED68EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a41aacce66de52f5ee5e061986975ff5242688d","datavalue":{"value":{"entity-type":"item","numeric-id":4918617,"id":"Q4918617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdde096c8ef031ef2273177332d0e2b63e21926","datavalue":{"value":{"amount":"+0.7760086059570312","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":"Q1059653$D4729037-3395-4C84-BF5B-ED63738BF301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6520075e23a7afc2acbdb6468eb5ae623bd854","datavalue":{"value":{"entity-type":"item","numeric-id":992009,"id":"Q992009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f7f5d54d84241cf3a5f85e557a0ba38d2b7753","datavalue":{"value":{"amount":"+0.7644706964492798","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":"Q1059653$E98DD3EE-024F-49BA-A05B-412304052E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5460f9340481cdf95b362415d6458a1732f67d93","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca48d306bca85062fb988a8f7b01258408499e1","datavalue":{"value":{"amount":"+0.7638505697250366","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":"Q1059653$7B54729D-8AC4-456E-B524-5684B6BFD009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely axiomatizable varieties of BCK-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_axiomatizable_varieties_of_BCK-algebras"}}}}}