{"entities":{"Q1744445":{"pageid":1755187,"ns":120,"title":"Item:Q1744445","lastrevid":72418623,"modified":"2026-04-14T04:46:32Z","type":"item","id":"Q1744445","labels":{"en":{"language":"en","value":"Hybrid and subexponential linear logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862972"}},"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":"Q1744445$963F688C-97E8-4CB4-88DE-EB0B32DC6C73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ab2f77853c0a36377f01a79b4f7ca54fbb51c77","datavalue":{"value":{"text":"Hybrid and subexponential linear logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744445$533D80B6-DD82-4374-BFA3-019457514E34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4d09cb8fb53e1b4e34a8964c581df4be500f575","datavalue":{"value":"1395.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$B1A41EBE-1531-4184-A5E1-425812148AD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e18514c052906fdc7b4ca4d0942d5aaa597b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":688726,"id":"Q688726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$A456090F-3115-40B7-94F2-0FE02AD7E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$F4C54C3F-0C64-40EE-B2D7-1859C37D7AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$4FDD8831-3888-4B39-A09F-AFB39E6750E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744445$1E07A323-19D2-4D7D-92AA-25F2071FD1AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6da16f50a9e85d970d4b66e9e90ca5f40bf72a95","datavalue":{"value":"https://arxiv.org/abs/1608.08779","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744445$A47BBB3E-9A2A-4E35-B2BC-02A7233FAF24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$6641D9ED-6A15-41EB-80E1-E4EC66891E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$7C8A8731-F0B3-43EE-8A92-80945436D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$E4E91AE8-5139-413C-88A3-B7F0A1F8D89C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc5dcfa0a01bb5d9c84beabedd16bfea8ba861d","datavalue":{"value":"6862972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$F4C24B49-429B-4B96-B498-367F3B7AC20F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744445$C7D3D935-2D8A-4B98-ACE5-DDBABBC41823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f2a0e373667255fa0ca13cd21c09def67432ec","datavalue":{"value":"hybrid linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744445$FD2AB77C-E95C-4F83-B574-B1E4E7966822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e0a4915ae91fbc52659a534e7f2a72d828eabb","datavalue":{"value":"subexponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744445$4FC0800B-9B58-47CC-A8ED-C57A502410BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744445$ECFE16F9-E7CC-490B-8D33-AD2965BAAC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744445$CEDE6EA8-3528-48B3-A875-A29886F6F816","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":"Q1744445$CE68E33C-3BFE-46DA-AE0D-8D858A75870A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4443248411d2f0d519570dfb4feffd443f6e57ab","datavalue":{"value":"W2664426418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$CCE0CA68-13A0-4473-80C5-48A33C931942","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c83b108fe0e1dab749403f72e73289b256a908bd","datavalue":{"value":"Q57850667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$B87CCFD4-7EA4-4B3A-B7FC-05321979425B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebe7d5ada896d23d5b43dba1c994c25cb2d1937f","datavalue":{"value":{"entity-type":"item","numeric-id":2942295,"id":"Q2942295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$D19AC900-9469-4BE9-B8FA-92913C970F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$D8BB3D6A-3045-452C-8A35-A3773C491FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$A586789E-0E3B-4E6C-A9E5-7407D2194121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80cbe22af0bd51c03c281c38f8edfb7ea04b84e","datavalue":{"value":{"entity-type":"item","numeric-id":3586042,"id":"Q3586042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$1A5832F8-7F35-47BF-9527-C1AE1CA0AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$3B4A4355-8133-47A7-9732-58CB6FB85579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a625f3d79e416593ccfff9f56db25a6e49ea3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3460050,"id":"Q3460050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$135A2BD1-AED6-430A-BEA1-D117DB383014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c3fb1b0448e6867f200dae7b2797dd0e524450","datavalue":{"value":{"entity-type":"item","numeric-id":2968415,"id":"Q2968415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$E68D77A7-8F6B-47D2-9767-ED62AAFEBEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$6C0C6958-B7E3-4F1F-89C3-2FC3D4BB92A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fffc54a00edfddf9d3810268855f84f2807490c","datavalue":{"value":{"entity-type":"item","numeric-id":5500406,"id":"Q5500406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$7AE06054-A4A4-41C1-872C-641EED8BD7F7","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":"Q1744445$ED620C23-D3FB-4E49-A38C-46AC0A2DAA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22e68338ce91d5f7b421aaf2ecefb70507cdce","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$4CDADC5F-BF51-4A6F-992F-04849FA8FA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af86435b42405e3baf6ad114d46e4c9403be99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2842123,"id":"Q2842123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$5C68EC71-0720-4971-9FDC-830423600CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7e38a8994288554f2075c0eb7f5f5cddf68aab","datavalue":{"value":{"entity-type":"item","numeric-id":5179015,"id":"Q5179015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$470A973A-016D-48B6-8142-7AFF1C5A2518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb3208a287646e52d72766a16ea750cc6bfdc36","datavalue":{"value":{"entity-type":"item","numeric-id":2628774,"id":"Q2628774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$A5CBAC51-0ADA-435D-850A-0D1A91F3E42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5489b5a21e6a1d194eff456c59674a50c3ae17","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$158329F1-A657-4862-B6D6-64D2EC02A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4990a5fc78292deb84300c8204b44beb400a4da","datavalue":{"value":{"entity-type":"item","numeric-id":2931271,"id":"Q2931271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$99B5253C-2D24-43A8-BB60-B516999CDD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ae9447148eae7803b5d85085ff097343eef963","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744445$9E97A988-46D6-45D9-B231-B5960F8914C3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d801b0e721f91befef5fab7953affae557e1c9fe","datavalue":{"value":"journals/entcs/DespeyrouxOP17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$F3953268-60C7-47A4-9F92-BAE069FD45DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6e0a9f849cbe9ac3c3cfb03a5719160103df240","datavalue":{"value":"10.1016/J.ENTCS.2017.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744445$4DE43D1F-E3AC-443B-9A6F-382B7E1F7FAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4c99657146f6c8caa1831cde1de9d4b29b90ad","datavalue":{"value":{"entity-type":"item","numeric-id":5236552,"id":"Q5236552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b12f5a46516e331b3c511b9a0321ea2d3d3781","datavalue":{"value":{"amount":"+0.907474398612976","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":"Q1744445$94B1EF5C-99F4-4CCC-A82B-F2CA036D3883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84211086ae9e28c7ad0f106cb9b60bc123aed8d","datavalue":{"value":{"entity-type":"item","numeric-id":2404074,"id":"Q2404074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27eceb562dde41254b6978773837871a8792d590","datavalue":{"value":{"amount":"+0.7668712735176086","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":"Q1744445$363829D9-AA0F-4AF9-8007-139473020804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7ebe750efa17eec7129d8dc648916fa37660af","datavalue":{"value":{"entity-type":"item","numeric-id":5179015,"id":"Q5179015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d5c406bc52db860b53bce63dde86d1a6c616ae","datavalue":{"value":{"amount":"+0.7480862140655518","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":"Q1744445$0A5587DD-6D1F-4336-BD72-1FAA2DD356D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8968ee0f616e78079e9035458de3b9be730bed","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd82c8f401c1715f8dccd5a6209a804f040c1360","datavalue":{"value":{"amount":"+0.7412427067756653","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":"Q1744445$5DD50656-B86E-4218-AA2A-8C5CAB7E0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d86293d3d88b5f15556992aeb91be7c88bc084d","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69250180706875ab6c4461eb5f050c2160b0b971","datavalue":{"value":{"amount":"+0.7364915609359741","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":"Q1744445$7D2B1CDE-0FAA-44B9-B17E-3900589B1A53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid and subexponential linear logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_and_subexponential_linear_logics"}}}}}