{"entities":{"Q5225854":{"pageid":7255423,"ns":120,"title":"Item:Q5225854","lastrevid":94469315,"modified":"2026-06-05T06:53:56Z","type":"item","id":"Q5225854","labels":{"en":{"language":"en","value":"Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7086666"}},"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":"Q5225854$054FE289-57D0-45D4-AE33-36AF7032A00D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3056930703a7be79eb9e27dd380d02a51666220","datavalue":{"value":{"text":"Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5225854$8144495B-C21B-40E7-8D22-0F88AC9B3AC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77110dfaef1a035a51b405951453f8204241eb1f","datavalue":{"value":"1444.03141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$144F72CC-89C4-4F13-9915-08821C017D5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65843a761d7cd8faa1ccfb53922c8c359453598b","datavalue":{"value":{"time":"+2019-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5225854$74E6D944-D2C3-4115-8BAE-27140DB6A939","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2faed7b9022b14e2e5116d765d1dfb4099085e3e","datavalue":{"value":"https://arxiv.org/abs/1411.0457","type":"string"},"datatype":"url"},"type":"statement","id":"Q5225854$79A733AD-F4C8-4B74-922A-0A5B63986340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$B7925D9E-4032-4AA0-9ED0-AFDD633ADFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$317E235F-7BE4-4CB9-B414-683AC81A91D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$ACBB545F-50CA-4256-8721-2C3A13945C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$2754C196-3365-4771-8E02-DC07C2F219A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$AC3C8D58-6B47-4423-883E-18DAD78D613B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b2e4f314fccbc1363c8a447997671a50fc519a5","datavalue":{"value":"7086666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$5E05E1B9-AFB1-4546-9FE9-2968B4012506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b554279a6b3d2763e31e966664501fdd51a92def","datavalue":{"value":"dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225854$A9F3FF59-848B-467F-8334-FA1085116C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225854$86176263-FFD3-4986-91E0-277B0581F4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225854$FC84E0D8-DCC4-47CD-A513-9FD7EBBBB8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225854$61FF8932-61FA-4166-92DD-8B6D3C006280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f3daf8e8ec671c2d12787f1264514c92ea524","datavalue":{"value":"continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225854$FA90100B-29A7-4B93-83E9-0196DCFA27B4","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":"Q5225854$5174E349-1E77-4F9D-9A02-DD22CAA2B9BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9257d59f3f345201ce3e60ab1555f442fdd5b04","datavalue":{"value":"W2963227651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$F9268408-56D8-4934-93FD-B4847A7B4825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89404670318f4033ff6063f8fde543e99cf27235","datavalue":{"value":"10.1093/LOGCOM/EXV056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225854$6C2CBDB5-05FB-4C90-A6F3-6C6AE9329AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225854$958C79FF-BCFA-4BF7-81F5-5BC285F1C925","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7cc0b9e1691c5553d2a1fa764865dc304f866a","datavalue":{"value":{"entity-type":"item","numeric-id":5702662,"id":"Q5702662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ffb88b6127034b512ec86976a4e1971fdf4e52","datavalue":{"value":{"amount":"+0.8146272301673889","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":"Q5225854$53F6FFA0-DB59-463D-AAC0-A5CF82679098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93599218c222a242f63ed2addbed8af4801dfa8e","datavalue":{"value":{"entity-type":"item","numeric-id":5278411,"id":"Q5278411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2015a03f7f1c2acc0d5be789f9f1fa0a8800e934","datavalue":{"value":{"amount":"+0.8143330812454224","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":"Q5225854$522267CD-0ECC-43D0-ABAA-74EE461BB40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556f9ea0386ca073eb50bec106e3334b9155c204","datavalue":{"value":{"entity-type":"item","numeric-id":2937797,"id":"Q2937797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8347c9549451958c1af476056943265e79c7ea","datavalue":{"value":{"amount":"+0.7824860215187073","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":"Q5225854$8B1470E7-549C-48A1-B603-6F8576B136ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff467da82d6cced4e8f3832d43086d25fb22e85","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6676faebed151a0550c165c0d9af7f54e7b7e8","datavalue":{"value":{"amount":"+0.7514084577560425","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":"Q5225854$9BC0C0A3-AA44-412D-8463-765C39E08589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6b28e81522e997b721e65f3f0bfdbea783f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5251356,"id":"Q5251356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be081c9b5834896b4bd9e0d0f1a31c6b8a058472","datavalue":{"value":{"amount":"+0.7501556277275085","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":"Q5225854$2C16ADF4-3BCA-482A-BADB-4C18C14734C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametrized_bar_recursion:_a_unifying_framework_for_realizability_interpretations_of_classical_dependent_choice"}}}}}