{"entities":{"Q4915224":{"pageid":6944805,"ns":120,"title":"Item:Q4915224","lastrevid":51688652,"modified":"2026-01-19T12:03:57Z","type":"item","id":"Q4915224","labels":{"en":{"language":"en","value":"On the strength of Ramsey's theorem without \\(\\Sigma _{1}\\)-induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152454"}},"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":"Q4915224$FA690715-2B20-49B8-89F5-56EDB946D708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a56460225406897ce34da3e3d86f5006b796f2b6","datavalue":{"value":{"text":"On the strength of Ramsey's theorem without \u03a3<sub>1</sub>\u2010induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4915224$C703D498-6863-4306-9D59-075C86BB61C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7ebd3c1f6f86bd2c6f00320a8c5fc6b30b712ca","datavalue":{"value":"1267.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$205F3649-5411-4B52-BDD6-F875970AA6BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$7786C47C-12DD-4BA4-AC6B-158F1204F454","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$7FC664BC-566B-4B12-9B2B-5946B1940BB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-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":"Q4915224$2B0960D2-6344-4B9C-BA29-A11E5747E608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$A8139A20-0242-42BC-AB37-EE86DD883058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$C6ED66FF-DF7F-44AE-8373-692EFFA54859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$57BCF8B6-7D08-476B-B669-3CC7D5373FD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a03347506d444b1080848c0f12b1590555665448","datavalue":{"value":"6152454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$79D4AD09-E5ED-4337-81F2-A33B5E6AD0EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$972995F5-118B-447B-9071-F7F8D9602109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$F6B8043C-331C-4A3B-B237-3251CA17EF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$2DFF9890-F33A-43B2-B39B-B92092970FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8efc450041904e4dc121a3369c462c9960a2cdb1","datavalue":{"value":"indicator function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$B3D41628-F534-4294-AB12-CACAAFC7BC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$61766A5E-0CEA-457C-AACB-E29803B19FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$82EB1967-CA53-43A2-A376-5B93982D9094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55ff56cd9c92efa8181e90fe1a051d7890c3ab5","datavalue":{"value":"EFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$E1D84CAF-8330-4FD2-8656-671F6B32A0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915224$1EAC9FDC-26D8-4D45-9C73-229D81391169","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":"Q4915224$0CA4E712-362C-4B23-94E5-A44B53142EA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a3cd4a73dfe46114a5df93e4c150792664a15d3","datavalue":{"value":"https://doi.org/10.1002/malq.201200047","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915224$34203AEC-348B-4375-BBE3-5F34B08E8FA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25ee27d3c7d646c2b9787d221eff1ed0623ff743","datavalue":{"value":"W2097268843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$17FAEB6E-BB80-47BF-802E-D4F3BF0B3E5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$9EB09356-0B6D-4811-9DE0-51359413C999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$A78804F0-22BC-4D89-9E65-95EBD24BEB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c442fad7b5d4f015ebade6085c65d041e687b","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$5702D142-2F2A-49B6-8254-67758EC734E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$32D63B8C-3AA1-4DC8-A82D-E2078D20ADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$CA30F3AF-37E3-46D3-BA03-1A1D5D42CF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$25FE4252-C071-42E2-AD1B-E988A27C3C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$455129AB-DD4B-4085-A5B5-724046CC9997","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":"Q4915224$4C17C932-0584-49D0-9DB7-3AA7951EB9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$6A570399-DA64-45DD-B82E-E348CB59B365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e118a8c11cf03b85b1a9d5fdc8e5993e53f09344","datavalue":{"value":{"entity-type":"item","numeric-id":1935867,"id":"Q1935867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915224$33AF0611-E81C-4C5E-AAE9-45306468F4DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"995073cd224d2c0c548348e8285e44163a891278","datavalue":{"value":"10.1002/MALQ.201200047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915224$8D6A0CA4-4C61-489E-9114-4FCB674FA23C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da304cc127955d6011df962755fbdb986fa89afd","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db9bbb5bdd628dce211714e7950a950e0785ebd","datavalue":{"value":{"amount":"+0.8593706488609314","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":"Q4915224$FE32AFCE-2843-4708-AFCB-0EB8CAC0A0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3632fecaa6d5d2733506f5ed3c0daf9fa6943d4","datavalue":{"value":{"amount":"+0.8455240726470947","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":"Q4915224$F8FBE175-7F0F-40F6-999D-6CA637DC1EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5919fe0474d517f024afbc61f253715447499c9","datavalue":{"value":{"entity-type":"item","numeric-id":4647115,"id":"Q4647115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63cf84cb0bc4a17d53deff4db4b85afe5a6ce2a","datavalue":{"value":{"amount":"+0.8181284666061401","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":"Q4915224$A24171F0-C572-4BEE-906A-939DB66171E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f34bdc8e84a9e58df4bdf4ca26c90f8fede545","datavalue":{"value":{"entity-type":"item","numeric-id":2453567,"id":"Q2453567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ba20d1895113af2cf3a10258020a14e6247166","datavalue":{"value":{"amount":"+0.8083974123001099","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":"Q4915224$9FC4B06C-EF97-4528-82B2-85D75A5C78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e334cdd2ba4d78b331e520cfd4cbd8e7c4b72a","datavalue":{"value":{"entity-type":"item","numeric-id":987936,"id":"Q987936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2dbb8a3a2216ff9f27a8363263ede2ea57e9833","datavalue":{"value":{"amount":"+0.8021924495697021","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":"Q4915224$D6249AE3-22C0-4BDE-B899-A9E7C34DF405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4915224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4915224"}}}}}