{"entities":{"Q1407554":{"pageid":1418294,"ns":120,"title":"Item:Q1407554","lastrevid":68634015,"modified":"2026-04-13T01:04:54Z","type":"item","id":"Q1407554","labels":{"en":{"language":"en","value":"Post's problem for supertasks has both positive and negative solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982485"}},"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":"Q1407554$59673E25-B910-4762-920F-57D5FA92BD57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfab0f8548a00eb371261270560bbb8aed7101dc","datavalue":{"value":{"text":"Post's problem for supertasks has both positive and negative solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407554$0A8608DA-2768-4C72-BB5A-D279DE1729D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a645297117f9a809a56f3959b92008e8b67e5aaa","datavalue":{"value":"1024.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$4B0C0CB6-6DBE-49BA-A43F-35210C8F4CEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407554$8ACA9BED-EE69-48BD-98FD-03DAB60738D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407554$F47B463D-C975-4836-8CE0-12483B2D99C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407554$2431F2E6-6AED-4786-BEBE-65D484F7CA77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef892ce32f5ba8b5a197937f58a5085ef3f79c34","datavalue":{"value":"https://arxiv.org/abs/math/9808128","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407554$14E30160-019E-42FE-86F3-E30573E1A09A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$8376F4E3-754A-4605-BDE8-BCFA460F0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$279B881D-84C0-40BF-A4C6-4F2C85E8F13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$DD94E960-5E6B-469D-BED4-CF498DDA9DE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b995fd6798b96edb4c3d52e396228800412b066","datavalue":{"value":"1982485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$649D6371-AA2F-4280-9EF2-BF1D1F1DB349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfeaad602e31fd2f65991ed23ea762adf4fdd4cf","datavalue":{"value":"infinite time Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407554$2CCA82C3-D159-4A46-A2BC-F13E29CEBB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93d15778afea7f4613b642a3f3c981c5ba3e0f9","datavalue":{"value":"Post's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407554$2D72BA5D-5839-4F53-B322-0FF195BFAD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6450ecf36782d87d341f9ce3ac6c3e0d0fcfe8a","datavalue":{"value":"semi-decidable supertask degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407554$F9B6D62F-65B5-4FEF-93EC-5650A026D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42823475a31bdd7458b7a734655db6135ec46396","datavalue":{"value":"supertask jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407554$C6EC9DAB-E956-4042-9F67-F3F0511B8313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e42c7a3f7217a97244aae81adc8a6bfafbd9ad","datavalue":{"value":"transfinite-injury construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407554$BDF46999-107B-4DEB-8174-DCBE773C5141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407554$C0235310-6418-4CF0-9E11-C8E312870855","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":"Q1407554$F324A4F6-F2CD-484D-B389-E17A217B5B4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9451906d0bfa91c3fa68280792bfcc1e618e650","datavalue":{"value":"W2078820874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$2E23F58D-8B63-4DB2-A94D-06D26A1295CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d94bc43fc45ec87dd4e7d13c6190ba6108eb665e","datavalue":{"value":"10.1007/S001530100112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407554$611A8D04-0962-48C4-9ADF-0BD6E178A1C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e141f08d500c191a83f15ec3a2bedc9da49d7f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a5a6010429f85b908b318221c11b837ef8f102","datavalue":{"value":{"amount":"+0.7875112891197205","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":"Q1407554$F37C7DFB-34C1-49B7-9294-F32EA3D8E10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3424c44d5b98e7e7342b626084c243a98e6a3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5425337,"id":"Q5425337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3d387777751d0b60bdb999d9ff21d36641cd06","datavalue":{"value":{"amount":"+0.7749741077423096","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":"Q1407554$053B8C82-F123-47AE-9C17-D692EA861F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8782799916a023ad8fbd4192b01740338356d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5492952,"id":"Q5492952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258346555e9920da9cc067077387bd04d4cc53c9","datavalue":{"value":{"amount":"+0.7720116376876831","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":"Q1407554$94F2E1FB-99FA-4567-B7B1-B742B9B52619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d1102821ac2f5426ed2bd58451bd385d87120e","datavalue":{"value":{"entity-type":"item","numeric-id":2479313,"id":"Q2479313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a3a0ead61fa13bff70d6f8be31dbd83ec17e57","datavalue":{"value":{"amount":"+0.7648776173591614","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":"Q1407554$A71E9864-28F2-4903-9F52-379A2DC23403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7f871d3ba1038def57425f74d6ff998b582882","datavalue":{"value":{"entity-type":"item","numeric-id":1032632,"id":"Q1032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdb116c51b60f230f0b7ca6a372c318308d2e0a","datavalue":{"value":{"amount":"+0.7625003457069397","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":"Q1407554$FFA18158-FE58-4453-9CF8-73A8A9BA7E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Post's problem for supertasks has both positive and negative solutions","badges":[]}}}}}