{"entities":{"Q1047097":{"pageid":1048945,"ns":120,"title":"Item:Q1047097","lastrevid":69504024,"modified":"2026-04-13T07:26:54Z","type":"item","id":"Q1047097","labels":{"en":{"language":"en","value":"A logic of implications in algebra and coalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652288"}},"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":"Q1047097$DFDA616B-E949-43A0-B475-49CF7432C443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dca6ff02e3f1163b8505770adeea6562f4932ae","datavalue":{"value":{"text":"A logic of implications in algebra and coalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047097$825A5E6E-7BF0-48B6-B50C-1BB358655C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c3d1b234086c9a7c0f36f5e2ff9abf4d29ad70c","datavalue":{"value":"1229.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$E0104665-FA96-4F06-B7D6-1D1946916DC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$A4313654-65BC-4C1E-839C-0B5FE4082B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc66a6ddea8871f9f356e5b7dc9f8bda12c95302","datavalue":{"value":{"entity-type":"item","numeric-id":232628,"id":"Q232628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$30E40CA8-0F13-409B-8580-9D4B6D09533B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$128AE9E3-8B01-45B5-80FD-2DC6D7F99342","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":"Q1047097$1938E098-C2EA-45EA-8738-2463B915E908","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-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":"Q1047097$03223E77-DADC-400F-A462-ED390A60CE71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3efb6bdf2c61b75159948a320e1b567ca904938d","datavalue":{"value":"http://hdl.handle.net/10316/11299","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047097$F0F4DBA7-CFEB-4AAA-A780-48C38CA9D6AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98a72f1a8a22b2dbca8e3e7515687cd4c50e79e1","datavalue":{"value":"This paper rephrases previous work by Rosu that develops a sound and complete calculus for abstract logics in which models are objects in abstract categories, sentences are epimorphisms in the respective categories, and satisfaction is given by (categorical) injectivity. Both Birkhoff calculus for conditional equations in universal algebra and Gumm calculus for coalgebra appear as instances of the abstract calculus developed here. However important potential applications are not discussed, most notably in the area of partial algebra, which may rise doubts about the real value of this work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$73C12733-A1A0-4DE6-A272-F8E401AB4153","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$8EF69368-36C8-49D8-A185-80C0BF933253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$E24211A0-B8C3-4E55-B7F1-7D12933C8220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$15427564-ECE2-440C-9964-F871F11B4AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$7D6DF780-E9D7-4A3F-BD29-EC08E271D27F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58ad889a5f217e983ccd5be8207b2f0ca20ec9bd","datavalue":{"value":"5652288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$7193A9F3-382D-4A60-98EF-010033C83ACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fff528cdafd7efbd4a2cfe55470ba98f21ceff6","datavalue":{"value":"logic of injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$EF879730-475D-4FD3-AAC3-580E8267CB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4017ccff4523b58e65ddbd507411ae921a8f6ff","datavalue":{"value":"logic of implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$BF26BD55-9A25-41A7-A9A8-44BA6B8B4DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d3650413ef81e939c9dd325e2f0da76d740640","datavalue":{"value":"algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$8B8F4076-E9B1-4657-A0F8-F687D5BB6480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$58AECA8B-0478-40EC-9871-B42C07D57252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35ba7f6f588a318eaeaa124da143ea503cd02591","datavalue":{"value":"coalgebraic implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$08E8F433-DC7B-40FA-B27A-4343E9186206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76cbee7fcfa08050a0741362cb6814db47a4b1d2","datavalue":{"value":"Birkhoff calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$A7FC7C95-235A-48ED-8E0A-B3A74C0C3DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a61b15d8138f4d931bbd3de430e077a9cd35e01","datavalue":{"value":"Gumm calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047097$FB15523C-9A69-47CB-BC5B-7AA291BE27F5","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":"Q1047097$589480F6-7ACF-460E-86E3-041D13244042","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a45b19baa1edce0d6e21c80d6e91c2b7f1081f5","datavalue":{"value":"W2029610160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$AD94662D-A94B-4D4C-AF42-B6068B454B08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"507dd065ba3c687b23973c2b2ffc7af3160a76e6","datavalue":{"value":{"entity-type":"item","numeric-id":5394570,"id":"Q5394570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$E744DB1D-4536-46CA-9A20-B26C6E7B523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d3e3692142e269af6928bfbb13197e6bf2ac41","datavalue":{"value":{"entity-type":"item","numeric-id":860879,"id":"Q860879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$1B6FA73E-0543-4D2F-9217-5182A5D88907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e271c747a334e395eb2603e559f022009c174c","datavalue":{"value":{"entity-type":"item","numeric-id":3539842,"id":"Q3539842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$E7C75603-1845-42E5-A054-A69EE986BCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$561D35D9-73BF-418C-B4D7-D87C602BB950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1535d474fd2006462c4ccced829261db613aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4408805,"id":"Q4408805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$C5CA86D8-2B5E-4006-8D0E-00797FBCA2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515c51a0b47d119ec197c99d4b26c96be6b3ac90","datavalue":{"value":{"entity-type":"item","numeric-id":1884936,"id":"Q1884936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$11FB6E4F-F63F-49DC-AA20-8C3F46628B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$ED08D6E3-469B-4D16-BEB6-BD1AD724BE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b782c3feebe93265fa2f6a2a15a89ecd85b7062","datavalue":{"value":{"entity-type":"item","numeric-id":4742295,"id":"Q4742295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$158019A9-649F-4A87-903A-DE8E9251EF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c187a94b05f627c7a25b5c00b1ee4c86a247968c","datavalue":{"value":{"entity-type":"item","numeric-id":4408806,"id":"Q4408806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$F5CFD79B-5264-4C60-9574-6BF18943DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df78e87fac3bc29a9432355ad3ae1c01f7435c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4111746,"id":"Q4111746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$DE4FC019-199E-40EF-BA70-70E34DA1C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3019ee4c1b614ee2ddfe96b4d4cad575da4a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1318731,"id":"Q1318731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$9DFFD81A-C031-4433-944C-1EB83F791D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$92AABA77-1263-431A-84D5-1FFB74B1E3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e943633bccda3e55815c5f2913e5666b2c6c55","datavalue":{"value":{"entity-type":"item","numeric-id":2759839,"id":"Q2759839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$FBBD7E2B-94EC-4EF1-A521-DB991683D89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc6a614161ba750691061b26d7e0bc4b52df8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5941159,"id":"Q5941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$5B297395-7631-446A-911F-604F0E0D5F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9d67cedef0af99ef382671d3ad1177ddf4a7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4222949,"id":"Q4222949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$00205B76-F501-4319-8F1B-2226C8D34CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$7273833B-0510-4EE3-A118-99B273B90D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e147434653988416625fca95fdf92af4081291","datavalue":{"value":{"entity-type":"item","numeric-id":702200,"id":"Q702200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$EC2D28EC-5B7A-4C8D-A705-40A1022BE419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$42FBC04E-1FE5-4240-9D17-3C40813C348D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc702d4bdcb4023169c11779284b586c5865f8","datavalue":{"value":{"entity-type":"item","numeric-id":3801619,"id":"Q3801619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$A525377B-7023-4DCD-AA64-628893609151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075ef02ba506cc5efd860032dba228794f29d492","datavalue":{"value":{"entity-type":"item","numeric-id":4783329,"id":"Q4783329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$6DB6C7E9-1668-47D0-8594-96B89EF49299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e32327e747505124c79640ef1b0c6ee8acb9fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5757941,"id":"Q5757941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$C6505064-4EE0-43A6-A43A-FCBD1AE86A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$027A97C1-BE00-4720-891F-49B4AC7E04AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8fba440a012fbbaf161055a252b2b32501a81a","datavalue":{"value":{"entity-type":"item","numeric-id":1890937,"id":"Q1890937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$6C15D0A3-2078-42F3-B432-9AA30EED711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047097$42C26466-0CDE-4A21-BF91-9834B5A5A977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fac58ca0299063f911798d317f25de7e25bea3e","datavalue":{"value":"10.1007/S00012-009-0009-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047097$974DBF07-E322-4D60-9E57-5987951EF017","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d06e0464956267884cfb04fc78728c481c4c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0bad1ec5ca3e71da92bb8250756f7e728fb52c","datavalue":{"value":{"amount":"+0.7420579791069031","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":"Q1047097$0327486D-2E7E-4487-A5E6-0EFB27D4FD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4cd327c5735af3967b21964fb8449681111950","datavalue":{"value":{"entity-type":"item","numeric-id":1778066,"id":"Q1778066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d528a0bdf1fb4dfbb6a4599dfe0e4686300ce7","datavalue":{"value":{"amount":"+0.7319185733795166","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":"Q1047097$2B6F93E0-51BD-41C4-8976-47E4CFCDE800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c12d3eab5c785222f1be1540a2183a6544f311","datavalue":{"value":{"entity-type":"item","numeric-id":2842560,"id":"Q2842560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f780239f0c5729926d4cd8d2a8c4b13aa2659436","datavalue":{"value":{"amount":"+0.7255306243896484","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":"Q1047097$8144AEEC-ED42-4A63-8C8E-105F24128EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532f670057a5e3308ce4e67a4e97218f148e0661","datavalue":{"value":{"entity-type":"item","numeric-id":5505141,"id":"Q5505141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e02b40efbcc1786266d8dc400c27f9ba6f2134","datavalue":{"value":{"amount":"+0.7249273061752319","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":"Q1047097$7A0AB24A-05DF-4022-B9FB-5EE2D9877A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09b175bfbdf6020318f5e972670adb548aeaa90","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9c831879614e50e0b4b478aad1175b93ea7216","datavalue":{"value":{"amount":"+0.7197683453559875","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":"Q1047097$471BC97B-DBC6-40A4-938E-A81DEA7AB43B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic of implications in algebra and coalgebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_of_implications_in_algebra_and_coalgebra"}}}}}