{"entities":{"Q507201":{"pageid":508968,"ns":120,"title":"Item:Q507201","lastrevid":62357403,"modified":"2026-04-11T05:32:31Z","type":"item","id":"Q507201","labels":{"en":{"language":"en","value":"The inductive strength of Ramsey's theorem for pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680446"}},"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":"Q507201$C0B84D82-FA6E-43B6-976F-84B53E566BB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7ab2a538b88f93f29fd53ce7d9028b0adc849e6","datavalue":{"value":{"text":"The inductive strength of Ramsey's theorem for pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507201$3ED9B695-D519-4FE6-B6CB-04A39A719BEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f814427fa005938572d878c961901152cc97be6f","datavalue":{"value":"1423.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$CEC15183-9B13-4B57-BAF4-3A757BDBC636","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$2BB034CC-A99C-4E95-AC10-F6539AEA23D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4103685926a903a30f8c32ed60fa8061b1add04","datavalue":{"value":{"entity-type":"item","numeric-id":189918,"id":"Q189918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$08A7A8A1-A4F5-4A9F-A82F-5A5C3B59E651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc0ddf828d4beef5c46eca267e549e642b2413c","datavalue":{"value":{"entity-type":"item","numeric-id":2260473,"id":"Q2260473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$37E07809-81EB-4BE4-ABBC-35078A049ADC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$AAB6A928-FC48-44C4-86B5-A9ED87D3A836","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f077fc2ce013ec6748bf1bf77b2e03417e1ed3a4","datavalue":{"value":{"time":"+2017-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507201$24AD0DC6-3036-459E-9C08-7E6C531DF9D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$8D81F8B6-D6E4-4483-99B5-AEDCAD054A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$A0F694EE-49FD-41A8-8B6F-5E3F23292F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$D951E68C-AE5C-4ED6-9FF4-11F87495BAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$EB9F029C-6ADF-4257-9ACD-30252354BF87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39e258d17d87d82393180147a3b9570379a7771a","datavalue":{"value":"6680446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$C301A1B4-0140-429A-AA36-2BCDD50C59AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q507201$E7FDEC7B-BBE4-4FF3-A929-2C6F6A8F7A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1825f764c101593bb1915e7029521214bf37706","datavalue":{"value":"\\(\\mathrm{RCA}_0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q507201$0C5F1619-E359-4F7D-B122-2FFC162D231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"079e4fc5acad77c4c0bc934156bc4a16aab1f1d8","datavalue":{"value":"\\(\\operatorname{\\Sigma}_2^0\\)-bounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q507201$F84D1785-C4D1-4DBD-8D86-18DDAEE3C05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fed8963868ebc415fe6777e2aeb4de8e8a0e26","datavalue":{"value":"Ramsey's theorem for pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507201$6D24C524-9077-4B4A-A398-D977099AB5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d6bcc652edc365b20d0dee6765bf426b1132ac","datavalue":{"value":"stable Ramsey's theorem for pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507201$AB68E1A2-0E55-4147-A12E-7F349F3C5FD1","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":"Q507201$E1DCE870-CBFA-45E8-884D-8628E4A8B018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f51e6ac1133c272f1f65c38c7b456c596ccaac8f","datavalue":{"value":"https://doi.org/10.1016/j.aim.2016.11.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q507201$2717CF6A-D68C-4658-8FED-EACAA4437470","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cc02c532d3e0efb5ca97ec8362eeae37e1565f1","datavalue":{"value":"W2565215485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$E6019E25-61C9-4ED4-82A8-B1430B82D6D2","rank":"normal"}],"P223":[{"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":"Q507201$789E4AA8-1478-412B-A823-396924CAAC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45988c95f5978742c42ded7627687516cf66914a","datavalue":{"value":{"entity-type":"item","numeric-id":3655265,"id":"Q3655265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$37C4C5CC-BF44-451A-9E29-B8AF1DE7A128","rank":"normal"},{"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":"Q507201$8A9A8DAD-E20D-4EF9-95B9-54DBDB7C25E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b33b4ba6d86b2252c722406e58bbf98ab63e9df","datavalue":{"value":{"entity-type":"item","numeric-id":749530,"id":"Q749530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$ED763309-FCEC-497E-AF9E-52E9679570C8","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":"Q507201$0C59C41B-15C7-49D3-8E15-F0FE73CD1E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$4710F31C-995F-4F02-BE2C-7D3E63FD0C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$113AA5FB-B308-463D-8861-D598ED3DDF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b96dd7ca0c4bbb78854e16e232db29c4eac847","datavalue":{"value":{"entity-type":"item","numeric-id":4168612,"id":"Q4168612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$48AAB92D-4399-4D3A-A6DE-793DDCFC295B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507201$8498A69B-9A51-4F96-B018-21E3CD26EDD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8ba46eb75ac6512df0635ec03407dea091fcffc","datavalue":{"value":"10.1016/J.AIM.2016.11.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507201$F4B98EF6-E3BA-4F90-BC18-8E9A832A80FA","rank":"normal"}],"P1643":[{"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":"ffd14ca26f6a13527ce1cdf7fb08802bd4acacea","datavalue":{"value":{"amount":"+0.8760419487953186","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":"Q507201$8418A57A-F50B-46C7-94DA-326BE5BDB6D3","rank":"normal"},{"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":"9a438e5c150891a4d748545461ce887850317e10","datavalue":{"value":{"amount":"+0.8302844762802124","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":"Q507201$C3B71854-E5BE-471F-91DE-EEA48F35BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b73d3d0ca97dd10dce841825c231f7475b8844","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8142efe6dec20db6a89d33ec36418a18369149d","datavalue":{"value":{"amount":"+0.824241042137146","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":"Q507201$E13DF6B4-E1A6-475B-9219-B4D1DB49A7B5","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":"f6a0a3dac75aa232cfb666c8181145aa4f3a08c9","datavalue":{"value":{"amount":"+0.8242408037185669","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":"Q507201$1C0FEA9F-40AB-4E9D-976C-D3AE2406D344","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":"87ed909e54482ac8c4eabfad37133b22326cb432","datavalue":{"value":{"amount":"+0.8210511803627014","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":"Q507201$D5DFF577-B02A-4374-B146-A5E955286D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inductive strength of Ramsey's theorem for pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_inductive_strength_of_Ramsey%27s_theorem_for_pairs"}}}}}