{"entities":{"Q6196503":{"pageid":13331391,"ns":120,"title":"Item:Q6196503","lastrevid":58763178,"modified":"2026-04-06T15:28:13Z","type":"item","id":"Q6196503","labels":{"en":{"language":"en","value":"Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7818975"}},"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":"Q6196503$2C1CF511-375C-4200-A42B-007EA2EFAE58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"518fee0a58aa57db995b6597577ae1aba1df6a05","datavalue":{"value":{"text":"Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6196503$09EB75EC-D6EF-4EA4-888C-41DEF565D98C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5eadec4908b0d0d55296c11194fdaead805293b","datavalue":{"value":{"entity-type":"item","numeric-id":2151414,"id":"Q2151414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$4532E0E5-BC1D-4204-912A-2E0F9F0AF979","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$1BE3F5EA-2733-4408-9A83-3841BC8991BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6196503$CBE02A90-CB20-4813-AB1D-C49EA674F707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bfb8af66013382ef52186c96e92dcbc8fd44404","datavalue":{"value":"https://arxiv.org/abs/2308.04521","type":"string"},"datatype":"url"},"type":"statement","id":"Q6196503$5755C549-5953-4978-BA7C-D284906DBAB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6196503$808BFB8E-EB80-4F62-99F8-577222B3634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6196503$5F874916-E893-4667-B551-13C17B57AF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6196503$4F926304-91CE-443C-8F4B-E0DD5030982D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6751cca18b3fd5105611574c291eb51a1e21c4d3","datavalue":{"value":"7818975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6196503$EED9E692-E147-4A72-AD1D-AFE9C0ABA681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6196503$3653F475-DBAA-46E3-ADF5-22ED42C43B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e0a4915ae91fbc52659a534e7f2a72d828eabb","datavalue":{"value":"subexponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q6196503$59A6CE46-93AD-4169-970A-AE5CE92C2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366dd319579349da14fdeff0d88dd87b917a305","datavalue":{"value":"canonical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6196503$4E568129-4B6D-40FD-8D79-43E4409478F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6196503$DA507BD2-3A47-4881-9002-17F42CA5934B","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":"Q6196503$E0ADC7F0-F5F4-4739-924C-090D7F0D2607","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$EC558C69-69ED-4EEB-8BBE-8F4B0AD6ADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$AB01748F-6F83-47B6-A02B-5B46F257B554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bcd3c2d1841454b2489acc1f46dec6b8812b7","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$1385A94E-7740-436E-9AF9-7AB3D6E3A493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$7ED248E7-864C-4B5C-93F6-DFD740CC8A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$0EDF31FD-FADE-4CD7-9D60-17EF31CA236B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561195cfd0a7c8a1c045312f5a76968662707e95","datavalue":{"value":{"entity-type":"item","numeric-id":6120604,"id":"Q6120604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$536E4E44-32F6-480D-87E2-4581C5529E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$14935277-5B0E-4B8D-85A8-9939DE879210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$F9C3383C-81E8-4927-BE88-808A658005A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22037d5d43e28104a4af542e7d37b21587d7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3019971,"id":"Q3019971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$783DB673-C792-43C1-93ED-D13701C36132","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":"Q6196503$EE2DF3A8-EDBD-4C5D-9E87-F19E76BA16F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$90BB6B7C-203D-4E05-8650-5E5A00253B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$DC4D109D-BB14-4D42-B39B-DE6AC6FA98FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$5A62F6BD-90D0-43BD-9CBB-60773EFD985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c95f2e0e218da93197f9014ab37384534c37e7","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$ADEF6668-19A3-4B6E-991E-57E78218D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4475885e258b9461d5bd4dfc20e802cd7f6e4edc","datavalue":{"value":{"entity-type":"item","numeric-id":2035845,"id":"Q2035845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$73571B8E-4AD1-4E76-BB5B-C270F859A026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$1F2727ED-2F54-4800-A4AA-D1B160CD15C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$6FAE606E-533F-4114-A23A-A648E34E2BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$7C0F49A4-2C55-4927-9E2C-E10ABC5F1E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$C73D776B-9A4F-4D77-B019-7AE6F8FECDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$9F74C808-E661-48F7-A45C-443B7A7FC0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b79e287b8f9dcb48386d79b783cadfdb720c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$77769FD7-6AF3-469F-BF59-3843F066486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0acde52144c4033ae04be7909cf97ad30cdd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$68B921EC-1144-4FD0-A580-CDE310C9AE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e0b56bebc50858d70dca02e3d7fc2fae05ad0d","datavalue":{"value":{"entity-type":"item","numeric-id":4260366,"id":"Q4260366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6196503$2F5BC21F-5257-4C39-9CE6-5D8AB807A444","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4adb1700bfba0f952b341388b05342c6fe667fd3","datavalue":{"value":"10.4204/EPTCS.381.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6196503$A07F5836-06CB-44B5-B868-12757EB92752","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b232dd15491a8b742cfb092ffc70e2707f7981","datavalue":{"value":{"entity-type":"item","numeric-id":6196498,"id":"Q6196498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a080b45896f5d357810c65bfdd05213c00bc64dc","datavalue":{"value":{"amount":"+0.8116946220397949","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":"Q6196503$7A88ABC9-614D-413B-8DF4-33AAA5C99067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1c1349bbfa346425971fd53a20c2ee8cbaa9b0","datavalue":{"value":{"amount":"+0.7783230543136597","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":"Q6196503$A32E2923-486D-4265-9FF5-262ACC4F8DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65a7f3fdbf940e440593ae40b1bcfd8d1ab4918","datavalue":{"value":{"entity-type":"item","numeric-id":1337609,"id":"Q1337609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0d42f819edd4d9aecfd1da2397cc1b1ebe486e","datavalue":{"value":{"amount":"+0.7692729234695435","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":"Q6196503$C9E98745-6A06-4EF7-BE01-7C2ED153AEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ad55ff9d4a411da0a313d55045ee2d239f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":280840,"id":"Q280840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b20d5c335dd9dfc2de825cabc7c9d1df9f968f7","datavalue":{"value":{"amount":"+0.7688819766044617","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":"Q6196503$C557EE0B-1115-4214-9A4F-F61A1DF6F4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c843486c24c2a9525ea81f42bef652aa1a0adc","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb480bbb1c905b9637f246ad2b6adca5b527b5b0","datavalue":{"value":{"amount":"+0.7608676552772522","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":"Q6196503$94F6F4C4-548C-4C78-A9B5-7915454D5D4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6196503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6196503"}}}}}