{"entities":{"Q2343123":{"pageid":2353866,"ns":120,"title":"Item:Q2343123","lastrevid":52254080,"modified":"2026-01-21T06:40:54Z","type":"item","id":"Q2343123","labels":{"en":{"language":"en","value":"On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432700"}},"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":"Q2343123$9D2F07DF-BE6C-433D-B6A5-6694090A3E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"302f924fe1d591e7a5b640f15fbac305114029c9","datavalue":{"value":{"text":"On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2343123$3C110FC9-C2D7-4460-AFE9-931BDCF82180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2444ddd945952351c9cb55065baaa2f5f56f8b1e","datavalue":{"value":"1310.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343123$C848969B-89EF-4693-A52E-F90DD9BBD1FB","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":"Q2343123$7A3D5D77-06C3-4501-A1EC-B81F64F2BC80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$C1163D3D-3A1A-4FDF-B140-060A5FFCDBB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3d99bc4b033c565fb0342435936dda6246db079","datavalue":{"value":{"time":"+2015-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2343123$3C09A681-D2AF-463E-83E4-9DD615FA2667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343123$13B9B711-98B8-4DF0-A133-CD409245DA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343123$3806A9AE-8BB2-46CC-B200-5D4DCB05E69D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28dcf496b390d720191c4cba13e7cc0b1b338382","datavalue":{"value":"6432700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343123$1C563245-DEAF-404E-A664-A63CBF18B251","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343123$F45BCF51-E487-4D9E-A254-36444B6433C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343123$3BD2DF4D-D92B-47E5-9CBD-E1D1BA9C440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343123$99E0451C-3AFC-46EC-A8AB-73B0B2C14CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90b7870184b4fec8c274946c1560c81ece1d150","datavalue":{"value":"polynomial time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343123$06F3C3B2-25E2-413B-93D3-501B87D7DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343123$7A1659D6-4532-4B32-9A26-C1FA70882F0C","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":"Q2343123$A8297D9E-ED3B-4025-809F-FB154F78DD89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09acb4f3af5adf0ee292a449792d9d75eeacad1e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2343123$B39C2C7A-F4B1-4B7C-B9C5-583BA1C8DA0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b4bccbc26803f9dcfc409f456ed0536ef0bd745","datavalue":{"value":"W2018805361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343123$DAD250E9-6E07-4C63-ACF0-62FECF0AF738","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$38F48649-42A5-4F33-927E-AF86FFD7672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5904899e7c578b11a6ff6b671b85fea94b76d7","datavalue":{"value":{"entity-type":"item","numeric-id":1881231,"id":"Q1881231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$316884BB-523A-4C00-A2FD-D1BDCF285182","rank":"normal"},{"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":"Q2343123$09AAF83C-F459-4356-95B0-B91D6F3DE054","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":"Q2343123$C76E0369-14DD-4748-BBE5-A3CB3C363FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c4e70888fd7939865c5bb461580af7030f19eb","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$95961138-356D-462A-8778-5B6535898A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07229c7de366b3930eee7950aad1f79006ae4253","datavalue":{"value":{"entity-type":"item","numeric-id":541228,"id":"Q541228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$239325D2-0823-4D45-B7CE-BA838487D30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeee92425b79f3aa5205156f131903f418c02c38","datavalue":{"value":{"entity-type":"item","numeric-id":2708316,"id":"Q2708316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$8CA69CF2-F808-4E4D-919F-C4DA6233BA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d45a752190299df78fd797b5ebe48d984c1ba42","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$96D3D0F8-5E8F-48CF-AD89-AD121DFF0422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea0331abed0544ab7ce2c9163ee85f01960b222","datavalue":{"value":{"entity-type":"item","numeric-id":3623002,"id":"Q3623002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$F650F621-0F8A-46A2-8244-F9F2F520EDB8","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":"Q2343123$89B22FA7-9240-4836-82BA-565DF8D0B3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4aaba4dcdcd7b3e225c2c4a52ec30b4cd373af","datavalue":{"value":{"entity-type":"item","numeric-id":5482265,"id":"Q5482265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$A84909F3-183D-4FF2-B7BB-80432FDA0191","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":"Q2343123$7B430F66-4338-4EB1-903A-C5723D9B1BB9","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":"Q2343123$9AB752F9-3B5A-42F5-9060-48B46235D65E","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":"Q2343123$EEDCFFD8-2C0E-45A5-A93F-66DBAD761BA2","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":"Q2343123$E2AF011A-BDB8-4BF9-BD94-37945714D302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$51F2F1F2-7173-4269-9C4D-3FD3ED27B5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2b043f1f5ea4ab949da5be665f95c5a9e8b669","datavalue":{"value":{"entity-type":"item","numeric-id":5899006,"id":"Q5899006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$683C037D-525A-473B-BA85-88FA1094569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$FE99408A-F1C1-4DC6-93CF-3DBC3509D807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d37412feb3c9b7693518f86d19f47e0942eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$9C12ACC5-8488-4356-A343-940F55C4254E","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":"Q2343123$2D198EF9-9C23-48EF-A103-DA53F77F4213","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":"Q2343123$00DADBA2-6E0D-40D3-ABDB-71C972556FA9","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":"Q2343123$D120C935-B328-4D33-AD9C-2C70E324386F","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":"Q2343123$DCD574F5-0E3E-437C-A8BA-AAB5697D6BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f579a1eff41f70abaa2adf98b1939988ff8b1a","datavalue":{"value":{"entity-type":"item","numeric-id":877259,"id":"Q877259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343123$8C7D01EC-D667-4425-A1BB-94BF3461B7EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93e20423afea275ae28b8f867ba4e59e8952de8f","datavalue":{"value":"10.1016/J.IC.2014.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343123$8866AC04-5E1C-48CB-86B1-FD56A1EA3A84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"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":"Q2343123$9397D189-82CA-4965-A996-0FBF37520DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574bad1accad45f678edc900738ef691aa04e10b","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1c27f62cf5161b40cc05b9a7beae45382c14e1","datavalue":{"value":{"amount":"+0.8398501873016357","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":"Q2343123$ED4C0686-ECF5-4AE8-933C-2D563822EE47","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":"ec0591d70ceb8cd4dcb6608df47e8455d9362898","datavalue":{"value":{"amount":"+0.8360390663146973","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":"Q2343123$8510753A-A078-4E89-B752-74682CF8C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1f4a7cbbc65cc0dc08c7ec812ba84d31fc0721","datavalue":{"value":{"entity-type":"item","numeric-id":1989323,"id":"Q1989323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372db65966ddea2fe09d3c16c5d1a4bc6677b1d5","datavalue":{"value":{"amount":"+0.8175005912780762","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":"Q2343123$F4C21288-71BE-4CD7-9814-9B7B2F8B7638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50f88b0e94b9f2505fd94816ad3b353527c893d","datavalue":{"value":{"entity-type":"item","numeric-id":1640981,"id":"Q1640981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa16f76bf966baa0bc9c20773a262888e52a4ca","datavalue":{"value":{"amount":"+0.8115091323852539","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":"Q2343123$B7F44768-8746-4F3D-BAAF-DD4A14393E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2343123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2343123"}}}}}