{"entities":{"Q1295406":{"pageid":1306156,"ns":120,"title":"Item:Q1295406","lastrevid":68393268,"modified":"2026-04-12T23:24:46Z","type":"item","id":"Q1295406","labels":{"en":{"language":"en","value":"Applications of cut-free infinitary derivations to generalized recursion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308088"}},"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":"Q1295406$0F7B6456-FC37-45DB-A501-2A2242210A5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a91bf9bd94a18cd4cf866ff8cc1ebba9ce94f43","datavalue":{"value":{"text":"Applications of cut-free infinitary derivations to generalized recursion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295406$A470B459-58CF-4DE1-942C-5B5AE6297C2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05c9fb3a57f9c7dc9edafb40cba0518e41baed7b","datavalue":{"value":"0924.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$C45DF9C8-1087-45C5-B6B7-6DCB58CA98CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"818b273c57c98e25cc3688079c2810ab2b2c294c","datavalue":{"value":"10.1016/S0168-0072(97)00063-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$12B86385-FF40-457E-82DB-F5DFE23585EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295406$00181704-0F0E-4EFC-B2AB-34663E22BDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295406$663A9AFA-4315-4089-A138-1FA40B35A7D1","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":"Q1295406$87A78467-2502-49C7-990D-8389ECBBA1C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8b9eaa2bb0e97d3cd2a2822e2e24e095566e76f","datavalue":{"value":{"time":"+1999-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295406$4E91F20C-2134-4984-9103-7471A1DF1BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$E85AEA5B-C22D-4E11-B456-50BC150B1114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$84170A22-9E3E-4C7D-AB20-06331814146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$92F09663-6C7D-466D-9397-DBC874FD9614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$D96DC236-0774-4DA8-838B-BA4C1840551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$E204C70C-10B3-4753-BAE9-7BC047466DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01a21aac1e65873ee96d4851299a6afe5aabae9","datavalue":{"value":"1308088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295406$2C749B38-FE73-4D9F-9D6C-BA31B93AE3BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070e007863e8f320debfa10b5103d34a19de2d25","datavalue":{"value":"cut-free infinitary derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$78B12499-068B-463A-8A48-CD644E392A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fbcfdc93f355741bd029aa6fa2833672283ac2","datavalue":{"value":"boundedness principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$AAA6DBD1-DA3A-4A51-A4D3-12BF28276519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cac67f985add53fb59aa8ccc1b6be5a4b268565","datavalue":{"value":"recursive ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$8F6647F8-9442-4898-822E-BD3664C55051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b0e858cce522cd7e3eb91d5a8114456bdbec13","datavalue":{"value":"definable well-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$76D3FBDA-1A29-432D-BF38-D2C79AB00BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$4F75DB4C-CDC0-4868-91AC-8AC2E2EACD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7329150fe27681ac49436176e272e660b59210","datavalue":{"value":"boundedness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$79D729E9-F457-4A6C-AEB2-308CBEA0DFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd91c982e8597e70a8b6c33bdbee31f953b18e4","datavalue":{"value":"generalized recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295406$EF3AB5B6-83D0-4386-BD11-7410E7DA681A","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":"Q1295406$C534C545-26B9-4280-A8CF-1FD56DA52AEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295406$F7665077-4D27-4B66-AA56-D3779919EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295406$A154681E-664C-4B79-983F-ED66867DD6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295406$5CD41418-88B8-44B0-848C-D5FCBDAB0663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed3a6a12710792cf3fc040f80ce51b3d8ec4caa","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a819808647a9d3c6540ab34c2e4e24831f69eb","datavalue":{"value":{"amount":"+0.7437407374382019","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":"Q1295406$7271AA57-31A9-453A-820F-6A0412DDD423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba423d59bafa06b8a776b37ada6bf919ebfda381","datavalue":{"value":{"entity-type":"item","numeric-id":3318773,"id":"Q3318773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47252d0265c18b66792929845de9b126aff01ded","datavalue":{"value":{"amount":"+0.7332610487937927","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":"Q1295406$26E8F45A-B7EA-4B73-B8D8-C0B2C7C87D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b83846e77848704234acd12a129f1bca7015c5","datavalue":{"value":{"entity-type":"item","numeric-id":2743649,"id":"Q2743649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effd31961bced96bd50289ce2be9fb4a32886c20","datavalue":{"value":{"amount":"+0.723101794719696","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":"Q1295406$EBD3609F-86D6-4BB8-9973-6A0161A69919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b06a363e99233f409cb556c258e79cd75b17df","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318f7d062c9824c2aefdce8f7cbb302cdbb7284f","datavalue":{"value":{"amount":"+0.7179772257804871","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":"Q1295406$C14BED30-3F16-4C30-85FE-2B928192D782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of cut-free infinitary derivations to generalized recursion theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_of_cut-free_infinitary_derivations_to_generalized_recursion_theory"}}}}}