{"entities":{"Q1701730":{"pageid":1712471,"ns":120,"title":"Item:Q1701730","lastrevid":53031776,"modified":"2026-01-24T02:14:21Z","type":"item","id":"Q1701730","labels":{"en":{"language":"en","value":"Quantum B-algebras: their omnipresence in algebraic logic and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6844008"}},"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":"Q1701730$D840A527-39A6-457C-86A3-66E8BE24FEDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dda8a61e47925c84cd71b75cf49687f303e7615","datavalue":{"value":{"text":"Quantum B-algebras: their omnipresence in algebraic logic and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701730$391743CD-3414-4984-A4F1-CBC34B2E7AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0555579506e280b35e340d19ed185cc813b9815f","datavalue":{"value":"1406.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$6FD9D0E6-A96A-452E-A117-7029CD6EC28F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a55b5771c5da873e2c754839761d3146b3715a","datavalue":{"value":{"entity-type":"item","numeric-id":170548,"id":"Q170548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$09816307-A21A-48C1-8D4A-32DEADD84B0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$EC05099D-D94E-49A2-BB47-7491DB18B750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c144e320c99ba8ab535867a269aafb85a4e4b204","datavalue":{"value":{"time":"+2018-02-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":"Q1701730$7F2974EF-2837-44E2-A121-6953D0E69557","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4de9b27a3cac87dd313d619407a4f2a9b4f75f58","datavalue":{"value":"The paper gives a survey of quantum B-algebras that are generalizations of (pseudo) BCK-algebras, residuated posets, (pseudo) effect algebras, partially ordered groups. It is proved that the Cornish's identity holds in CKL-algebras (known also as HBCK-algebras). As a consequence, a new proof of the fact that CKL-algebras form a variety is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701730$462297D3-D3DB-4A03-A124-B6B1985E60DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b5c948b869a2147da37e901550cf23840e0a684","datavalue":{"value":{"entity-type":"item","numeric-id":429935,"id":"Q429935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$EFF22C57-56C9-49FE-90D5-DA34E3982300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$1310CE45-D3F4-496B-9C41-020603B30A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$ECB06684-3FE0-4F48-9CC9-059DA5825A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$D72AD139-53BE-467B-A851-325E9205B369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$F4751843-72F9-4A88-9CF8-BD410F721184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8460c25138386a20661a36c8d35b825671cc1432","datavalue":{"value":"6844008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$CE27B460-B142-4AF8-9230-9A103CD24A6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf61d4c131cf304a2a1fadbcbae0ce784cb9e508","datavalue":{"value":"quantum B-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701730$A44DC8EF-18E9-4CCC-A360-C2F0E9FD6019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a42c2a8cf9f729b675a7763488a953b48e753ff0","datavalue":{"value":"CKL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701730$88CFB751-749D-4E4D-B8EF-43286F1F0634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfbe8aba34cc9da6c2a5a2ce57479c9df1d09110","datavalue":{"value":"residuated poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701730$CD45B3E9-DDC3-41DC-84CC-C868A00EE72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e503306d78eb78f02ace438fe08fa12eb2facd","datavalue":{"value":"partially ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701730$C423D478-CFDB-448C-9540-45601F3F7540","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$8E8C8574-6753-4530-97B4-EA66EC21A116","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":"Q1701730$EBE22D71-6931-4575-8DD6-8A631B06C664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff7874819e4ab4a8b4ae69bbf15b54f43b04912a","datavalue":{"value":"https://doi.org/10.1007/s00500-017-2570-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701730$61196F08-A095-466C-BC97-D801CFA525FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2577883cf8b53dc9e8c795eeb5bf516daaa0adca","datavalue":{"value":"W2602178304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$50FAE7BF-EACA-4C9C-BC02-FFD89C2D9AE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bbf4e2d5122f669932cbef63d0ebca09a54e25","datavalue":{"value":{"entity-type":"item","numeric-id":863353,"id":"Q863353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$F72182A0-15BF-4443-A7E8-39D17C0B0F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f3830183be386e8ec478d8357e11deae4a551c","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$00D829CD-C876-4BA5-9881-C6B581B360C7","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":"Q1701730$420901F9-768F-42C6-83C1-38EA601F9EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac181fa828ed49525c0080bb2d3d3486ea90c258","datavalue":{"value":{"entity-type":"item","numeric-id":3178885,"id":"Q3178885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$ABE218CF-8F76-4751-BD32-52B95AE097F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4359de63188e9ac22aa2e99bb5c38ba9c03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$CCC3636E-433B-4B9E-B171-07A04C4339DA","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":"Q1701730$2932AB91-05D6-4556-BA79-26AD4E68681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efe0fa4050ed74ad54bfeb0dc532f1e83dda93b","datavalue":{"value":{"entity-type":"item","numeric-id":1042440,"id":"Q1042440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$F71EA45C-1F11-43AD-84FB-3208EAA3DB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be417510edee0dad063a48f9df0ab5d55932e55","datavalue":{"value":{"entity-type":"item","numeric-id":1974965,"id":"Q1974965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$F188BD17-EB0F-46BF-8130-EA142A2001B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3920e2c7d0a39dfee896d9df2bc4ee68491cd8c4","datavalue":{"value":{"entity-type":"item","numeric-id":2740976,"id":"Q2740976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$C7223D32-618A-4C5E-A6F9-3373A476FE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce363d7ac763a221c97793e13567b3143f394522","datavalue":{"value":{"entity-type":"item","numeric-id":2752146,"id":"Q2752146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$56090798-757E-4251-A752-9D2EFD666607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd0a326d147cb607103108bc63b26bd19385163","datavalue":{"value":{"entity-type":"item","numeric-id":5310083,"id":"Q5310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$3FCD3DF5-A85C-4676-8B4E-3CD848AF8C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e9bc9d848c60361ae5560f29213d813af19b47","datavalue":{"value":{"entity-type":"item","numeric-id":4888337,"id":"Q4888337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$E8C4440D-D0C0-4512-B0DB-6F325E42E078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e272ca1615ac43d40d45373d0aef1c0361f351d","datavalue":{"value":{"entity-type":"item","numeric-id":1577508,"id":"Q1577508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$64CF996D-8E5B-41E5-B89F-2F9E2158D91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b1e238abd043a5656099efde0fd3da5546623c","datavalue":{"value":{"entity-type":"item","numeric-id":1779279,"id":"Q1779279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$DD1AC0EE-665F-40C0-A963-757EFCBF13B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a033c9131903df079efdfe44d41270b93b8fedf","datavalue":{"value":{"entity-type":"item","numeric-id":386648,"id":"Q386648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$8869B0FC-3868-4354-B460-B706A01453D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fa63b5a77dcd96761ceac357bd8657b931eb18","datavalue":{"value":{"entity-type":"item","numeric-id":952544,"id":"Q952544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$A2632E4F-FAC6-4AA6-8688-CDCFDCE6B5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7725168060cc105002f9459ab9a3e54b04c6f60f","datavalue":{"value":{"entity-type":"item","numeric-id":3545750,"id":"Q3545750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$75EA8767-8B41-4BF3-ADC2-30B05659C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8c4bbd7128cd110eb8c05e374b03e902c5e4ab","datavalue":{"value":{"entity-type":"item","numeric-id":1047099,"id":"Q1047099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$8965C47B-7EFC-422A-B006-72B42128535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626f7717f99ea3a81e7c0bfbfab6f806590e9f83","datavalue":{"value":{"entity-type":"item","numeric-id":2440506,"id":"Q2440506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$78E74051-E060-4590-B9A6-0328D9E349A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6ffe09ac162dfabd8ea75f5abd6b70e49d41cf","datavalue":{"value":{"entity-type":"item","numeric-id":3789564,"id":"Q3789564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$565BAED5-0383-47E7-903E-95AE93D66612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe96f759387a9e99f6c9f63deedaa93e3a2a0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433109,"id":"Q2433109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$236DB9E0-389E-44B6-ADB2-3FF11D133273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca5120965f3e9ce340a196c88ff0d87830d6a39","datavalue":{"value":{"entity-type":"item","numeric-id":3686712,"id":"Q3686712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701730$117EED40-6960-424E-8299-65412D444F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1fa7c70fae3cfbfb0d534805c177c43cd35b9c4","datavalue":{"value":"10.1007/S00500-017-2570-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701730$16777350-9F06-4CC4-AB1B-93449E268247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02130dfbef327d4d8458c3932512521dcfd19cf","datavalue":{"value":{"entity-type":"item","numeric-id":5024537,"id":"Q5024537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c297856f1e70973e0432376f5faa722ee557012","datavalue":{"value":{"amount":"+0.8208871483802795","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":"Q1701730$E1393F15-B4F5-4757-BCE0-DF27A006475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9ffb1657f63f7b932b32409fc52e5399981507","datavalue":{"value":{"entity-type":"item","numeric-id":1640148,"id":"Q1640148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6daae1921c03230a48fbb9a82dfeb1f956716b2","datavalue":{"value":{"amount":"+0.8205063939094543","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":"Q1701730$EEBE2720-E398-42A5-B0E5-8FCB15DE3F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5259740b33f370b2d0cada30f095111422ff8a","datavalue":{"value":{"entity-type":"item","numeric-id":2062201,"id":"Q2062201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beed5dae5c5b8c14c39cb98dbdc689540bc202b","datavalue":{"value":{"amount":"+0.8202396631240845","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":"Q1701730$81F1DEFE-7D19-4E4C-98B7-B8BF21980A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aed63db7aaa8198af7914e8b213cac43cd7690a","datavalue":{"value":{"entity-type":"item","numeric-id":4680239,"id":"Q4680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afecee31ae534ada0b7ec568f933198f4ae28cee","datavalue":{"value":{"amount":"+0.812846839427948","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":"Q1701730$F9BDC40C-8813-4CE3-9B64-98B886B3B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1c42645739f35c96193b05e0d5791972d47ca","datavalue":{"value":{"entity-type":"item","numeric-id":386648,"id":"Q386648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd2b789be31fa57f5d551aa2458b466e6a05bb9","datavalue":{"value":{"amount":"+0.8123392462730408","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":"Q1701730$AF5F808A-43E0-4A66-BAFC-8CFA17397FDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1701730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1701730"}}}}}