{"entities":{"Q879020":{"pageid":880868,"ns":120,"title":"Item:Q879020","lastrevid":65072784,"modified":"2026-04-12T00:07:50Z","type":"item","id":"Q879020","labels":{"en":{"language":"en","value":"Nontrivial BCK/BCI-algebras do not satisfy the fuzzy ascending chain condition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149489"}},"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":"Q879020$286358EA-11CD-4B2A-B9F5-7EAE68FC6608","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94ed95be6405584372adeead39439851fbd7705d","datavalue":{"value":{"text":"Nontrivial BCK/BCI-algebras do not satisfy the fuzzy ascending chain condition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879020$A82CFFF9-16F2-4385-B96F-C259967DD9E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad4b6781e0e6d510bf2ca6ddcce0cd7e0fc43ce9","datavalue":{"value":"1114.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879020$85A7C7B3-FCD1-4A4E-924A-287017F383C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879020$07B68156-1B38-4F24-ABDD-C663EE9A5E50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879020$7B5C8533-8269-411F-9FDF-703A02D330EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879020$491B064E-82CE-4AEB-9104-9C2983F5EE2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be40a1d53fb3cdfba9468ee4adf5997983e1605f","datavalue":{"value":"5149489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879020$AE5CC7A5-9519-4E8E-8680-759DA4679C76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d716549a4c7868d20a120e33e210ae44ff202425","datavalue":{"value":"BCK/BCI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q879020$442B2654-7E8B-44FA-A39E-B14DA20C4A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90372ff9741aa536e11a44d3d69fbb6293535457","datavalue":{"value":"fuzzy ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q879020$3BF60AD4-1CE6-407B-A277-ACBD02ABD2F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03e9cc1f1a76d9e714d3fbf3add5096a749c2e52","datavalue":{"value":{"entity-type":"item","numeric-id":501565,"id":"Q501565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879020$56B0BEB5-1686-4EB0-A818-6DDE15BA6211","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":"Q879020$889B6C77-238C-4C88-B6B3-1D2220F9B716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47a4608bb3e4cf62395efc2b30310996c1c86379","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.11.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q879020$EF5641ED-8447-4712-A938-C6C0FD2BCF1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"947d12272053287933167e3037552341e9c97572","datavalue":{"value":"W2033551590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879020$200D9E8A-D612-4900-BDE6-611A27C5F395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f8ee478e5132aa517d73ffe9614b148ba4d1d","datavalue":{"value":{"entity-type":"item","numeric-id":705525,"id":"Q705525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879020$A42CA60F-789D-4B58-A8E4-E857A0F28CE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"349921d03160acf19480da9944cf1d102f4f84c3","datavalue":{"value":"10.1016/J.FSS.2006.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879020$1893CAFA-02DC-486D-B1BC-0B3D402BFBCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4849b70fe01fe5237c1d1f4732a71525cc444474","datavalue":{"value":{"entity-type":"item","numeric-id":5300309,"id":"Q5300309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9e5366d51d04510adaeb3560634ce1b81a5a0b","datavalue":{"value":{"amount":"+0.86062604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$E1C22D75-E98A-4439-90E4-D4779AF9B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979f7278f1a553fe3b610e3693979609f5e1fcd3","datavalue":{"value":{"entity-type":"item","numeric-id":4313404,"id":"Q4313404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790988bb6307771e0f8d155fdf52dc2f5eaceb2e","datavalue":{"value":{"amount":"+0.85722023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$5778473C-5796-488B-8B6C-C3F8BFF6D176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9835d01ccc06a4e1af4d53adcc09e4c994ed1636","datavalue":{"value":{"entity-type":"item","numeric-id":4531611,"id":"Q4531611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69e67a02a7adeb5f6a1094ef2575415d77c603f","datavalue":{"value":{"amount":"+0.8456179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$962F1378-24BA-4FFB-B796-43072BBF9F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4521a0572a0be48680297f2b51e916ac851b6248","datavalue":{"value":{"entity-type":"item","numeric-id":4820416,"id":"Q4820416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36dc777b099343a56a4dcc8b8dd12fe5ce19693","datavalue":{"value":{"amount":"+0.8453335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$22C58883-8600-45FB-9AF9-D62F3DB63241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d316cbf06971d685e970472eccbe1ce1022a182d","datavalue":{"value":{"entity-type":"item","numeric-id":1818103,"id":"Q1818103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3778a56d1970c888bc7476df83e06cbc3cb554a","datavalue":{"value":{"amount":"+0.8390353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$B03704EA-8135-4B95-B059-B59DFBC12E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9438179b35669fa50cde6b06b9d5efedf8d375f8","datavalue":{"value":{"entity-type":"item","numeric-id":4867963,"id":"Q4867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e9ad9bcb556574fe61b38f704bee4d92491315","datavalue":{"value":{"amount":"+0.8389179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$C3D66426-1532-42ED-994B-28D8D79A4F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb298d5178a3ac6f6846831860a056dd64dedfd","datavalue":{"value":{"entity-type":"item","numeric-id":3073947,"id":"Q3073947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6fcd040c63f2d4c8862f50480be6055c214e1b","datavalue":{"value":{"amount":"+0.8372433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$36DAD512-3E37-49E2-8E6E-8AE75ACFE5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0491d975d6826dc2bb3c88c85543fbccc00107ac","datavalue":{"value":{"entity-type":"item","numeric-id":4357725,"id":"Q4357725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d504c27f402fc0a7c6399b0ff38dce0de044677b","datavalue":{"value":{"amount":"+0.8371841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$2C3FBABC-CA39-4EB7-9791-B3AF8AC90A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5832ff48441c85ceed1d10336ab5257ec8acdcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4386160,"id":"Q4386160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79ac603faab5cd94dda01e4533aa03bc8b70e09","datavalue":{"value":{"amount":"+0.8370217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$DB1D10EB-9DE8-4C3C-9FF9-95B4435C3B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276ae3faa4c634b187eca58a004545c2e65b7962","datavalue":{"value":{"entity-type":"item","numeric-id":3397195,"id":"Q3397195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f8129e57bccff96ca1db74baab459ef20a9692","datavalue":{"value":{"amount":"+0.8367076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q879020$78668F1E-7623-4ACE-91B0-8F3BA365FAF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nontrivial BCK/BCI-algebras do not satisfy the fuzzy ascending chain condition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nontrivial_BCK/BCI-algebras_do_not_satisfy_the_fuzzy_ascending_chain_condition"}}}}}