{"entities":{"Q636290":{"pageid":638138,"ns":120,"title":"Item:Q636290","lastrevid":63167682,"modified":"2026-04-11T11:03:40Z","type":"item","id":"Q636290","labels":{"en":{"language":"en","value":"The strength of sharply bounded induction requires MSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943604"}},"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":"Q636290$6C306F39-D1FD-470B-9A88-BAEA29D23C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68bd6ea962cc09aa84c5ed921a253851aeeb974a","datavalue":{"value":{"text":"The strength of sharply bounded induction requires MSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636290$68F7CE28-B2FB-4B48-A291-B4419632361F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dfbdb5c2bb8ec896cb281a330f1354612b6f657","datavalue":{"value":"1223.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$8EEE20A9-38C0-4E26-B58C-657276AE88B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80560705e1cb9fbb643be9a8dff0dc65405a73fd","datavalue":{"value":{"entity-type":"item","numeric-id":636289,"id":"Q636289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$BB4D62F9-8EBE-4267-8C92-49B53155821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$BE1713FA-8A97-402B-9A6B-30B5DAD03504","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$080AD1DD-7F2C-4176-8291-A0E0CFB9A6D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636290$BFB9BE8E-C6BA-43EC-9B08-188D753DB1A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$A2BE60FB-607D-4AE9-B0EC-01E87583A862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$1EAC918F-2B81-4F31-A8D7-6E21CE4922FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$48C053B1-3538-4098-8662-EE959BCF21A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3de7713c320ee266228ba2d3092655e8121add5","datavalue":{"value":"5943604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$6708368B-67BD-45A5-A0A5-111992F1E611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636290$DE43BBFC-AF74-437A-9593-F414986411DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f1bf0d5cd37c0419a03afb309271b5c6ca5369","datavalue":{"value":"very weak arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636290$315C3098-68CD-4978-BFAA-940707F0222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6b5a9597aba285d5eed0ba58c05ea2cbb9dd36","datavalue":{"value":"sharply bounded formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q636290$6F68766F-D0CD-436A-A2CF-CA2DF284D36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fea47aa42ace5154393bca2ada63b1b531d1d6a","datavalue":{"value":"unconditional independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q636290$8297774E-850F-4F7E-8A3F-60D9FB344138","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":"Q636290$CEBC95C1-5FE1-4134-AB53-9C83427D8E87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a639eff182f726681f6b674208e673442da3340b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q636290$95BB2A5B-2B0F-4DEB-8E21-358926EEBCCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec556b9f986af2cceba2849c63ee644862064358","datavalue":{"value":"W2024677584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$3474112F-6278-47F1-8489-5604A9816D63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b2bfa0c99cc66a789c74542e08a5f4dfdf8406","datavalue":{"value":{"entity-type":"item","numeric-id":1885028,"id":"Q1885028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$E717F32D-4BCD-492E-9F2F-02152E410658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662fff673eaf3045ce9de1867b7282542113ca61","datavalue":{"value":{"entity-type":"item","numeric-id":636291,"id":"Q636291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$D07312B0-56A0-4C25-AAD2-112F525E7182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$D09A4A1A-F838-4401-867B-00525C383FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$C61C1CF0-F1D1-4789-91F7-5C9D68EDA3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8afa2c213c5c6af0f30621937ed98f53a9a42b5","datavalue":{"value":{"entity-type":"item","numeric-id":3418091,"id":"Q3418091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$D35554B5-D456-425F-B3AE-0D4431A0D547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796d3e883b90fffcdf6cc471385b2d1166993e78","datavalue":{"value":{"entity-type":"item","numeric-id":4282609,"id":"Q4282609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$1E2D6C97-C908-4C30-A87C-AF0026CFE145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9405cd0732dfb383196b7d5d74018104e5947d56","datavalue":{"value":{"entity-type":"item","numeric-id":4393170,"id":"Q4393170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$17BFE997-0CDE-4808-94B7-9A97A6107C99","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":"Q636290$0BD99291-307A-42BD-8464-6054C10EA02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9c2510935bea1bc17f2e11eee7494df86190e1","datavalue":{"value":{"entity-type":"item","numeric-id":1577486,"id":"Q1577486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$B18E2277-D099-48E5-9534-793BDDEBF638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$5C921C44-B698-4C0B-A947-E513863AF4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5d818c966d216c869ca19848e8a827e2a70722","datavalue":{"value":{"entity-type":"item","numeric-id":3487339,"id":"Q3487339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636290$F9B06C5D-80CC-4D8B-BF18-22E05C45C140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"346dc2fbf4591acde4278c52b7d350f2d0915cc2","datavalue":{"value":"10.1016/J.APAL.2009.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636290$C429BD7D-EFA5-4539-877E-5B86F1BF7279","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507808fb7d007201ebd5662dcf8d6b1cc52115a0","datavalue":{"value":{"entity-type":"item","numeric-id":3418091,"id":"Q3418091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c7cd071485e5e4bd49f7b191351f03d0613e49","datavalue":{"value":{"amount":"+0.9132434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$E7502878-95F8-4564-8CDB-9CEFDBA8CA23","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":"152c61d3383685c4065136f2eb9955c19c888060","datavalue":{"value":{"amount":"+0.8535099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$FD85DA3D-15D1-4F4E-BBEF-1923F0B6E6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7480366c5e9d84473da638c7b772c56c10ca2f32","datavalue":{"value":{"entity-type":"item","numeric-id":716498,"id":"Q716498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a08e76081eb2cc5753ac47a5191ee2e2128a95","datavalue":{"value":{"amount":"+0.8446845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$2CABB4F5-6EFE-4245-B539-596AD9634B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aed25df6cc93ea2ca523ca9a8585bcac4deb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11ed8f41fd0d6e2704a9f34e60c93c2b55e299a","datavalue":{"value":{"amount":"+0.8364702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$4E149BF7-ABE0-4F8A-892F-6B498DDC5A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567d3171f195e96f5fadcb5959ec11af9eb761a","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11ed8f41fd0d6e2704a9f34e60c93c2b55e299a","datavalue":{"value":{"amount":"+0.8364702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$4581EF32-0381-417C-8E08-DE807B293C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c35cb0fa3c71429050b1ae1f8973100d43dcc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1356976,"id":"Q1356976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a637471d617c41c163cd3ea7d8941e192711b373","datavalue":{"value":{"amount":"+0.83240443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$A6C905BD-ECC4-4EF2-BC31-A5D8EE725D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae175f60de85780813ce24e7e49017215d93c32","datavalue":{"value":{"entity-type":"item","numeric-id":1276164,"id":"Q1276164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dea51ae6c917485c78394ba1e9052c8315e4b99","datavalue":{"value":{"amount":"+0.8296833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$DC2745DF-44D4-4119-B8A5-5A2AED6BFA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491c2038cae63d124cc0e535320552a2b0023610","datavalue":{"value":{"entity-type":"item","numeric-id":3346307,"id":"Q3346307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f39be3ced9276fb04c938768316651d7f55493","datavalue":{"value":{"amount":"+0.82620305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$06856FE5-AD5B-4606-AFCF-48BFEA3CFE20","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":"83bc8ded3251677183df95181edf4b57e0fbaf79","datavalue":{"value":{"amount":"+0.8258221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$76DA5B8A-45F6-469A-895E-CBDB7BC29F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1930ccd2c211d77cc17c012fe8b297618ae2460b","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde27fc9dde281b79b4d949859a6943523917f51","datavalue":{"value":{"amount":"+0.8179697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636290$C254F42C-B96C-4B85-8CFA-06B0DF567004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strength of sharply bounded induction requires MSP","badges":[]}}}}}