{"entities":{"Q2289090":{"pageid":2299833,"ns":120,"title":"Item:Q2289090","lastrevid":57483465,"modified":"2026-03-31T03:08:11Z","type":"item","id":"Q2289090","labels":{"en":{"language":"en","value":"A sound and complete logic for algebraic effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158709"}},"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":"Q2289090$66A954DF-5AA4-408C-B97A-AEAFCE9C92E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf96ec48e186ecf855fb3394c2a451f613bc2d2","datavalue":{"value":{"text":"A sound and complete logic for algebraic effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289090$F05E5D3B-44F3-400F-B54B-AC487BCFA7AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5e3f2dc6392cbae10a134c3396d48aba96be8e4","datavalue":{"value":"10.1007/978-3-030-17127-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289090$E18F07F3-81FE-494E-8016-3B2E36021162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"185f6093a9b1f177c99b8a179b95b353e80fe53b","datavalue":{"value":{"entity-type":"item","numeric-id":2289089,"id":"Q2289089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289090$F783DF07-8D93-4AA9-A3CD-377DEF3EAE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289090$7CB7FD9A-3EE3-4319-9DCD-57B9047BF1AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289090$E2EBB7DB-2E83-4F45-A5C1-E5D8470467B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289090$18C8EEC4-7374-485D-A7EE-101298145C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289090$3957CFAB-B9A8-4F1A-A649-E7D226E6817A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ede7faa04f790a9cf7b8f4a0dd9624f1795f0687","datavalue":{"value":"7158709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289090$46A33D38-0A94-4AF0-AD3C-3CBBE681E399","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":"Q2289090$F5D858C8-8EDA-42E6-8863-2598C36354AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d10c7e70e679e94cf5c0f0fa0dfc8f3428205f11","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289090$41673D52-D751-4882-9978-EE9482F17ECF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ded4722f5be94fc324e32fba65189beaf28e2032","datavalue":{"value":"W2926572242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289090$A437B9CF-AE35-4128-A7BB-551DAAAC935F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98aecb1d15b1185427bf464f6cfc45d8649eccd2","datavalue":{"value":{"entity-type":"item","numeric-id":2323978,"id":"Q2323978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03450661e6468dfe647cea9c5ba90b491ec97f43","datavalue":{"value":{"amount":"+0.8372426629066467","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":"Q2289090$4C1F1958-C8FB-4522-B0A0-B82DC7DA2EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb09ef8c03ec030d62146e5f38c2fe45ab584c2","datavalue":{"value":{"entity-type":"item","numeric-id":2133179,"id":"Q2133179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5846a0b35825f5560fea8239011d397a8564913","datavalue":{"value":{"amount":"+0.8072226643562317","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":"Q2289090$4BC16A8C-762C-4F5E-906B-E3C0421A4D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30a673a1feaf7b769eadaefa44f4fd2bcb084cb","datavalue":{"value":{"entity-type":"item","numeric-id":5020616,"id":"Q5020616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f170c8d5043350f3331a371fe30e56537acbde","datavalue":{"value":{"amount":"+0.7994859218597412","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":"Q2289090$332B8145-F575-4EEF-9EE4-2DF16D08B61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b518aae1ad3e69b25a3f42324daa402412ed81","datavalue":{"value":{"entity-type":"item","numeric-id":5892064,"id":"Q5892064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b044ecb9627b25d23a3294cbe7010d8aef5dbb0d","datavalue":{"value":{"amount":"+0.7742530107498169","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":"Q2289090$D171CC8F-8D48-4255-85D4-88A20318ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b913f165a8fefe78a91adfa4e1c74ea7c146ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb6ceed6eed495262615e11d1dbdf74d500093a","datavalue":{"value":{"amount":"+0.7742120623588562","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":"Q2289090$9C888004-C815-4367-959F-15BFBEBDBAEE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289090$03A37AAD-7A3F-440C-8293-1214CE1357D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2289090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2289090"}}}}}