{"entities":{"Q4244822":{"pageid":6274423,"ns":120,"title":"Item:Q4244822","lastrevid":41778935,"modified":"2025-05-08T05:33:02Z","type":"item","id":"Q4244822","labels":{"en":{"language":"en","value":"Division in the Theory S02+ of Bounded Arithmetic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1293500"}},"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":"Q4244822$A6E6E9FA-AFDC-4510-8CEA-A4D7AC52B408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08379f9f762f306824cb91790d0f988cd0541ccc","datavalue":{"value":{"text":"Division in the Theory S02+ of Bounded Arithmetic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4244822$A9E0489D-5BB3-4F8A-B03B-6E10180ABDF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c045fd7a599893603d11ea197cfe0f0dea73233f","datavalue":{"value":"0921.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244822$35D4934F-1FD9-4354-AB6D-FA9F6CB5FA1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c1abed143012998ca9f7a9e8023179ee92e85f2","datavalue":{"value":{"entity-type":"item","numeric-id":1386674,"id":"Q1386674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4244822$B05F2EBA-E580-465E-ADF4-E099584C384E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a84ac4217a70ae2681a1dfcd0eb1fa4f5f51cee5","datavalue":{"value":{"entity-type":"item","numeric-id":2725499,"id":"Q2725499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4244822$50B6D15C-0978-4CB7-8AEA-1EC6DCEA99AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec2443ff209285a956ca794883324a907a1d35a","datavalue":{"value":{"time":"+1999-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4244822$0F7C09CA-C710-47F1-9902-E76443DC9F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244822$6BB161D4-264C-48D7-A421-D4190700EB0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca350bceddd295aaf0e76eecbc5ccb996df86c22","datavalue":{"value":"1293500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244822$E5CAFFD4-7EB9-4674-BBFB-80E3E5AC2678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244822$91C976D6-8353-443A-91FB-7EAF4F9ED129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07429793b513bf6c236ad1ce66b68ce00823d017","datavalue":{"value":"positive sequence number","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244822$3CFD2650-F2C1-45BE-A82B-CA12309718FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e9471c3e7d5a0355f72a4faf4f99912143b17a","datavalue":{"value":"code-version","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244822$24C31DB2-E6E1-49C4-A1AF-BC778436FBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335361f2d5472f7ca846e53db25ccb4027120f89","datavalue":{"value":"division","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244822$AFFD80D7-DDE7-4C5D-8F81-0F3B071DC799","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":"Q4244822$173436B7-6CF2-4232-B4D4-4E5B9C387F83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74f58bbc8634e342013e3215defa2a682131e013","datavalue":{"value":"https://doi.org/10.4036/iis.1997.81","type":"string"},"datatype":"url"},"type":"statement","id":"Q4244822$E3A0B90A-419B-44E0-AC58-AF084CA0387C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"075b2d862cedf7d9d77be95e5285896157c84dbd","datavalue":{"value":"W2001837023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244822$5C7D057C-3C62-41DC-ABDD-D9338D94F9E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b726e8caf50287d2cb459847c977978ec68a2b30","datavalue":{"value":"10.4036/IIS.1997.81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244822$F74DF6F0-F628-4329-B17F-84BCA933A43A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c55195bb5d14b48a836b7ef22fab695765da19","datavalue":{"value":{"entity-type":"item","numeric-id":2053347,"id":"Q2053347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a17b3b00d0c99a2a8b4e4b67f83e604838191b3","datavalue":{"value":{"amount":"+0.88196504","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":"Q4244822$91B77394-AA95-49BD-86C3-0ABBBCE7CBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a487b81e7f86b4a15a999661dacbf5a59f91ff","datavalue":{"value":{"entity-type":"item","numeric-id":4884985,"id":"Q4884985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92148e3944d9363b86b850ca1feb34293bf08639","datavalue":{"value":{"amount":"+0.8659369","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":"Q4244822$EF8A561E-2F93-43D2-9979-F30B9D3BC458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01d3013a7b99bf485491d321e560eca7afeb884","datavalue":{"value":{"entity-type":"item","numeric-id":1199248,"id":"Q1199248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1819b771c503f0a7608b2e18d000beb8e8e30598","datavalue":{"value":{"amount":"+0.86514586","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":"Q4244822$784FA157-FEC2-4B22-B8C3-E6142F9B4390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdb89c681336d3c70427da0d569fed2d5490223","datavalue":{"value":{"entity-type":"item","numeric-id":4955823,"id":"Q4955823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b3f1aeadbbb9f78d5334017097eb6b8bab4b6b","datavalue":{"value":{"amount":"+0.8631024","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":"Q4244822$6067FEB9-0474-4C49-94AE-EF4EDDEA236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ff0de660c04e4e09b96e9bd02c1c5c42c03e13","datavalue":{"value":{"entity-type":"item","numeric-id":2118177,"id":"Q2118177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52b9bc2418071e31194c5dba892d0621ac4bd2d","datavalue":{"value":{"amount":"+0.8563472","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":"Q4244822$0CC9F90D-04DC-4947-B85A-BBB3C1A48687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85634a152828f5b387af46f85759fd1c0fc7b16","datavalue":{"value":{"entity-type":"item","numeric-id":4348126,"id":"Q4348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a811552c5a9f05199bc2b93907b4e98e2bc68aa1","datavalue":{"value":{"amount":"+0.8553313","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":"Q4244822$BE2F0845-F77C-4049-8639-9B1982A15C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00374cf5165d77e9c832abc89941416fbb4a26b2","datavalue":{"value":{"entity-type":"item","numeric-id":803242,"id":"Q803242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b49d6d535a62523d8a79d864fa8e5bc219b85a2","datavalue":{"value":{"amount":"+0.8541152","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":"Q4244822$FF619B8F-04A3-4338-B070-0A7120C30F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadc34b6b6b0022755c9f1d90fa95124a319a6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4869993,"id":"Q4869993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408798168404bf87b2b05515b4e21a1023611ae4","datavalue":{"value":{"amount":"+0.8524707","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":"Q4244822$8CC8DB49-470C-47A7-893F-2DD3EF5D40CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a358c60ea76a859cd4023ce47a6c377074bdbc61","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8dd9d4e712ef62de1864c275347d32577948f3","datavalue":{"value":{"amount":"+0.8518747","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":"Q4244822$3D38EEDE-FD60-4408-8BEE-FBE2E9685393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b874a0d09ab9f4a46eec874dc66d5a1329be52f2","datavalue":{"value":{"entity-type":"item","numeric-id":2388431,"id":"Q2388431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbdbc9bd2c57728a840f1e3c2e0dbd09f88a42a","datavalue":{"value":{"amount":"+0.85153496","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":"Q4244822$98A62AD3-84CD-483F-90AB-7937E961EB4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4244822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4244822"}}}}}