{"entities":{"Q480816":{"pageid":482583,"ns":120,"title":"Item:Q480816","lastrevid":62157027,"modified":"2026-04-11T04:08:45Z","type":"item","id":"Q480816","labels":{"en":{"language":"en","value":"The limits of determinacy in second order arithmetic: consistency and complexity strength"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6379550"}},"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":"Q480816$3139B523-BF51-4B69-B2D6-D7C833AF432F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae7fca2b0b6655f0770b05091d9fe90e726bd7dd","datavalue":{"value":{"text":"The limits of determinacy in second order arithmetic: consistency and complexity strength","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q480816$632219FF-2BE3-40FB-A73B-E11D4B20F974","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69a00b023b19cce1279433ae835fa28543142e74","datavalue":{"value":"1371.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$98E1156A-9CC8-482D-A0B7-EB70706612D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$D9273A1C-09AF-46AC-9F92-F909C81EC45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$070017AE-B9C4-4029-89FD-A02AE10367C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$DF30B70C-EC77-4D7C-B6BA-42F0EF8F923C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be70a49d3d60285f2bdc5735a44d081a23055750","datavalue":{"value":{"time":"+2014-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q480816$A3646695-1A2D-4572-9DDC-644863939E72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$9A3F7274-3E14-4039-ADA3-C562C4EC55FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$C69BDA23-8A01-48F9-93D4-518CBBBB1D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$41FBE096-A417-4D23-9350-7D237AD1273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$D3B63B0A-4E09-4675-872C-D453DA498AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$974E43A8-188F-4449-ACA5-332DC557B4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$D3C37AD8-CA24-42EC-8A86-FD90127FB569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c10be55a568c0566dabc0fd75423b969fcaa615","datavalue":{"value":"6379550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$45812C62-993E-4A4D-8CD0-522DFA3F1501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q480816$AB375724-573C-44CA-878A-9F58AE1279AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q480816$4ECBD663-2721-421E-ABCB-E4F8A6194D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q480816$C5101B84-DF60-4F91-AE04-CA8762ECB361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q480816$77A54D7B-EA4F-4484-B2EC-C177D8ECAD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q480816$FFEFDD6D-6C8B-4139-8E69-82C9F3DAC907","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":"Q480816$5299F450-2B47-4627-9610-56E033EF4311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6f96e211433e339aefec87f9c8a4bdfafb070f4","datavalue":{"value":"https://doi.org/10.1007/s11856-014-1117-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q480816$32CAC3FB-6F81-4DA0-88D8-6489580B79F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e65ac5986f74bf0b5846136ff99b5bc757c6a5e7","datavalue":{"value":"W1979438158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$DEC94D06-041E-4965-ADA0-1FB3F87D11DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25aa2e0a706aa54bd437b818c446f9fdf252a068","datavalue":{"value":{"entity-type":"item","numeric-id":3772173,"id":"Q3772173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$6FD5BF92-18FF-413E-8585-773C9D5EB7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4805f38d8a13b8d932339f139b139686d1952c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618369,"id":"Q5618369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$CA602234-A01A-4EF4-96B8-721BDAB7A765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ee2c45d82bd2e0ec3bb669768707c48a2a8db1","datavalue":{"value":{"entity-type":"item","numeric-id":3882445,"id":"Q3882445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$D77C971A-9743-4EC2-B018-14C96E5A4CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57ccda4576d918859d9b67f0e2e820179fd338b","datavalue":{"value":{"entity-type":"item","numeric-id":3163663,"id":"Q3163663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$B3D50E79-5EBD-4955-9959-5CB87ED65005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00d44042917d4da86ef7320f74b91139b12dea8","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$8C54F134-7DC0-4A3A-B487-533F3DDBA6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$15138F22-5A24-4E11-84E8-0AFAE5D689FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa36b4077dd2e6da195c3224eff2a755e0d55ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3011112,"id":"Q3011112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q480816$E03E8CE6-C51C-41AB-9C34-0A942F4DF9DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96dac17aceca5e3187601777a9b1921915947148","datavalue":{"value":"10.1007/S11856-014-1117-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q480816$5E109599-C354-4F1B-BA1D-931E853882EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15978ee46f154c058a13299f51b4fb9d5983739b","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e52392d330d5004758d4773a9e480c4fe33e18","datavalue":{"value":{"amount":"+0.8575851917266846","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":"Q480816$9F35DD6B-986C-4F05-9AC9-746AA303319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246f2f85e5e1847bc650bea86b6218eacaaa6d73","datavalue":{"value":{"entity-type":"item","numeric-id":5294020,"id":"Q5294020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab4915f1bced85899d408625e8906a127364106","datavalue":{"value":{"amount":"+0.8199468851089478","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":"Q480816$45A3C5DE-F048-4BE2-AF68-6C1E46A63920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6358cd7d724508033daed245b956e336f7343b","datavalue":{"value":{"entity-type":"item","numeric-id":636381,"id":"Q636381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a855e7495ce6b6c6656369a423fa9075d2d787f6","datavalue":{"value":{"amount":"+0.7990384101867676","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":"Q480816$C3127053-F253-4A27-BEF0-F9D87CDDFB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c693daf69eccfb4906665e7ed5ef4cc4070be7","datavalue":{"value":{"entity-type":"item","numeric-id":3353013,"id":"Q3353013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20bcc37b9e3013c0887ef8df92ee8a45b789f681","datavalue":{"value":{"amount":"+0.7914154529571533","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":"Q480816$28F52210-F5CF-4768-8C2D-585ADCE12B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698285bedd1468c15cafd61e35c38928259b85e0","datavalue":{"value":{"entity-type":"item","numeric-id":5293192,"id":"Q5293192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4bcdc87545e5095f670dfddcdc4d6d6a683cfc","datavalue":{"value":{"amount":"+0.788209855556488","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":"Q480816$5C8F35B4-A199-43AE-A46B-CE148EECFCCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The limits of determinacy in second order arithmetic: consistency and complexity strength","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_limits_of_determinacy_in_second_order_arithmetic:_consistency_and_complexity_strength"}}}}}