{"entities":{"Q2362883":{"pageid":2373626,"ns":120,"title":"Item:Q2362883","lastrevid":72599154,"modified":"2026-04-14T05:59:51Z","type":"item","id":"Q2362883","labels":{"en":{"language":"en","value":"Kleene algebras with implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745760"}},"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":"Q2362883$D1968AFD-DDAF-4E29-AE89-513A60657D8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4811f4d0434257597ac68115b25e08d6275c799d","datavalue":{"value":{"text":"Kleene algebras with implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362883$77D77DE0-071B-4122-A7A2-C8842D071825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"661daf992c73deb8da5efe7751fa022509c787fc","datavalue":{"value":"1400.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$D0F3DB15-D9B0-47A2-B376-6C0E7F03D1EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$7EB42891-722B-4C1A-85FA-09C401CAE860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f21ce2810cf359b217225ea862e10a1ca99e11d","datavalue":{"value":{"entity-type":"item","numeric-id":266867,"id":"Q266867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$6013C00D-3B27-4C7B-9ADF-041B0BC63DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$01A2627D-13F4-49C6-8727-2677A612715F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$FDC66EE1-F2FB-4EC3-87F0-FCB3218EE881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362883$03319034-DB5D-4933-8E4E-C048EAC92113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6bfa74d0299649c7102140326b05a6ba6ae91fa","datavalue":{"value":"http://sedici.unlp.edu.ar/handle/10915/103275","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362883$D967E1F1-216F-42E3-9128-DCE9C828F5EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"051d7b4597a19be1b328b780192c5e73c4696a33","datavalue":{"value":"The authors study the class of algebras \\((H,\\wedge,\\vee,\\to,0,1)\\) where the reduct \\((H,\\wedge,\\vee,0,1)\\) is a bounded distributive lattice and the operation \\(\\to\\) satisfies natural conditions known in implication algebras. If moreover, the conditions \\(a\\wedge(a\\to b)\\leq b\\) and \\(a\\to a = 1\\) are satisfied for all \\(a,b\\) in \\(H\\), then this algebra is called a \\(\\mathrm{DLI}^+_1\\)-algebra and by \\(\\mathrm{DLI}^+_1\\) the variety of \\(\\mathrm{DLI}^+_1\\)-algebras is denoted. Further, they investigate the category \\(\\mathrm{KLI}\\) whose objects are centered Kleene algebras with involution. In [Trans. Am. Math. Soc. 87, 485--491 (1958; Zbl 0228.06003)], \\textit{J. A. Kalman} constructed a functor \\(K\\) which assigns to every Kleene algebra \\(A\\) the so-called centered Kleene algebra \\(K(A)\\), i.e. \\(K(A)\\) contains an element \\(c\\) which coincides with its negation. Using this construction for algebras from \\(\\mathrm{DLI}^+_1\\), the authors show the categorical equivalence between \\(\\mathrm{DLI}^+_1\\) and a subcategory of \\(\\mathrm{KLI}\\). Other subcategories of \\(\\mathrm{KLI}\\) (named \\(\\mathrm{RWH}\\), \\(\\mathrm{SRL}\\)) are investigated and the categorical equivalence as well as the corresponding functors and their possible right adjoints are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362883$C2D8DD61-F09C-4A6E-8C90-11C7DD9015AD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$705E869C-A359-4225-8C8A-523D99A3A63C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$7BD14044-DE78-408F-94D0-252303ADB4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$61A176CB-A9A9-443D-8E27-5219B6835BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$D00C0BA2-A121-4F5C-B8D8-B31264F46DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$DB53A3D6-2ED1-4873-B063-F0DE0A61B8E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0646afa75559c50531b537936e70556cac41179d","datavalue":{"value":"6745760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$9FC9042B-0DFD-4010-8121-1292F915AA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879f0a1676ebe7f5f4ea9a7c99fb8a0e7fcef38c","datavalue":{"value":"centered Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362883$73C9324B-984E-47EA-93E0-63D88C9698AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a487b3f9560cf777e16b079e33c3ea472da3346e","datavalue":{"value":"involutive distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362883$D8E222A0-CADF-4283-8AEF-D011EA1C960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe103622f848eac8d0a425b5c72f4e036c01517","datavalue":{"value":"lattices with implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362883$EEAF8E8B-B011-464D-A503-245797BA6FAE","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":"Q2362883$0652D313-565F-4E82-90C0-D5233F2ABFD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b14b556daf7036c0b6d09bacb0eee409b6936e8d","datavalue":{"value":"W2587493071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$8AC2F984-0151-4A5F-A04B-733410F00399","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1061ba4dfee59eb91f071e588d854a29a14527d7","datavalue":{"value":{"entity-type":"item","numeric-id":4116448,"id":"Q4116448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$70675FC6-2082-4497-9124-C273E9B38D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6d8b6a94cdb09d13b659d7c17bd78e0072322","datavalue":{"value":{"entity-type":"item","numeric-id":3003327,"id":"Q3003327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$131ADDE1-DA09-4BC0-B1C8-375F7FEF6E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bb7dbf8abdef8d4f87c20cbbfb5e95fc2d02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3583096,"id":"Q3583096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$B79C2F22-9BD3-40C1-B5A5-9493B31F979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43685c7fba9735440bb6ceaa2e16a78de9205098","datavalue":{"value":{"entity-type":"item","numeric-id":1005951,"id":"Q1005951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$A0890CDA-62BF-4380-97A2-ED9D0E7AA38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2cf7eeef913e708a0ae034e51a995737a5a9c1","datavalue":{"value":{"entity-type":"item","numeric-id":2016065,"id":"Q2016065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$831AC09E-3812-4698-BEFA-2D6FE49C01FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$AD542DB4-0C53-4E5B-8251-0A05A62677AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba49eb4355f5c2cd74dfa9ae6aa3ed6736dd2b4","datavalue":{"value":{"entity-type":"item","numeric-id":1090350,"id":"Q1090350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$D0494F52-B08B-4C54-AEC3-F839892EF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3278fe075b27458aaeb35015ed00e8cd013b617","datavalue":{"value":{"entity-type":"item","numeric-id":4170718,"id":"Q4170718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$35366572-800F-4DB3-8288-758A4F3004E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$7E23682E-194D-413B-A0DA-65079D15D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea391b40383a90b131a418ce786a45da6ee431","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$15F9A388-69B9-4B90-99A8-7AE8EADD78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362883$771E0085-B00A-4C9B-A548-333BD63A86A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35439c31bfa656c9b9f94357fe0b439f0fcd716","datavalue":{"value":"10.1007/S00012-017-0433-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362883$053586F6-6C95-4BD0-BCA6-FDD4B1CEFE35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f516f31011f4164c2b2566bdf9e10a780df18f2","datavalue":{"value":{"entity-type":"item","numeric-id":5025698,"id":"Q5025698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f81ae63bfdefe861c07b40001a3521800ab9b4","datavalue":{"value":{"amount":"+0.7168853","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":"Q2362883$527EFC88-39D6-41B1-B64B-FA432A347842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03a39b0d7c2f26fa0b139ba9dbb1c6c397442c8","datavalue":{"value":{"entity-type":"item","numeric-id":1005951,"id":"Q1005951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc82df3441bd1600f68405e21b99a1d26051b58","datavalue":{"value":{"amount":"+0.714028","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":"Q2362883$9AD10246-CED1-4910-BDB4-7C9AF26005C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2729e3f9111d26cfdd2804e304ed292b8005e0","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5880e1b990370c1032293e71dd06e5e35d961baf","datavalue":{"value":{"amount":"+0.6676281","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":"Q2362883$A37E56FF-BF5B-4291-A4AD-CBE20F59CA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a02faf2a1ae92aec638557559ae57797058689","datavalue":{"value":{"entity-type":"item","numeric-id":6115855,"id":"Q6115855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf0364fed5ead9a591d2b9387ce639192e01857","datavalue":{"value":{"amount":"+0.66020787","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":"Q2362883$672679C8-E193-4395-9E07-28AC7249F467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aded192bfc9d51c59fedb9df23c5f8cd59282053","datavalue":{"value":{"entity-type":"item","numeric-id":4870082,"id":"Q4870082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b663bc80ef1645504d1affb17e69204d6e2512d3","datavalue":{"value":{"amount":"+0.65984786","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":"Q2362883$87CA714F-5693-43A6-B8DE-539755987304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fd0c9dccb6faa2b19bc43b7506db0da58d9f20","datavalue":{"value":{"entity-type":"item","numeric-id":5384358,"id":"Q5384358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a038809e09961baf8cdc75e01e7410adf20e3ae4","datavalue":{"value":{"amount":"+0.6556237","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":"Q2362883$65A22762-F613-4A43-B5BE-056CE411D7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f925886ddb871476e5b8797a901341b1ce2e379","datavalue":{"value":{"entity-type":"item","numeric-id":1090350,"id":"Q1090350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db3c16144b6ecd6712b44d4f9ae70e8807d2d1c","datavalue":{"value":{"amount":"+0.6548712","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":"Q2362883$7BF18170-6694-4923-AE0F-2CC32DD6A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7d34e67bbfb1820dbd464f3f5f17717d309792","datavalue":{"value":{"entity-type":"item","numeric-id":4547898,"id":"Q4547898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6548981f0878c02589a0fe9740e77fc95e907015","datavalue":{"value":{"amount":"+0.6516633","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":"Q2362883$852CC308-0D25-4B56-8D5D-7EEB8E0B6E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d6c95ba1b59158041166d0e6126701863fd66a","datavalue":{"value":{"entity-type":"item","numeric-id":4505732,"id":"Q4505732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46722c8ae7508e90f33d52f3faebef32fd673f1","datavalue":{"value":{"amount":"+0.64545655","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":"Q2362883$D538552C-4CCF-407A-BBDA-69163BBA1BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b931fb31e2daa5bb0b1124f1f3ad80dafa2e4734","datavalue":{"value":{"entity-type":"item","numeric-id":5476121,"id":"Q5476121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca332f50d9b84fe3b9193788a5f635aad2f440dc","datavalue":{"value":{"amount":"+0.6446938","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":"Q2362883$F74A8E8F-ACCD-4088-866B-4764FFD84927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kleene algebras with implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kleene_algebras_with_implication"}}}}}