{"entities":{"Q4899173":{"pageid":6928752,"ns":120,"title":"Item:Q4899173","lastrevid":58351365,"modified":"2026-04-04T20:27:20Z","type":"item","id":"Q4899173","labels":{"en":{"language":"en","value":"Reverse mathematics and a Ramsey-type K\u00f6nig's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122635"}},"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":"Q4899173$60B40558-793E-4B1F-99E5-C6C16AD970A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3a23ebc487cefe1248deb44b3f4ea2c74ee01b4","datavalue":{"value":{"text":"Reverse mathematics and a Ramsey-type K\u00f6nig's Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899173$83A43C3C-E680-45BA-9065-C02537466543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15de2f41af86af9db3838603f4b4100b8cfdf2d6","datavalue":{"value":"1259.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$254444BD-B19B-4868-BDD6-2E7B0DEE68D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01eb27d6b630fc0b68e3ff3cdba73afb678864f7","datavalue":{"value":{"entity-type":"item","numeric-id":508829,"id":"Q508829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$7898177F-D1FC-48A9-9076-F8606EBBC3D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899173$021F83B2-C838-4ADF-A799-05EC568EBC2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e838f5a302c5d46ae46059008f38e5c567d3ec","datavalue":{"value":"https://arxiv.org/abs/1111.2526","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899173$7EA5FDF8-0166-495E-ABEE-DE9225CF2642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c0ec986dfc463628b9116749834eb69e79f5995","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1350315587","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899173$960B353B-4DC6-4F0D-8C54-3020C3F0B5C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$149C80D1-6B1E-40A3-8553-6E075C9CE185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$BC39D2FB-6D37-4EAB-A300-4520DAF0B076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5eb439b142f3de13d8596f03b7e49cb8bd44e69","datavalue":{"value":"6122635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$9491E54A-80FC-407C-A06E-B6FA8125E6FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fed8963868ebc415fe6777e2aeb4de8e8a0e26","datavalue":{"value":"Ramsey's theorem for pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899173$0D92BF2A-6274-4AAC-B485-88426D932CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899173$73F20AC8-3045-4D70-9169-4635C61F36F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899173$8AE56883-5777-4C2D-B498-1B8BF00B3C07","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":"Q4899173$5B2634DE-EC15-472C-AA57-8F8A77FCF8D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccb7b4672018e63c0d68b666cd9d14060ae045a5","datavalue":{"value":"W2038076484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$06859D9E-5D16-4B33-A1FC-95D380431DB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7fcba6004439b6f5a91b5c4d2ba88a5aea903a79","datavalue":{"value":"Q124918191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$5919F11D-9568-484F-8802-805BB6246882","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98141c0b7bac404be991952cad15029858b4f57","datavalue":{"value":{"entity-type":"item","numeric-id":3550582,"id":"Q3550582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$4145C02C-DD55-46CA-B1E2-C7978258DD24","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":"Q4899173$DE23E7D2-FEC8-4C87-93BE-DD8370D310CA","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":"Q4899173$66A62C2B-8E47-4382-9E03-4F0A33707D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$1579667E-2304-48D7-BC50-A6E916E44F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a6dd3dc8830892bea0568f55b7570e360cbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":2758065,"id":"Q2758065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$C89FD545-0BE6-49BB-A673-A875E5742AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a741ee1e1772f56d290380cb62f418c22e3e412","datavalue":{"value":{"entity-type":"item","numeric-id":4304787,"id":"Q4304787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$97912CDB-41CD-482C-860D-207F69BCF1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64aac20be425fdc2a8b05c3f245cd82b1f8e2307","datavalue":{"value":{"entity-type":"item","numeric-id":628806,"id":"Q628806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$EA1269AF-6627-4070-8E35-05228D1BFF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0ef16474209601ae42b322396d89e32981e5fe","datavalue":{"value":{"entity-type":"item","numeric-id":4254618,"id":"Q4254618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899173$E7DD001D-BFB9-48A6-8339-0A6B3769EBCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dfaccb4756a2028c76914277904ea859b2d0c67","datavalue":{"value":"10.2178/JSL.7704120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899173$13CD6ABC-283E-47AA-87E9-0222D6C3635F","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":"Q4899173$06775D29-CFBA-4CCF-B990-AED2553D6830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7472a7cea9bc22a4b91aa2a59dcd5b6dd372007","datavalue":{"value":{"amount":"+0.8101593852043152","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":"Q4899173$9AE8AC97-5142-420B-AE2D-FEA53E9D0BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab542de1a31371e809e72e02a8c90564be6f0a62","datavalue":{"value":{"entity-type":"item","numeric-id":5004544,"id":"Q5004544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bf0f0465409f1575b493f56546274a9f6baa12","datavalue":{"value":{"amount":"+0.7820761799812317","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":"Q4899173$219A13E3-1EC0-4468-B080-6E4196173BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46395791298af9fd955cd6ddc2379a726a09e06a","datavalue":{"value":{"entity-type":"item","numeric-id":2958212,"id":"Q2958212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b32510d21357c63f879d86f2565f4b974f6e957","datavalue":{"value":{"amount":"+0.7732610702514648","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":"Q4899173$9F88D0AF-3576-41B9-918B-2AF1CF3349CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd61dc5a6511ed87ae72f6cd517aba626e3e3002","datavalue":{"value":{"entity-type":"item","numeric-id":4642696,"id":"Q4642696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8c648db5c21f1d22765db7bba895e5d1934250","datavalue":{"value":{"amount":"+0.7693249583244324","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":"Q4899173$B8CAD040-506E-45CB-92E1-6E254EE56BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d501f25432e2dc014217fecc6694dbfe5c05313","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50075d4795e1fc3deb6af5a81d386beb18e5d696","datavalue":{"value":{"amount":"+0.7685132026672363","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":"Q4899173$F0F22981-FBFD-4918-B57E-273508C81D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899173"}}}}}