{"entities":{"Q3395521":{"pageid":3406224,"ns":120,"title":"Item:Q3395521","lastrevid":50759993,"modified":"2026-01-15T01:58:24Z","type":"item","id":"Q3395521","labels":{"en":{"language":"en","value":"Subsystems of second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601749"}},"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":"Q3395521$4A838F6A-A3CB-40EA-A6E6-A0D3FFDB4D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"021b20b6828659ba700382061fdcf05739302219","datavalue":{"value":"1181.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395521$C8268FED-E9D0-4345-99BD-87B9B61E41FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395521$514C6233-B3E8-4014-8335-6E2ABADE0610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395521$16AED359-609A-4D9A-A83F-4F6490279DF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395521$1F12CAEA-6C70-4CC0-9058-DCB0F482FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395521$D17DE232-E6AF-48DD-A5E6-A332540044B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395521$5BA6D6B6-6B52-458C-A2DB-FFE49D10E551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395521$1E31E4C9-E274-4514-9D96-0850156AF000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eef6433cc68e88ef10598d0a11ccc27ded82794b","datavalue":{"value":"5601749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395521$5EB3EB01-10D5-4363-9ACF-EF4E99299EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$4E204C1B-DE67-4373-A79A-0BC434FADD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$E88AA9BD-C8F8-47CE-9F15-197BC1CC8FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef849d33806a75620264dd999283c3fbbbf2cda9","datavalue":{"value":"recursive comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$62231E58-3119-40A1-904A-923A127B10A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$BBA4799F-8D42-429F-8037-DFB45D154EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$1FE6AE21-8205-4960-9D53-E49B87148C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$A2ACF28D-B481-4486-8100-BEBD021092E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$59CAD597-5720-453C-9453-0B7795634BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$A471489F-FD22-4C33-B83E-A79FD96956D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a85bffc93a7ffc4d11c116a948edfd455a75bf","datavalue":{"value":"arithmetical transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$30BF224C-1397-4417-ABA1-7F0C454C73D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83a94ae044c5b2969c3a78e4778ff7c1c421f74","datavalue":{"value":"\\(\\Pi^1_1\\) comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$4A335694-973E-4B70-8978-3F1BD2F2E1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5200ba83a9b538c80e60370c1a3bf83a97d65c29","datavalue":{"value":"beta model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$D57AD750-6004-40F1-ABFA-FBD862DBC559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059a70a69343661852f094ce717bd20e027b8f0b","datavalue":{"value":"omega model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$A195C18C-16EC-4F88-AF81-3F6E65F933D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395521$87C2A60E-9FB6-42F9-88DB-84688ADBD653","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":"Q3395521$EFD1EE54-D0FF-4E60-9208-CD80CAD448A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7647881f6666bfcc26831322ccd0a7cc2cb88220","datavalue":{"value":{"amount":"+0.836075484752655","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":"Q3395521$D668A209-8F64-4E76-8BC7-7D3F4FF7972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b574fbdf1d0d1f88f34f5b02ed4f72cde37caa1","datavalue":{"value":{"entity-type":"item","numeric-id":5274882,"id":"Q5274882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7647881f6666bfcc26831322ccd0a7cc2cb88220","datavalue":{"value":{"amount":"+0.836075484752655","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":"Q3395521$216882D0-BE3C-4516-A10C-7C25943277C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad98a19fee9729476e2d68f5a163382ec1631e1","datavalue":{"value":{"entity-type":"item","numeric-id":5273442,"id":"Q5273442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf1880f745d4bd0de0fb360a873e2810548f5a4","datavalue":{"value":{"amount":"+0.8155195713043213","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":"Q3395521$F272A3B2-C900-4B0B-8CB0-D9C73145AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa040222aa667d61634ddfaabe017c1af4445e5","datavalue":{"value":{"amount":"+0.7884145975112915","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":"Q3395521$80E7C491-B8DE-4396-AF24-38EDC08FD94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19974144b789930b0b10d27ceb42c15c9f2cc386","datavalue":{"value":{"amount":"+0.7728147506713867","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":"Q3395521$3B203306-053C-47FF-9A0D-28F0FA5D3313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395521"}}}}}