{"entities":{"Q2828243":{"pageid":2838981,"ns":120,"title":"Item:Q2828243","lastrevid":52655927,"modified":"2026-01-23T05:04:25Z","type":"item","id":"Q2828243","labels":{"en":{"language":"en","value":"A theory of effects and resources: adjunction models and polarised calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642941"}},"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":"Q2828243$A47267CA-E404-46F1-AF40-6648D4CF6814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98d494beb8d9d12b1a2feb530542be0f6977300b","datavalue":{"value":{"text":"A theory of effects and resources: adjunction models and polarised calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828243$EC801F19-9B2B-4688-8440-FA0189C64A1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8adcc018cb5bc5190a11d8c81cc99814ab047b61","datavalue":{"value":"1347.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$AD5F9EBB-C9FB-4152-8E16-39FB1B5E9D89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0da513915c933c3e022aaf4e3a222b8d9e539075","datavalue":{"value":"10.1145/2837614.2837652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$BE0AF4D1-AF31-412C-9737-7C68161D4BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828243$3C2523ED-93CE-45EF-B4F1-1C778F0DEAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69f47f99d084a0cb88dd9b6a1a09ca8176e924a","datavalue":{"value":{"entity-type":"item","numeric-id":2828242,"id":"Q2828242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828243$61F08918-B120-46FA-9A2F-BEC6FC582F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828243$3B6B19FC-FD81-45AC-9722-0A73A0B79117","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828243$859CA53B-9FEC-4F06-A08D-F7B3C1325AA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828243$12C5E4BA-9256-4C68-B625-F4A513BBE70A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$48459A8F-3F3D-4D3F-A786-38B89E6DD63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$E23F607D-EFC4-4E9B-87DC-E471E70A0091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$0137AAE0-E417-4FCF-8E3C-64BC3BD18841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$A81B4BC9-6C73-42E7-998E-3811C6ED0CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$62DFE812-3DD0-42B6-BD0B-E057BCDAD8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$6743BD8F-C464-47FC-B171-EEE9C920307F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$525741C2-60BA-46CA-9504-891E7138B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$71EF55FD-9848-405D-981D-7D9E42535C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19010d13d1c2c20503bb45aa8c5d4190fcc22a76","datavalue":{"value":"6642941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$BBB05BB8-2F1F-4690-9BB0-6860FAED0302","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de61d93749a2999f8cf84a09a468dc456e2333a","datavalue":{"value":"adjunction models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$5D1F1056-3866-4CAF-A0C8-1182C642466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$1C654E2B-33CB-4F05-B423-CFA1396061B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$742F6CD4-381E-4560-91E0-65A4716E0670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66382aa5f19b01e6b43163c12019f1400b9d90fd","datavalue":{"value":"Curry-Howard-Lambek correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$D4EF6BF2-365D-4BA4-B2BB-59B0852A4800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$6F9B625E-FF98-4C04-9E0E-7AF0F918C268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$B724D0DC-03AB-407E-83BE-3A612F2920FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb1ca9145ef8ebea6ad4ce1cd655ec6f016f3ad","datavalue":{"value":"polarised calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$2C64E6C7-B3BC-441F-9290-E92C6C7E1B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbbade30ab84a03e602668dc58ad10656dcf636e","datavalue":{"value":"resource modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828243$96C1590A-4D2B-4779-B92C-00DBE0312314","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":"Q2828243$67DD6174-009A-49AD-BB4C-964FBD663228","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70594504df7baf84bc302cb5310f5e36bd25ac6a","datavalue":{"value":"https://doi.org/10.1145/2837614.2837652","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828243$0B18EEDB-8BE2-423A-BFB2-B7C53FC61DC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"066f895656e0cdbb520524f79088d1878569147c","datavalue":{"value":"W2267766518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828243$96644CCE-251C-430E-8903-20EA119403A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea79bc2622693809ae52968ab411a2ff3d33530","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8ac9607de4fb7645b297cf69f78192df1bc3d5","datavalue":{"value":{"amount":"+0.7744764685630798","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":"Q2828243$44717C16-C45A-4E7D-B5BA-8CF922CECB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4e4de06299a15b3e5a3f3a6ec6d4b962605ea6","datavalue":{"value":{"amount":"+0.7525458335876465","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":"Q2828243$09E972E7-6F37-48E4-9EBD-EDFD051D0839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34961367298af3f999087e4d226b53646dc2c580","datavalue":{"value":{"entity-type":"item","numeric-id":2842825,"id":"Q2842825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4e93ce41564052301749a5383245a0a18a3d41","datavalue":{"value":{"amount":"+0.7321157455444336","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":"Q2828243$3888C9CB-30F8-4324-B9BD-36336104399E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a954c90f40f9c6951d376bad663a0e1aa0f081e","datavalue":{"value":{"entity-type":"item","numeric-id":4680357,"id":"Q4680357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5095dd6329b6790b798c36ce67a84df30f1ccd7f","datavalue":{"value":{"amount":"+0.7239266037940979","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":"Q2828243$632CE827-A594-42B1-B525-96487FFF2C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae0cb996ccdd5e428a5f2a6a5050bead4ac8c36","datavalue":{"value":{"entity-type":"item","numeric-id":5058362,"id":"Q5058362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecafd0991620560e5c1ca0162cb814dd9b5c5110","datavalue":{"value":{"amount":"+0.7090608477592468","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":"Q2828243$897496E0-326A-45DA-87D1-9D5A1629154D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828243"}}}}}