{"entities":{"Q3540183":{"pageid":5570087,"ns":120,"title":"Item:Q3540183","lastrevid":50499170,"modified":"2026-01-14T05:22:27Z","type":"item","id":"Q3540183","labels":{"en":{"language":"en","value":"A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369500"}},"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":"Q3540183$BDFD4FA0-48A7-435A-8F4E-3F2D5E7A5559","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b701940674a02e750efa6171589eca6361eb5c62","datavalue":{"value":{"text":"A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540183$74B44059-DB0B-4E98-ABC7-CAF630CCE92A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"402e12dcd8767944d6925cefc19bbf6d219cb944","datavalue":{"value":"1156.03322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540183$2CAA9ECB-46D9-4EF6-A889-A710E27CBB71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a77234ea5613a5fda26837c48f5a0eb1b4c3dc57","datavalue":{"value":"10.1007/978-3-540-87531-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540183$38FE2228-15D8-4691-A621-B4A61E784AD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb827a90dd4b83e4f417410b623fc9083c7fe71f","datavalue":{"value":{"entity-type":"item","numeric-id":534706,"id":"Q534706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$9C3C3A99-5571-4718-B2CC-146AC5C732A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$F81D8CA7-8E97-42EF-96F0-2EBF21EFEB3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540183$B303A9CB-9280-4806-BA2F-ABDE81637BA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540183$94FC5E04-0BC1-44A3-88CC-AD1434CC538F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"766159305bdc98c4a93ec1d2d153b80d7856b977","datavalue":{"value":"5369500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540183$C730EE3A-EF9A-4361-AC47-E3DABC22E3D1","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":"Q3540183$7DD322AE-5D30-4D8C-9674-33035F7F172A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"510ab502d9b578aff9dfb64632319178796d6205","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540183$73E514F5-55B2-4A9F-8BFA-F0FC123D52DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"411d90436430909d78dde0072bdf1ce8a7ec2b25","datavalue":{"value":"W2166745846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540183$6F1157DA-0DB8-4B66-9ADA-DABA137E43FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c22639056cd296f13b201208d22065ed087c3a","datavalue":{"value":{"entity-type":"item","numeric-id":705530,"id":"Q705530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$CCE78258-E724-4637-9E5E-31624E973153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$4E95603F-1169-47BC-98C3-2F2A3A11FAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5824ae0d5cafb413411ba93fe540e0ec8bf82a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4842969,"id":"Q4842969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$E9DA91E1-77D4-4430-A893-BC44F172CFCE","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":"Q3540183$5345F32E-3C86-4C58-A22D-2D870025561E","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":"Q3540183$76ED2A8E-0664-4EAE-A177-EA7D2D888E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59655309835d1bf65d33fbabff53d3818d2a066c","datavalue":{"value":{"entity-type":"item","numeric-id":4650583,"id":"Q4650583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$041A90A1-4DA7-42BC-A0F8-677132E89E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74198f5866c9d20d6c144ccd76d55e0d5187233","datavalue":{"value":{"entity-type":"item","numeric-id":3525651,"id":"Q3525651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$E66C53BE-D8CA-4183-ABEE-B132038203CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a122da7d0045f8f87d5704e03af2556dd442597","datavalue":{"value":{"entity-type":"item","numeric-id":3613361,"id":"Q3613361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$0C0C36F2-8C06-4D10-9200-8E0EF6F2296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979527873e56ce4a7e38801acf179445595090a5","datavalue":{"value":{"entity-type":"item","numeric-id":2492185,"id":"Q2492185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$FA10C282-935D-4A0E-A677-DE84EE9FCF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$E9CDC842-6ABF-4ADC-9EFF-B53A1FF9E05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d0da8e99bfc79855d422c0e442391de397cb42","datavalue":{"value":{"entity-type":"item","numeric-id":4366767,"id":"Q4366767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540183$8D11277B-99F9-4ED7-89CF-0326AD7DA3B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d124ced210b5a910800c0a9a70e8c471fc29415","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7b73a6982cec3af97ae66a411ce4b89e7b5f7d","datavalue":{"value":{"amount":"+0.8126412630081177","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":"Q3540183$E38159CF-B1B7-4573-934B-11BCE53C9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64cca2cabb1ff8069c6022064d76b1bfc033ef9","datavalue":{"value":{"entity-type":"item","numeric-id":5018489,"id":"Q5018489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f0240cf14ec875ca13f8587f8913a685c00b54","datavalue":{"value":{"amount":"+0.8020681738853455","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":"Q3540183$FDDE4CB7-205A-4DD8-9E60-079C1A4D3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7affa8d8292b86faaffda854df34dddb19de9704","datavalue":{"value":{"entity-type":"item","numeric-id":3613361,"id":"Q3613361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a49070baafc2b88c84e3736a73102481be8c73","datavalue":{"value":{"amount":"+0.8020639419555664","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":"Q3540183$636CD791-23BB-4DF6-8639-17FCE2B9A173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c23f2de4e15635f792fa246ec553a532cab228a","datavalue":{"value":{"entity-type":"item","numeric-id":705530,"id":"Q705530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd9795797e15ba61d1f6ed94a649f9cbd96d3b9","datavalue":{"value":{"amount":"+0.8007011413574219","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":"Q3540183$F552D3DB-06E4-4F93-97B8-C36DBAE0E41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353313314b99b84a53611c37ee3d3587c7d2c4cf","datavalue":{"value":{"entity-type":"item","numeric-id":4366767,"id":"Q4366767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124668ada9c8a76db406d31f7f2407d6ef36b2e4","datavalue":{"value":{"amount":"+0.7933068871498108","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":"Q3540183$BDE76E5C-40B9-4CC7-B1F0-0B30A457F466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540183"}}}}}