{"entities":{"Q5502825":{"pageid":7532385,"ns":120,"title":"Item:Q5502825","lastrevid":50535209,"modified":"2026-01-14T07:57:53Z","type":"item","id":"Q5502825","labels":{"en":{"language":"en","value":"Fragments of bounded arithmetic and the lengths of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5488489"}},"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":"Q5502825$49F45591-BE71-40BA-AE78-C6A9CA7229D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"217ddaa5324c08e593256c635b0584c11484abee","datavalue":{"value":{"text":"Fragments of bounded arithmetic and the lengths of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5502825$520F31F6-4016-4D9D-BD8E-37D9163B0746","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b177ff7ffea694c5a75c1ca91a219c73c77ad6e","datavalue":{"value":"1168.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502825$21DD14CB-C610-4341-8E27-B6BFE8C4C121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$D7309277-90EA-44F1-B5DF-A209E5A1833D","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":"Q5502825$198BAFF1-DC7E-4492-9C35-AB435B5BEF46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40eec35cc4088460d56a8604f6511af334349525","datavalue":{"value":{"time":"+2009-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5502825$1A7993CB-B97D-48DA-A1F6-7227F8ACAAC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502825$AE5F97CD-2867-445B-9502-16A0155468AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502825$2ECF0F46-07AF-4860-BD3E-DB271CD51010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03a58e1c6e1ced4345c2b3ec48ed62f33e12c906","datavalue":{"value":"5488489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502825$97125E3F-0772-42D3-B502-B017514A507E","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":"Q5502825$15CA0F4C-3E09-462A-A29C-6A67C6EEA930","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"369dc541952fb9e1ec3d02bd49c1c7983924a9fa","datavalue":{"value":"https://doi.org/10.2178/jsl/1230396927","type":"string"},"datatype":"url"},"type":"statement","id":"Q5502825$F3A21932-0F9D-4B53-B8C3-8917E001A5F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"099d8c16008a52d05db15a3db08156f33b3e7baa","datavalue":{"value":"W2097024958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502825$AF6B3DBE-6427-4B19-8CF7-BF24225DB36B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$5C555B01-44AB-4B4E-84B6-EEA189EB4ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9888fe5bda78cd4744ea0876095ac6cb30564e01","datavalue":{"value":{"entity-type":"item","numeric-id":4208265,"id":"Q4208265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$41DD51B0-BB01-44BB-8D8F-94D9F6E5B6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$5EEF67B4-97C3-405C-A151-5EF796B780A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$78A4E6CE-4DBA-4591-92BA-0E428FE44706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e8d6db2339d59c152679e6fd1d236f363d1832","datavalue":{"value":{"entity-type":"item","numeric-id":3159414,"id":"Q3159414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$A5DFEA63-706B-4491-8D70-FFEB42BA9C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa334ace4db29422e0edd8fba974fef7cfda39cf","datavalue":{"value":{"entity-type":"item","numeric-id":1353982,"id":"Q1353982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502825$73EE051D-140C-40B0-9361-356683A809FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f7d12c267edaa8b23a53c6ed924eb6bda365b68","datavalue":{"value":"10.2178/JSL/1230396927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502825$8DA9D673-AC02-4714-BB50-47B93752C114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fef675336c16911523bbc6017aad17c385efd46","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cbdc388e890d277a44f50755c0bc6011f48f66","datavalue":{"value":{"amount":"+0.7832177877426147","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":"Q5502825$E2C30ED3-4C5D-4A5F-87BF-56088519BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d4ee7f4bda871da19ff0ed7838d57c1585ecc7","datavalue":{"value":{"entity-type":"item","numeric-id":535152,"id":"Q535152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db63b504bae77671c5b93e0c75585d02c466b2c","datavalue":{"value":{"amount":"+0.7697888016700745","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":"Q5502825$320C030C-966F-4B9D-9A24-6840354ED27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed20c58c241c90157d172da3e2e874f97b1464f","datavalue":{"value":{"amount":"+0.7694846987724304","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":"Q5502825$AC290FCA-709A-4CF7-B264-E11A5C3FC25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995213ddb21aafdbf4b6ecd2fb3da01f70ea4004","datavalue":{"value":{"entity-type":"item","numeric-id":866557,"id":"Q866557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed20c58c241c90157d172da3e2e874f97b1464f","datavalue":{"value":{"amount":"+0.7694846987724304","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":"Q5502825$F045CBAE-A6C4-44FD-89DB-105F6CE342A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242389439ac99f0043978be6bf447b2a362ff2a","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d1201a5af9202e233f8edbd570142ed6232b75","datavalue":{"value":{"amount":"+0.7684484720230103","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":"Q5502825$58E96D0D-5981-4B77-9FFF-FB1679A646F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5502825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5502825"}}}}}