{"entities":{"Q5313381":{"pageid":7342955,"ns":120,"title":"Item:Q5313381","lastrevid":41244608,"modified":"2025-04-24T02:10:43Z","type":"item","id":"Q5313381","labels":{"en":{"language":"en","value":"Hindman's theorem, ultrafilters, and reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199914"}},"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":"Q5313381$F313CEAE-ACBD-4A76-830D-9A4BD8FC9348","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaf5971fa97703c69544b6c4d521fecd76c6a5f3","datavalue":{"value":{"text":"Hindman's theorem, ultrafilters, and reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5313381$2401168F-EFC2-4009-847C-6B73E8684749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a93f12f201a1904dee8d153fed269d8d323fcea","datavalue":{"value":"1070.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$6BCFD948-C4C2-4A09-9F1C-2496346613AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313381$91E268EB-E44B-455A-ADF4-D848C5395D28","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":"Q5313381$0671EE57-DF51-4C8D-9A98-20D6C34A35BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5313381$19B20E1C-D807-42EE-AA75-57CACBE6F543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$29691A3B-A1C3-4216-9EBB-6E7652B6635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$08A3BB08-EA64-4A37-A4DC-A7A10B4D5268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$01820B9D-24A2-4070-B7CB-58FDCCD2C8F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c968ccf9a2417c5394ef887fc18cc5b3ea46864","datavalue":{"value":"2199914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$FE688864-ED36-440A-8E38-6D6F7076F62E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313381$57EC0C13-1FE9-494E-8672-6181C6E44EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a38a62a8c8314bfcc2e58a6b534d1664a272e3","datavalue":{"value":"Hindman's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313381$FA5E991E-CFEC-4AFF-9AA3-601E78ACCBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39281af042dae826ef2870dfb84e7a1273514901","datavalue":{"value":"Milliken's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313381$2DBE1EBC-6D2B-4B79-915B-934832723C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313381$8E1A0533-C4A8-432C-80F4-E4C803361CAB","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":"Q5313381$6E887BB2-1667-4F3E-9759-8633D1EE7532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b73661f31bc85ae34e8cad59ef07e0fcc615f3f","datavalue":{"value":"https://doi.org/10.2178/jsl/1080938825","type":"string"},"datatype":"url"},"type":"statement","id":"Q5313381$D77E086C-FC52-4EC1-974F-80CD0BAD558B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"757f81f9bc3bd417ac718f8884595ddcdd421386","datavalue":{"value":"W2111968118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$241672EE-BD1F-4A72-9BC1-46DE05186B03","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":"Q5313381$675B8DB3-E041-4FCD-B586-140716F819EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20310d6b2fe85342a6de9b853b4e75db588744ba","datavalue":{"value":{"entity-type":"item","numeric-id":1224096,"id":"Q1224096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313381$2BD69B09-B174-495F-B4D4-0EA3C2213C26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c59f6a97319d9b786a27b305ce5e25ba17b2709","datavalue":{"value":"10.2178/JSL/1080938825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313381$971684CE-108F-42B8-A7BC-2FE3D5827C91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c318218f9656536c8053c984cb2aee72deb75","datavalue":{"value":{"entity-type":"item","numeric-id":2878778,"id":"Q2878778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9b8baa455e45d4364705991359c3ffd2b0d890","datavalue":{"value":{"amount":"+0.93419635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$1A1A450C-F2C5-4494-97EF-DD2BE03DF7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9808f55e80329daa1e873ea690b636a8636133c9","datavalue":{"value":{"entity-type":"item","numeric-id":3083144,"id":"Q3083144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87a794dd7326d8d4b000e0496e518e7cfcdc7f2","datavalue":{"value":{"amount":"+0.9119799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$4BCAFDEA-83BE-4354-8ED4-3805AE1F345A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c1d6c34931d2e97e40d55144a986f53345e9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5251363,"id":"Q5251363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93388221c347f562393ca64c02ab63e1b35dc49a","datavalue":{"value":{"amount":"+0.9087335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$6F3E60A1-CB32-4553-A125-4B6C96ECE093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fac5ba8537c74d02da92df7d69111df9afaf57","datavalue":{"value":{"entity-type":"item","numeric-id":3772206,"id":"Q3772206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2185a4dbfb68b3962d35cb935bfe2d09e3612ae5","datavalue":{"value":{"amount":"+0.89869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$7594F8A4-290E-4F4D-9FF7-B12FCF6889D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19675627a31a6cb8e03497626e39b36034d595b2","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2837d6c8f4967428d67cc732137668d48b603e","datavalue":{"value":{"amount":"+0.8858671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$0B00876C-4C80-4AFE-AA26-07F1188D2353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d73fcf63b6b3c7eaa4b38d1c467ad81c3e1d56","datavalue":{"value":{"entity-type":"item","numeric-id":334983,"id":"Q334983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203a64c43201013e1af1e84e10ca7ffcd11188ec","datavalue":{"value":{"amount":"+0.88508755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$D7D10D53-3771-43C1-8924-D22971CED1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa4ce2a61f75700767d8851568f4f58fa199487","datavalue":{"value":{"entity-type":"item","numeric-id":4262583,"id":"Q4262583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea80b66b4e5aec57426634ade41dbeee06c3fcb","datavalue":{"value":{"amount":"+0.8832128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$A6C4FFC6-EC61-43DF-8F35-F41A7650B3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ea63ba8de941243d6a615642dc2f97260b72ef","datavalue":{"value":{"entity-type":"item","numeric-id":527337,"id":"Q527337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafc58547bf1fb28d5cd9abae84e102fb03d080d","datavalue":{"value":{"amount":"+0.8823872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$83218D2D-2B13-4201-9EE8-CD265DEB8778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3ca7d4300263f4fe4328de522ed1ffd35f969a","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54bd92bca860a3fa276f97a03cd838c9d063973","datavalue":{"value":{"amount":"+0.88137364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$35A4CA7F-8A89-4243-8A9E-85A77B5F2FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f460f61b01beeef33e5083da57d6f1bb325065","datavalue":{"value":{"entity-type":"item","numeric-id":3145974,"id":"Q3145974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a383174d5063737fd63d2cb7266bb3b84cf4cbdc","datavalue":{"value":{"amount":"+0.87860197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5313381$2ABFB0F1-FF85-46D8-BE61-9D1F69CCF1BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5313381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5313381"}}}}}