{"entities":{"Q3418091":{"pageid":3428794,"ns":120,"title":"Item:Q3418091","lastrevid":46182139,"modified":"2025-12-23T23:11:35Z","type":"item","id":"Q3418091","labels":{"en":{"language":"en","value":"The strength of sharply bounded induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121223"}},"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":"Q3418091$68CB7BDE-296D-416E-A69A-7584255119C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96a0e293ee80eebcb66210816c9bdb57d9aac23d","datavalue":{"value":{"text":"The strength of sharply bounded induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3418091$B1FD26F5-B4A6-49F5-8DCD-2F0DF03DAADE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea082c736492b7ba8b1aa42f21cb422d88d47f0d","datavalue":{"value":"1109.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418091$BF154B8F-40F5-4BCB-B779-44343B42FA04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418091$E7702623-39C1-4BBC-AE5A-FE598F5D40F0","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":"Q3418091$6527D925-612D-47CA-9AF2-5E8073F3AB7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3418091$812FD906-03EA-4E4E-8388-115BB6A3B3B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418091$6E3BC464-4815-49F8-8AC3-7EF4460BA3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418091$7FF909BA-A902-46D2-83E8-3899401531A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f91011763e7f1f79a05eee7bd67dc89d9f220d01","datavalue":{"value":"5121223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418091$B9CF601F-A671-4401-8F2F-22241535A108","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418091$340019B3-DFCD-442A-A704-8C2E2E2CA27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3d50feb8e58cbf25a1bef9290ff04329f8dcfd","datavalue":{"value":"sharply bounded formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418091$B89EEDC8-9C08-4D71-914F-DC135FD16A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a255c9eab90368f771690229354428a816016553","datavalue":{"value":"polynomial-time function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418091$2A1C3E7F-B8FB-4ACD-8E80-F98F9314FB22","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":"Q3418091$4F486059-C94B-4897-8178-499CFA251BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58fc6204f390993d5fdea4c78a24c8119ddcc5c5","datavalue":{"value":"https://doi.org/10.1002/malq.200610019","type":"string"},"datatype":"url"},"type":"statement","id":"Q3418091$435DC242-5350-4020-B35A-78EE14917315","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"645aab848fee6f21373c8d0111d4797dd194000a","datavalue":{"value":"W2126270200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418091$B9A93422-F2F9-482C-B105-7B63A7DB863E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418091$9C60B5C7-C923-4BFC-BBCC-40DBFB855E13","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":"Q3418091$E064585B-9DDD-4E7E-A8C6-6969D46F38CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7e96b22df0699a7050db7d1e19a42662921cf4c","datavalue":{"value":"10.1002/MALQ.200610019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418091$211ABC5E-9289-45BD-839C-5D566BD5C11B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3418091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3418091"}}}}}