{"entities":{"Q3450810":{"pageid":5213144,"ns":120,"title":"Item:Q3450810","lastrevid":58180479,"modified":"2026-04-04T03:20:48Z","type":"item","id":"Q3450810","labels":{"en":{"language":"en","value":"Transfinite recursion in higher reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506063"}},"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":"Q3450810$B8A2AF4C-D689-4598-A860-44F7BD9B34E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01076a9b7232e56749651e9465bc74750d32bff6","datavalue":{"value":{"text":"TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3450810$11382AD8-2EA5-4576-BC1A-79E7CD337523","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87680ba5213374464521610d0d2bf7ccba33f198","datavalue":{"value":"1358.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$5D21E554-7496-4681-A197-7402F95001C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46129921d282c6d7244c3037be0e6dc839ab1e8","datavalue":{"value":{"entity-type":"item","numeric-id":2039551,"id":"Q2039551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$F6AB8771-A8D5-4428-97E5-56AC393B9F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-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":"Q3450810$DDFCD227-2101-4490-A60B-2E515E4B3BB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94126d5d8ae12977aab800d0afcf86ec62eeb570","datavalue":{"value":"https://arxiv.org/abs/1310.5792","type":"string"},"datatype":"url"},"type":"statement","id":"Q3450810$EBB3EC4F-0964-41FE-AE39-D95559B13FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$EC542666-BE61-4DEF-A79B-75833F718E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$BF456323-41DC-41A3-81F0-E4A7261656C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$54719EAC-1748-4E61-AD75-D1A3245D0D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$44F08B3F-3C4D-4DEC-8C62-06DC657F964F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cbe8a9d1421cf26736b981831032ced791a7300","datavalue":{"value":"6506063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$E9F5910C-7F6C-4100-983A-4DB76434908D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$B43FDAFE-CA3A-4D7D-BFA8-1DBE17AE9A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e1a5b93514836507150a3f8213f2724173a6ac","datavalue":{"value":"higher reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$EA414F1F-4E9B-4D4D-9349-2DB3E2641371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$4A4B2747-72AD-40F1-8FEA-C1657EAC0E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ebc341ee6ff7f570106349cde840008087549a","datavalue":{"value":"Steel-type forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$9A703DC4-D630-41C9-9792-C75B09790922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15177e3a7d07d67950f8be36a1a368b8b584e9cd","datavalue":{"value":"tagged tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$5F9AAAD9-CD25-4AAA-B9A1-536AB1F43C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$B31D0F0F-C27A-42B4-8A40-83B6DC6CB0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfcb3f5a756c8efd47fda3df1f6fb4f6c81707c6","datavalue":{"value":"clopen determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$2F4A8810-2E50-4B4A-A95E-FC2723445E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9292c813d39bbcfe6c476ea5b004b93793d557","datavalue":{"value":"open determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$AB69C565-E80E-497B-BE33-7D7DCA722051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$15C5B079-6786-4552-921A-E15313F57986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ae050e31f45782d6b832be9eb6d87e69a0247e","datavalue":{"value":"CWO","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450810$9986F2F9-1F7C-4314-A28B-0EBFA57A8D9C","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":"Q3450810$AB825DAD-776F-4DA4-B085-3E47C716C9A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f2fb1dcbb149d00044776f8713bef4c3d061d6d","datavalue":{"value":"W2963204392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$7CC2103B-9824-488B-80AD-87F20753E8B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9228f63e7ff799d648ab485f0f33e099110f58","datavalue":{"value":{"entity-type":"item","numeric-id":3159415,"id":"Q3159415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$F0845575-EC42-45C0-A8A2-1367CD15CB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$638C47DE-550D-4EDB-82D6-6079934F1364","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":"Q3450810$AC8DD2FD-35D6-43CF-B279-01293785C020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca5838823571e404043d0f8548d3b976dc4fde5","datavalue":{"value":{"entity-type":"item","numeric-id":4928781,"id":"Q4928781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$690800CD-E710-4CEE-8407-AC7F0523F4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40753e2963d33d5fe3495ad010e48b7935bc770b","datavalue":{"value":{"entity-type":"item","numeric-id":3525843,"id":"Q3525843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$5B8B65EF-C903-4EFE-8714-C4BC579D5DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7f5ae74dc223cf9f49c9a8324c1cfa61413465","datavalue":{"value":{"entity-type":"item","numeric-id":3545211,"id":"Q3545211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$6BDA6F2D-6F05-4643-810D-3E02B2774FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$268A4001-39B2-49D8-9058-F62EF3A1445A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17048f53f8ce42ebdf5f79c3e0683b31cd5c6048","datavalue":{"value":{"entity-type":"item","numeric-id":580327,"id":"Q580327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450810$5C9B4DFF-2DD1-46CB-B06C-170310CDF65A","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":"Q3450810$E7C59494-9CCF-481E-9E90-3DF8B32ED267","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c6d6f2296f3d15b4d7f593e9ca76028b4decd59","datavalue":{"value":"10.1017/JSL.2015.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450810$291E2BE7-829D-4C0D-9DF9-AAB805C4E68E","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":"Q3450810$45EF3C8D-4410-4E14-A2E4-2EC02C186465","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":"2cd5e7b73c63b4052bc3863363de18ba01162b87","datavalue":{"value":{"amount":"+0.7799657583236694","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":"Q3450810$0698211F-FBF6-49DB-8021-50EFC384DF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a97f718ed58b9f76980d43729beebf79357c89d","datavalue":{"value":{"entity-type":"item","numeric-id":2904432,"id":"Q2904432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e5090d711e00d40aee92c9337dcfcc33801126","datavalue":{"value":{"amount":"+0.7666746377944946","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":"Q3450810$7879D035-EB5E-4468-AFA0-0F14E1FED2F7","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":"eae66000e90aac1489301ee52b7ecea310c2c4c2","datavalue":{"value":{"amount":"+0.7524853944778442","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":"Q3450810$AB8F31E8-F402-406F-A70E-98B5E78F35B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5d94f2c12f5cddc4bf745a0f9a798c146d42f2","datavalue":{"value":{"entity-type":"item","numeric-id":3619869,"id":"Q3619869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a1b87727b47e14a6197dd0369bf11b4049bfc1","datavalue":{"value":{"amount":"+0.7439593076705933","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":"Q3450810$3C6A6895-4B85-4E1F-AB0A-CCA17A072D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea533da214356801a26c3553c733025738ddd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fdc295b5475ab86cd9e4b9827c41bcd3fe914a","datavalue":{"value":{"amount":"+0.743263304233551","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":"Q3450810$CADB14FD-80B5-4EED-A292-12AA7332D444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3450810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3450810"}}}}}