{"entities":{"Q5028447":{"pageid":7058024,"ns":120,"title":"Item:Q5028447","lastrevid":58411029,"modified":"2026-04-05T02:36:41Z","type":"item","id":"Q5028447","labels":{"en":{"language":"en","value":"On higher-order probabilistic subrecursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471685"}},"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":"Q5028447$D6EC7CAC-DB3A-4382-8E68-EEFEC18E15BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9692b312f28bd554179d8a5d849cdc47304f73d5","datavalue":{"value":"1486.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$617BF768-B10F-4CB8-A8BC-E5F81DD66847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7a08931572d51dca96859814cc7a2c7d9c203d","datavalue":{"value":{"entity-type":"item","numeric-id":2804202,"id":"Q2804202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$A2B7AE29-4D7A-43F8-89C1-50FF75A56CE3","rank":"normal"},{"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":"Q5028447$351F0114-BCB6-48F4-9169-9000327AAA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1d114df6fab24891a202f872c063ef01e8c628","datavalue":{"value":{"entity-type":"item","numeric-id":2988380,"id":"Q2988380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$36FEDA63-F486-4A2A-98F0-F2482CD7380A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028447$1E453CEC-5151-4858-B148-0F212291D0DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebe3f04271bb56de9a036c0ad6420e3c8bc0aa4e","datavalue":{"value":"https://arxiv.org/abs/1701.04786","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028447$67D771D1-2DC0-4A93-A7FA-C556A7198BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"42d7a0b03dd812d69a5dbab3c4818ae997232f62","datavalue":{"value":"https://lmcs.episciences.org/8891","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028447$B8EB2CDD-3648-41AC-83DC-46B1972D580B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$F7E11789-4146-4CF9-8A08-B419306084EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$8915F46E-03B5-458D-B26C-65B0B6C88160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$B05AA031-5916-4232-BD4F-E1935648741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$EB8B2F32-E14E-4F75-BB78-4C9448327485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$B7F6DFC7-2D08-4701-8890-66298E53F5CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80b139e0ed3ff7848256567aebe63d0cc92a6882","datavalue":{"value":"7471685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028447$0A5ED4FB-4DFA-46B7-8A92-3162361D9CAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2855e518f22b2d4c55c6faf4de9052e8d3c21fc","datavalue":{"value":"randomized computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028447$14231C2E-94B8-4638-AB29-96A8A0D3BF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028447$54C9BD47-A02B-49F7-B219-52E625DEF4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae56a435abc93b3edcfc1d3e0df0efd26628290","datavalue":{"value":"higher-order recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028447$6A0445C9-BED8-479F-967D-590C807A51E5","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":"Q5028447$9B74B8B3-76B2-40FA-BF4C-88CEE01A9CFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$FC86B92E-50E1-4753-A8A1-EB1F710F7FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$A4EEE586-FC81-4837-B326-98CB2DD911A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$5FD45415-0526-459F-9639-424025F23779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b85a0716c9176a24fe9f3224d2ebf22b69ed28","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$3EEBD24A-50B0-4A26-B6D3-74AFC9EFB8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2b9f18ec546e00cf26c8d63230eb3ae1b5d40f","datavalue":{"value":{"entity-type":"item","numeric-id":5370917,"id":"Q5370917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$0B19B26F-E966-4AB9-93ED-09C1B047D90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13ee7881efe3d3b4e3a7408a633bf14eb0a2b49","datavalue":{"value":{"entity-type":"item","numeric-id":2343130,"id":"Q2343130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$E73D7A53-DC6F-473B-A3DB-8419BE95ECE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$B1D6419A-8B05-437B-95D6-764EA8DF2B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7eb44c8b0e7408e12477b0bace13da7c96c806e","datavalue":{"value":{"entity-type":"item","numeric-id":4621181,"id":"Q4621181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$62466D45-8DFC-4C7F-8C1A-C38E2BB50B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18575257a2c0f53473e2c8e64ee6959b10c070fd","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$319E3BDB-7211-4A74-9308-FF1D2986C337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$7A1E3EAD-D53A-4D72-8A73-BB875BD8A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121dd9022f35fc78a71922be5a3fab3fd33ca680","datavalue":{"value":{"entity-type":"item","numeric-id":4133135,"id":"Q4133135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$125B4803-4232-40D9-9F04-1951815D9E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$9F7206D5-04A8-4C10-BB42-B198B2AB70DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c45e451fd0f7a92a5994a15590d3cd4011eba","datavalue":{"value":{"entity-type":"item","numeric-id":5144684,"id":"Q5144684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$122E0DD7-88C4-4443-95DF-529F556AB496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5a6f84755ad43a773b6ab5ee14f3400a8f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4222969,"id":"Q4222969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$27C56240-2DA0-4621-8692-DFAC7F9015CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28257ce02a4ba767d4b99cee6ba427bdbee61632","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$2305CB61-9004-40DA-919C-91F69937161E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$5FFAB45E-E33D-4FB5-B047-968D6D76D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$74413EF5-42BA-4A41-8DFA-537BB0295673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$5F3DAFDB-7766-48F2-AAB9-2C7D99C6194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9295458ada3d551f53992f0fe6aefb0e26ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4939994,"id":"Q4939994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$1C191E83-DD68-4E87-8F09-FE2162A8DFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$2BB8EC02-FE50-4F72-B782-B76DEABBF269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$A4109900-CD72-468E-98B8-208D64EA3F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fad35680410c0b5b4a89afbcba0aeaeea3d7d22","datavalue":{"value":{"entity-type":"item","numeric-id":5891604,"id":"Q5891604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$9ED8F691-3A93-489C-A7DD-FE9112A1EAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d911397582ceb5a1b462d5874cecc9ed198a01","datavalue":{"value":{"entity-type":"item","numeric-id":5579493,"id":"Q5579493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$DE54E339-2C46-492C-A6A3-FAE97CF69364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f815b333bb881989d9b818874a2a5f2de3414597","datavalue":{"value":{"entity-type":"item","numeric-id":4179849,"id":"Q4179849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$CF5393BB-25CE-4A58-AFB0-5905943441CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$28FBBDCD-0750-4E52-990F-831FD16B75EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028447$A94AB793-A782-45EE-984E-54E109F57BED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91bbcf4b98d867ba3eba15c36b8abe8016de515","datavalue":{"value":{"entity-type":"item","numeric-id":2988381,"id":"Q2988381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13716a9651b37c81c5e86663ea88330acb8bf378","datavalue":{"value":{"amount":"+0.9972900748252868","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":"Q5028447$556ACA2D-50A5-42C1-A4A5-6F84D808E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64165470d72df18f0210b76b471627bd6419f71b","datavalue":{"value":{"entity-type":"item","numeric-id":2938155,"id":"Q2938155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2694e87533cbac38b4506356b288739f5c2fd540","datavalue":{"value":{"amount":"+0.7523524761199951","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":"Q5028447$58F1EC36-FE7F-40BB-B475-1FFD9B733F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890c82df01a8890eb224c78eba60a0eef0cc870b","datavalue":{"value":{"entity-type":"item","numeric-id":4621181,"id":"Q4621181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5f9f813e3b3cc42dace16de7d285b9fab88de0","datavalue":{"value":{"amount":"+0.7523524165153503","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":"Q5028447$CAEB0E43-4D7E-4155-8C70-C9236FF38602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6577f8901b49706f96ee68996b13a9290caf85","datavalue":{"value":{"entity-type":"item","numeric-id":5129945,"id":"Q5129945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab52145723e4f91f6e6bf9728b6ce7a8bb06215","datavalue":{"value":{"amount":"+0.746076226234436","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":"Q5028447$2E93DF52-5CFC-4375-9073-B00CF1C904F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e84cd012011c0f5284b9dd31c5ff802ae60856","datavalue":{"value":{"amount":"+0.7338417172431946","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":"Q5028447$B011B7D4-E9AC-4F9F-B5AE-A9AD7B0905E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028447"}}}}}