{"entities":{"Q3159403":{"pageid":3170119,"ns":120,"title":"Item:Q3159403","lastrevid":45573571,"modified":"2025-12-10T18:59:35Z","type":"item","id":"Q3159403","labels":{"en":{"language":"en","value":"Polynomial induction and length minimization in intuitionistic bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2134237"}},"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":"Q3159403$AFA20A4E-B409-4688-87F8-D7929D792854","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2da50b5e6ee0b7f3fa9199b53979e8da4b330d28","datavalue":{"value":{"text":"Polynomial induction and length minimization in intuitionistic bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3159403$080D79CE-A196-4B45-9860-112E7694829B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79bc9c8901893e7207d962c676941433c5a2ae84","datavalue":{"value":"1059.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$7CC2D01B-D595-44CE-9499-91488815A220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159403$08B6775E-3126-417C-A717-40B82EE99741","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159403$FB05DABF-7918-403F-8058-F174F52FDC6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e1dc4e5d09058a4e51ff5aff35b48498fff31ce","datavalue":{"value":{"time":"+2005-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3159403$21C748ED-B185-4202-8087-A50A2C68643C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$9668DE83-43AD-4152-8A8B-43B47876024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$0EDC037E-E409-4A5B-967A-B861B7826357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$D3539F61-3C75-4B72-A684-40E536B31FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$7048DCFD-6FE4-4A9F-9BA0-6B13DD1EF48E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e58e734e79eb6f78f24064c1b5cf95c829541140","datavalue":{"value":"2134237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$3B953BC5-99BB-4383-9924-9D2159D72498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159403$B60170D8-0644-4196-8996-2F4324970F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a41e3ab451b803175f837aba9a774924d1bb063","datavalue":{"value":"polynomial induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159403$DECED957-F90F-457B-BD59-18DC0E7A8D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afc7537e502feb96a6c5921c0ad80736aa4995b7","datavalue":{"value":"length minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159403$5CFC3388-D8B2-4D59-8EC8-1B3956B94F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdffc95d802841cba5cafab3228a0038949f5eb5","datavalue":{"value":"IPV","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159403$F2FF0EDB-B247-4000-8AA0-4DDC11B29947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4f12e5be248b475d62538619db96b06c44a187","datavalue":{"value":"extended Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159403$B7E60507-4E7C-42FF-8DCC-98CB673C6088","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":"Q3159403$8EF8EBE8-51A1-4FD9-B369-DC8625DA9157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1bed98e5ac236f2a56e7618a15c9c1ab58506df","datavalue":{"value":"https://doi.org/10.1002/malq.200410008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3159403$7D1A9F2E-B8A0-4201-9566-66E7CE6733CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec057eb747e6a180848d4ebc9b20c200d5c7a3e","datavalue":{"value":"W2011054734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$9F1EBAF6-47F0-4E13-B2B3-D7F0C572AE8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4489775ac4fe4693cafe9f4393b82cee4cc4e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4035302,"id":"Q4035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159403$66644C17-EA06-4268-A5DC-049D5C5BB8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159403$B3D97FDA-CB2E-4FC7-B304-7BAFE796C476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f0c2246d02367dfa3bfe004ba05c6c553cafe64","datavalue":{"value":"10.1002/MALQ.200410008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159403$0062B40C-8B9B-455C-A3EF-5E324C55C149","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cdef7b785745d544e7a903a143eaa101e1bcd61","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a348d1fbe3b039c22b82f92928d2ea14899d32f4","datavalue":{"value":{"amount":"+0.915933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$251B5908-DC97-4C37-BCFE-CCAADB07A211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4de5b0baeb57e2ce7b937581d2c565ecde3887","datavalue":{"value":{"entity-type":"item","numeric-id":4635868,"id":"Q4635868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102e20b3f58d983171a6672b35160b9af8d1beb8","datavalue":{"value":{"amount":"+0.88418007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$14199375-60B4-4DFB-B39F-3818BB95ACD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0ab44241ec90e3b1675b79ca068ecefb296f48","datavalue":{"value":{"entity-type":"item","numeric-id":4282609,"id":"Q4282609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24901eb5cdf64cc47630052128b0a1ab8dc3ec0d","datavalue":{"value":{"amount":"+0.8830459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$1C40BA6B-D499-491A-B528-E435A1E11944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4236c1d0af8d7c0f7abc80f4eba37327b39d445f","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5375426ea84f8abb75b9aa7020024647b88d1e","datavalue":{"value":{"amount":"+0.88208795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$6050D2FA-3CBC-4C75-875F-F8DFED95AE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749e4e83ef5e0d436a17c3c7bca45ec0b74e72fd","datavalue":{"value":{"entity-type":"item","numeric-id":4531579,"id":"Q4531579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db33662f6b82b06ad4e48e240cb737d36a5453a5","datavalue":{"value":{"amount":"+0.88121104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$DBFBDDB4-48E9-4E7C-84EE-2F7201234B31","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":"e7e8f8badfc0696785a859278f9f3d480821ab01","datavalue":{"value":{"amount":"+0.8716931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$EE8384FA-A7E4-419D-9FFC-27DA9EF06E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd588964afbae448a4cac58ae86e516228bf9c80","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd416eabe80b78aa9bafce24d5006411c605fcf1","datavalue":{"value":{"amount":"+0.86975515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$E3582A1A-FE32-4887-91A8-9484C440D75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d931e2157ad46da8b41d5c14490e0c44af5835","datavalue":{"value":{"entity-type":"item","numeric-id":1885030,"id":"Q1885030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b11381b7975cd1c507d275a5c9ed0586f66509","datavalue":{"value":{"amount":"+0.8697341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$207CE8BD-6EA1-49EF-86A5-D5BEF8860234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdee101695019d4d7a9bfa9743eade9fb1e03aa","datavalue":{"value":{"amount":"+0.86958253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$BA106A78-6F90-4ED8-9ED1-EFE74DFC60B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e206e5b76b5db928f8dffd4e5d272220680fdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee032cee7c18975172dbe0328d4ca9beafa251a","datavalue":{"value":{"amount":"+0.86942244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159403$829D814A-3CCF-432B-ADDD-42C2FBC00E19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3159403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3159403"}}}}}