{"entities":{"Q3722497":{"pageid":5752403,"ns":120,"title":"Item:Q3722497","lastrevid":50732099,"modified":"2026-01-14T23:34:40Z","type":"item","id":"Q3722497","labels":{"en":{"language":"en","value":"Syntactic translations and provably recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952750"}},"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":"Q3722497$1C6E2975-86F6-4387-8463-62A8C7F7D571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6d88e57acdb51da745e670480c2e4450589a44","datavalue":{"value":{"text":"Syntactic translations and provably recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3722497$2ED8AE37-C1EB-434C-A621-4301DD9C0919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82b35501b6706fd5aa84f1d2c083cd710215d4bb","datavalue":{"value":"0593.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722497$9D91287F-7765-48DA-9330-650038632379","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"317b66f8aba16a31bc3a13b0e6ebc4c1af2ad1c1","datavalue":{"value":"10.2307/2274322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722497$5508C3BB-1AA7-4177-BA5B-2F9609B110C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722497$601748AF-F436-430B-9AC2-14023EDC222E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722497$B3B0F58D-0295-42B8-B0DB-A3BB5076FFC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3722497$346AA91D-0028-40CD-91AE-A73726819540","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722497$1ACED4DF-2BA7-4B2E-9C6D-0750AFBDBE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722497$EAA45525-45F1-4AC7-BE77-414DCDF43C8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59590a680771afe3abd0d0924a5747ddd1f619bc","datavalue":{"value":"3952750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722497$B2D908B7-EA6E-4C6F-9935-661234288A53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b6d50043920192f8b5aee5f98222f82e9d3b9b","datavalue":{"value":"conservation results for classical theories over the corresponding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$FFD90ECA-09B9-4B87-8B77-3181C2746382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d362ffe83d0c9cef8194f5c98afe3fe5803803","datavalue":{"value":"intuitionistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$C5C118A0-ED04-4240-89B9-3F9FF8E5D8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f2ff7a51fb7ae563b94666f1310927cdbada7f","datavalue":{"value":"double-negation translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$5C7D7153-B94E-4008-B63C-A841A3823926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$65A9836E-9D6C-40EB-86B9-1DC8030F3785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e9f0a9f93568dae63c72e3e04817816d0816d5","datavalue":{"value":"intuitionistic full arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$4E37DD87-127A-4969-9F56-B9AAFF8BE73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$ED41CC81-5649-4726-8A70-89203362C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811c16efee5f099f45fba8865bef2c18560ca6a1","datavalue":{"value":"functionals of higher type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$85F7DAFE-2590-43F3-92DD-3E42C0EC90DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baaf2037bf4d39c5f24da38231ab5bcd23b74b52","datavalue":{"value":"classical ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$9F1F4AED-2B50-4633-A66C-B50FDB1EFBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e7221db39bf9b3993ac689b6d1bd5044870197","datavalue":{"value":"intuitionistic ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$7DEE3F96-EE75-478F-A4C1-5B4E506D3776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2611129a1132e3721c6aaafb93232120800796","datavalue":{"value":"intuitionistic provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$9633C09B-24AD-4927-8779-6A1D9194790B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12860be192850a0b23f00e8b071fb7741aab8ea","datavalue":{"value":"conservation results for classical theories over the corresponding intuitionistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722497$1D80D441-043E-4F95-8ADB-AABFA17922EF","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":"Q3722497$42C3D498-A354-4BD0-BEA7-D76787258CF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0801de6d124240bfe4a2ca1a7a6a91e928ee0f23","datavalue":{"value":"https://doi.org/10.2307/2274322","type":"string"},"datatype":"url"},"type":"statement","id":"Q3722497$3CEAA582-4F91-4E07-A3B7-E0505BF850E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87a782321c9e8a80d6cba39aa9dbafdc302d4e4c","datavalue":{"value":"W1972458837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722497$BF579C1F-B60F-4B75-93C0-BF433B5D7738","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722497$E11FFB87-C60C-4F23-80CF-CDC5781BEAB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9108c8fcfb83f075bfefb84dde5377179e381","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9740766d78af16704c69195cb70f980e4fddf9","datavalue":{"value":{"amount":"+0.89409125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$BBF7F208-43A8-43D7-BEC9-18D65D4837D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f3849f27121b78efd06c46237fda9eb613f07b","datavalue":{"value":{"entity-type":"item","numeric-id":2758322,"id":"Q2758322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17878a1d97a4a9de83da844c72daee02c6501412","datavalue":{"value":{"amount":"+0.8706418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$B0CA5080-48BB-44C4-9EBD-33BAF9B6CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8924cb3bcdedfc52282945c697cbed657506793","datavalue":{"value":{"entity-type":"item","numeric-id":4934343,"id":"Q4934343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff886595cd1af7bbaf76698ff7a94969597dde1","datavalue":{"value":{"amount":"+0.8693964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$33AF446E-84EC-4F26-9567-6B104C6529F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3afdc1d99b49dfe9d0e45fa71c9a8896abc5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f287c8448f9e08b4fa44b19034d44f031cb096f","datavalue":{"value":{"amount":"+0.8683468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$DAF4116B-42E0-4462-8D57-9BFECDA03900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d6f9935debe3c2a4edd7cffd7e9cc1cd7bf942","datavalue":{"value":{"entity-type":"item","numeric-id":5055806,"id":"Q5055806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44300a94248795163c8473ce7c9ee2d5529ac011","datavalue":{"value":{"amount":"+0.8629215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$537EC56D-00A9-421F-9F67-31EBC885F19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd15ca7e6c41f8c9853f107cee22f7e9ef811abf","datavalue":{"value":{"entity-type":"item","numeric-id":3503912,"id":"Q3503912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7eac7f562bd3bb0fc4539ae466c6e2cbb75e41","datavalue":{"value":{"amount":"+0.86252946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$9B2E7D0F-D191-4E89-9188-79B25BF7828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5666f7fb037ff94c5a9ad20e77adefa979f3beb","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3508f9ea0d57be51e8ee99862f0c2f09845fe9a","datavalue":{"value":{"amount":"+0.86010873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$45391A95-B6AF-4E65-B13A-CEFCA4F35BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d165b807afa78da2587ba9670d663946c03f19","datavalue":{"value":{"entity-type":"item","numeric-id":865969,"id":"Q865969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1c9db6af8d5cd62cd6cf288c54fb377a78c046","datavalue":{"value":{"amount":"+0.8599958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$69F73FEB-7A8A-44D6-8984-C32A88C3771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe0d33a24d32ea3f8643853312e896283f36dbf","datavalue":{"value":{"entity-type":"item","numeric-id":5966282,"id":"Q5966282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1c9db6af8d5cd62cd6cf288c54fb377a78c046","datavalue":{"value":{"amount":"+0.8599958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$A4139226-C15F-48AD-BF08-F775141F4DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70ce928603bd569a0979461ae01bd3742338bea","datavalue":{"value":{"entity-type":"item","numeric-id":3332225,"id":"Q3332225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6379b7b5e7f6ae5814a5ee14739b135c77f66331","datavalue":{"value":{"amount":"+0.85967684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3722497$FD8827FA-0B4E-4465-8E6E-18C56154362E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3722497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3722497"}}}}}