{"entities":{"Q1827399":{"pageid":1838141,"ns":120,"title":"Item:Q1827399","lastrevid":69422349,"modified":"2026-04-13T06:53:49Z","type":"item","id":"Q1827399","labels":{"en":{"language":"en","value":"On an interpretation of safe recursion in light affine logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083410"}},"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":"Q1827399$E51764A9-8961-42B5-9185-AB0F15837607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"735b9abfc32d442b78b5c3bf2e4d0a70542119b8","datavalue":{"value":{"text":"On an interpretation of safe recursion in light affine logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827399$6966C35A-8B94-430F-8B5D-7AAC98170FA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bd45510f1343fe794197ce41252bca8e970956f","datavalue":{"value":"1048.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$E1099BF7-A676-47C3-8C45-0D2F33297E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827399$3F391091-AF66-44F0-A480-F422806636B0","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":"Q1827399$962287CB-90E7-4C49-8F8F-4F4C2450343E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827399$FEB43938-A6C3-4C3E-BD02-7BB0010C802A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20ef724619dba22366532b014c0b9e3c7354e31","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:1ecaf989-a3be-4dd6-9255-c5f3679209e4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827399$614B60A1-2926-4B98-BC22-140DEEA3BEA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$60187783-6224-47DF-9F77-D5E518FE89C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$C118AFED-CA78-4A95-A24A-FFF502DEC9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$9BF2CDD5-4F34-435B-889E-030066058BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$DB04871D-C580-46CE-B11D-96CD9B8C2C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$390A8228-F6FA-445C-89EC-2AAA11B82BBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2553e1af181f7e84cea5fa87e8ad72bb9d8d35","datavalue":{"value":"2083410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$F6446A0B-7F3A-4B6E-90ED-D76AC7BD3065","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827399$F9C80D6A-DE98-4989-B91F-E0EF8A2A9AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512b208e7a3008328a75d114ecb629fb1871e66a","datavalue":{"value":"Light affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827399$D1A9B138-7EF7-43BA-9F12-2BC48BCC704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58cb66e156135c1e96ee72a7f7e54e78772c2c74","datavalue":{"value":"Polynomial-time computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827399$91DAA849-D0ED-401D-BAB6-95029B92C9CD","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":"Q1827399$3E22FE14-4D2D-45A6-A09B-B65AF81FCDBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9ac615cc4fd4374392e7edbd5069654204fa9d3","datavalue":{"value":"W2076030590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$C24AEBEA-8677-4E97-9C6C-63E0665E577E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827399$C6BE2505-ABE0-4252-91BC-89398C538C8B","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":"Q1827399$8F76CE08-5899-4345-A2C4-370DA4268EBC","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":"Q1827399$E699461F-12B6-4ECD-B412-BE8057310C05","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":"Q1827399$F92364CC-3679-43C7-914F-AAC5EFF14443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27581c3adec16ad411a49285db15b7b733801efd","datavalue":{"value":{"entity-type":"item","numeric-id":4499227,"id":"Q4499227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827399$10105F28-1807-4B18-8473-901B6CA91D69","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":"Q1827399$2BE15FDA-86F2-4CC5-870C-A93C1A595969","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"705b2a9bc78d73af97f2b7ea41a7b808095be80d","datavalue":{"value":"10.1016/J.TCS.2003.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827399$EB79A2D3-18B7-49B9-A998-EFCBBDB49C30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67c2d6b0aa517769691b859ea33797d9eae71a9","datavalue":{"value":{"entity-type":"item","numeric-id":5897362,"id":"Q5897362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4e84923dda6e43638bed7f206b4a37c8aebaf4","datavalue":{"value":{"amount":"+0.745037853717804","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":"Q1827399$6DC4F401-7766-4C30-8B01-9F6E7C096B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9810a0f16db651718f367822181d479a246ba289","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5917d357a2bc7107a4e208fd227df3e989b7eb","datavalue":{"value":{"amount":"+0.741902768611908","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":"Q1827399$DF784A29-4F8B-4CE9-9E27-8F4899FBBB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc586f957b1e9bab36119f54e0dd714ade3cc0","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6b02ae68f032dc889522fdfa68c99ee6dcffc5","datavalue":{"value":{"amount":"+0.7400076389312744","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":"Q1827399$6901DC8F-A358-41D7-B316-0DDC1184231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b585410b3b1104a1a83f528900b8240241533a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3503632,"id":"Q3503632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8621d698143d97358d2d58d8532aaab4e5d99b47","datavalue":{"value":{"amount":"+0.7378381490707397","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":"Q1827399$2D694410-5B8C-4EE0-99B4-01323FD61C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c312afb58db3e4587934add2849e1edc4f215a","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a829c814929f83b9e2b6e5f7cd804cfc07a384bd","datavalue":{"value":{"amount":"+0.7304418683052063","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":"Q1827399$9FCCF293-0EC8-4116-BD43-78B83BCD53AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an interpretation of safe recursion in light affine logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_interpretation_of_safe_recursion_in_light_affine_logic"}}}}}