{"entities":{"Q5044314":{"pageid":7073891,"ns":120,"title":"Item:Q5044314","lastrevid":91923080,"modified":"2026-06-05T00:25:05Z","type":"item","id":"Q5044314","labels":{"en":{"language":"en","value":"A note on fragments of uniform reflection in second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7606775"}},"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":"Q5044314$98D53979-9E6A-4C30-BC0C-7D06977035D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"530fce0331d6c3616b740b778e2686a531d52d49","datavalue":{"value":{"text":"A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044314$354B9BCD-C7AB-41EC-B401-AFAAAA68072A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$0D469AE5-F075-4900-B790-A94F638E19DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$75B9E7A6-5D93-4149-89B6-619BBE019485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a602b963af7e69a684ba7bfae051831bdc5cf50","datavalue":{"value":{"time":"+2022-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044314$36648BAA-3DDB-4A1C-9833-D9337B632375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"775e27a3e000ebc370190a63edcfae480621cda0","datavalue":{"value":"https://arxiv.org/abs/2207.11693","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044314$E415F20D-600E-4D1F-9F3A-3AD7D0B087B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$5C298B93-9699-4C47-905C-FE74187B3776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$7B5506E7-CC6F-48A7-9CB8-B60313BC56AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$61404D61-5869-4E93-9A1A-B07A44F8D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$9C521C20-FDD0-4A24-A3B7-CCF1FA66A005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$B248B254-9AF1-4420-92A6-BD1B3D821699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6540b104c7271a5fe3dba1a805c9922f24767f2","datavalue":{"value":"7606775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$2CC59C68-C6F4-4052-B9E3-7F18FD671205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044314$EE7A2668-27D3-4F49-B7E3-392F2961567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0a3375e0131c0ee22737d8d5e86b89b1470bce","datavalue":{"value":"uniform reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044314$6C275B58-44B7-4172-AA0C-9D4D4DD5C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ad46c969dcd3cf6a2069156fdb75725009826f","datavalue":{"value":"\\( \\omega \\)-arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044314$D59398F9-80D0-490A-924A-7E7BC4EDB544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ecaebd03e8006415352b521bbdc24d75e50fcd9","datavalue":{"value":"predicative cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044314$CA4EF454-0B3D-453A-9CAA-6763502FA78D","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":"Q5044314$03F71692-CB13-4ECA-A871-CDF24F724029","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2afafaed28b19db3fc85068e49ee87e53444109","datavalue":{"value":"W4281859665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$83093706-C70C-4348-921C-FB8BF0FD040B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80dcdbc651105fe69e6e02d85a2a0aec342f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5119482,"id":"Q5119482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$5175A2FE-3209-40BD-8C1E-859C0A116FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$2E1C691A-F5EC-4309-9A0E-9FB9274786EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$8523CDC9-3549-47C2-B31E-F2675BFA0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$4F50411B-32D6-4116-B75A-D802BE731AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$E20A939E-B634-4EC6-A0DA-DE81EE36B1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$BF0E2251-C6DA-4F5E-BCC0-C29C9059CA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$C08F7F95-3BE9-461F-B9A4-AE0F63B1E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$3519AC13-B029-4487-AA05-B34BBC958868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$CB73E7A1-8EAF-4987-8FCE-FABE696B32BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$E531F37B-C1A0-4A58-904F-B5E29DE83C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$FF50DBF7-2815-4673-A95B-3F7861F9A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$C353EE12-AAEB-43A2-8C31-16B01D71504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$B42FC4C6-D933-4EB9-85A1-6C6145C89B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$6E3B76A1-EC42-4895-9437-C4DF7A03A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7010a800e4336b7ae6e486d3fa7f31c97756c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$ED64F951-808D-4565-ADD2-B6AAF09E1701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b9bbf6da4522afc62f5846ca6a19a281554aac","datavalue":{"value":{"entity-type":"item","numeric-id":5021919,"id":"Q5021919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$DE013522-9D5D-48DF-A618-D7F97CA0E6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fe39d3355b37d2da566d935aa899b86819418c","datavalue":{"value":{"entity-type":"item","numeric-id":6038474,"id":"Q6038474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$09EB0887-79F4-48D2-846B-8ABA526850E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6629326274d1895876e66168171702b70b52bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$A0121AB6-6B6A-4BA4-A26F-9F6A1A9B2F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$D6EA7B47-2953-4EFC-BE58-D2667DE300E0","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":"Q5044314$BBA60A7E-0F77-4F6D-B59F-FD907B4AB573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$AFAEDD05-4664-4653-B756-508401D07FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044314$AF6D0B55-FE21-4B11-BB81-3BD8EC950194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad2873c5d3404afd0d0f01eb014c866220023704","datavalue":{"value":"10.1017/BSL.2022.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044314$29DA2A2A-2860-4D3E-B834-DA4251EC09CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33485e146a5ae69ac2e092e712184e61487f82e","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64af04609bd99b37d3ac1a21884730ec51cff084","datavalue":{"value":{"amount":"+0.81573086977005","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":"Q5044314$35897351-543B-4116-B72C-0EF4DD174AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9590f5e1025180c10ed58defc6832c2a6fe30ff","datavalue":{"value":{"entity-type":"item","numeric-id":5081870,"id":"Q5081870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165ee5e695d5dd74ee7ddda5b4316c032427ac06","datavalue":{"value":{"amount":"+0.7859764695167542","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":"Q5044314$B02D5D6B-78EA-43A8-AD26-2395B6EB7D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43983f57fa6155633ff71ca3da62c81cc992b49e","datavalue":{"value":{"amount":"+0.777333676815033","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":"Q5044314$47805A4D-81D6-4DB4-A575-AC1AFFD3AE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47bc64d822cea8c553171dd258853e920957567","datavalue":{"value":{"entity-type":"item","numeric-id":4637223,"id":"Q4637223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfe750a9b968541327b7c9c156eea46d063b955","datavalue":{"value":{"amount":"+0.7647928595542908","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":"Q5044314$9B378827-5954-4157-AB54-5CF95D02EA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a61f66c7bf0542fb299865ce92d1fb811eee37","datavalue":{"value":{"entity-type":"item","numeric-id":5359565,"id":"Q5359565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e03a052df48560dd91de4bc36a08aec9580c3ef","datavalue":{"value":{"amount":"+0.759635865688324","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":"Q5044314$10DE86E9-377F-4BF6-9DF1-D7C5FC42488B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on fragments of uniform reflection in second order arithmetic","badges":[]}}}}}