{"entities":{"Q2498915":{"pageid":2509658,"ns":120,"title":"Item:Q2498915","lastrevid":73275309,"modified":"2026-04-14T15:14:31Z","type":"item","id":"Q2498915","labels":{"en":{"language":"en","value":"A nonasymptotic lower time bound for a strictly bounded second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047232"}},"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":"Q2498915$4F522567-C340-4AAF-882F-079FFE5DEC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c65e80344cb150b108fb047c75d5c0eabd860d69","datavalue":{"value":{"text":"A nonasymptotic lower time bound for a strictly bounded second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498915$E246FC3B-22DB-4C36-94CC-588D959F1D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dd2d1c6e2e69dcd8a7d0f5eba57330cb39a03ac","datavalue":{"value":"1094.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$849D1997-2872-4820-9D90-D19125E51D4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498915$ABD318B7-FF38-45F4-BA35-6CA9892741D1","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":"Q2498915$0DFCB9C4-12DD-485D-A002-FE273991A7D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-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":"Q2498915$ADB4FA96-9D28-4DE5-85D2-FC5D45800BF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$BBA89CCA-C6AD-4F0F-873C-6A429C37172F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$0D9920B9-6651-4DC8-9AC0-CF1B3DF2A373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$F951C9C2-05A0-4076-9C6A-BFA4D1BED539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$C08846B9-D1B4-42FE-B745-2380C2FF5AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$684DA44D-F653-4050-9080-5943FFF91A20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"336501721e40d0da386d00b00150fd55b37d653a","datavalue":{"value":"5047232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$041D3909-D7E6-48E2-B624-5A22720D4398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498915$C2B76792-3A5F-42DE-9BC9-A6EAF2B176AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498915$842256C1-6C55-402E-8CF5-FC2AB495E09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fab3f4a52d36fa801df826fbf2776241b7449b","datavalue":{"value":"weak arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498915$1C171A97-044E-41AE-B6DB-522209CBCB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5314c5330d656c5a3ee6808cfb6f22952d33610","datavalue":{"value":"random access machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498915$4F1980FF-6425-423F-B6DD-074CB2E3B602","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":"Q2498915$DF226DB7-D9CA-4B28-8F7C-BB39C14642EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1538d26b8d5a9593fdda1e7869c0a1164a9e112b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.12.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498915$23EA14CC-87AE-4C6E-93CF-329CC38A821D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58ff2b9d779ad3ef90670742437de699b850dddd","datavalue":{"value":"W1975429378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$DE1AEF01-E250-4226-8C9D-67C37EA16A13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498915$BBD5D6FB-F22B-4DB1-884D-9C4662E72F55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ab9856284517f762348e2c49ed8ce589258871","datavalue":{"value":"10.1016/J.APAL.2005.12.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498915$355C04EC-B6CF-41FE-B7F9-1857E6F53CC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242de007368903ff815190b4c5dd3bb7abf7bb7","datavalue":{"value":{"entity-type":"item","numeric-id":909465,"id":"Q909465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee95ed62d4d09db3c2030f9aa2364e3aeab4feb","datavalue":{"value":{"amount":"+0.7195643186569214","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":"Q2498915$FEB979AA-71C3-4B89-A9C2-A14818CE566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a812033f2a3dcb82e22170abbbf2b8411c02072","datavalue":{"value":{"entity-type":"item","numeric-id":3796747,"id":"Q3796747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53deabc089ce73e8130a165ae3aca8db62158ba","datavalue":{"value":{"amount":"+0.7140730023384094","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":"Q2498915$2E9BC316-0FFD-429C-8799-90F504614B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de11b5e0c3129ae5f9689cf48d1319d324ab715","datavalue":{"value":{"entity-type":"item","numeric-id":1198956,"id":"Q1198956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abb6cfa3dac4b7b0ec1e3eeb71b88e622c400cd","datavalue":{"value":{"amount":"+0.7130749225616455","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":"Q2498915$02358ECC-BCF8-431A-88A4-155A4C379419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4241736871aad3f9693377c20957adc7166fbce","datavalue":{"value":{"entity-type":"item","numeric-id":5323091,"id":"Q5323091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f74248ef70253c46ca1369864c790c975990ac","datavalue":{"value":{"amount":"+0.7055208683013916","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":"Q2498915$844447E9-B248-4C74-BDEB-A6C2FD2CF16F","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":"01ece00512e7bef9bf566bbadda748baca8799ce","datavalue":{"value":{"amount":"+0.7053375244140625","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":"Q2498915$7482D73D-6448-4D14-B124-7B5276F81839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A nonasymptotic lower time bound for a strictly bounded second-order arithmetic","badges":[]}}}}}