{"entities":{"Q1044841":{"pageid":1046689,"ns":120,"title":"Item:Q1044841","lastrevid":66024936,"modified":"2026-04-12T07:01:49Z","type":"item","id":"Q1044841","labels":{"en":{"language":"en","value":"Linear logic by levels and bounded time complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5647936"}},"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":"Q1044841$160066CD-9D3C-4EFB-BA9F-09DDBA0933D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af88926172f48c8aeeed632d395c62e7cc2d4b59","datavalue":{"value":{"text":"Linear logic by levels and bounded time complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044841$E411DB65-1770-4C06-8B51-2DF05FED3659","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"243496ea0bc6a385c012c49857fe4d69d5a71e09","datavalue":{"value":"1187.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044841$607E5D0F-5704-4C39-8E14-3A9649865FC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$DC5D7C2E-F24C-44C0-AE78-6154FA20DFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a303dc6c6ba96a46337e1d0e93092448decb04b","datavalue":{"value":{"entity-type":"item","numeric-id":1044840,"id":"Q1044840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$96E72D6A-9721-402E-A61B-199534B7DB6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$655ECA59-0FA1-4CC1-9AD4-E37B68DDCA5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d265d400060d2e7fb9c5c45adc5a5c7f5f7bbd7","datavalue":{"value":{"time":"+2009-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044841$90DC16C7-6566-4973-AC22-304276DF1945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044841$597987A5-9511-473A-9FDC-34C6D343AD31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c41e393cdcc20851412734a27170de6115e21fab","datavalue":{"value":"5647936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044841$093BDDA5-9596-46E6-A7A6-7802929CCF1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044841$05D38AD2-C003-4F05-A62E-10039C9E00D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c241c30e611a6d96d8d801161deb4c91c9158fb","datavalue":{"value":"light linear logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044841$7BD25935-2940-4BB4-9786-1F47C6799E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602ee32332d41a9b396f119f8608f3b8b8c31564","datavalue":{"value":"type systems for polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044841$E3FE983B-1984-461F-92C2-66A9AEED0F05","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":"Q1044841$2C2D33C1-5E60-427F-BEB8-A2AC0B17A765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dedc284daa7aaffd206c840181bce409c2c0651","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.09.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044841$9EF0E241-4E59-4FAB-A31C-71FF60097989","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6610038d5851b041b1bbd4cdddbb99efc8179d9c","datavalue":{"value":"W2091581695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044841$76C74F47-5205-4F71-937B-F6FC1B15C832","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$336FE8B5-C485-4E14-A43B-5C1EF0DDF741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9200967c0da1580bcfe64dcd4424710a63bb0874","datavalue":{"value":{"entity-type":"item","numeric-id":5453503,"id":"Q5453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$D13E5C02-B03A-4411-B289-2AC1720E78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$32B27021-908F-4A4B-9701-E6663EFFA5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$E7AC3478-B288-435B-AAC7-E729BF5F9261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da66629df81f40a22ede8bec7f190bc3b5423cf","datavalue":{"value":{"entity-type":"item","numeric-id":5277747,"id":"Q5277747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$CFC7EB3F-D08B-42F4-8776-800E6B26B429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$E3B79C0D-FE38-46AA-AD08-17877D9C77A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2380b35de576e2f3b9aec23341ed5906f3105","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$9FB43F36-90A3-46A0-ACED-0CD1BC6F7ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$9AA590ED-3368-4C75-BA66-12F969EBF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$0612E39E-E408-4E3D-B806-15DA13D69268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0123b9b312c03f832a160299ff6f74cdd3271b1","datavalue":{"value":{"entity-type":"item","numeric-id":3189832,"id":"Q3189832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$B96DA0E2-D8D4-45E9-8677-970683B8C021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4947222cdac18aa4cf5a0b7a7b538d820cf058a9","datavalue":{"value":{"entity-type":"item","numeric-id":3608417,"id":"Q3608417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$6B31BA0B-DD86-455D-96D6-8071B6912506","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":"Q1044841$8EC6C820-A55A-40DB-9F20-5BBCA2B496CE","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":"Q1044841$84410E53-3D1D-4080-8468-EE6402256DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$8FB34822-9D51-49D7-B4F4-9D7512597BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebdb3d0b89410270c8b49be0ac1ee7a24a909ec","datavalue":{"value":{"entity-type":"item","numeric-id":3548540,"id":"Q3548540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$16D5415F-A0F1-4F86-BA34-FC568E83CCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$E7B8FE12-C1BD-41DE-BAF1-C528BFB5E890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$AF14B82C-9235-4808-9BB7-F28F9210BB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d86df45fbc971c98e4ef4a3803e6eeef4f4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4221772,"id":"Q4221772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$EA71AFA8-5845-4AB8-96DB-C791953A231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$6E5597A0-FA8B-42EC-A696-47CE5E4E022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9007f592c26c879cdc9d51881c070212b204dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1327386,"id":"Q1327386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$9EDBD541-CDE8-40F6-A314-10EBE77C8F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$9CC691C3-DC7E-4383-92C2-09A01740D179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$3F27536A-3B16-4B88-9322-8705E7410F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152c41dcba6e9bafd25dd7bd047d4cddb2c3b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":5897348,"id":"Q5897348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$4E67805C-A583-4CD0-99B1-82243E55FB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0af69271ebd6ab6a51aa1a56c389751454326f6","datavalue":{"value":{"entity-type":"item","numeric-id":3612638,"id":"Q3612638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$75B4C314-6385-4609-80A8-88E1AA2FB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e788202b4da67662f58f920f8e400fe73756e51","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$6D8C31E0-DF5A-4DBD-8E7A-A51DCC919BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ed84f1b7daf0c9ed2d096a3e4c76bf9d52d715","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$EE9D6B58-509F-4DCB-A004-9B500A218824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe7e76911713a7dd839db3253fb0238dd3c60cd","datavalue":{"value":{"entity-type":"item","numeric-id":1827399,"id":"Q1827399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$275642A3-AEDD-4BFB-B3C0-385F846AFCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909451299d6025f7fc9557521737c4bcb71a660","datavalue":{"value":{"entity-type":"item","numeric-id":4945245,"id":"Q4945245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$CAB9A05C-5573-4959-9D3F-74FA1A8A0EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bf808c34edd92c2b99b788129bd6db0f113c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1876088,"id":"Q1876088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$9083D309-BE21-4AAE-9D27-34488C1FA963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011cf84c3c30d491c786f660fdc3c21d23243ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1398477,"id":"Q1398477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044841$3F7B8EE5-149C-4663-B522-8A9A952EA63F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f7a7e5a5ff5f4f1c98091820f002658b78acc56","datavalue":{"value":"10.1016/J.TCS.2009.09.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044841$5870D4DA-4734-4C09-B432-37D8E94BD8B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f5c64c8dc7bb0d4b8a1dec6608b4c11734c139","datavalue":{"value":{"amount":"+0.8787413835525513","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":"Q1044841$3946D6B2-472C-4623-A476-FD8F00A5CD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71040d0b8e5a0ec86aa50e54196be949296b6892","datavalue":{"value":{"entity-type":"item","numeric-id":2343123,"id":"Q2343123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db969bfba466391548084d74210f1065e29e9d3","datavalue":{"value":{"amount":"+0.8493494391441345","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":"Q1044841$99D51F66-80BB-4DA4-8A2D-1690CDC41582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91a418a146cc22bea03ee44431a464e35382cb","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d27670754aee42ca3f0bd647c7b4c2e21b6def3","datavalue":{"value":{"amount":"+0.8363960981369019","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":"Q1044841$C65456D1-BC73-49A3-98AA-D05E879DC688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5679fe4155603520a59fe92f9e0d25ec521a775","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace898b2972c6a3f7c048e453c4500ee6a08cc84","datavalue":{"value":{"amount":"+0.8310397267341614","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":"Q1044841$AB2631CB-8C29-40F8-9B82-9BA8E129CE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b973aa698753b140293751269338506d45ae6c3","datavalue":{"value":{"entity-type":"item","numeric-id":408540,"id":"Q408540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace898b2972c6a3f7c048e453c4500ee6a08cc84","datavalue":{"value":{"amount":"+0.8310397267341614","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":"Q1044841$344DAB8D-0A7B-4D3C-BC3D-F5E6B49299AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logic by levels and bounded time complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_logic_by_levels_and_bounded_time_complexity"}}}}}