{"entities":{"Q3720596":{"pageid":5750502,"ns":120,"title":"Item:Q3720596","lastrevid":50705537,"modified":"2026-01-14T21:09:29Z","type":"item","id":"Q3720596","labels":{"en":{"language":"en","value":"Majorizing provably recursive functions in fragments of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3950523"}},"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":"Q3720596$FD683A61-2128-4BEE-9991-CC812E9D43CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4a104f603727b95d93c7bf18bb28538bdb1c030","datavalue":{"value":{"text":"Majorizing provably recursive functions in fragments of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3720596$C62DD37C-6BE5-4FE7-9833-E1FDBFF2C67B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6ca29dd4bec6bd2376373189c3d73b2ca3f4ab","datavalue":{"value":"0592.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3720596$D68CE23F-C80C-417D-92BC-269851296270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb0975f23a7456d9e0ec1f5da5d30a6074408a2","datavalue":{"value":"10.1007/BF02007552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3720596$5F63686C-46C5-4204-9C57-CC9657EFC613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$80260667-3366-4A75-871B-778078223B67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$4847C4C9-A01C-4138-9A62-C2208289C41C","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":"Q3720596$8DF51AB7-7E00-4972-8702-FB4958AB44C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d623d323743a25e9ab4b973636818df232c364d","datavalue":{"value":"https://eudml.org/doc/138033","type":"string"},"datatype":"url"},"type":"statement","id":"Q3720596$EF8FDB43-F517-41AA-9A04-6D814DCCB1E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3720596$EF0900A5-057B-4853-B235-25A2B52A4582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3947216d7a868420f7b66af99cb4b326445ddf","datavalue":{"value":"3950523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3720596$99E8A9B7-84CB-42C4-BE7A-7266C26D5760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3720596$9949CAF9-8F3A-47FD-9F66-9BB2BA4643B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3720596$F5FC9332-05BC-478E-A53B-483C7BA179E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ee7d4cde74b181b4fb208249d48c393b742686","datavalue":{"value":"majorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3720596$8F0FFA72-42D2-4718-866C-AD821C5F9749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd5a827adbe0383e629fb5220722804e7650c","datavalue":{"value":"fast growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3720596$8B620390-B574-4E6A-B0C4-25E03BB3F884","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":"Q3720596$B07E7FAC-9C70-4D08-8298-4DA8CCC122E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2114f7df9ef5b523eb89d9f18f0f9c43acb71ed","datavalue":{"value":{"entity-type":"item","numeric-id":5639704,"id":"Q5639704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$CE5FA46F-2DD2-4587-90B4-B975FB2FFBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$3620FD8F-4FDB-4808-8997-78FDBEFBADD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356bbc8d0ebb4f5fda517f9c0b898acaddccec63","datavalue":{"value":{"entity-type":"item","numeric-id":5676207,"id":"Q5676207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$6B8E4E7B-68A0-490B-98A7-3D1EA377D1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de22e8ae6775575496d721db5e817cf1292908e","datavalue":{"value":{"entity-type":"item","numeric-id":4108298,"id":"Q4108298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$AE3A509E-BE41-41F5-ACD5-571365CD1171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$82181189-8D88-4BDB-9A42-F5850BE2987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5718133ee35ae13e0bbaba52f4ef30a178cab","datavalue":{"value":{"entity-type":"item","numeric-id":3966133,"id":"Q3966133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$FA073FB5-272A-4CD5-9BF0-66EAE01BD885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$A7B4E796-A4CA-404D-B79A-42EF981DA575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4023f857fcbd778b7697f418709f7b51d812c79","datavalue":{"value":{"entity-type":"item","numeric-id":3346304,"id":"Q3346304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3720596$8C07CBBD-6467-488F-B5AC-04C348B0B29B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98177fbf10ce707badca4635c26289d2eed802f","datavalue":{"value":{"entity-type":"item","numeric-id":1073791,"id":"Q1073791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17fa5a2e563473ce2a0283b8c90d70b5bc44c8c","datavalue":{"value":{"amount":"+0.8749575614929199","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":"Q3720596$474929AF-ACCB-4AB9-8AA1-F870FA878813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d0c2d6e5adf6195b344f1a8d44194007896e52","datavalue":{"value":{"entity-type":"item","numeric-id":3778749,"id":"Q3778749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6a18435e86eae91a9ed835ae41e3a9ff875306","datavalue":{"value":{"amount":"+0.8108417391777039","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":"Q3720596$85B3B89D-61EA-453C-9540-E3DB67330AEE","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":"ab22b1d4024ac41175f39ede1ae4e07bd737a728","datavalue":{"value":{"amount":"+0.8058276176452637","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":"Q3720596$7555A443-CA45-48E0-8DBC-E199102884C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d7a379c15ef732521b23d5884175f53e5b9777","datavalue":{"value":{"entity-type":"item","numeric-id":4323034,"id":"Q4323034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63126d6816a3b360f57b34f8c5f55d7243aa7e2e","datavalue":{"value":{"amount":"+0.8043122291564941","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":"Q3720596$A4F93707-4153-4A48-B8B7-3CFB24906E30","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":"a20ef2d3d74faf33ec4c2b369c13cd0c1b3b6299","datavalue":{"value":{"amount":"+0.801383376121521","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":"Q3720596$E14C05F2-FC19-4579-8037-A7A69ADD3242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3720596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3720596"}}}}}