{"entities":{"Q2752056":{"pageid":2762795,"ns":120,"title":"Item:Q2752056","lastrevid":47695363,"modified":"2026-01-02T11:17:13Z","type":"item","id":"Q2752056","labels":{"en":{"language":"en","value":"Proof theoretic complexity of low subrecursive classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1665362"}},"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":"Q2752056$0CA53FB4-4800-41F0-AB88-589D90D3EE37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03b6a715dcd8456b3c4650c534d83e19283238b","datavalue":{"value":"0985.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752056$2FCCDF24-4DAA-4C8D-9C0B-1693C52E788F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245ba45e482a42d5f8cec95b5d07fca83b29a39a","datavalue":{"value":{"entity-type":"item","numeric-id":604020,"id":"Q604020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752056$84EA4495-3971-4F1C-A9E8-69C7DD281FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c13dd7b8f522b9ebeff81adec421010718bc441","datavalue":{"value":{"entity-type":"item","numeric-id":1772781,"id":"Q1772781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752056$998742CE-4BBA-4A12-A46E-C20235C04563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752056$226F6462-EF8A-46D3-B4A7-F4712DC9C9FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d94ee976a7a63a41b3fd650b64432705f1508eaf","datavalue":{"value":{"time":"+2002-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2752056$F2DA5104-1701-40A3-8ECF-688EBDFA47F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752056$968FDE83-B230-4934-A8D4-F763FDB1988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752056$81D792A0-4CF2-4BF2-8F45-92C21EA0BD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752056$BB1AA456-3E23-4E98-AF3F-0CEC81415BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752056$38561ED6-7D8A-4E21-B7F9-E048428F24D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee428c4d21cb383c265edb90f4ec93a26743bc5","datavalue":{"value":"1665362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752056$5A8554B4-F0F5-4922-B5A5-DDD43A78121D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee0e8d1498082422be83e05fed836bde6d47806","datavalue":{"value":"two-sorted Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752056$3336FF57-D384-43BF-A245-8B97096B9E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752056$4D16086E-7E0B-440B-9A35-61E800E4F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752056$DCF7D691-680F-4693-8A60-09C8C76AD2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a6645da7e2c8d655a89b8c0d2cf5c8d2eed92b","datavalue":{"value":"slow-growing bounding functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752056$18FC9983-0E94-49F7-B4CB-F84B33D7CAD8","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":"Q2752056$F2E25AFF-EE78-4976-B576-75452A4D7E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"161621076456ad0702b204692d94d65a6b0ef891","datavalue":{"value":{"text":"Proof theoretic complexity of low subrecursive classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752056$B4758CE2-196A-41AC-ACC5-9D9C37584D48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49a57daf78a5f958efda1889cefbe8b8c5125c24","datavalue":{"value":"In the paper under review a two-sorted version of Peano arithmetic is developed. Its proof-rules correspond to the normal/safe recursion schemes of Bellantoni and Cook. It is shown that now the provably recursive functions are brought down to more computationally realistic levels than in the single-sorted case, since the bounding functions turn out to be ``slow growing'' rather than ``fast growing''. Results similar to earlier ones of Leivant are obtained -- they characterize classes \\({\\mathcal E}^{2}\\) (in the existential fragment) and \\({\\mathcal E}^{3}\\) (in the full theory) of the Grzegorczyk hierarchy.NEWLINENEWLINEFor the entire collection see [Zbl 0963.00029].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752056$6E49C517-3F43-460A-AEEB-8FA70C25FB69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752056$4B838B58-B635-43A8-9C8C-2FB773A17AA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b0d6409691280ccdccb5ed6a83d2a7df46b42b","datavalue":{"value":{"entity-type":"item","numeric-id":1772782,"id":"Q1772782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dba0267c243890a321e5b72f03cfcb6d43a43d","datavalue":{"value":{"amount":"+0.7965641021728516","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":"Q2752056$77649E6A-784A-43C5-A1CE-FDB107AF7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9b2b95b5a43a7f8c78fd485731abbfe2631ae","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034604a3bcaaa51e6d1f6ef2bf22e449d57cde3b","datavalue":{"value":{"amount":"+0.7761181592941284","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":"Q2752056$0F4ABB8B-8D6F-4457-8B85-2BFCAE256F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26bd974c329365f000622429fb9931c7fadcba51","datavalue":{"value":{"entity-type":"item","numeric-id":5717064,"id":"Q5717064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe2b3a19e48d03fd206dade408715c5cf67c361","datavalue":{"value":{"amount":"+0.7719817757606506","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":"Q2752056$DBB033F3-7F75-49FD-A2A3-DAB7E6D0C842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4062842742145db2b042de5fc65db1e9fa31d087","datavalue":{"value":{"entity-type":"item","numeric-id":4981458,"id":"Q4981458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90afa3bfc50a7bbaeb5335aa2a480a9ccdc11cb9","datavalue":{"value":{"amount":"+0.7606955766677856","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":"Q2752056$F55A3F95-5635-4DAD-8FD6-192A1F528924","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":"74eee836298b788f6283054eb0437dcafea0f86d","datavalue":{"value":{"amount":"+0.7596851587295532","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":"Q2752056$8D1AF139-683A-47A8-BBC8-07113CBA89DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2752056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2752056"}}}}}