{"entities":{"Q1166517":{"pageid":1177266,"ns":120,"title":"Item:Q1166517","lastrevid":70160724,"modified":"2026-04-13T12:50:56Z","type":"item","id":"Q1166517","labels":{"en":{"language":"en","value":"Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3769619"}},"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":"Q1166517$F9078E90-0381-4CCB-9F14-7036CF0355DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"441458466617f33a54a6873f7705768a00340a39","datavalue":{"value":{"text":"Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1166517$5D62D634-EFA2-40C2-A9AB-CF71C3A2FA95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9c01e514a6d628bd83234545d9c7edb8a75d843","datavalue":{"value":"0489.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$46520096-C050-4CF3-8608-6C319FC5613A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166517$5262E2AE-B3EF-4676-9D8C-33E4809DD39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166517$D830805A-2D91-4F31-A4BC-6847D161EA2A","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":"Q1166517$9CB62E02-4454-439B-95FF-65FD8C7F4FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166517$9A13F772-68E7-4981-AB0F-1B8D0E53C8B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166517$C5B29B1C-5626-4B59-BD7C-AC0065D00DCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1166517$1BD3FC38-0FA7-4489-9975-C162D54915D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$2F7BD048-04A6-4AC1-A44C-A7EAE4D4B1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$1F4FB724-E4DD-4129-A85C-39CCB9CDA9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$229C1A36-4CD1-43AE-B349-ECEC6FBB2C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$6B47044C-ED32-4593-8A74-EEF5CF1D6183","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36be5154aaf0ba327e28dc604180cbae3185159f","datavalue":{"value":"3769619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$91562A1B-B6DF-411D-A4DD-43746903E35E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e77dd59e56d74e4a65ba5c609dd58604d6ae63","datavalue":{"value":"inductively defined classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$C2CC1DEB-94E1-476A-A53C-CE9C0BCFC3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a782ce39ec7b563e0855c98ed5fc1268caef7a","datavalue":{"value":"impredicative subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$98916DCB-3447-4509-9657-B65DAFEDD01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f2ff7a51fb7ae563b94666f1310927cdbada7f","datavalue":{"value":"double-negation translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$68F0472E-B71E-4D95-BED7-0B581F717C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a7c26caaa6e6fafd3d4bbf5b10958179a5dfc4","datavalue":{"value":"constructive theory of functions and classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$08BD12BF-4C8E-4DD9-9BF6-1BD94B2147D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63b1a372000327f7ef0575767ecde9c71ec5725","datavalue":{"value":"inductive generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$8B66D9A1-9764-4A7F-BDAE-432CEE8B4D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"691fd4b332db5063dfbfa5df3ab3ff25d3ee6a32","datavalue":{"value":"inductively defined accessibility class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$CF7984E8-E174-431B-A2F5-66F203995526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d362ffe83d0c9cef8194f5c98afe3fe5803803","datavalue":{"value":"intuitionistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$C1D717DD-74F6-4179-B88B-BE48A07AACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc2777ec01b75e57d1b6ab95a043444d7be1edc","datavalue":{"value":"set-theoretic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$CDD764BD-B53B-4CE9-8F3E-0279F0155FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e844fb875d4de67bb8e4fc872f0994b5a484d09","datavalue":{"value":"mathematical reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$DA8ADAD3-A8D1-49F6-9DE8-A258DD79C48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e5558f40cff328abe10fd6f43404537f9a3a7e","datavalue":{"value":"logical reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$70B51F5E-91C6-4DD6-B525-8C98CD1B8BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35656077003fe7132079df2bde53370dcd417bdb","datavalue":{"value":"negative arithmetic sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$27809C76-D02E-4C70-9338-B62089CF25E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"479f9f5b23f08753e487b892c3471fa98b8e8945","datavalue":{"value":"accessibility operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$2F8E4A7D-7C09-4492-996A-4AC5CFFFFBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8764b6a59e12216238dc5356cf951f2e44e18d5c","datavalue":{"value":"method of local predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$409E3D6F-ACCD-49D0-BB4D-ADE081BF9C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad9b328eca8555ff60a38692711665051a74e61","datavalue":{"value":"collapsing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$69DED56A-5769-4083-8BDB-C7271156F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13cd77dac1925a04bb8883ab6c5fa39759314839","datavalue":{"value":"spectrum of a theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$8B21C2AD-A6D6-4F5F-BEBF-F671780416D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa6e16e11b987f2182e5d247c07760f4f266af9","datavalue":{"value":"virtual well-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$B9618CF7-70FB-49B2-8D3D-D01203761725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ea05c9b5830067a65015a3a1a3648d46b5a606","datavalue":{"value":"predicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166517$C0BBC79C-1B38-4076-93D1-00ACA91D20DE","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":"Q1166517$BF43CB24-B470-4C2F-AF26-5F7957946291","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33989cd19d79efdd06fe583fc4c060648e23e81e","datavalue":{"value":"https://doi.org/10.1007/bfb0091894","type":"string"},"datatype":"url"},"type":"statement","id":"Q1166517$2103A312-ED77-41C0-9B7E-D690FA4B0BBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c381db8330fc754a60b7449d2acc0500044fc9","datavalue":{"value":"W1579817075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$A0B34A34-B670-49CE-8F65-36564D0202A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ea1813fc50f90bbaf5aadac814de1c9dcdf2bb3","datavalue":{"value":"10.1007/BFB0091894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166517$DB3D1F67-5323-48A0-BC1B-BFCBD7A8C93C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_inductive_definitions_and_subsystems_of_analysis:_recent_proof-theoretical_studies"}}}}}