{"entities":{"Q1430469":{"pageid":1441209,"ns":120,"title":"Item:Q1430469","lastrevid":67423860,"modified":"2026-04-12T17:34:11Z","type":"item","id":"Q1430469","labels":{"en":{"language":"en","value":"Quotient BCK-algebra by a fuzzy BCK-filter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067239"}},"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":"Q1430469$36E94847-7E5B-47DA-BF32-1D657AF41E3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47520e15ddee74991ca5f8d7ad72adf60e56d826","datavalue":{"value":{"text":"Quotient BCK-algebra by a fuzzy BCK-filter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430469$6EEB2C55-31A7-4A39-BD81-1748A7A9EC29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f5c1d873bc095d63242c15750158a4ecd889f30","datavalue":{"value":"1059.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430469$50C22864-27FF-4F1D-9B7A-15568D6E16CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84d14ff71cc11198a7dd22eb3718d7920f292307","datavalue":{"value":{"entity-type":"item","numeric-id":221102,"id":"Q221102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430469$6A3FADDC-960F-45FB-80CF-1651D7156283","rank":"normal"},{"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":"Q1430469$5436102F-40DD-4480-AEB3-4CF4AC2DED7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430469$A4B5F985-02DF-4D92-9FEA-C8DB71D63589","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430469$B95D490A-432E-4146-B0F9-37310FF3AED6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a820a6897348777fd71718b3b493d1860bcc9c2","datavalue":{"value":"The authors construct a quotient BCK-algebra by a fuzzy BCK-filter which is different from th one given by \\textit{Y. B. Jun, S. S. Ahn} and \\textit{H. S. Kim} [J. Fuzzy Math. 7, 465--471 (1999; Zbl 0940.06016)]. Also, many properties related to fuzzy BCK-filters are investigated. Moreover, the authors introduce the notion of fuzzy prime BCK-filters in bounded commutative BCK-algebras and obtain some of their fundamental properties. In particular, the authors characterize totally ordered bounded commutative BCK-algebras by fuzzy prime BCK-filters. That is , let \\(X\\) be a bounded commutative BCK-algebra. Then the following are equivalent: (i) \\(X\\) is totally ordered; (ii) Every fuzzy BCK-filter of \\(X\\) is prime; (iii) Every fuzzy BCK-filter \\(\\mu\\) of \\(X\\) with \\(\\mu(1)=1\\) is prime; (iv) The fuzzy unit BCK-filter \\(X_{\\{1\\}}\\) of \\(X\\) is prime. As an application of the above results, the authors show that if \\(\\mu\\) is a fuzzy BCK-filter of a bounded commutative BCK-algebra \\(X\\), then the following are equivalent: (i) \\(\\mu\\) is prime; (ii) \\(X/\\mu\\) is totally ordered; (iii) \\(X/\\mu\\) has no zero divisor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430469$59CEA01A-1ED6-4F0A-BE19-3D40E218E620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430469$A797E5DE-ABC9-4D27-A3F2-2DEF1FCFB8A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8145d8fef25c1b54c1ef830002b1c47807d5e036","datavalue":{"value":"2067239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430469$6C591FAA-A29A-4B0F-9BE8-A50D71298E6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766dfec1e4aed581ed7d7fe1f2cecf526c65497f","datavalue":{"value":"fuzzy BCK-filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430469$3157C8AA-A02D-4E41-90D9-C2E6DB089C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a32f992549a900248f44549968ec7abc5da73ec","datavalue":{"value":"quotient BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430469$14646367-91CC-40CB-9C28-0C610DDE8B66","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0836ac9030fbe61380137820052b47e29f6762b7","datavalue":{"value":{"entity-type":"item","numeric-id":263146,"id":"Q263146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430469$94EDC0DA-7DA8-4F38-B577-930078CFE88C","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":"Q1430469$9EF451BE-39B4-4161-AE9A-8FA5392EE6F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9178e41011698f033591e7489ca6b588463344","datavalue":{"value":{"entity-type":"item","numeric-id":2774235,"id":"Q2774235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d262be70da1df76af974fd6266ef94cf891654","datavalue":{"value":{"amount":"+0.8608654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$EEDFF6A2-4B2E-48C8-8A73-6FADD940CE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff442a800f7aa74b294c3536f31b9371a352948","datavalue":{"value":{"entity-type":"item","numeric-id":4933979,"id":"Q4933979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289137514d7e556ae7a367de205640000575a306","datavalue":{"value":{"amount":"+0.81006414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$5FFA996B-DF74-4A07-A2F8-D973A0293F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08843ec850df053c2738780fe7b60318133ba27","datavalue":{"value":{"entity-type":"item","numeric-id":623708,"id":"Q623708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52ebbcb32638fa1b5a6f0ec61dd1c6d1ff4b02f","datavalue":{"value":{"amount":"+0.7969552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$21FA24D9-7506-48C0-80B3-CBF06B47B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60db0fe7071acd7eaa9bc87094f9592c47f7bec5","datavalue":{"value":{"entity-type":"item","numeric-id":4645447,"id":"Q4645447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26ec8f497fbc104f819f29d6e6207a48514124f","datavalue":{"value":{"amount":"+0.7842722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$EA51270A-DD47-49B5-B4B5-5A21EAE33FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec91b3556d6a2588f05df18453751d7ce277eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3396027,"id":"Q3396027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab8091e456bb263eb749c8f691555bc1b10e962","datavalue":{"value":{"amount":"+0.77025235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$A8CEBD78-8DD2-4F2B-AE21-D24C788B7751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f095892bfcc0bf9910b1a0069aa897153850aa","datavalue":{"value":{"entity-type":"item","numeric-id":4493353,"id":"Q4493353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e97e330986a01d1263e43fb422bbbfd2029dc9b","datavalue":{"value":{"amount":"+0.76781243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$AACC32B0-6BBD-41BA-ACC8-9A7B22DA3723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82037dcffde4655d00afd0541e485795f4dc54a9","datavalue":{"value":{"entity-type":"item","numeric-id":4222499,"id":"Q4222499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1032254a2ffed2ac3afdbd6ac37b0e2a26054c7a","datavalue":{"value":{"amount":"+0.764731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$1DAD9978-4FA1-4D48-8CFB-E1EF880124F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55f2540f96da9a07d6e325a26c7ed765ba9bb5e","datavalue":{"value":{"entity-type":"item","numeric-id":3370806,"id":"Q3370806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260eea3f584cad3e8214072c5011394b6d39db4e","datavalue":{"value":{"amount":"+0.7496776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$AFF5DA2D-CC18-40F8-9063-45A41B67CEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d04ade2f817f15d0a751e71f39295527f84aeb","datavalue":{"value":{"entity-type":"item","numeric-id":875666,"id":"Q875666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33750fd5b609f530d009a814c6b85f5a5ca2a075","datavalue":{"value":{"amount":"+0.749307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$3F0C641A-BE36-49C0-B940-77D0031F5B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126596bb58576bdb5ca89d0fcb7ee1c85c05ecf9","datavalue":{"value":{"entity-type":"item","numeric-id":4237701,"id":"Q4237701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e731a9070067e1e7e92e3b476377385282e6e2b0","datavalue":{"value":{"amount":"+0.7462891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430469$4E3E7BCD-61D7-4E8D-9320-703F58AEE3DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotient BCK-algebra by a fuzzy BCK-filter","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotient_BCK-algebra_by_a_fuzzy_BCK-filter"}}}}}