{"entities":{"Q515562":{"pageid":517329,"ns":120,"title":"Item:Q515562","lastrevid":62448273,"modified":"2026-04-11T06:09:26Z","type":"item","id":"Q515562","labels":{"en":{"language":"en","value":"Bar recursion over finite partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695571"}},"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":"Q515562$35ACF29A-C9A8-4C93-A87B-693C775E6D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09f675778de285bdfcaf18923cac7a20793c03db","datavalue":{"value":{"text":"Bar recursion over finite partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515562$1915F0C6-035C-4409-9ABE-2C8EC09B5372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d9c9601049b055c64e18055eb5c96ef58f5f2ab","datavalue":{"value":"1422.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$723D7493-1F9B-4EDF-A3C2-47E1E53C5CE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$77971063-7C89-4695-841B-E8FB67367CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$61F94661-61D7-4689-BCCD-78C80AB34A27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$DE64E449-A58F-4481-BBAF-32305FCD4232","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515562$4E870B5F-422C-4CF7-8B99-18E9DE7C7D6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6a77ede7220de1e199b989de8b0aa470f07df18","datavalue":{"value":"https://arxiv.org/abs/1410.6361","type":"string"},"datatype":"url"},"type":"statement","id":"Q515562$BB247987-E198-48EE-A600-530DF0FD2824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$7F5F15B3-08AD-4BC8-8AA0-B88FE906AA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$7349793D-219F-4A7A-B233-DC68EF26EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$1C553D4B-3FC1-4F5C-AC8A-133261580611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$A80EDF3D-AA41-4B16-9E5F-A2544CD4A3E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13a5e23d4f1bba3c8496c7383953b9c9b5a8e13","datavalue":{"value":"6695571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$D41AC257-6AD1-486F-84FD-113BDED073F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q515562$62159314-B16B-485C-860F-3A777606F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1e701d5c8b428559fe63586d1c99bea21ce041","datavalue":{"value":"dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q515562$2E16C8FE-2D8F-4DC4-A7E1-D2CB36F1E543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q515562$7BA4460E-C4CF-40FE-8022-DC9E61E76A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q515562$1A7AB700-BDB9-43E3-A56C-83925A605ADB","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":"Q515562$B7C92FA1-815A-427D-8F8B-EA7553D17C97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22c40162e5cc7baf0a02ac20fbd608160f05d8f8","datavalue":{"value":"W2290067105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$8841B010-E68D-4C09-81BF-47FD94ACD2CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11792e927ad866d227a06a7669f3558c91fd1159","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$7C516D10-A4BA-4696-A9A3-9DDBFF47550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e366e7b3eaee30c8a7b50e86a00285d250c8874","datavalue":{"value":{"entity-type":"item","numeric-id":2776806,"id":"Q2776806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$9B8B7C2B-7B73-4308-ADF1-36C8C842A7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$64FCA19F-AD70-47E4-84C9-E633D3975DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$333BE5D9-7F83-4CFC-BF55-BBDB0BB1EA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3a7119851761b1ce81b875600e447056d3c373","datavalue":{"value":{"entity-type":"item","numeric-id":5702662,"id":"Q5702662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$4ACDDE4E-3A07-45FF-A16F-6216B13DE791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d8a1d1e241aced44f331721f2320ad6a6af4a0","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$EC894AD8-ADF1-4AAB-8828-E27E71662D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$7B2A0447-428D-4741-B785-729C07754184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f69ed0c3d030d35b191c944e3210be70f318fe","datavalue":{"value":{"entity-type":"item","numeric-id":3535608,"id":"Q3535608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$7FFD36AA-DFA9-4D1B-BFC1-BA875311D2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c36583bfd80b3da914eb7a0ddbf596a8b546cb","datavalue":{"value":{"entity-type":"item","numeric-id":5251356,"id":"Q5251356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$EE377671-E688-4042-83FF-A87C8C2F5054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$D6F9E801-80DB-45AF-AA24-CC5833B02D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487916d3cdc9c48e6c95427874ba546cc872ae","datavalue":{"value":{"entity-type":"item","numeric-id":5545953,"id":"Q5545953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$736C8DAB-A5F7-4EF7-AA03-6042B1FCACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747d404579adba7e87db1a17a09af2ad09c4d561","datavalue":{"value":{"entity-type":"item","numeric-id":3281965,"id":"Q3281965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$BC92B609-D27F-4D44-A36C-AA37F4F459CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$7006DB08-5170-40E1-BB5C-3A773121BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$E7F48194-10D2-4B7C-A024-9337EE2BEC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dc542c9d6156fb40798000fe216fba3c289720","datavalue":{"value":{"entity-type":"item","numeric-id":5898840,"id":"Q5898840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$DC5A8ED9-9613-4979-AF26-7C7AB230734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620904076f85aac60afc82ac685ef67fae15bf4","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$01C9AA7E-73A4-4778-9CB7-5B9DCFDD5431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351be49573d77a34add2d2e5618ee3ac9205fdf3","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$29E077FC-D7AF-4341-9572-C6550F013C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9969e44e74a4ddcb9248ec285f5a1c9f4cf96634","datavalue":{"value":{"entity-type":"item","numeric-id":5613181,"id":"Q5613181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$E1127CAE-BE14-461C-9D3E-0204A1E21F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$F41EDBB8-823E-4C69-B368-B365DEAC576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515562$30BDEBC9-B5AB-4CF0-80F6-5396603DA64E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bbc005519f81224e92ad184fe9dfbf47892e3bc","datavalue":{"value":"10.1016/J.APAL.2016.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515562$AD66E52E-555A-430E-A393-AD347CEC196E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5956087ec7c6e66f3d37f7afb5d5e842d740d9","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06e0d99c15a06c6a11b09a1564b969daf2cbd9c","datavalue":{"value":{"amount":"+0.8160684108734131","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":"Q515562$67DC2D13-3C18-4BF1-A2CA-7101EA9D98CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abb5fc6f388c8cfbc6548cc9296b1180eaa44a5","datavalue":{"value":{"amount":"+0.8028551340103149","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":"Q515562$0564EC0E-21DE-4362-BF7B-5A8BC3F57701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b792d1ab353f6d7574557eba90ec430d3792b90","datavalue":{"value":{"entity-type":"item","numeric-id":5898840,"id":"Q5898840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5761e2063dc6f6c50c7ba33dc9d6277740edbe","datavalue":{"value":{"amount":"+0.7954874634742737","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":"Q515562$B3D0D039-C7D4-4C88-A874-BB2F457951E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ced790569a69b64d50e7536f6e53d0921d97af0","datavalue":{"value":{"entity-type":"item","numeric-id":5211057,"id":"Q5211057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc1b238c07776a30bbb700210d676172ea97b69","datavalue":{"value":{"amount":"+0.7896116971969604","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":"Q515562$B51F5611-6265-4E6B-BD2E-0A90D53672F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d95a0d8019ff379587790214f720c9b0addc733","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d486c41f3695613848468ff2fab7683a7d64e33","datavalue":{"value":{"amount":"+0.7837203741073608","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":"Q515562$4EB8044C-C1E1-451A-949E-11ED265B39EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bar recursion over finite partial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bar_recursion_over_finite_partial_functions"}}}}}