{"entities":{"Q1827389":{"pageid":1838131,"ns":120,"title":"Item:Q1827389","lastrevid":69422277,"modified":"2026-04-13T06:53:47Z","type":"item","id":"Q1827389","labels":{"en":{"language":"en","value":"Stratified coherence spaces: A denotational semantics for light linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083402"}},"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":"Q1827389$88EC8A23-D51C-4D70-813E-3F75AC3188AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c41226d7b89b65b88cbec860b4cc99d273fe9b3","datavalue":{"value":{"text":"Stratified coherence spaces: A denotational semantics for light linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827389$54118EA6-08A0-4CF9-A39E-AD7D66F1E3EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9ed0340eb726cafecda676c0ba8831d5db67458","datavalue":{"value":"1051.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827389$3B1FECC1-4278-4BE5-9EC9-1C31C01F68C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$60BE020C-675C-4737-81FB-35A8C218B222","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$D425BB7C-2A19-4855-8A8B-E13910A5EFE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827389$76ADAF77-184F-4856-9E7F-28F0D473F1C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"526caeca0686c060db31bf22752c311519edc6df","datavalue":{"value":"The author provides a denotational model for Light Linear Logic, a weak variant of Linear Logic. The model is the category {\\text {BSCOH}} of stratified measured coherent spaces (and locally bounded stratified cliques), which is considered to be a sub-category of stratified coherent spaces which is proved to be a model of Elementary Linear Logic (the analogue of Light Linear Logic for the Kalmar elementary functions). The soundness of the model with respect to Light Linear Logic is proved via proof-nets. The model {\\text {BSCOH}} is not complete with respect to Light Linear Logic as it validates some extra principles; though it does not satisfy some specific principles (e.g. the iteration principle) which are included in Linear Logic but excluded in Light Linear Logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827389$9B6F2BAE-7C78-46BE-BAA1-4847BB2BC1A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$C75F22A2-A1B4-49EC-A096-3D4E1618EC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827389$7602A863-04D4-4992-90C6-14FE6C378948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2446c55a81cccd2bc77fb862b61c9660475d029f","datavalue":{"value":"2083402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827389$13AC3238-059F-4C68-9FDC-D252004D0392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827389$1A8D4098-62FE-4BA7-804D-EE7077CF58FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7128e2eaf7386cf31ea996a19d88ad8a8e3e60b3","datavalue":{"value":"light linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827389$6AFB0267-8675-4A72-B67E-E8AF8ACC2F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4e171e5dd1221112c43de55a1f1ca0b398a691","datavalue":{"value":"coherent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827389$8593460E-2AB9-4BAC-92D6-F125B56B64A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827389$39921FEB-BB2C-43A1-ABFE-3EB3668A1029","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8549cdf144b68be9bb204e0fa5f1c0ef2f60c417","datavalue":{"value":"Q56092883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827389$6BCD692C-166E-4C5F-B64B-6C38EFB00AD5","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":"Q1827389$C3676AD2-4AA3-405F-A8B8-8F3D9CB27979","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58f41ffbff7edda3e0a9cb5511bf3dec96244183","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827389$1AC011EC-A685-49C2-86E3-B66D26656404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7a775ee9c12b6eb2daed386ff2aaedee28ac7d1","datavalue":{"value":"W2159254191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827389$F86EA73A-062A-452A-90B8-8DC3BF58DD86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a1510f4538b361d4257c4f49fb58819ff03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4490717,"id":"Q4490717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$319ECBA1-3416-4E5B-B086-F6CDC75988FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$AC494C42-8B78-46FD-8BDD-F8D46C3204D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeee92425b79f3aa5205156f131903f418c02c38","datavalue":{"value":{"entity-type":"item","numeric-id":2708316,"id":"Q2708316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$BDD0BF20-7BD0-47F9-8EE3-2366C5E43644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78b8ec2e8c9e46621b775b5f74a85e1dce063aa","datavalue":{"value":{"entity-type":"item","numeric-id":4263861,"id":"Q4263861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$E2B593F1-A6C0-4326-9261-229579706C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2380b35de576e2f3b9aec23341ed5906f3105","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$A092BF6E-A79C-4919-9FEE-DDE0E9E3BB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$8D3F87C7-5403-4906-9498-E210E94873E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$EEB79ACE-9C0B-4DD0-A6AA-E3C57BE2CBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$74427262-74B7-4C6B-A001-906819EF3424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$8C35DF3A-0294-41D1-B0C9-FBF39C9867F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$AA88797D-8309-470A-862B-58D486435CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40effec42fc136589a0230348a43d1737f16937","datavalue":{"value":{"entity-type":"item","numeric-id":4222893,"id":"Q4222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$AB1661E5-D0DC-4839-83DD-16B686CE61DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23e4484dbe90c851fe3b3eecd6556006a3445e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$5CDE96CF-06FF-40A4-B497-FE5F7A8A792A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693bf5d49b2dc1c71923779a46d08e2176174e00","datavalue":{"value":{"entity-type":"item","numeric-id":2753690,"id":"Q2753690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$B6D5490A-A9CA-40A8-AB73-9B7D955B2C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a058f36b73e5d35a0a55e876c43fbfe8d13426a1","datavalue":{"value":{"entity-type":"item","numeric-id":4249177,"id":"Q4249177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827389$069BC4AD-43E6-412E-837A-EBC8756D5739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d15e5213b78837ba352aa9805dd9a68beb2d3bd","datavalue":{"value":"10.1016/J.TCS.2003.10.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827389$4A9FF7B4-5244-4127-AE47-6950D20F9194","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740cf01aab63b7c10edf99ef6abc131e8acb9bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4222893,"id":"Q4222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab96efdb1c696c3e8d81d0b493022592df5f8b","datavalue":{"value":{"amount":"+0.765815794467926","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":"Q1827389$67D1CF02-BEC7-4F3D-9F84-0909A3469133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8c6ce375027fbeb9636951f60f4b9b1d34a122","datavalue":{"value":{"entity-type":"item","numeric-id":1398478,"id":"Q1398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c7937b2ea8ad0f8695b929dd749e3b2852e798","datavalue":{"value":{"amount":"+0.7658155560493469","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":"Q1827389$E93EE4FF-267D-4693-B120-4C696A21DB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb16c485c814e4b2039848fa6e93cacfd02777c","datavalue":{"value":{"entity-type":"item","numeric-id":4222842,"id":"Q4222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c7937b2ea8ad0f8695b929dd749e3b2852e798","datavalue":{"value":{"amount":"+0.7658155560493469","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":"Q1827389$B7CCC013-4E89-4E0E-9E14-361BCE86D0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4a13abeaeb5516e21700887cf0ba7c3d3890d3","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d54ba5e8f061a3aaac1f5b0a582d41fff2eca9","datavalue":{"value":{"amount":"+0.7556198239326477","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":"Q1827389$AAE65340-22B8-4A3F-B2A5-71A0684025D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ce0b9eaaea21dfd61968df0caebd433bfac3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3646423,"id":"Q3646423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6159780fb17c7bc8e8867a446f8a7effcc9a1ec","datavalue":{"value":{"amount":"+0.7554612159729004","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":"Q1827389$87F0F1C3-8147-4F24-A2E3-4514BD211263","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stratified coherence spaces: A denotational semantics for light linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stratified_coherence_spaces:_A_denotational_semantics_for_light_linear_logic"}}}}}