{"entities":{"Q3011112":{"pageid":3021836,"ns":120,"title":"Item:Q3011112","lastrevid":58086801,"modified":"2026-04-03T18:16:03Z","type":"item","id":"Q3011112","labels":{"en":{"language":"en","value":"Weak systems of determinacy and arithmetical quasi-inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5913843"}},"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":"Q3011112$F0B5B856-9D68-4864-8E8B-8FB542C376E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"916f4334e289d3118348be3fe10e93e06e985a21","datavalue":{"value":{"text":"Weak systems of determinacy and arithmetical quasi-inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3011112$5EEC865E-A325-42B8-A79C-44701AE8C608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fca06db5bd2b131a74a832a2d8968e8bfbaf21aa","datavalue":{"value":"1225.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011112$504475EB-6180-488F-98DD-6AF753363318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3011112$9DB88AB7-C03E-45A1-8605-5E4F0FF51D41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f1b79edf94d6af54e459a69837277bc24f9135c","datavalue":{"value":"https://arxiv.org/abs/0905.4412","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011112$85C57F4E-5CAA-4C1E-B831-42A8C4CFC2D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011112$0816FA29-222A-4F8A-92BB-947657418242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011112$6B37352F-9B18-420D-A5E7-04AC2B88848A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a6eb5f4c73912c8da6c5c9d666b6f23abafa064","datavalue":{"value":"5913843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011112$332358C0-45F2-4047-ACB8-7B16315E7F3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011112$5A34045B-F304-424E-84A7-7F600A667D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be216adbb5304e18215d1b22c701c1199a7105c8","datavalue":{"value":"\\(\\Sigma^0_3\\)-games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011112$9324FF9D-165A-45BB-A9C8-E3A307428CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011112$1574B3A9-A7EA-47E4-876F-1573C3391388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011112$FCB88A7D-48AC-428A-93BE-19039A4EFC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a217ddb205263609b0eb7f04f345e03c5eb797bd","datavalue":{"value":"arithmetical quasi-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011112$4ED02F48-FC6C-4628-BED8-39D9969E4BE3","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":"Q3011112$D285F6C8-A411-4607-AA80-F7F9B1F6A160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20ca840dd51c7281fe1ec5db0fb8d57ece32970c","datavalue":{"value":"W2039302704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011112$5096AF1B-6A54-4F58-BF87-BA21CB91EDDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2def56313d79b728d0af8750c12db8dc304b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4527919,"id":"Q4527919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$DC07C6D1-CAD8-4A6A-ACCF-F61789733D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$8CCC6725-3D11-4B2E-A708-E360D8D0BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20993d16cf897aa30ffa157e665d382a43d6ee4e","datavalue":{"value":{"entity-type":"item","numeric-id":3522334,"id":"Q3522334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$B516D6EB-8E61-4074-80A7-FA94C1BF74BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9467f405a314d55d88be81722ca5adc557f7b908","datavalue":{"value":{"entity-type":"item","numeric-id":1810819,"id":"Q1810819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$58EC0F8F-70AA-45D6-B54C-D50D9D97CBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$1633C00D-2AFE-489C-9F11-5C808C846C95","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":"Q3011112$D0309266-D600-4DD0-B3B1-0A3F6F349F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$4EB6BDB1-2FDC-42B2-B38B-3ED44EAFF1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$97222262-5D54-4012-9B33-49F12885BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1d6593cd0ebfca53ff73204240e1bf28b6816d","datavalue":{"value":{"entity-type":"item","numeric-id":1765099,"id":"Q1765099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$F5C159B0-AA02-44B5-A108-A4849FEAE0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916746dc03607d40228c71b62b930a926c881aef","datavalue":{"value":{"entity-type":"item","numeric-id":1777268,"id":"Q1777268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$EEBA57DC-184A-439B-BF69-93377715029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87abf9f21a078a5d04782683d51495f43bb5cd21","datavalue":{"value":{"entity-type":"item","numeric-id":4487651,"id":"Q4487651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$F9030E91-8DB5-49FA-900D-F61EFEA27DC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58ccd6e41cdc28287164ee38c29804bb72924dab","datavalue":{"value":"10.2178/JSL/1305810756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011112$2740437B-BBF1-4CB3-A8FA-04F030B68C02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011112$A2E4ACF1-2554-4A7A-9D2B-3A04182CD287","rank":"normal"}],"P1643":[{"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":"49d02c6ebdae5c41642576571b3ca49a33c474d5","datavalue":{"value":{"amount":"+0.8065256476402283","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":"Q3011112$EB896E74-A536-4E8B-9A9F-3022F1344B19","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":"f5a937dea0334544f5f0e7acbdda3a4406447be1","datavalue":{"value":{"amount":"+0.7909821271896362","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":"Q3011112$D7BD1F14-4978-424D-B2D6-EDFCB37EE998","rank":"normal"},{"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":"a99137b798da1e94b1aa25036152b0776564c18e","datavalue":{"value":{"amount":"+0.790621817111969","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":"Q3011112$7E4BC335-C804-4574-8403-52D84E9A8BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a9b5a72bb3482380ebe222b11e0a47e7ee5a13","datavalue":{"value":{"entity-type":"item","numeric-id":3530407,"id":"Q3530407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dd41ece14f6e12c5e3fe6e1d1da555c0eab75a","datavalue":{"value":{"amount":"+0.7887892723083496","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":"Q3011112$478C45C2-226B-4FF4-A737-532032F62F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71ae55a2dad061a608de6dcda30722a4fd03921","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3032f2bda42b13d435f4362727baf91d6c86594c","datavalue":{"value":{"amount":"+0.7865918874740601","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":"Q3011112$7E9B1F1C-0882-460A-9206-C789D8D394A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3011112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3011112"}}}}}