{"entities":{"Q1004824":{"pageid":1006672,"ns":120,"title":"Item:Q1004824","lastrevid":65988933,"modified":"2026-04-12T06:46:59Z","type":"item","id":"Q1004824","labels":{"en":{"language":"en","value":"Soft BCK/BCI-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528635"}},"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":"Q1004824$B8143831-1A36-4AEA-B82B-1CA074B4462D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e77c118faf10f98bc6c83fb742c66f4de4a193da","datavalue":{"value":{"text":"Soft BCK/BCI-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004824$EFB7ECA7-BD6C-4B0F-B4A6-B04122B7F96D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f60fe0882f5e79577bcead8c8d45d2aebd0bc562","datavalue":{"value":"1155.06301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004824$7F77E682-A73B-45B8-A10D-B176923844D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004824$29F5129D-E8FF-46AC-A3EA-0F0ED9848828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004824$5D988B72-7FCC-4CF4-B50C-D63D992A38EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a562c765c68f5b541e1970c03c442319d0a195","datavalue":{"value":"5528635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004824$C4873421-D701-47F7-94A9-993AD3CA9171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d716549a4c7868d20a120e33e210ae44ff202425","datavalue":{"value":"BCK/BCI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004824$F291E3FA-4997-4D6A-ADEC-25315D588845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1037b6ac0221bc05ae63856ebab39704d2b7624b","datavalue":{"value":"soft set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004824$14FE44D7-A639-4391-A727-D4EB0F073A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e564e17a271f39940e0cd77d1e2c2ea42f9e6e27","datavalue":{"value":"(trivial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004824$46CC6D5B-DF0B-4124-B3AF-41BC839CD966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0aa643814f19bac7d4a65bc18a9113dbd27784","datavalue":{"value":"whole) soft BCK/BCI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004824$05060A77-ECC8-4982-8C07-A4AB5E0FB9A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4edce6889de187fe685062a53cbb17bb02163e","datavalue":{"value":{"entity-type":"item","numeric-id":162483,"id":"Q162483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$F65501DD-0977-4196-86EF-446D8C4A756F","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":"Q1004824$92545C4C-554A-4543-9745-A9A9098C831E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e642d48631cbd10194415b0bedf5885af115d6","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2008.02.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004824$2E095BF9-73E2-4AE5-9925-276E3D465B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0784106b60f5aa09ffb5b433ac390344884a73b","datavalue":{"value":"W1974719612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004824$730ED7AF-938B-4A28-93C5-2F639D8C6256","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2218bc0eaa2de17618a7ad24f472356e2d43c51","datavalue":{"value":{"entity-type":"item","numeric-id":1962974,"id":"Q1962974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$C5B99D92-89B2-4A8C-BC63-0C2261BD659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb021b70fe9aef5b67f62694f212ebedb8fd33f","datavalue":{"value":{"entity-type":"item","numeric-id":1416317,"id":"Q1416317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$DA375EB0-852D-440D-AD28-361D1AB304AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c3396b6bafcd521738696e97cbdcda861e4b3f","datavalue":{"value":{"entity-type":"item","numeric-id":1416415,"id":"Q1416415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$EEFCDC32-6A9B-457C-9C16-79680D4482D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9606ae5345793882e2370dc1fd5628ca3e2b422","datavalue":{"value":{"entity-type":"item","numeric-id":2485506,"id":"Q2485506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$53BE8170-3E06-44AB-9F32-BCB28EBA1043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$02B93977-175A-4D7D-860B-DFC16F69DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1e5252610f60877bb6cf1041dd63ef112c77cb","datavalue":{"value":{"entity-type":"item","numeric-id":1595219,"id":"Q1595219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$C08F3968-BCD0-46A8-8339-DCE4404481D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be8945e8ce35dfa8308bec4002292f0cda51dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1595220,"id":"Q1595220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$AA190256-3C90-401C-9CCF-B73C1430BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eaf3f2204b0c01d7947fea3dd0429de9cf79a5","datavalue":{"value":{"entity-type":"item","numeric-id":5951702,"id":"Q5951702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$B6BE22AC-FA00-4EBA-89DB-DB2538625E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5aaa93529a9bf340f978af83da389ff5fe4f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4799972,"id":"Q4799972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$F90AC110-5909-47D5-BA20-8DF29F8BA55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c94fabdc5f1f6c4c825e694f27306015ba7c96","datavalue":{"value":{"entity-type":"item","numeric-id":2485301,"id":"Q2485301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$63ACA747-AD3A-43B6-BDE7-3C119C02D7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb56542a6f997cc2794dfd11b796ae95d73fdaf5","datavalue":{"value":{"entity-type":"item","numeric-id":2568235,"id":"Q2568235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$940FE1A9-0839-4D56-9FA1-F42A158AE0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362cc59112a783e76ad32ac2243c21c0d56098f5","datavalue":{"value":{"entity-type":"item","numeric-id":707360,"id":"Q707360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$26902F2B-5B4A-4032-800C-05677527E7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e222bf9de04bc6bffed79678cbb5e70ae395623","datavalue":{"value":{"entity-type":"item","numeric-id":5947582,"id":"Q5947582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$8BE68AE5-48D5-4492-BEC5-B34AA49FEFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe37104ce83b424368080365066de2e0131a504","datavalue":{"value":{"entity-type":"item","numeric-id":5947586,"id":"Q5947586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$B0D42060-D6F4-4F27-8AD1-507487C52086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11468404c11baf824b35b0068241e09778c8e43f","datavalue":{"value":{"entity-type":"item","numeric-id":5951699,"id":"Q5951699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$4699FC4F-0952-45A1-8C4F-66F462EE463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f06c6361c47e21803158e835ef557da29c49391","datavalue":{"value":{"entity-type":"item","numeric-id":3480110,"id":"Q3480110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$73A59A8E-C14A-4F28-A387-332EA5BF9951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$40E1F444-23FD-4A67-9F9B-447B13E9282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f93367fa9b66d3aa572febc4e1260dddb3fa0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4324470,"id":"Q4324470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$4CF0CA3A-4726-4BC9-B392-0E2DCA56D392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f9792c0af33aa2f4b14b9094476eed9600d7af6","datavalue":{"value":"10.1016/J.CAMWA.2008.02.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004824$1CBA397C-C9FD-43C8-91AC-D6FD4A341ADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004824$E136F5F0-8C54-4147-A7DF-DBF789C09EA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b140f1b9ddb66098e6ba1f9ecc7a3dc76178f057","datavalue":{"value":{"entity-type":"item","numeric-id":2858251,"id":"Q2858251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9f9680326ca7c18e0e1af28b8f2f5b42ebc1fa","datavalue":{"value":{"amount":"+0.9546526","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":"Q1004824$CED930DA-561F-4589-95C1-F426C87617A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088053efc2fa5942c2aa5a27e10cdbea46445a09","datavalue":{"value":{"entity-type":"item","numeric-id":2983566,"id":"Q2983566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb2d31e049219fe372278499bdd977a87df34c4","datavalue":{"value":{"amount":"+0.94477445","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":"Q1004824$14E5812E-811C-4FE0-9FF7-8CC1B6DAF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cfc29837af8bf7dcb41dab280f1d8e03cb846f","datavalue":{"value":{"entity-type":"item","numeric-id":979826,"id":"Q979826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a58a79066684ad2445563e4fd2930ab7e19139f","datavalue":{"value":{"amount":"+0.92664576","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":"Q1004824$4773ACB2-2B7A-4111-8933-402895B022B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f5775db475b79cbd21ba46e4936430ed8d99f2","datavalue":{"value":{"entity-type":"item","numeric-id":3589508,"id":"Q3589508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e9c1c3bad9d2592d7e32c282417c378985cbaf","datavalue":{"value":{"amount":"+0.9213153","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":"Q1004824$6D75AC58-4D16-41FB-849A-25F948803247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484a1dc2dae5ce63449b039af53fba7423c6f807","datavalue":{"value":{"entity-type":"item","numeric-id":680245,"id":"Q680245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc951ec2d9ca2a75d3877314bbb948e6dc3d5a3b","datavalue":{"value":{"amount":"+0.9187974","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":"Q1004824$A19F7E54-3D21-4EF6-877B-C73D877AC6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1b3a574e9853e8160c5680826c873564797a2f","datavalue":{"value":{"entity-type":"item","numeric-id":5278897,"id":"Q5278897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819a0d6baafd703aadc21691f07ffb55a3a58f97","datavalue":{"value":{"amount":"+0.91784835","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":"Q1004824$9E2FB4A1-15D7-4137-9F9B-C54FDBFDEDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a065f323077148f82e0b8bf764d43591d6bf1804","datavalue":{"value":{"entity-type":"item","numeric-id":2932200,"id":"Q2932200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b78fc72ef3bffca3aaadec1a3da91c6e28a37d7","datavalue":{"value":{"amount":"+0.9111631","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":"Q1004824$209DE132-3D51-4523-9BAD-FC5842DC1255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a65ef28341d2813a5500cacc3c0f1d75e011f4","datavalue":{"value":{"entity-type":"item","numeric-id":2991378,"id":"Q2991378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051339c9d47d0cb50484ca1b02f08c58987b3def","datavalue":{"value":{"amount":"+0.91106486","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":"Q1004824$C5A843A0-B420-4917-A715-DBE858925F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b083548d419f544b15ae45a1a31f7a21aefe3c","datavalue":{"value":{"entity-type":"item","numeric-id":2924310,"id":"Q2924310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002bc2eb16ca03b3147c013f67f0fdc5c42779d2","datavalue":{"value":{"amount":"+0.90742123","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":"Q1004824$E8FC5346-A188-4F74-93B8-C1D32FCCCD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89eb0c7ea7aa2445df5bfa76a9581255afe372cb","datavalue":{"value":{"entity-type":"item","numeric-id":1031692,"id":"Q1031692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e1154dcd2321e716f63bf4dda621b8b9c5607e","datavalue":{"value":{"amount":"+0.9062571","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":"Q1004824$43CCE602-C485-4C4E-87B9-F2FF5436A6E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soft BCK/BCI-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soft_BCK/BCI-algebras"}}}}}