{"entities":{"Q894259":{"pageid":896107,"ns":120,"title":"Item:Q894259","lastrevid":65156241,"modified":"2026-04-12T00:41:10Z","type":"item","id":"Q894259","labels":{"en":{"language":"en","value":"The thin set theorem for pairs implies DNR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514686"}},"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":"Q894259$BF8FC0BB-B967-492D-B255-6CE91679855B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c04cbb16cf7b11faff323cc1ca2b0e20eb28bcd3","datavalue":{"value":{"text":"The thin set theorem for pairs implies DNR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894259$44FAF587-6BC5-42CB-B2A5-1E92EA774343","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4408edb70f79eb5b63e5f5a613cbc5222f64cfe0","datavalue":{"value":"1372.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$C85395AC-25AB-443A-916F-C363F19741D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1527536d0476792413db50af0a520239456c10f4","datavalue":{"value":"10.1215/00294527-3153606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$7D2A9071-4BB7-4A46-9FE5-55E304F049C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee760d12f65d5ff91e517023fe4ab45b16db5ba9","datavalue":{"value":{"entity-type":"item","numeric-id":894258,"id":"Q894258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$F80770E0-0A65-401C-9E6B-CD09B2FA52AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$E745E4A6-76F1-4FA1-88C5-327742200111","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f261325ffd8a7002c41f97c89cfd5db2b7a922a9","datavalue":{"value":{"time":"+2015-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894259$AA13BE9D-1166-4889-A74D-9A8379FE35ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f04ff8bf1550ef72e62e552ed9fcb826ca184927","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1443620509","type":"string"},"datatype":"url"},"type":"statement","id":"Q894259$CCBDDF80-E033-48E7-A4D7-89C4FE0E2C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"90b42df17766fe52ce1e97300c8ed611d4275eac","datavalue":{"value":"https://semanticscholar.org/paper/cb671297bac98946bd3e034376e0002cdd31102a","type":"string"},"datatype":"url"},"type":"statement","id":"Q894259$3F8FE929-3E27-45F5-B19B-D241A103FE2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$691BBA28-35BD-493E-A8C9-1E7BBEED9772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$A0C3A9A8-0ED3-4620-8CEB-5A6ED56151C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$5C987720-CFA1-4CA5-BABF-7B3C1EC2BE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$E2C8BE19-1A32-4F96-A299-1710BFE64C47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8335f9a3996272c58bc818032d3ea413ecb24f78","datavalue":{"value":"6514686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$0A38417B-939D-4791-A5DE-7F6AA23F4D7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q894259$0BEB55D4-7D5B-4C29-BB22-0CAB98D87B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd96a40b41baa2ca51aa307f7438b7f4ffaceb9","datavalue":{"value":"thin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q894259$C2C4DAB9-6DEA-4838-AAB6-60F5A41983A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q894259$EABDC9D7-B1AA-4809-A902-F02DDA65353B","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":"Q894259$EA92C9B0-540B-446D-83DF-78096A4CAC55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4bb67f917d6881eb5c0580a2ff4a75520b2697f","datavalue":{"value":"W1889875823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894259$78046B9E-B655-4CA2-9249-B2FB5C294B87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fc1440d6eff8311a56781a4fabd92c328ab56c","datavalue":{"value":{"entity-type":"item","numeric-id":5711879,"id":"Q5711879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$B4B93C24-789D-4916-8399-E9086A8BE343","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":"Q894259$86D8BDD5-4174-4320-8F6A-B3CE82D23F6B","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":"Q894259$5D1D4FC5-5A42-4CD2-AA5F-FC1A136B6076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ceac5e948dd61c117b65d76cfc087baefafa79","datavalue":{"value":{"entity-type":"item","numeric-id":3530396,"id":"Q3530396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$83D681E5-1B31-4B52-9F50-8C7A1928161D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$3CBA901A-2FEA-44AF-B566-CC13FFD99B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e172ce80cb42a286d92f691e17015febc427c38","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$CAB8DA6C-08D2-4373-A2F4-B0C19DC4D3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed28daf112121dc08adf4ce72a073bd046e54847","datavalue":{"value":{"entity-type":"item","numeric-id":2556406,"id":"Q2556406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$4FB768CB-A5BF-41F2-8964-FC4C71A38057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f33c4b31058c99898dd9dbc21aeb3e3096923","datavalue":{"value":{"entity-type":"item","numeric-id":2892679,"id":"Q2892679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$602B00C8-008E-41C2-BC7C-DD975910AE39","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":"Q894259$D3713D9F-A5B7-42CD-B91E-50AE4B2CDA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca570697c2a1f32bcb88f248a216c7b2c53aa97f","datavalue":{"value":{"entity-type":"item","numeric-id":2453567,"id":"Q2453567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894259$19D2BA16-FCF5-40FD-8A7B-DF6A13EF98CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b836a65b606a227249ca35ed5c95d6fd2dfba67","datavalue":{"value":{"entity-type":"item","numeric-id":2108578,"id":"Q2108578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca343cd5936688e19b7dda9a6af38da9147ec2f2","datavalue":{"value":{"amount":"+0.84893227","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":"Q894259$B3F74A40-BF7C-45CC-9078-F9C01E211789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a465f6385d4e30e17bc7ab18ab665da645afbbed","datavalue":{"value":{"entity-type":"item","numeric-id":1804706,"id":"Q1804706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbbf444c0f10af514dce9db8ac105aa67ecaa96","datavalue":{"value":{"amount":"+0.8255945","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":"Q894259$685EFC34-85AF-4A3D-83C0-FFF7C27A73AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97a188ddcd3554675fbaa6065c77415cac1382a","datavalue":{"value":{"entity-type":"item","numeric-id":3695586,"id":"Q3695586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f15a2d8742d8f5e31ef47cb08418c269b279ac","datavalue":{"value":{"amount":"+0.8241553","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":"Q894259$726501E8-160B-4E74-B7BA-AE7C7816F605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be006a06005dd2c812f3b379ab83a0979df92ed7","datavalue":{"value":{"entity-type":"item","numeric-id":719526,"id":"Q719526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cb7705439c15f78ad588a3663ffcb14f2eabc6","datavalue":{"value":{"amount":"+0.81819713","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":"Q894259$436B609A-5A17-41A3-92D0-D88D78B5BBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6c6eaab840a779af39abd2ee50fb04d0c321c2","datavalue":{"value":{"entity-type":"item","numeric-id":4955580,"id":"Q4955580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69490201df87f8c5f447d6b73c8f142d13114a6","datavalue":{"value":{"amount":"+0.817312","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":"Q894259$465D171B-9105-451D-86D9-11D7637FB5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c857de88e917d30e3ce2254aa1d7184bf4932c9","datavalue":{"value":{"entity-type":"item","numeric-id":2564047,"id":"Q2564047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d286cf9e7c4775486383bf43dad1b16a59a8620","datavalue":{"value":{"amount":"+0.81239545","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":"Q894259$750D5DD6-238E-407C-A2F6-AA683F4ED406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab018884bedeeae0274b537e6aa02f3882307df7","datavalue":{"value":{"entity-type":"item","numeric-id":5310319,"id":"Q5310319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1149864bbd24466158fcdbfba67c13572fdc362","datavalue":{"value":{"amount":"+0.807173","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":"Q894259$84F160F3-89A2-4BFA-B6B2-E3CDDC42977A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff52f42fca7d95e2f85085369969a87cdc634d64","datavalue":{"value":{"entity-type":"item","numeric-id":869668,"id":"Q869668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a7e0fa2f66b3ccfe3bb71415b3bbc21d722bc7","datavalue":{"value":{"amount":"+0.80559504","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":"Q894259$65B4F534-0829-481E-8A93-18C4E80B50BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8129a82027f3454d41c770443c5e9d338a59b2","datavalue":{"value":{"entity-type":"item","numeric-id":3764652,"id":"Q3764652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd94aecf06572891ef9f98af8ef67f38ab8bc3","datavalue":{"value":{"amount":"+0.80442715","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":"Q894259$82555EA6-D095-403C-A098-C6E47FC078C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ae15a609e5a2fab3d84a8c6620d0d0a893cadd","datavalue":{"value":{"entity-type":"item","numeric-id":5201745,"id":"Q5201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4f2c988f56ab90be9a9b37634211cf92167af9","datavalue":{"value":{"amount":"+0.8039245","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":"Q894259$2B58DC58-6953-4549-B3EE-E8921AEA263C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The thin set theorem for pairs implies DNR","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_thin_set_theorem_for_pairs_implies_DNR"}}}}}