{"entities":{"Q106785017":{"pageid":102054510,"ns":0,"title":"Q106785017","lastrevid":2096045641,"modified":"2024-03-07T15:25:03Z","type":"item","id":"Q106785017","labels":{"en":{"language":"en","value":"Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic"},"nl":{"language":"nl","value":"Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"420ea162e41c31c932b26a583fbcee87342a2c04","datavalue":{"value":"10.2307/2275541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785017$C819D05C-4C94-43A1-8E76-EEB5394439F0","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q106785017$DA7B6FD4-8873-47EC-ACBD-B445862B57CD","rank":"normal"}],"P889":[{"mainsnak":{"snaktype":"value","property":"P889","hash":"045a5b7b7d5d5ab7bce25c35b93a24ac2a321183","datavalue":{"value":"1464108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785017$B59B7445-5D52-4115-B73F-02EA2206BC63","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"53f48d3a9d78b630e8dca9036080e9fe0aa510c4","datavalue":{"value":"0891.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785017$C89888A6-D352-400B-AEDB-205FAB6C3408","rank":"normal"}],"P6366":[{"mainsnak":{"snaktype":"value","property":"P6366","hash":"267a57f8e876c0dfe88d0d06a314d77345ef39df","datavalue":{"value":"2044632231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785017$69D8A02A-3907-48AE-BAC2-F8F682E4A75B","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"5bcff1c5d2b7ab7ff2509c71aa284aa980718a0b","datavalue":{"value":{"text":"Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q106785017$A4A8F689-763F-4403-B528-C08D3249B75D","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"69d52212d282a400dfd773d3aea95b8e4f7c9e2f","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q106785017$7AE21ECC-24AC-41B5-A675-8CF397D419AF","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"d1e8a4aa3b1485571260d4723314feafed938260","datavalue":{"value":"457-486","type":"string"},"datatype":"string"},"type":"statement","id":"Q106785017$E355AFBC-5AC9-4DAD-9214-8F31920C9C15","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"2d13e3d802f26e1e79fe6019de44f6b52b54308d","datavalue":{"value":"62","type":"string"},"datatype":"string"},"type":"statement","id":"Q106785017$B33C048E-F0D7-4B59-BE7B-AA0F097C1F2A","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"ce8711ff4b3239edb90179e93498aacac8e69fc3","datavalue":{"value":{"time":"+1997-06-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q106785017$49FF1709-3A4E-4397-B674-2754291C0A34","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"cb17f725f6fb10d500c8ada9a9b5b4ce6bfd7bc2","datavalue":{"value":{"entity-type":"item","numeric-id":6295979,"id":"Q6295979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q106785017$A4A695EB-6F07-4634-A791-94974A79DF28","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"92322b47f0cc7c909ef35c0a9fdca07344786e4f","datavalue":{"value":{"entity-type":"item","numeric-id":62560079,"id":"Q62560079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q106785017$29388CDF-9438-4833-A24F-3E451115B476","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q106785017$3F2FF6AC-D795-4700-9E94-16D78C738AD4","rank":"normal"}]},"sitelinks":{}}}}