{"entities":{"Q4227873":{"pageid":6257474,"ns":120,"title":"Item:Q4227873","lastrevid":46634775,"modified":"2025-12-25T07:33:45Z","type":"item","id":"Q4227873","labels":{"en":{"language":"en","value":"Variations on a theme by Weiermann"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247640"}},"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":"Q4227873$D285ABF1-A920-41D8-9803-22E35DFAE08F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f74030d53cfe3c6764d89539b7704126fccaa606","datavalue":{"value":{"text":"Variations on a theme by Weiermann","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227873$F5392D98-69E3-432F-9562-F00404CE65EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfba1a31769c386a8e7ac470a90129fed0c899ce","datavalue":{"value":"0919.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$CA3ACBF7-3DB1-4F83-8066-52A8155D059E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ee5c88d19b8a70d23cde4a389532bca0aa9947e","datavalue":{"value":"10.2307/2586719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$70BDB551-7510-4AFF-AA85-F3469B65A8B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$53830C6F-033B-467F-89A9-01EB6A3058FC","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":"Q4227873$77CFD67E-BEB7-45D8-995D-1D23FC2B12F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c8655680bfd79de85fc3b27d4412f09e07e944d","datavalue":{"value":{"time":"+1999-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227873$569AA7E2-F825-43A9-AACB-D794C3FC8570","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$AEA8C6DC-A4AA-4D5B-8954-AFC41584E722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$52E0CAD7-2814-421A-96F2-F7C07A2748A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$87B8EFEA-9E93-4A23-AC09-768484914071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$AD3884B7-5B4A-4568-B504-1A6063DD35D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef2501a10394d3fe4bd6e861c2d667e5628c073d","datavalue":{"value":"1247640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$8260131B-F5E3-4B70-B2EB-276E5853BFDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eaa234aa5ab1bd76320945a7bab97a95848ca93","datavalue":{"value":"hierarchy generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$E566BF51-21E8-4E22-8B76-66190C7B27E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f45a7f4bc20f6e84fd51c38db646c74b48d8d70","datavalue":{"value":"norm bounding transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$E5608262-B3D8-4169-947D-11E89F18CDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576403031a0b636b6d23071ac3bd7e0ddf450e66","datavalue":{"value":"fast growing hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$5CD0B34B-B935-4C92-97DB-D2AE3DB0C776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4de70372cd9064e7958730009c722ef308a509","datavalue":{"value":"slow growing hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$228DBCA9-ACEE-44BD-8E87-78D82A7125AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$04C728BF-5421-44AD-8DCD-582DA2F47AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$C357B199-7703-4FDB-934A-E1AC008BC1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02efba5a38516906df7b3752b37b488aaef7133","datavalue":{"value":"local predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$CB0EFF92-750B-41E6-A66E-CF5A4516E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f5bddaf26532e49dbf497814f55dc0c5d780a2","datavalue":{"value":"impredicative proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$99711462-2F93-494E-90B4-4DDE7D9EEF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2578e90e0770669164087fec00e7d38492f32e","datavalue":{"value":"analysis of arithmetical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227873$969EF39D-B113-40F4-8E68-CCE64DF6AFCC","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":"Q4227873$09C16FE8-1CF3-484B-A95A-8DC880B208A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a315f022a66688be1297147de6964478ac426917","datavalue":{"value":"https://doi.org/10.2307/2586719","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227873$3CCBBB7F-6F22-400F-B600-882E471D41C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"846473901fcc9637ab44406b528acd75a7401c66","datavalue":{"value":"W2127926649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227873$7DA58B35-E2F9-43E6-A70D-140CBB71C280","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e523a40db7b16127f2f0d9abaa913b6b9ced2bc3","datavalue":{"value":{"entity-type":"item","numeric-id":1182465,"id":"Q1182465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$03EF6E6E-3B2F-49C9-ACD5-B3E4282188D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b37a1cd4f4b47b68d114318dca452481bea445","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$44FA99FE-FE32-4F29-8722-B07DE232CB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$6247997F-F771-486A-839F-B810DA6FA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$5AE007C9-0946-49DD-B906-68FA126A58E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$B8F65459-FCEC-4214-948C-F8CB81942EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279c3d2f33bbbcbefab5ed817a5c061033fcde81","datavalue":{"value":{"entity-type":"item","numeric-id":1097882,"id":"Q1097882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$FB23B56E-AC79-4F36-86FF-E652EB22DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cae4359eca0407e9688858e98a4dce835f6f06","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227873$D0391FCF-0CFE-4F5C-B08E-EDA108035EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98da64ae5d41b6c2262194118967acf05e9ef8a5","datavalue":{"value":{"entity-type":"item","numeric-id":4879900,"id":"Q4879900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2bb074c9ea6eeafe109a0201de8efc1638eded","datavalue":{"value":{"amount":"+0.828443706035614","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":"Q4227873$882694EF-D1B0-426F-87DB-0F8DCAF3BEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2413b92f19bd1995a8c6b72a7fdb65d07d4c2caf","datavalue":{"value":{"amount":"+0.7851563692092896","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":"Q4227873$E3747001-CE44-45EB-B463-5468A15E2790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aee37ae2d278d5b9a55df6ae6a1eae9ac4a69c","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7387596a928791bdb7fe5ce432845345a4dc33a","datavalue":{"value":{"amount":"+0.7751051783561707","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":"Q4227873$2ED7C188-C5D4-4523-9A03-2A5F8F43E823","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4227873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4227873"}}}}}