{"entities":{"Q557798":{"pageid":559565,"ns":120,"title":"Item:Q557798","lastrevid":62730180,"modified":"2026-04-11T08:04:37Z","type":"item","id":"Q557798","labels":{"en":{"language":"en","value":"A complexity analysis of functional interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184040"}},"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":"Q557798$C72453A1-66CD-4776-8710-372DC05C8C94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"638cef4079ce27fe120f41a951e125793e99e778","datavalue":{"value":{"text":"A complexity analysis of functional interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557798$F7E49A83-21A5-42D4-8A01-1EFC56DFE473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d1e0c3a7a494854d5aaf26c123bfac2edb764f7","datavalue":{"value":"1096.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$09173160-CFDA-4BE7-8EF7-4D7E11B66728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fda900f24f6234602837a102ab7eee0fdf7131e","datavalue":{"value":{"entity-type":"item","numeric-id":557797,"id":"Q557797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$E19A6FED-D0C0-4566-B11A-6F641C7F2BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$B16ABF38-A2F7-430F-98B8-A1D2301CA7BF","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":"Q557798$CCB14BA3-C798-44D4-9F34-63960302A29C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557798$CBC81141-6FF5-4835-95C2-F5AE20112086","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"525038718d6a9d0fe1ff1ab0a96b6dce270bae3a","datavalue":{"value":"In the Dialectica paper, G\u00f6del gave the following functional interpretation: Given a proof of \\(A\\) in HA, he associated a formula \\(\\exists x\\forall yA_D (x,y)\\) and terms \\(t(y)\\), where \\(A_D\\) and \\(t(y)\\) are in his system T, and \\(x,y\\) etc. are tuples, and he gave a proof of \\(A_D(t(y),y)\\) in T. Namely, Skolem functions are given as higher-order terms. Interpretations need not be confined to HA and T. In this paper, the authors take up in a broader context, quantitative questions: How complex terms \\(t(y)\\) must be, including the structures of the types involved, and how do proof depths compare between \\(A\\) and \\(A_D(t(y),y)\\), etc. The authors use \\(\\text{EIL}^\\omega\\) -- extended intuitionistic logic of all finite types -- as the basic interpreting theory (i.e., it takes the place of T), and give careful estimates of the complexities in the interpretations of \\(\\text{EIL}^\\omega\\) itself, \\(\\text{EIL}^\\omega\\) strengthened by new axioms like the Markov principle, the axiom of choice, etc. Then, they work on classical theories, using the double-negation technique.   Another pair of theories the authors consider is \\(\\text{PRA}^\\omega\\) and its intuitionistic version \\(\\text{PRA}_{\\text i}^\\omega\\). They construct an algorithm that gives, from a proof of \\(\\forall x\\exists yA_0(x,y)\\) in \\(\\text{PRA}+\\text{AC}_0+\\text{WKL}\\), terms \\(t\\) and a proof of \\(\\forall xA_0(x,t(x))\\) in \\(\\text{PRA}_{\\text i}^\\omega\\), eliminating \\(\\text{AC}_0\\) and WKL. (The subscript `0' indicates `quantifier free'.) Of course complexity measure are given, but too elaborate to quote here. A new aspect is given by a monotone interpretation that looks for terms \\(t\\) such that \\(\\exists x[t\\,\\text{maj}\\,x\\land\\forall yA_D(x,y)]\\) is proved, instead of \\(\\forall yA_D(t(y),y)\\) itself. The advantage is that this is easier and faster, particularly in handling contraction rules. Due to the nature of the subject, a huge battery of measuring devices is mobilized. The authors' analyses are meticulous and thorough. A big bibliography and guide to it are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$9CAEB7F2-2CA0-4EAA-B282-517DD4D94810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$AC6655ED-DB5F-47C1-A853-C56620C0FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$F4588856-A030-430B-AFED-401A7BFE19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$55E0FD1A-AF78-4BBC-A1E0-EE717E913EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$3F4100B2-1073-4B43-8698-D0E9B417D300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$4DF09C09-BD68-41F1-B56C-AEF7E1F58EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$2D7E7A26-9F9A-4D54-A0A3-BB95586EAA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$C5E5DDD7-4E15-492E-8F2F-C2717FAF3C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24461ee95b1726aaa10e0f66a08e2b9d997785e9","datavalue":{"value":"2184040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$68C9C0B9-608F-4CD4-BDCD-BD6AFD2EF6A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ac51d92a58e811cb244251330e676181d75553","datavalue":{"value":"Functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$CE142A15-3167-4453-BA78-C872E3D41537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb321a02c60c4d2c913297e35bebc8a047192d2","datavalue":{"value":"Proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$2B48F8B9-8B28-4FC3-AEC2-09B98BA0AEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b5041ad65ebef622b2d690a5f8ce1e8460fd2b","datavalue":{"value":"Functionals of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$13EDEC4B-4D43-417E-85AD-65253B199860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cedb3f3ae56e627837b60824d1b7e046033c404","datavalue":{"value":"Proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$E60F159D-C7E3-4578-A8FC-9CE76DBD791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d2a2721c2e446846b8a9336568454b2b781ae2","datavalue":{"value":"Program extraction from (classical) proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$93CE304D-A4F1-4555-8213-3162FEAD639C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e7f913628752cd92772e878a9905e68b04f45c","datavalue":{"value":"Software and systems verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$888942CB-C41E-4B36-AFF6-6A2238171518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f5ce4639bc6841b2d7780a9d08940dc396692e","datavalue":{"value":"Combinatorial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$33462E0E-B3E7-42A9-A9F0-67767688778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$69A3FF89-F369-46C7-8995-6472661FC920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be00c1b67cd34fc86a574b057daafc4b4725f91d","datavalue":{"value":"Proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q557798$C658B8B9-8815-47EB-8968-14743EFB6CC8","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":"Q557798$ED402C4A-86D9-47E4-8AA0-D776E28F8924","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"561b5c6fa90d4a22241eacb9fa125b34db4363a2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.12.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q557798$D7D416E3-D016-4B29-9207-DA632465035C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76288d8f0738ff9cc4812c9b9e1f5a1c13e6e7f0","datavalue":{"value":"W2104625978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$5324BB0F-44F9-469C-B1A7-ECB73BECAE38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92906cf7b3cbdcd5ce9a1d6a96b66d65e263b593","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$6A19FB91-0E4B-46EC-96ED-7C71E25875F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$BD2FE7B7-C536-490B-85F8-BBDA5EDC31E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$D7A26D82-EEDA-4267-9584-433D0B221D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$D0335B2F-7E63-49B1-BD98-8B213E98DE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d3dac9adb980e5335d28029f3d6248bc26dad2","datavalue":{"value":{"entity-type":"item","numeric-id":1577478,"id":"Q1577478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$070EB1EB-05A5-42CF-A8AE-8C85827EE879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$D5AE14A2-E0D5-4A0B-93E1-F6AAFF7DC895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$3F0158A2-C27E-433F-B2AB-4CA4EA0F06FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a20b645023a8d04cad0a14618e2426e86442be9","datavalue":{"value":{"entity-type":"item","numeric-id":4704759,"id":"Q4704759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$51986068-206B-40FB-9848-32CA27D02671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$719E099B-FF2C-4FDA-BCC3-058228D44261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b77280232c8e48c811a6e0d7a252126cbfae47","datavalue":{"value":{"entity-type":"item","numeric-id":3937386,"id":"Q3937386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$1631C758-DD7F-4C99-BC44-A869238581CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$5C410AA6-8225-4FA4-8AA5-4435E333B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f094dce430ae0e7ee30af87c2ef9bb77758df377","datavalue":{"value":{"entity-type":"item","numeric-id":2565988,"id":"Q2565988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$8449FC3D-463E-4D00-A93A-7D02D2BFC466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$6EC3F060-16A1-4786-9477-27E3F8AA093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$924EB519-647C-480E-9A7E-8C6E5F4F8420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$16DBA683-471D-4BFE-AF0B-986FAC422971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d276bf930ce7be64a132b97986d74f6c4683019d","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$E80EEE1D-6619-4BB1-B182-152420E4DA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4427ef296c1f7546ad24835a53c2d1b6602bc84","datavalue":{"value":{"entity-type":"item","numeric-id":557798,"id":"Q557798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$162022EE-C4DF-4F0B-A5FD-5F8391F30C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$DB4D2AFB-2F10-4A7F-8528-F5A54155524C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5866c8cf369b26c2f36d05d1b0e488a542eba870","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$36636C09-EBFE-42D1-80CD-1143564096AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$1E9B1FB0-2DB1-46C9-8B43-831088967312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c29249d4170f759b7d4af5601eba4261cac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$A7AE0A42-526F-41F7-A0EC-7FA7B5D4ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$F11C098A-092F-4947-8073-391FEDC63C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68633294b75b82f4404bca2080b91b9e400dc074","datavalue":{"value":{"entity-type":"item","numeric-id":5931215,"id":"Q5931215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$E8657E33-0554-41CA-92DB-B69B6E243A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3604ad3e0508efa1d25af6dacc23f1ed8921595e","datavalue":{"value":{"entity-type":"item","numeric-id":4681899,"id":"Q4681899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$5D9CC3EF-6264-4116-B093-F2759AE41C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$A00A1201-954E-4818-9086-D7151E763E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$0D1AF33C-B5B6-4B3F-9C88-88C756457CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$ACC4665C-BA22-4EA7-87B4-38AEE0975668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e173e3f88a53b33fbc52906169cfc40c731fbc22","datavalue":{"value":{"entity-type":"item","numeric-id":2560813,"id":"Q2560813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$9C314033-2D15-4A5E-9B10-3D0AC15D47A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$100418CF-D3B4-477C-82CE-35AAE12800F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec35d9f646cc8d771faa909b820478537c01d869","datavalue":{"value":{"entity-type":"item","numeric-id":4274311,"id":"Q4274311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$6979328A-37F9-47F9-80AB-28C8154667E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$E0B33EC7-A731-436F-AF64-CDAB3D27B887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$D4EE9880-2E42-4330-9BE2-981BE3C8A2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a67ff14a0e3bc71f68408c7fb8f9673d792666e2","datavalue":{"value":{"entity-type":"item","numeric-id":4823143,"id":"Q4823143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$978A9E9C-F75D-4DD3-97D1-2760D621F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$2FDFEABC-AED7-40E5-AFC9-D2407EEED144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$51514E1B-7D0B-4AA2-9A99-9B76A3C95D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$C61D0A9F-68D7-48E5-90F9-6861F79334AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7651366d63270a35f8a2a204ce9587e521c05fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4198751,"id":"Q4198751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557798$331CED88-0C89-4842-8AED-2F3D35284602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72f29a0af86e4d09d86c781daf6bf47aa2f890bd","datavalue":{"value":"10.1016/J.TCS.2004.12.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557798$24144103-72DD-473B-902B-96529DF8CEC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656e48ca1509c013c472738abf1c0271b0652514","datavalue":{"value":{"entity-type":"item","numeric-id":5394596,"id":"Q5394596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472f9fc2dd77595c87bf4692682ecb13826da00a","datavalue":{"value":{"amount":"+0.8351233005523682","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":"Q557798$D16C711B-6C74-466C-9BEC-528CC7F28749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5ffd03910e43758538e0536546f5db73b516fb","datavalue":{"value":{"entity-type":"item","numeric-id":3576230,"id":"Q3576230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002b226cb4df175e68ed22614c6feefcc15a8adf","datavalue":{"value":{"amount":"+0.8350039124488831","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":"Q557798$CF24F15C-5A1D-4E01-9E2B-92E4A6261B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d569f190def6067560bf93c720a865a7d4185bf","datavalue":{"value":{"amount":"+0.7996282577514648","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":"Q557798$738E3D4E-BDEE-407D-B502-FE3ECA78AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27254fb92303dba1c845582bc0ca70f8f976cc31","datavalue":{"value":{"entity-type":"item","numeric-id":5145361,"id":"Q5145361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2788c8d642e87413b83cdd35f723bb88c501bfe","datavalue":{"value":{"amount":"+0.7995302677154541","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":"Q557798$6806E0A1-C512-499C-9B04-383AB5A5CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe38b243283fc6821c4f28d3effddb01c571fd4b","datavalue":{"value":{"entity-type":"item","numeric-id":3166530,"id":"Q3166530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d75e2ec45a92729e3df1c64d07c7f32769109f6","datavalue":{"value":{"amount":"+0.7965262532234192","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":"Q557798$4BE4EE50-2039-4C22-B14D-28CABB195FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complexity analysis of functional interpretations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complexity_analysis_of_functional_interpretations"}}}}}