{"entities":{"Q3083144":{"pageid":3093859,"ns":120,"title":"Item:Q3083144","lastrevid":58111392,"modified":"2026-04-03T20:40:16Z","type":"item","id":"Q3083144","labels":{"en":{"language":"en","value":"Hindman's theorem: an ultrafilter argument in second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5868007"}},"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":"Q3083144$FE6032AB-36CC-46CC-8033-10ABE8C2394B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd13ba173f2c3a2539f1eda922076743c7727847","datavalue":{"value":{"text":"Hindman's theorem: an ultrafilter argument in second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3083144$D6F9E92A-2F7B-4F38-AF18-0314E05A7C72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41ed3279f506c886b4537cc501df01b3c954d3ab","datavalue":{"value":"1214.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083144$980A86FC-85B5-48A3-B6C6-297A8F2B774C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083144$76675F48-DD7C-4246-9BA4-092D0ABF126D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"491e77b99273305a3a3bbdb2dd66a2b0304c39fc","datavalue":{"value":{"time":"+2011-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3083144$3E2B3968-B9D1-4737-8B8B-BA5430F03A81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5a976d496dbc6e8826cf79366b47202433b95f5","datavalue":{"value":"https://arxiv.org/abs/0906.3882","type":"string"},"datatype":"url"},"type":"statement","id":"Q3083144$A4C245AF-3A36-4131-B599-AC581DA68605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eba037db89f22a1bdf22fbad08a1f5663d42ff14","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.248.9700","type":"string"},"datatype":"url"},"type":"statement","id":"Q3083144$F5091230-868F-45F4-8097-80E4E6A6390E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083144$1B13CAF6-FB60-42F6-9A33-49EDAE4E32DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083144$5B8E7A6B-FBDF-4796-8D51-D42312E15067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb9cf63dc877e42787862844657dd6b024f1503f","datavalue":{"value":"5868007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083144$8BCBDE09-D13C-4F1C-A805-32C5BAF61183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619b449f11187a932e56cc8cc1c08317a6c5ed03","datavalue":{"value":"Hindman","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083144$7004899A-FFE4-402B-B4D8-54E8434BD96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083144$49F5B97F-908F-4642-AAD2-7B97D211CE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1f4e904e4917e58ffaf45c20693119870c2a96","datavalue":{"value":"IP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083144$62AB5915-556A-43BC-B1CA-8DCB6C13EC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3924aed938f86052aaca7a421341b0c943f1e9","datavalue":{"value":"half-match","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083144$3F350262-885C-4F16-A489-110273519A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56df9be1ee283cf840eea0f818198c421dc852ba","datavalue":{"value":"full-match","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083144$0BD93760-AB83-4643-900C-B34DB54834AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec222c33352f64f9ae471180a7f0c8d406abefd","datavalue":{"value":"ultrafilter proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083144$0E88C692-5545-4070-9685-D204D88FD619","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":"Q3083144$B923A98D-EEC3-4C6D-B51B-35CAFE720625","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaa0d7a52e1a5f77fb5b94f6ac897fde64c5365f","datavalue":{"value":"W2033215939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083144$39D08E75-8216-4472-A755-7EE3E5799F37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14ae17601282df8b6c72874052615f19213005c","datavalue":{"value":{"entity-type":"item","numeric-id":4127028,"id":"Q4127028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083144$38858DAB-2A0A-4C8C-88CF-1132EACF3FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf2f43e08a7f0d903e03a251fc06145dcc12b90","datavalue":{"value":{"entity-type":"item","numeric-id":1846875,"id":"Q1846875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083144$2A4EFAA6-8480-4206-BC76-12A97472B328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46da379b7393c7674f5add3d3bea57420eb0d58","datavalue":{"value":{"entity-type":"item","numeric-id":1128188,"id":"Q1128188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083144$858C180E-0CCB-4F93-AAD0-11D6DA6BDEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537fd6ee9c28f771577d2c7b2745c67e6e400f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5589084,"id":"Q5589084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083144$6E51A676-2AD1-4BCE-A87A-8FFB501839EA","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":"Q3083144$F4FB08F3-5EBA-4B29-AB48-E2930361D112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693cd72b7d67705854cca4c0d84a2aa9f721ffe0","datavalue":{"value":{"entity-type":"item","numeric-id":1266503,"id":"Q1266503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083144$258E31A5-2817-4630-900C-BB59D55E1ADA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc69d2efc328818c3465ef33e9c9fa0ff502a635","datavalue":{"value":"10.2178/JSL/1294171005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083144$6906462D-0037-4455-B176-096FEBD6DC5D","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":"Q3083144$20A3A4B3-6C3B-4F9C-AFCB-F1B2D46BE55E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b1e026a50fc7af54d902312ecaa1427f3e8ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5313381,"id":"Q5313381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316bc2bc5ee5d244bbf7478160c087aba49f8c67","datavalue":{"value":{"amount":"+0.840531587600708","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":"Q3083144$981708A5-BDD1-42AC-BDB5-A3DC6C182F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ef37c0274cdf6a7c6e310bb9c6f6c94a08dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":4579817,"id":"Q4579817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279e40e61c5d43eda93d916a60019f6273a6fc11","datavalue":{"value":{"amount":"+0.8261919617652893","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":"Q3083144$59622CB7-1E7E-42BE-8A4B-71EDFB204609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de4ba387f66ad08b36fe271978ffb094416d79a","datavalue":{"value":{"entity-type":"item","numeric-id":2275370,"id":"Q2275370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49cf0b7e8483074dbd3f1d0be4c2cb812362773","datavalue":{"value":{"amount":"+0.8190696835517883","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":"Q3083144$5E2068B5-965E-455E-844D-4252299B231C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3c7f6b37fdd9f44298ee9c890a6dcc422d8a01","datavalue":{"value":{"entity-type":"item","numeric-id":584266,"id":"Q584266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57dc543164d47bc58ec0fba9f4b8ab1c38377836","datavalue":{"value":{"amount":"+0.8185450434684753","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":"Q3083144$FF01D9AF-A870-4BCB-89EA-237A17E441AF","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":"75eae645592811b173a9c2fd4db25cbcad490f8d","datavalue":{"value":{"amount":"+0.7983936071395874","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":"Q3083144$0C50E3A9-EEE3-44C6-9A01-770EE0D3AABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3083144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3083144"}}}}}