{"entities":{"Q3081650":{"pageid":3092365,"ns":120,"title":"Item:Q3081650","lastrevid":51202805,"modified":"2026-01-17T05:37:37Z","type":"item","id":"Q3081650","labels":{"en":{"language":"en","value":"Investigations of subsystems of second order arithmetic and set theory in strength between \\(\\Pi^1_1\\)-CA and \\(\\Delta^1_2\\)-\\(\\text{CA}+\\text{BI}\\). I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862939"}},"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":"Q3081650$081610EC-3D45-4AB6-8D09-07EC3FEBAAD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86e583e592f0e6971402054d57363c9caaba51de","datavalue":{"value":"1227.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081650$DC82ABCD-C088-4494-98F0-6638BF4DAC24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081650$2200B01B-E385-4ACC-90A1-D36654362472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081650$E0B71447-1404-465E-AB68-A488DC56DD22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081650$CECE3C5E-62D8-43AF-B96D-32FF5AFAEF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081650$104C1CC8-08E2-445C-A1A5-E1DF083C0B87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa5dc8cda662a09a421979f661dec0c743a0cf6d","datavalue":{"value":"5862939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081650$DED63625-EDCB-4873-BC38-7C0E49422695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081650$E0CE3850-F9FC-47AD-B989-0C4A64E4BD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081650$AE762906-49F8-4E61-AE90-81466B17E7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad7c785f9832cd4613b881d7a86688956364f90","datavalue":{"value":"admissible set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081650$CAFABB7A-C73A-4A2D-AA52-238C0D07438A","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":"Q3081650$15F1D423-5E31-4C95-88BB-CECDA9221E36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7766428c6ea3186789559fcbb0f6d222114a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b21dcad2a623a901c20e585fc37701c76c8ea2","datavalue":{"value":{"amount":"+0.8091427087783813","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":"Q3081650$72CD2BEB-C876-4C1D-A1AA-7AC14CE00F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3237476314c940cc2576f344904b69083de644aa","datavalue":{"value":{"entity-type":"item","numeric-id":2309490,"id":"Q2309490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b21dcad2a623a901c20e585fc37701c76c8ea2","datavalue":{"value":{"amount":"+0.8091427087783813","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":"Q3081650$18293C34-C84D-4555-8AC2-7130992DBAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b89f3753e44e204fd1b35b530c585acef21f74f","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf80be6f9dc6e814a3730ea49fda761365043c6e","datavalue":{"value":{"amount":"+0.8087814450263977","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":"Q3081650$BF7CFAC5-98EE-4F5F-8C41-88D2EACD4BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da9c671ec85c4b7d381b49e24504826d1cc31f9","datavalue":{"value":{"entity-type":"item","numeric-id":1908814,"id":"Q1908814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e5ac1e61d8f711d1bce7195369a651486b7d20","datavalue":{"value":{"amount":"+0.7987790107727051","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":"Q3081650$3BC3EBF6-AD79-481E-BB32-4DAA55782026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfb1500e19d25d1e06c6df0b28ac01d9bbfb102","datavalue":{"value":{"entity-type":"item","numeric-id":5489367,"id":"Q5489367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b0c66951aeaf60a07c9b3563a2af87439f990e","datavalue":{"value":{"amount":"+0.7979868054389954","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":"Q3081650$8308BC20-DAC5-4148-9893-5E3F86ABC4D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081650"}}}}}