{"entities":{"Q5221836":{"pageid":7251406,"ns":120,"title":"Item:Q5221836","lastrevid":53700590,"modified":"2026-01-25T14:08:51Z","type":"item","id":"Q5221836","labels":{"en":{"language":"en","value":"Theories of proof-theoretic strength \\(\\psi(\\Gamma_{\\Omega+1})\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185308"}},"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":"Q5221836$E94725D0-CCAC-4EDC-9F13-B51763F3C658","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fd9be5163b22fed3a79507829b2d3390a963123","datavalue":{"value":{"text":"Theories of Proof-Theoretic Strength \u03a8 (\u0393<sub>\u03a9</sub> +1)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221836$815E126B-B5AE-4C5C-BEA8-15B4D3112266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9a9bd5e53f022982ed241a9d8f114316f73b8b6","datavalue":{"value":"1433.03137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$DA499826-F947-4249-9AE8-8EAE37363F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bbff04d684787e1e1fd74372bee05ad6eb34b25","datavalue":{"value":"10.1515/9781501502620-007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$3E20C522-2337-42C9-9E2D-6E1D1F62E406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221836$019A9921-280D-4F8D-BAB5-C4E3DE8874F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221836$F1343067-9A77-423C-9592-C6DA25174A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221836$7BB335C1-1529-4F32-91F4-DCF66EB2E67A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221836$F40BB267-D796-4B22-985B-481AE971F821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221836$57A17042-5DAB-441A-9A14-8C790595AF3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7f0935069f55221c4991af74e07339c991b4fc8","datavalue":{"value":"https://boris.unibe.ch/71364/1/BuJaStr_fin.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221836$BB1D4006-3390-46FB-BCE7-A4D0F0E66EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$E7F698CB-E5BC-40B8-B057-43E5A0D9713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$CAAAB975-5DAD-4321-80A1-9EBB23A714E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$95BFF3EA-0545-4363-AD5D-F4CF4AD917E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$FCD1B89F-2C44-4DBA-8789-5150D8C3CA27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2600769236dfcd66f526a7c551dc55fd040c1e4e","datavalue":{"value":"7185308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$D7FD7F35-D2EB-4905-A24D-503B46C0298A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f316b2630dba872a6bf428b91cabb539f8e934","datavalue":{"value":"subsystems of second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221836$4F23C053-543E-4877-B323-87750407BC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221836$77231238-469D-4692-8059-1A7A53429CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221836$7FA63484-25A3-4ED8-9DEB-0A59C7F6A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221836$1C679108-383C-41A7-AAFC-8F16E86A2232","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":"Q5221836$7A8670D9-4ECE-4C2B-A08C-76434443A642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"287a9573c83be5b547b5aa5f1b56403ab71f69bc","datavalue":{"value":"W2313258673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221836$AEA2A82F-D172-431E-A8A5-F4B2013977E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cec389dbec5380b2d49d516875028782328c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80186975bce5c2c1f83f85f37e392d6709764935","datavalue":{"value":{"amount":"+0.7992376685142517","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":"Q5221836$8E476809-C17B-4250-84E8-6A3E370B03A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723f97d340b587bd749c4a8869d8fb96b0a68ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2500821,"id":"Q2500821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c5b7435642257f7f6a6ed1f50ef2208c748440","datavalue":{"value":{"amount":"+0.7841824889183044","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":"Q5221836$C45C64B0-822C-4F5E-BE66-60491F853A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25db532d64c56b0b44c0537e3417a253607d57de","datavalue":{"value":{"entity-type":"item","numeric-id":4254639,"id":"Q4254639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bee62a6e166ea9dbfd92ae907cf273032a9f6d","datavalue":{"value":{"amount":"+0.7727654576301575","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":"Q5221836$DBEB238F-5026-405D-9FF8-3ECBB0F480AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8482c4068af10e6f6c0ac45811b435ffb323110","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c18a6ab66ca0e8ee42c4afd04713c8a1d3f646","datavalue":{"value":{"amount":"+0.7727380394935608","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":"Q5221836$198E91E9-CCBF-4587-8FC5-69DB5EECCC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26ed2180efea7b2de854b2112726dec0507f39","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c62809b1d9ca69bc192acf268c1a878c2118e8","datavalue":{"value":{"amount":"+0.7515089511871338","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":"Q5221836$64E4EF93-7260-4F8B-9AAB-C6684429F1E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221836"}}}}}