{"entities":{"Q1640981":{"pageid":1651722,"ns":120,"title":"Item:Q1640981","lastrevid":71629242,"modified":"2026-04-13T23:30:37Z","type":"item","id":"Q1640981","labels":{"en":{"language":"en","value":"Characterizing polynomial and exponential complexity classes in elementary lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889846"}},"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":"Q1640981$CE3CCD4A-A8DA-4024-AEE0-DDA3408C053D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e33a4f6f1fe735452702d644e74bb873f0abe11c","datavalue":{"value":{"text":"Characterizing polynomial and exponential complexity classes in elementary lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1640981$1E4E9A6B-B81E-487F-BFE5-388F15E3745A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1983cc02c6fdec50e159ea459aa77f94a360cf29","datavalue":{"value":"1395.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$F1866BFE-D102-485E-A615-7E2EC0A27FB0","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":"Q1640981$D869E415-D53D-4884-ABBC-9F1EB5D061B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8079cc0ef45f678429a6fbeda9ca098e890f1ba","datavalue":{"value":{"entity-type":"item","numeric-id":276266,"id":"Q276266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$D9BF22C0-37B1-4A7A-9929-C95CB200C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$EC8E4C2B-666C-4286-8DE6-F8D5C808DE72","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":"Q1640981$86D51DC0-6C49-4874-BED1-F0E00CE85534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1640981$D4DF997E-C81A-4775-97F0-40EE74E1DCB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d93da5840c9ebd0b7c5701f47ce70fdfae19a9b","datavalue":{"value":"https://hal.inria.fr/hal-01015171v2/file/978-3-662-44602-7_13_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1640981$68788781-5A50-40B2-97FE-4263705E66E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$F6AF2665-D230-4E55-A8A3-BD2F4EA4F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$973474F8-E4D5-4B8A-A667-8024861F3D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$252CC030-23F6-4655-9865-6AA7CDC92954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46ef0ae70436dd9407dce9b42477160e655bf13a","datavalue":{"value":"6889846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$7EE2A138-1E1A-4A20-BFBC-7446DB114806","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640981$7A7FE383-AE75-4791-86F7-179AD3A9B24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640981$CE6916B8-D331-4FD1-89F8-B68E29229250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640981$7605479F-E854-4BB0-A76D-D078DAE116CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9ad1e9be5a5ba82f6740e139935c0962266e87c0","datavalue":{"value":"Q115574493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$822198C6-A5C9-4688-97C5-6F240C668954","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":"Q1640981$1B6FBAA3-591C-45AF-83C1-3BAC61117FCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae96bac06b52e90d2b784955f842294f3d1f2f15","datavalue":{"value":"W2804330401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$53DEAE29-B256-4A23-AF3C-26F0B3FF9B26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$21262BAA-5E92-4863-A5C8-2B4B76190B9B","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":"Q1640981$F04559E3-4273-461E-B8C1-6DDA7A5A79D8","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":"Q1640981$218D0262-A7A4-459B-BCEF-CBE2EC4B7013","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":"Q1640981$1D3A50B2-79B2-4E3E-BBCE-90102E06BDAB","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":"Q1640981$6F079F36-317D-4750-839F-77678DC7315D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a45353a92b2d8942bc72a107031aea6f94ba8d0","datavalue":{"value":{"entity-type":"item","numeric-id":649643,"id":"Q649643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$CEE005F5-871F-4B5A-9B9C-4D7B9259E9BF","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":"Q1640981$680CC534-DDFB-473A-9CDE-A9500A0B3E01","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":"Q1640981$0A78FD3B-2CD4-44B1-936F-2ACA976BB6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d083a148d79ce2173cc5e1395b43bacc6f79831b","datavalue":{"value":{"entity-type":"item","numeric-id":2946582,"id":"Q2946582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$E980964A-8501-4B85-809F-5DA4864CAF34","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":"Q1640981$E3F29B18-011A-473B-AAA1-F854ADD79409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2921c4768e8e40aa8482e72d0f7d8fd9eb4850c2","datavalue":{"value":{"entity-type":"item","numeric-id":3007663,"id":"Q3007663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$A33C6D84-8DD7-4DD7-AA4C-8EA12E809EEA","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":"Q1640981$DB76E84E-287D-45A3-8B54-68A24626DEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6757240f6abc8b15b81de9e3ff90fd2b455c60a","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$5BA858DF-0AE0-4FAD-8EEA-A437181EF8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8085da3cad1cca0a0b8292ba4eb203bc6dc0815b","datavalue":{"value":{"entity-type":"item","numeric-id":1044836,"id":"Q1044836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$90483FFF-1C46-439E-96B8-AED69EC6803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d39fe177551fab1613996b51b8395e452ef546e","datavalue":{"value":{"entity-type":"item","numeric-id":3190158,"id":"Q3190158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$E1A361FF-EC0D-496F-96A9-E2B2FECABEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699c19a71ba20ac43e5ae02e95874f107dd6b0be","datavalue":{"value":{"entity-type":"item","numeric-id":1854348,"id":"Q1854348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$960F53A2-81AC-49B8-9667-DBD5931043C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$3CB28F06-B80C-46AA-B651-EB5423C74E9D","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":"Q1640981$C2C1083E-7331-4928-B6E6-5F1C203F8C01","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":"Q1640981$58967EFA-52F2-42AD-9160-A5FE4C6F814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640981$98830DC3-5F80-4672-8769-2D1A161B3B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7d7c233eb8d1352b332f5f3fa0b194de73e98d3","datavalue":{"value":"10.1016/J.IC.2018.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640981$BF969AF4-7A06-498E-8334-B0356A72024A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50dfe45fe31b9b599561bd5d32b7d3eb960420f3","datavalue":{"value":{"entity-type":"item","numeric-id":3190158,"id":"Q3190158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47bb479e668bfc43fba6839fa9b68da48bc0864","datavalue":{"value":{"amount":"+0.99538654088974","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":"Q1640981$09420AE3-8049-49D7-A827-357FE1CEC5DB","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":"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":"Q1640981$BF7CB715-9CE9-4481-BC32-2295641967C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5763ec352a2885d5cc1ed3853623ef02a645bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5717048,"id":"Q5717048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e79d40401500a9c1881e61198e2cc7f88fc562","datavalue":{"value":{"amount":"+0.7754023671150208","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":"Q1640981$9B7EB959-1CFC-4D45-B0F9-F681FAD0BCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c53d5453558531c864d984b6e65ada4df9349b","datavalue":{"value":{"entity-type":"item","numeric-id":276268,"id":"Q276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0042e867c2fb000eaff06f3245996e3ab32f98f","datavalue":{"value":{"amount":"+0.7712791562080383","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":"Q1640981$D21C6AA9-25AB-49ED-B098-071F84F9B273","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":"6f0af0fbe916aa5de75bfc21f5d0a6ef1642798e","datavalue":{"value":{"amount":"+0.7649574279785156","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":"Q1640981$FF8C3B11-AB86-4D53-B425-E0844052977D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing polynomial and exponential complexity classes in elementary lambda-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_polynomial_and_exponential_complexity_classes_in_elementary_lambda-calculus"}}}}}