{"entities":{"Q400424":{"pageid":402191,"ns":120,"title":"Item:Q400424","lastrevid":61560864,"modified":"2026-04-11T00:09:56Z","type":"item","id":"Q400424","labels":{"en":{"language":"en","value":"The equivalence of bar recursion and open recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6333291"}},"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":"Q400424$8C60B142-8584-4A20-B5EB-666EB85CE1AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c799f7ff732f98c0edeb485d6021ef98f9e75282","datavalue":{"value":{"text":"The equivalence of bar recursion and open recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q400424$68895B2F-8678-403E-B0D7-D36C0BE767AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"addb08a0a6cc50ac11f34ee91310a70f852ebb09","datavalue":{"value":"1354.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400424$5096F8C0-53CE-4040-9146-A653AE0D9805","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":"Q400424$C7A70460-0B13-4405-B2E9-B2F6F6E487B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbe10affe2cc92fb221314d06c46561b63446102","datavalue":{"value":{"time":"+2014-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q400424$E767A632-5168-4395-8598-2001BBF01298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400424$0DC4B19F-34F1-42C1-8490-58BF64FEC845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400424$7EDF6B52-AEBA-4E97-A5C5-4CA82F06B062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df44b3df380df4e375b0d2b1caa724945b1b0b6a","datavalue":{"value":"6333291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400424$420B2ADB-B637-4E60-BC9F-4FBA9B3ECFBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af53fdfe646b5705fa60d1a5e3339094e3facfe","datavalue":{"value":"G\u00f6del's system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q400424$F0B21525-F643-45DA-A43C-F5F6818B3F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b736dafbd83166144afd58203e11806e9433118","datavalue":{"value":"primitive recursive equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q400424$2652CF44-DE80-43DB-B986-EBB67A19E4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q400424$B6A5F3E4-B35F-43D3-9742-86B41687FCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9647fc1162d82b3fd3883adf25be3890dc773df6","datavalue":{"value":"open recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q400424$A48A0CF7-8D4C-4AAD-98F3-1EF4B6F06CB0","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":"Q400424$21A49623-95C2-4537-BF33-38E8A88C086B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37cf74cc89cd1e70cb8f78bc43d1c4954725ead3","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q400424$C6DEBEE9-D6FF-4868-B15F-46AC3D70A721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f197b2d06e5fa16f190ffaff4b1ac87f1d365bd3","datavalue":{"value":"W2023101964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400424$E004EF37-91F5-418B-A52A-CD90D0650285","rank":"normal"}],"P223":[{"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":"Q400424$EC79EE21-315A-44E7-BB74-5F51E26A8967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13c4bf41c5b2327a4eaf927f35f76b8bac80ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$B4E5B3E9-757A-4990-9C38-DA4AF7E498FA","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":"Q400424$F6B52CFB-B8E2-47C6-B04E-F0CC577A21D0","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":"Q400424$3822F2F8-532E-46B9-A0EF-134448FB2EBA","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":"Q400424$05A62E71-7714-4BF5-9BFD-531B19F41B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad10ae0ef496a850ac45ed31422559bbd55cc413","datavalue":{"value":{"entity-type":"item","numeric-id":1115867,"id":"Q1115867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$E1287D8B-D139-4A7B-AFB9-79E111860946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bda265395f5c65b4fa8a0061b4ef96facef65d","datavalue":{"value":{"entity-type":"item","numeric-id":4594260,"id":"Q4594260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$96C67103-7138-4DA8-B8DE-757D5EF81C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$7C47F694-70D8-42CF-8102-C41BBCB85898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0395bae31179833695d1a42d0a1d5d5935c455","datavalue":{"value":{"entity-type":"item","numeric-id":3576200,"id":"Q3576200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$9D506E7A-8BAE-4B96-9B6C-3A432346B7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2d5cf70957811b3c1a72086f7c66b724e20b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$709DF6B6-5BB0-450E-AE13-87B13F750E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70de28c5744e3d74f5cb50c3c7187b1579dc8426","datavalue":{"value":{"entity-type":"item","numeric-id":3104817,"id":"Q3104817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$28890D76-8540-44CA-B864-A7B7D5DB3243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aea45f7cabe4b4b043c5c49d7e85cd4318a69a9","datavalue":{"value":{"entity-type":"item","numeric-id":408162,"id":"Q408162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$00D44A1A-5520-4F30-AC84-11E40FCFA281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46b01415a62eb3dd1bc46eb0b2fa8f817ea38f69","datavalue":{"value":{"entity-type":"item","numeric-id":3855167,"id":"Q3855167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$61F9B817-8FF6-4875-921F-EDDDC46D7C12","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":"Q400424$90451CB5-57A1-4D82-9B23-B7D12BF1224B","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":"Q400424$C9B38530-C358-471A-BE88-B5585768644D","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":"Q400424$A1392778-9DD9-4AB6-B1AA-59B2C55EFE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$5106BB32-302C-4A6A-BA30-E9D4EB70C5EA","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":"Q400424$5E015ABC-61AC-468C-8F5E-F5C386002DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$4D54EA64-360C-4958-9FE9-D934501DF36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd225cae955a634f3aeebc8118bca949bb5fee","datavalue":{"value":{"entity-type":"item","numeric-id":2482844,"id":"Q2482844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$2643BF27-FDEE-4B1A-B08D-E196A35E5774","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":"Q400424$08037D54-4D3D-440F-8AD5-F085923E0B2A","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":"Q400424$D3AA2CF1-DB6D-4728-953D-0166EC2DC25B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7ba6c44c1ac1a9132d7339bccebcc5aba941c21","datavalue":{"value":"10.1016/J.APAL.2014.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400424$C6C535D5-C8B0-417A-978A-2136A8E1C63D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84e68459ec5091ff99e984b785341f0769afc672","datavalue":{"value":{"entity-type":"item","numeric-id":2730251,"id":"Q2730251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400424$9E40E946-C7C1-4C0B-AE78-6D676EAF4E05","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":"9a60f4f2543d01bbbc68c8ee7209c9fcba5b2249","datavalue":{"value":{"amount":"+0.8176568746566772","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":"Q400424$167E3BE0-E820-43C3-A05F-5D4BE03379EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5955716d3e538dd02f0b7403e1b04485cacb55","datavalue":{"value":{"entity-type":"item","numeric-id":1115867,"id":"Q1115867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41659cb05b7d009c1c2ad5c5a47c0a6061d711ee","datavalue":{"value":{"amount":"+0.8113555908203125","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":"Q400424$42D18396-D613-4C9B-BB65-EBBDFF2BB7F4","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":"a858bd09e6bd93ade78be0c6274b6d8be42ffa1f","datavalue":{"value":{"amount":"+0.8033328056335449","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":"Q400424$1069B9BD-C691-41E7-805F-AC145B7516B6","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":"bf12e8e900dc3cd5d6b56c838ee05f07fe7ae728","datavalue":{"value":{"amount":"+0.8024033308029175","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":"Q400424$2DF7E2FE-CFFF-42A2-91B4-D4EE166139B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b47cf82ef6f4afa58ebc91b7702bdba05b8837","datavalue":{"value":{"entity-type":"item","numeric-id":515562,"id":"Q515562"},"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":"Q400424$C3E6A0B7-3C9E-4D59-9371-CBE4F7687A89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The equivalence of bar recursion and open recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_equivalence_of_bar_recursion_and_open_recursion"}}}}}