{"entities":{"Q1259590":{"pageid":1270340,"ns":120,"title":"Item:Q1259590","lastrevid":70487955,"modified":"2026-04-13T14:58:10Z","type":"item","id":"Q1259590","labels":{"en":{"language":"en","value":"The typed lambda-calculus is not elementary recursive"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637856"}},"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":"Q1259590$3025EFA4-0FD4-4FA1-9114-6FF1602CE93D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c2263aa4ead3972f0bcbec794466252b2806a2","datavalue":{"value":{"text":"The typed lambda-calculus is not elementary recursive","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1259590$A0BBF3E4-43DC-4189-82EE-863EF8D55C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e40d5769caa662755e22f7d8d3fd76b03442309","datavalue":{"value":"0411.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$EA16FC29-3D3E-4007-8DF6-19A34BAB8B59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ec58b347fed9d633c3ea6d6ee369550e592ad98","datavalue":{"value":"10.1016/0304-3975(79)90007-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$CB6E4750-3CAF-4959-A566-BBB13368DD74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$4B10C46D-61F7-4133-BA0C-ABB247F45CF0","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":"Q1259590$AF868B68-7CBA-4061-BD10-65A9311C4250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1259590$65B1912B-BC41-4C22-84CC-D5A6AC85A857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$33C60DAC-F737-4A46-A53C-143855DCFA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$E201B227-8746-40E7-A329-D9161A2A3C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$516C0F7E-AD13-475C-908C-022732CC2D35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b078b7dfb14fb5fcab690ae767a73856101042","datavalue":{"value":"3637856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$B504C16D-19A3-4FDF-AED8-9A5A276AD252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259590$F3E02B78-CD5D-4D2C-8D74-977F7AD0AD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259590$BC2E25FE-E724-4052-955F-CFC372E314C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ddf0e30b9062c0b064797705e53dba645e3f32","datavalue":{"value":"length of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259590$F29D119B-BB96-4610-9D77-EB406B8D1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259590$CE423F71-DC09-4641-BE30-80B7C49A15ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54f490274b442570b0c4c422f8a069ebf5b0bdc","datavalue":{"value":"elementary recursive calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259590$116D876F-8BE2-4D1C-974E-C55555522D33","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c7880414e7a08d492bed4065d35be2379e95597","datavalue":{"value":"Q56050817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$B50C88F2-6692-4E74-B028-0D40C4D87870","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":"Q1259590$580E4C01-D933-414A-BD86-3CA1A08FEAA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce2d5b81e075cdf279897932c58d757624a9726b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(79)90007-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1259590$7D06D638-68A0-4DB3-B828-8323996C1BC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b71259536923db6876982ee872541dbae30e80fe","datavalue":{"value":"W1988983596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259590$6BB607E3-66CB-4B79-A134-BA5F554C00F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$052DCD8C-E4E7-4661-9EBC-867EB57D2D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$8FEE373D-C09D-41E0-AEA2-5D00EDFBDCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee115f650dd9b2c9350f8cdefbe2dab8f0e067","datavalue":{"value":{"entity-type":"item","numeric-id":5824357,"id":"Q5824357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$3D53295F-9227-447B-8E50-214DD57456D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$FB55DB08-B4B4-4A4D-9900-D7B2C3A2DA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$5897B0BF-1E9A-4FA3-9F94-3943547F085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$1F9FB0B2-F50D-4894-9D59-97EFA7442142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$1562DDD3-A283-47B1-A3D5-5FE6DE7C846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35beedec8bb1ed1b5add1ce8b9fc9a85b0574a08","datavalue":{"value":{"entity-type":"item","numeric-id":4077995,"id":"Q4077995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$097A2F5F-918E-4C22-9B1B-27601C6B50A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$A3CCAED6-18B3-4536-AAB4-0881CCC8B7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ba6ef532c0568e9477b6df6970d5d0da053152","datavalue":{"value":{"entity-type":"item","numeric-id":4133967,"id":"Q4133967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$945048F5-E0F5-4900-9FB7-0DE1E6D4EE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$530E7860-9476-441E-B7F7-3314672CB8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd3f1c74ecd2d6b960ebb394a188f86a23ced68","datavalue":{"value":{"entity-type":"item","numeric-id":4094854,"id":"Q4094854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$1E2061F1-83D7-45BB-B76B-72EDD487D9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$98B42F19-9871-4313-8451-191A13334A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$6118056A-C3BE-449F-B362-76B346003971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$8F0CA88A-869B-4116-9247-9411D21491CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8637eee53f6fde1a39a63a2efaa825c613b17802","datavalue":{"value":{"entity-type":"item","numeric-id":3422401,"id":"Q3422401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259590$F5200D3A-4D2E-4A0B-8ECE-0E77D9FB6595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The typed lambda-calculus is not elementary recursive","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_typed_lambda-calculus_is_not_elementary_recursive"}}}}}