{"entities":{"Q2946566":{"pageid":2957286,"ns":120,"title":"Item:Q2946566","lastrevid":58082871,"modified":"2026-04-03T17:52:42Z","type":"item","id":"Q2946566","labels":{"en":{"language":"en","value":"The geometry of linear higher-order recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483075"}},"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":"Q2946566$9B27F8C1-115C-4103-A6EF-4E436114B7D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c73f3d9a46b9a4d6ba58bf481c5837f9774f9586","datavalue":{"value":{"text":"The geometry of linear higher-order recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946566$2ECEDA27-B0C5-45D1-9FA2-09919EE3CB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9264b3b6d4e0da2fce1136f93eb549b3e0b8cf5a","datavalue":{"value":"1351.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$E9456470-98DE-499A-8E71-7F66B0F57288","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ced09d484f48d91a4580b0ce59f6cfbeeefd93ea","datavalue":{"value":"10.1145/1462179.1462180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$EF89B2ED-879D-4A67-98E3-717B65B9CE03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946566$7ACC19D0-0130-4841-85F8-53387CDCEDBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946566$9273C431-3814-46A5-8BB7-23965F159DCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946566$99CCBC57-E276-40EF-82CA-167216D9509C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc092af17cc009ecf3466a17dae38c2ec8c7979d","datavalue":{"value":"https://arxiv.org/abs/cs/0506080","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946566$258624C5-D433-4411-B5F9-C9941A285E1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$8659895A-C10E-4BBE-877D-2B0399586B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$85A6DB8A-95D8-4838-A4FC-FFED1DE36519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$476F66B5-85C0-4DB3-946E-82ADFCB02007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$82694B45-4109-46ED-B7CA-CB00F14D1F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23248d0ea862fe17f0d1204e9e9ed5ea896f980d","datavalue":{"value":"6483075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$FE9DECCB-B7D9-49A8-AE28-EABB7522FE45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946566$A87B4EA7-BB82-4338-A7A7-3A98E5DFE631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae56a435abc93b3edcfc1d3e0df0efd26628290","datavalue":{"value":"higher-order recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946566$DADCD53E-F1B9-471B-8F64-C6FA90EECBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946566$26C198BF-3A03-40D9-A613-7C9E295B479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946566$39EE3815-C73F-4A52-80D6-AF7FFD2CDC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946566$65D24C36-C324-49B2-9A34-62F1E49897A8","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":"Q2946566$EE67EA75-2AEA-494E-88B0-56A18201B98F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ca8342e7e52fd291ab275db55f5a0f380d819a","datavalue":{"value":"W2133014686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946566$2DB943DD-93F6-467C-8C2B-4A7A3F7F4FC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65474d4e4b6e3f33d2bad3708187db1cb078cdbe","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041e993a08e5846c7f9cbffd09bdb7866f54ecdc","datavalue":{"value":{"amount":"+0.8066098690032959","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":"Q2946566$6E43660F-F517-456C-97E2-28FC25C32B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42eb9d6bb78800bb09113dce3596f8ffc673ed07","datavalue":{"value":{"entity-type":"item","numeric-id":5712304,"id":"Q5712304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21c3c149323a892fb3cb4eb2cda00fd76b19886","datavalue":{"value":{"amount":"+0.7550975680351257","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":"Q2946566$DC3FE470-D665-4EB4-8EC0-BDD8E843DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd74f842a46aafb6bbb8a79aa6ee975a990ef8de","datavalue":{"value":{"entity-type":"item","numeric-id":4436023,"id":"Q4436023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8c48958e85eb1237dfaf510ad3a74e0ead06b8","datavalue":{"value":{"amount":"+0.7442181706428528","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":"Q2946566$47D962D4-02D6-4724-9E10-D6F9668E5336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0e589bb87427f14a3ba48f52a7f5e48773af9","datavalue":{"value":{"entity-type":"item","numeric-id":4513587,"id":"Q4513587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc7ec19010d43b9944813fcad35f31a57c42514","datavalue":{"value":{"amount":"+0.74248868227005","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":"Q2946566$76E51D0B-050A-4BBE-A222-23CD0AA23979","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":"ffcffdaf007894f38447744e1c3f6dd0d4206dbe","datavalue":{"value":{"amount":"+0.7303652763366699","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":"Q2946566$CDBE950E-4CC5-4C58-A4F8-4F6F97F2A3E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946566"}}}}}