{"entities":{"Q4931100":{"pageid":6960682,"ns":120,"title":"Item:Q4931100","lastrevid":41065232,"modified":"2025-04-18T02:21:11Z","type":"item","id":"Q4931100","labels":{"en":{"language":"en","value":"Reverse mathematics and Ramsey's property for trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795052"}},"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":"Q4931100$DE63C335-2BF8-4D0E-A03F-8D2AD1ECCE70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"741e2f4821f0b95b5b0c92f72b46988e892fd658","datavalue":{"value":{"text":"Reverse mathematics and Ramsey's property for trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931100$EF383C93-B4AB-4E70-9294-AB1E4299DB7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d219fec50d0d7147f5ac2fa6feeb877700d0ec61","datavalue":{"value":"1203.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931100$F160AACC-EC3B-4A02-86B8-015FA452594F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d833acb82b0adb02c65ecfdf4691f4e75151bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1750292,"id":"Q1750292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931100$8C675F92-A897-410E-8519-F2ED54F33055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20615676ee7f5ae4da4fe60ac212716f61b746d","datavalue":{"value":{"entity-type":"item","numeric-id":1762359,"id":"Q1762359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931100$164FE954-B6E4-4052-973B-FBA948D7081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88aa7b86a95384d4f329c672cb843064fd9eb475","datavalue":{"value":{"entity-type":"item","numeric-id":861817,"id":"Q861817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931100$7CC31208-E7FB-43A5-B1B9-DD4C996DA5B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-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":"Q4931100$307CA4E2-F374-412A-8EBA-F333E80F6953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931100$AB90ABCB-71D8-4C79-A507-16D313351E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931100$9833B928-8615-4453-842C-FB36DA5743D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f9bb061b3daa0cba5575c77dee89b3315e4cc39","datavalue":{"value":"5795052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931100$A21AB156-8E81-40B3-B19B-867BB91BA786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5398c35667ddd50e6bdaf11b96abce27280390dd","datavalue":{"value":"Ramsey property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$33E2DA56-2ACC-4284-9B55-1DA43CF8CFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$61027B7B-E897-4CD7-9F92-23B9D7F0EF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$2B85DA42-1CC2-46B7-A910-C5A0AE85F9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$B4B8520F-ED5A-49EC-AF13-88588B1ECD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$40879662-356D-4BBA-A904-2E1C402E99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$5715ABE9-2931-49A1-95F7-AE02D5A7E58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$3B0800F7-AF7E-48FE-9AC1-2418915F245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf14292c303ad6edd1fc526d7e42dc9adfd4cd0","datavalue":{"value":"pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$C45BD81F-DB92-407E-BA82-861E848A6C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931100$44220525-B9F5-44CB-954B-C7B129B2382E","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":"Q4931100$034290ED-68C1-4358-9F47-3655EF98EE9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"990c7bfb5a688acec5218872211b8e28c40401d3","datavalue":{"value":"https://doi.org/10.2178/jsl/1278682209","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931100$1BDAFF58-457C-4C28-8BB2-3C0DE01B6335","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ae1d0855099e388875cba4a115cd60eda660c5f","datavalue":{"value":"W2058687150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931100$D25DE848-E80F-4F16-92F1-53139D0D36B5","rank":"normal"}],"P223":[{"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":"Q4931100$60113A5D-0BF1-45DA-BFD3-A8133EE3E98A","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":"Q4931100$C617D609-BCCC-4E9D-848E-956C81A3AE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9adecf7d0ae4398069ab45177c53b398caa2f","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931100$3E23240A-5F15-40FD-A29A-B58FD6BCED19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b16dda2bd91fa93dd99bd08f3af4598068be4347","datavalue":{"value":"10.2178/JSL/1278682209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931100$31928F9E-9879-4136-BEAE-065A3166C754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6ab377d3e91b87883c6ca7e88389f53cada8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5963196,"id":"Q5963196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fe5fab9749ed4091461ed007b1abaa7eefc117","datavalue":{"value":{"amount":"+0.87793326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$2DCC2673-EAAE-4D21-993F-B7E84C8BF16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961dae499da38fc34fd516d4b864a76868bd391a","datavalue":{"value":{"entity-type":"item","numeric-id":2976343,"id":"Q2976343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842c704fe5f0b5f7e26fb6f426c09be0eea77278","datavalue":{"value":{"amount":"+0.8007451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$557BEAFA-7279-4BE4-832A-12B72A3B6F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427452204c92cd0968945b6765354539eee3a230","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d39bb856464f62032f61013680c22ce56ca3c1","datavalue":{"value":{"amount":"+0.79970956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$F4C7E660-3A60-40EF-BED5-022E7416E563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b35417e27c8f3d94e42496b93785f3a8968159","datavalue":{"value":{"entity-type":"item","numeric-id":4628351,"id":"Q4628351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17e7c0e463e5dc7628d9f512db286f97a8bf934","datavalue":{"value":{"amount":"+0.79249686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$5DF357DE-2023-42A3-ADA1-AAFF690DE737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2474240a71c40ab650336912cdb77f238fc49f","datavalue":{"value":{"entity-type":"item","numeric-id":3188275,"id":"Q3188275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17e7c0e463e5dc7628d9f512db286f97a8bf934","datavalue":{"value":{"amount":"+0.79249686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$37078050-ACAF-40D4-89D6-9E772B5C3711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e4df56d75e71496ae2fc7a585d83a906c206ca","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107f1ff4eb49d993a0b0fda8cc9db28318b0ed1a","datavalue":{"value":{"amount":"+0.79189384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$60808F7E-6F23-4E47-8C60-C563F0C4EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0ce4da0562e48802d4d33b42e34d41eb397d00","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d943e687847f8efb757283019e5fb89e81c32dfa","datavalue":{"value":{"amount":"+0.7787474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$C90B7B79-33F8-4C90-8B33-6910F0C8C046","rank":"normal"},{"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":"cf1e1c21fc07a368057e9365c06af97963a528b7","datavalue":{"value":{"amount":"+0.77072865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$28DEBEE5-D6C6-47C2-9808-BF77544A74EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cb5b2d748c6c9838f0c8453e8a4c7a2eaec","datavalue":{"value":{"entity-type":"item","numeric-id":2231700,"id":"Q2231700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f73a1ac9d029d5268aaa44709af821dcc8a4310","datavalue":{"value":{"amount":"+0.7670337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$90EB7773-C811-4FA8-922C-4B0E92F7597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cfefc9bd2735b5ea927ed677baf63c105be178","datavalue":{"value":{"entity-type":"item","numeric-id":2117792,"id":"Q2117792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca23231dd74f650c3fb48aa9de7b7280fa917a45","datavalue":{"value":{"amount":"+0.7611129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931100$74409BB6-31D3-48AB-B2C0-A68A613B9736","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":"Q4931100$39B64CDC-AF99-4D44-A17D-DC909854581A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931100"}}}}}