{"entities":{"Q4577986":{"pageid":6607573,"ns":120,"title":"Item:Q4577986","lastrevid":53160335,"modified":"2026-01-24T08:45:11Z","type":"item","id":"Q4577986","labels":{"en":{"language":"en","value":"An explicit formula for the free exponential modality of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6914146"}},"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":"Q4577986$0EED616F-76F7-40C7-951E-674E43BDD3C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d397df7f21e7a4e029b6c43beae81bb9bac84a53","datavalue":{"value":{"text":"An explicit formula for the free exponential modality of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4577986$7A51DA58-517E-4E0F-B20C-8FDC618C273C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce57bab5d333e821bef3ef5eed15f09781210f56","datavalue":{"value":"1456.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$9CB9034A-35A7-43F8-96F7-D19F4EDC7051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f76f5175f25721b64263e8cd03c4928b663a4dc5","datavalue":{"value":"10.1017/S0960129516000426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$B8B6FC12-5E5A-436A-9168-D2C23A554C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$D4564E12-B752-4ACF-A37B-86D8C3019AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$5CAFD5DD-9A0F-4B28-A630-2F652BBEE687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7061f0dc89ea4c9e92e579c2d5bbcbdff493dc","datavalue":{"value":{"entity-type":"item","numeric-id":891920,"id":"Q891920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$9B3DC3C0-CA26-44F0-B634-9E51E89D79D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$29D86149-34E5-4171-BC5A-4A2A3D30E8DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89491f4edbbfbdaec325200478a08405f9ca4759","datavalue":{"value":{"time":"+2018-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4577986$F1883401-46CF-4A75-83F5-402AE1BEFF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$BB956C70-9443-46F6-94A4-DFAAC0809DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$B4A45D42-99CF-46DC-881B-52ED666C33D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f21538a6756ee445a32f69b19dbc04a185f7a25","datavalue":{"value":"6914146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$14BF7D85-0462-4C78-9878-A604B3756E55","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7bdb3abe868bdf5a794cdb535e73772b74043885","datavalue":{"value":"Q115562806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$B8494582-0FCB-45CD-A5C3-428B22E90C6D","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":"Q4577986$80214ABF-1BD8-4BE5-A708-1E144B44B879","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$C0CC758A-1ED2-4513-B13A-4CE47E37AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$A732CD5F-07BC-4EA3-8FEB-E8DF3456A9C2","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":"Q4577986$17960778-D2F8-4182-ABE7-164D26C919E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db55fbec7f6c9bd80c157746fbb26b91e023c059","datavalue":{"value":{"entity-type":"item","numeric-id":3548539,"id":"Q3548539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$3211BDCB-8031-4B1C-A5F4-DFBED4E8A63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$A16B2C45-3372-49D1-8E78-7ECAF52F4E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$9F68F5D6-4BC1-4EDB-8B1D-74F0698A607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$3040EEB3-481D-4CD8-B06A-C414EA3BFF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763baafdcc1d0af41a2e1d9bb74e4febdbc046a2","datavalue":{"value":{"entity-type":"item","numeric-id":2849884,"id":"Q2849884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$78038E80-1ED9-4F1A-B938-22D658E04F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$6D69EC56-EEFC-42E6-A680-6842AB0623E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b0b5f19fc88dc8136195955bb1f585effb2322","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$8558349A-7C3E-48D1-8FCB-37F453007D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577986$87A3EA56-61A1-43EC-B2E0-B3EF1B4C64BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a219130c5ffc15e8f387f0c7b59375d94fef6be","datavalue":{"value":"https://doi.org/10.1017/s0960129516000426","type":"string"},"datatype":"url"},"type":"statement","id":"Q4577986$C682908C-A621-4F61-BA2E-F875BC192B58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef5d38afdc883baebb51d2a23fc2830fe8495682","datavalue":{"value":"W2606916197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577986$10AD1709-0E1A-4996-82B4-1E59B6C6FDC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4270f24a2544a8061bce6b296714cb8adbcb29c4","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975238a7d3fb63fcb62561b45e53d16b17890bf4","datavalue":{"value":{"amount":"+0.983683466911316","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":"Q4577986$ADFDFC34-5790-4135-AD01-67C4C087CE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f1f786fc385181e3db0e8c20dcf850d9809052","datavalue":{"value":{"entity-type":"item","numeric-id":2787421,"id":"Q2787421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00597960533ea551a33881698fbfe99865392170","datavalue":{"value":{"amount":"+0.81095290184021","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":"Q4577986$68A1EAA3-B1BC-4516-AB72-2F83C71D6498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494a53445db9e0ca2e7bd6bde2f49be6a0d7865a","datavalue":{"value":{"entity-type":"item","numeric-id":2988358,"id":"Q2988358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b67c5162a43706d599082ed9b4f640cec65267","datavalue":{"value":{"amount":"+0.7967533469200134","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":"Q4577986$FA59177A-6C2F-4B39-AF2C-3BAF482D9AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000d032e27b1261ecf35085c7eb87055417a9916","datavalue":{"value":{"entity-type":"item","numeric-id":4611198,"id":"Q4611198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26094b974f08f80448c19ddc58344337058bcfd8","datavalue":{"value":{"amount":"+0.7788755893707275","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":"Q4577986$F1B52E7F-9AA1-4D0A-A7FB-9D38465C7BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ea2297eb0121dc68fedc13ab1dc8255ff88470","datavalue":{"value":{"entity-type":"item","numeric-id":5014810,"id":"Q5014810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caffc79f3994db08cd92888b7320c0495ecbcd1","datavalue":{"value":{"amount":"+0.7725061178207397","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":"Q4577986$D48CB02F-D780-4DC9-B3A0-78258472A6A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4577986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4577986"}}}}}