{"entities":{"Q5179015":{"pageid":7208587,"ns":120,"title":"Item:Q5179015","lastrevid":52227515,"modified":"2026-01-21T05:05:50Z","type":"item","id":"Q5179015","labels":{"en":{"language":"en","value":"Specifying proof systems in linear logic with subexponentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416660"}},"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":"Q5179015$FF34CB06-2992-4A9C-BA8C-F2A42224F88D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8010fe329affece0ad504c954ad8998329665ad5","datavalue":{"value":{"text":"Specifying Proof Systems in Linear Logic with Subexponentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179015$6052F208-C15F-4850-87ED-6A3A26AC519C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97ce2c1626c21da07995400cee71cd05ef3b1661","datavalue":{"value":"1347.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179015$D7CF9352-3AEF-4CEB-B387-F9914F6055B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$EFB07A16-ADA3-4D00-9B95-35C5DFA73668","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":"Q5179015$3469B9A4-DEB6-4BE7-8C61-F90B889FC605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$99051728-EDF1-4D2D-B6F3-333D592935AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$EFE9F5A9-42E3-4165-8B31-6D64CA237AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179015$042A1FC4-0980-4F8B-B65D-F6142F30AA59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179015$CDE88132-CB2C-4EAA-AABA-A1D57FB5AACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edcc4a593ab42dad006cefd471c319f45fd622c0","datavalue":{"value":"6416660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179015$E7491064-14FF-4385-9B33-538E5B8E7BB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179015$A4F25172-BC7D-431C-AFBD-7E9A0641F5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179015$F65AA36B-42A8-4E08-B008-06D861019203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e0a4915ae91fbc52659a534e7f2a72d828eabb","datavalue":{"value":"subexponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179015$875D4D88-81CF-4805-B7AC-F4E5A6512E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179015$84C6A7A3-2CC0-4F04-B519-426B7D007BD9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b267b878a0e2d6988ce7156d2f4ec972db54444","datavalue":{"value":"Q57850836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179015$B10352B2-9ADF-45D4-A783-B0814BD453F6","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":"Q5179015$2C0919F5-8571-4DF3-A9E3-071C6EFB7378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d548193621d387b66377a3fc2eb05863d9f82e9f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.03.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179015$E257AE4A-2431-4D3B-9221-2D3F6FC276AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5acbbc212b08cb902e64255771fbbd1a82404ae5","datavalue":{"value":"W2008788038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179015$D0A29BA6-B8D6-4397-806B-68142864268F","rank":"normal"}],"P223":[{"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":"Q5179015$705071DE-2C02-4FD3-9073-1D921BCB22EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$161B9796-FF6F-4566-B70F-243466E0B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$24E2715A-C73C-40CE-B1D2-1D3094F68D6C","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":"Q5179015$2EAA7D11-A461-447D-B64B-9FD4D57C8157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$2F2CD13C-CBCE-4022-8E85-20D54214C5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$8AA81CEF-2D23-4CE9-BAA2-2FB9D72E6090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$E4B45533-D550-4E3B-8373-1AFA8420D2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$D31D6616-7BFD-45D8-BF32-B0655BEBAB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b2c7d86bd03f8412e1acf9a71f1d8637d2a96","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$2A3E45F1-B3A9-4DB0-8220-19DD8E027DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09313c0d518f592ead2bcf4892f5fb6dce7cbd28","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$0A6B9E3A-5365-4B7C-9375-FA1FE14608A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b14c9de09c716ce973c858275c4f624e7356c38","datavalue":{"value":{"entity-type":"item","numeric-id":3541726,"id":"Q3541726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$84C660DD-DB64-431F-A8B9-0ABF9100BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e152594bbd7d3668c9ba9c42e7b6b36f416f5bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$6065B6B7-2E7C-4737-864D-90F359104DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179015$6ED56053-CABA-4F9F-8960-1D877553FC7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fee5fcda2c721364a924aa56c2aa0db6be80e447","datavalue":{"value":"10.1016/J.ENTCS.2011.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179015$830FB413-6F90-4F98-8389-F77A7852EFCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9425f5f310a310ff635165a82e0231ecc9e7bc","datavalue":{"value":{"amount":"+0.8784821629524231","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":"Q5179015$8EA4ECBA-C3D9-4805-9118-0F9D7FB4BE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7269647d401e175228efee6006444aee564206e2","datavalue":{"value":{"amount":"+0.8333643078804016","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":"Q5179015$BB5C9211-3BDF-42EE-9980-2F3A2918C99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877658e0ed0532f7d1d862f7375a0591e6ee37de","datavalue":{"value":{"amount":"+0.8253892064094543","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":"Q5179015$41BCC380-73EE-4673-9F5D-0ACCC515DF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bec4d6d631f326807be1c954079524f14b5f75e","datavalue":{"value":{"amount":"+0.7984226942062378","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":"Q5179015$FE60210B-23BC-4203-827F-9AE84289E75C","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":"e37d12db9dada4cabf888a8eece03606eb6199e6","datavalue":{"value":{"amount":"+0.7923011779785156","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":"Q5179015$E6A25C99-E1A4-4AB6-9D44-29CAEDD7984E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179015"}}}}}