{"entities":{"Q3195708":{"pageid":3206416,"ns":120,"title":"Item:Q3195708","lastrevid":58142820,"modified":"2026-04-03T23:49:43Z","type":"item","id":"Q3195708","labels":{"en":{"language":"en","value":"Iterative forcing and hyperimmunity in reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496627"}},"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":"Q3195708$52CBA088-A9DF-4346-A028-D96ACB49A86D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73a81399da1ac857b99184cf3ea47f3e0d2f18d3","datavalue":{"value":{"text":"Iterative Forcing and Hyperimmunity in Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3195708$70E26077-0813-46C8-800C-929CE812848D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c0db7cdff1943c5e59bfbcac064488ff85d24d","datavalue":{"value":"1461.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$07281D0E-070A-4368-92C6-F4C124424CF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f28d60f90fb2136845b54acc8e5c57bd15ebc08","datavalue":{"value":"10.1007/978-3-319-20028-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$9C450F7C-D55E-4F89-924E-8F358982C07F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ef153d9b4f1f3d6db3e86ef08f3ed5191e259d","datavalue":{"value":{"entity-type":"item","numeric-id":490868,"id":"Q490868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$1945113D-437E-47A8-9E9D-68D2E275712B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39ee08c48ae28407a794503fb9ae66e254bd82d3","datavalue":{"value":{"entity-type":"item","numeric-id":3195673,"id":"Q3195673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$1457C98D-BB74-45B0-9E80-4F447F5B9521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3195708$EE6C25F0-2835-40D2-8510-720F42063193","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89a6c5d8d5b50b9fe69dc3ab7284e8e21ec4f057","datavalue":{"value":"https://arxiv.org/abs/1501.07709","type":"string"},"datatype":"url"},"type":"statement","id":"Q3195708$CD16115E-58B6-4789-AF9A-B203F191F7AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$B1D7B148-CFB3-4B0F-8F51-0162E0FA4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$2C16A607-0C16-40F7-BA57-5EAF0A1DC263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$08A5B10E-4B88-4E8B-AC11-22AA367796F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b564d4ef41445d228d82fd932c959bf35f6a4905","datavalue":{"value":"6496627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$EAAA8512-9781-4629-8FDE-4E9942BFE413","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":"Q3195708$0ECF6435-5F69-41DE-B078-C48CBCA0FD47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b82231a8d6f8d57d96c4ecf333e92f69a6a4a6a6","datavalue":{"value":"W1622490310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195708$B81DDD33-140E-48BC-A7BA-CD2F9B096B6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$B3547620-A88C-4BEB-95B7-D9323A72FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fc1440d6eff8311a56781a4fabd92c328ab56c","datavalue":{"value":{"entity-type":"item","numeric-id":5711879,"id":"Q5711879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$4EB70895-945C-4DA7-82D2-300D0B91B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$6DD3A77E-46F4-4D47-8302-E23FF7E67B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a378e404dff4e3000a20fc509afbdb84993a7fed","datavalue":{"value":{"entity-type":"item","numeric-id":3655258,"id":"Q3655258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$D768547B-19DE-433D-B3BF-BC7E6D743CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12dfa4f63d9f4f10bf084be4b4cf1cbaffcaf23","datavalue":{"value":{"entity-type":"item","numeric-id":2958212,"id":"Q2958212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$76F865BC-8A3A-4581-9426-8C463D65EB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$C9965792-5F81-412C-86A9-6679CE20154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$1C370C19-B2F0-48E5-B808-DD33642F751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37ae4ea7122cb7fa2c62942e3cb2b4db3687ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3186057,"id":"Q3186057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$51FF2FEC-CDA8-4161-96B0-31BDBE650A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$A8252D64-36A9-4A98-AF19-2D30DA244F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e172ce80cb42a286d92f691e17015febc427c38","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$AF7CB8DF-C693-40AE-B368-B9821DCBD315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a741ee1e1772f56d290380cb62f418c22e3e412","datavalue":{"value":{"entity-type":"item","numeric-id":4304787,"id":"Q4304787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$5F594560-1687-44C2-BD46-A53CD47877B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$811A5274-84C4-41E0-94F6-86C115A6B51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f3e2147ff83d09a44d22572a320e6572c66fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5401600,"id":"Q5401600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$4BED9544-2364-4873-BF8B-040760F4392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ddfe130fa492d74050f3c2382b469a201f974d","datavalue":{"value":{"entity-type":"item","numeric-id":2964279,"id":"Q2964279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$474D6A54-F12A-43B3-9708-EE0DBDBE55F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f9f6aa321e0b483f9cdbff267934cc1d7eacd8","datavalue":{"value":{"entity-type":"item","numeric-id":490869,"id":"Q490869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$7CC42B94-69F8-4CFA-BBD7-B81835039E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb36c88ab10c0585595ed7cabe614bfeadb107c","datavalue":{"value":{"entity-type":"item","numeric-id":892143,"id":"Q892143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$89AC88A0-5C68-4FD7-9B9C-F416EAC2C2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a2154fb3ad41c80120b50bf3a939097ea843c7","datavalue":{"value":{"entity-type":"item","numeric-id":503277,"id":"Q503277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$8621DDF4-F0DB-499F-82BA-81486968240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc3a8f34531571ae20544ea221bcfa52bf3e2ec","datavalue":{"value":{"entity-type":"item","numeric-id":894259,"id":"Q894259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$9F51592D-B6CA-4507-918C-A3ED7AABCEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca570697c2a1f32bcb88f248a216c7b2c53aa97f","datavalue":{"value":{"entity-type":"item","numeric-id":2453567,"id":"Q2453567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195708$24247408-4CD0-4762-A695-F0CAAB321D96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e988094041f74c95de7ec0b3dfa772af3377dd","datavalue":{"value":{"entity-type":"item","numeric-id":4593493,"id":"Q4593493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d214e14013427637616479ed8c40e81c96bbf77","datavalue":{"value":{"amount":"+0.9893015623092652","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":"Q3195708$4921DF3F-9415-4D61-9AE0-9F823ED4ABEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5be63d73560bace54834a760914ae5ae33613d","datavalue":{"value":{"entity-type":"item","numeric-id":3545211,"id":"Q3545211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bc74f0633482a45ea4bae74000c05cf54583ab","datavalue":{"value":{"amount":"+0.7497961521148682","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":"Q3195708$57C3FC10-A171-49BA-AA9E-8115BE5F6BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b35417e27c8f3d94e42496b93785f3a8968159","datavalue":{"value":{"entity-type":"item","numeric-id":4628351,"id":"Q4628351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35927eeab6b9c032ed0ed2c0fe868ed5d8f21ba","datavalue":{"value":{"amount":"+0.7482213973999023","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":"Q3195708$AF5768FC-8F12-49EE-B7C2-90824ACCE400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2474240a71c40ab650336912cdb77f238fc49f","datavalue":{"value":{"entity-type":"item","numeric-id":3188275,"id":"Q3188275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e92d236585f709d8c1ad21d1fa10a26712696e","datavalue":{"value":{"amount":"+0.7482209801673889","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":"Q3195708$5017AC88-824B-474E-AA49-3FF6C5157D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07af31d2ce51c61eb7b8784daecb4d9456bcede","datavalue":{"value":{"entity-type":"item","numeric-id":2964279,"id":"Q2964279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54495e0b25271255d5866b050ecdf0e7b5df31ea","datavalue":{"value":{"amount":"+0.7393618822097778","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":"Q3195708$8778B7DF-A930-454C-AB74-D972AE307C16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3195708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3195708"}}}}}