{"entities":{"Q2404651":{"pageid":2415394,"ns":120,"title":"Item:Q2404651","lastrevid":52902503,"modified":"2026-01-23T18:47:10Z","type":"item","id":"Q2404651","labels":{"en":{"language":"en","value":"Determinacy in third order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6776242"}},"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":"Q2404651$6F8E8EF2-97DB-4F71-A664-A181A70F0E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"604d2bab868ef8ad62613c41170fe32d6dbbcc4e","datavalue":{"value":{"text":"Determinacy in third order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2404651$BD0A8C08-0888-4FC1-992D-9FB65E08FFEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfaabd5ed5d3260d52987cd1bdf9c859806d5a83","datavalue":{"value":"1422.03128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$0932F0BC-0EB1-4E73-B6F9-10787FA80723","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb563d421c128896cae1f74d39ce69640a7efdfd","datavalue":{"value":{"entity-type":"item","numeric-id":781517,"id":"Q781517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$A17B91DF-7762-4787-B33B-8E08E61FD1D0","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":"Q2404651$77C2FDE4-0F0F-4674-9AB3-4AE3D9EA7D27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c21d4747e37ac8a83681ed541df851bfe5d23ff","datavalue":{"value":{"time":"+2017-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2404651$F036E62C-99E2-4632-AD5B-387458F0B337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$42B9649F-AB30-4323-A942-0728E231BB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$932F4CC1-F004-4400-91A0-205D31E1B8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$F48FF90E-5461-4798-BEA6-8D2BDEBFDB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$C984765E-CEB4-4219-921C-1F5CC8895C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$B9133A47-B4EB-425A-9B10-F0599E23FBA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cb86d25daca5b94a9a47188786d89cfb1e4d142","datavalue":{"value":"6776242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$6E1D2B3A-353B-47C7-8A78-39117CD3C8C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404651$E168BA70-9ED4-4001-8C52-658FDC329D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404651$A0427794-3815-4B9E-8958-3DECEE80FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404651$DB73F614-0E53-492E-8F89-E690D32A9B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404651$6F93A5BE-8E97-4B0C-8860-0B8C94BA63D7","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":"Q2404651$33C760D0-D4B4-4949-9349-8E97D5D2C54B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b00884892957936b0d66fca29fbcd3e761acd1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2017.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2404651$37C99EA4-F081-4BE0-BBF2-6C42F69212DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ae1791a062fa238ca311ab3d45bcf5118da89c","datavalue":{"value":"W2621190079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$188B1A95-A549-4626-95B0-72F99FD3F118","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$B61AD02B-7845-4EC1-806F-41A9516063B5","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":"Q2404651$86DF70B6-CBC6-4CE0-ACC8-BF9EE273FC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18f3743c0d479e4e397759e3c74444ca3ba5020","datavalue":{"value":{"entity-type":"item","numeric-id":4977218,"id":"Q4977218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$846B225E-3983-4E33-B2C4-EDF5C062A83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$DE407728-848A-43D3-BF15-67D0B42202D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$7579C1FF-2D68-4C8D-8C11-1895229E03EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c493b95715c2e4dbb5a8c0041dd93593f1ae736a","datavalue":{"value":{"entity-type":"item","numeric-id":3801541,"id":"Q3801541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$2798447B-4A77-4649-A857-381795A06605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4c06f8a04d278d8b2376a4f43f5bacc871002","datavalue":{"value":{"entity-type":"item","numeric-id":4722064,"id":"Q4722064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$DCC11079-D927-48D6-8627-AE1B9E1524EB","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":"Q2404651$9EF1071F-1184-4DF9-A746-3FD106B28732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8676ca2cc43ef917ce3c75acabff088ca1f79acb","datavalue":{"value":{"entity-type":"item","numeric-id":3450810,"id":"Q3450810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$85134B87-E0AA-4CF9-A113-975FBCD95573","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":"Q2404651$ECA62040-EC30-4099-9C88-4710EC170D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153cf84afb13d6612f520c1260b933080ea57b2a","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404651$8149FC5E-80C9-41C1-8644-0205B6836266","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":"Q2404651$FEEFAFF6-B3B4-4F69-8D6C-FF1F9C78D09D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c24dd5383ec0bec79b0fb736e50fabadf4ae081c","datavalue":{"value":"10.1016/J.APAL.2017.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404651$70CCC52C-1DD6-4513-ADF7-B07C1DB0E006","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":"02f729e0def9d36ae2872d55e6eef1e2dfe600bc","datavalue":{"value":{"amount":"+0.794259250164032","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":"Q2404651$7DF119E0-C23C-4726-9B9C-44D8FD723927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee80a2b08fc130b9e5e1a20c7f14af40f920afb","datavalue":{"value":{"entity-type":"item","numeric-id":2312093,"id":"Q2312093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ae7771c470c61f248b8d6964b6a9e77a0b71e2","datavalue":{"value":{"amount":"+0.7831000685691833","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":"Q2404651$EFD921E6-58B4-4ED1-8638-F8CE2C59ECC4","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":"5ce83ccfcd38239416bd16fa445120154a9633b5","datavalue":{"value":{"amount":"+0.7800998687744141","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":"Q2404651$A652EE34-9A2D-4676-BD4B-7817904F0A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767f59991fcd7f0d8204afaac75e260ebe175c6f","datavalue":{"value":{"entity-type":"item","numeric-id":480816,"id":"Q480816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89334e979550bba858eb171ee8a7143ca40d43c8","datavalue":{"value":{"amount":"+0.7797297239303589","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":"Q2404651$5E6B1FB4-2292-4CF9-8C17-36B8C9729BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcc6027d27d4f866ddda5c1cdae0629b5974b7a","datavalue":{"value":{"entity-type":"item","numeric-id":3011112,"id":"Q3011112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4daf754d4c5362097c726b90d985c57bb8a3e0","datavalue":{"value":{"amount":"+0.7501890659332275","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":"Q2404651$BCACCD79-188D-493C-AC7F-EE73E21D6B3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2404651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2404651"}}}}}