{"entities":{"Q884482":{"pageid":886330,"ns":120,"title":"Item:Q884482","lastrevid":65087193,"modified":"2026-04-12T00:13:30Z","type":"item","id":"Q884482","labels":{"en":{"language":"en","value":"On the strongly generic undecidability of the halting problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5161899"}},"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":"Q884482$F76CFB9B-19F7-4882-87E2-1ADFB78F1DE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da248b14d68582517a2f030c58c6c28f200a64b0","datavalue":{"value":{"text":"On the strongly generic undecidability of the halting problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884482$53B26783-F384-41D1-BA9F-8D2111B236E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebdcfc745daef4631e623ae8e8bc52a23b778606","datavalue":{"value":"1118.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$35305BB9-4E12-420E-8249-A62105A6B4A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884482$E20AE242-7A0A-4665-8474-77526B654A99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884482$8780EACA-3EEF-4525-A12D-6A3870B52C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01af03b171e8da4ad9abd5d8746451ee7976176","datavalue":{"value":{"time":"+2007-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884482$FA49CB00-4B07-41FE-9FC8-5644FE08E5D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$80E0B5D3-F3BF-4E39-824D-A88878E99BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$11F76504-B55A-4ACD-A50A-C3C6D70F2CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$8668A079-0899-4045-9063-B99D3F506FF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4317a2a7b0292118e2736236d763b89954155dca","datavalue":{"value":"5161899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$AC3BC20B-E6A5-4623-8F18-649563AF03D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q884482$082216D0-5CA7-4F21-BE50-3EEFB8C2F001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q884482$40908694-EE9F-498A-9F66-15A6EB47676C","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":"Q884482$B85FBFC1-F8AE-46AA-88AB-D68C39F10388","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dfb6bc2a8adf979f9c3ceb3ad0722b43054e7da","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.02.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q884482$4A2CB9C9-4D14-4D97-B271-3D95C8A32115","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"258144274ab755f2305a518ba9e59330fabc15c9","datavalue":{"value":"W1983360706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$46C2B1E4-A72B-4932-A747-FA4D8212ED28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9649bb35950bb7c226813470b8085926566c5","datavalue":{"value":{"entity-type":"item","numeric-id":4469600,"id":"Q4469600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884482$7C6E7EB2-AB2C-41F8-9786-CDF0D539C67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba05b6b2105bb1fc3fb671c077db1793db29bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2372684,"id":"Q2372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884482$26C8894E-E1AA-41F0-8C59-0E4BF919EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884482$D8A54C99-BE15-4458-84AE-B060C64D4E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd268f69949c0347feabc15314f5a9283442809","datavalue":{"value":{"entity-type":"item","numeric-id":703812,"id":"Q703812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884482$04BEADA0-F984-4769-80C9-48DFC26C1FB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b6e4feca54ae1463f3cde15d30bdde8cba037cb","datavalue":{"value":"10.1016/J.TCS.2007.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884482$DBBECDB3-5E8A-4E83-9670-58E4D5FC5D0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab0541cbfc4db70aaa8898d9ff10ceb43630429","datavalue":{"value":{"entity-type":"item","numeric-id":2398210,"id":"Q2398210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db03b48c33a90ae23d0daca240cd670078e1b01a","datavalue":{"value":{"amount":"+0.92259043","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":"Q884482$5800D6FB-B488-40FF-B514-4D049A9062B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c9580bdb8d94cdabff94d4079f0782debadc05","datavalue":{"value":{"entity-type":"item","numeric-id":3499790,"id":"Q3499790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b44ae04bbdc61375b4d86000978ca3fb3ee475","datavalue":{"value":{"amount":"+0.901761","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":"Q884482$B0A28D4D-E906-4509-A4FE-E3425A0A710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806ce476ec3aa607072b09a8ba1b8215b576b57a","datavalue":{"value":{"entity-type":"item","numeric-id":3503760,"id":"Q3503760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b44ae04bbdc61375b4d86000978ca3fb3ee475","datavalue":{"value":{"amount":"+0.901761","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":"Q884482$DB01BEBC-9A55-418D-935D-16AC522C1B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9faab66f8cfc13360de999fb991daf559216810e","datavalue":{"value":{"entity-type":"item","numeric-id":4376062,"id":"Q4376062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2320d9eca6492847f6a92cfcd6a5b02dfe5a2e44","datavalue":{"value":{"amount":"+0.8928534","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":"Q884482$3CC97935-73E1-4CA8-9784-DC8D3AB57632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6474f812dc664ab48b0ca66699aeb61daf1575","datavalue":{"value":{"entity-type":"item","numeric-id":3611729,"id":"Q3611729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd7c1632fd8b618062441ee40df5744a345aa8d","datavalue":{"value":{"amount":"+0.88093185","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":"Q884482$4C2A49D2-50E9-4AE4-B71E-1052FAC01161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afccdb1f4fb4aa49a0f3c5e619a758ec5511e9c5","datavalue":{"value":{"entity-type":"item","numeric-id":1262762,"id":"Q1262762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01c587308753189c489d58f1474ad4d50d6508f","datavalue":{"value":{"amount":"+0.8788434","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":"Q884482$939932AF-373F-4C5E-A52F-9A6E5780490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbccae06c8006755b7d9c5e9a2ca64089e33274","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b5f3adb3cab95512cee8002b15f8eba809cc9c","datavalue":{"value":{"amount":"+0.874665","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":"Q884482$848D05A6-44A8-4A0D-B2EE-CE5DD5E23770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7f11d4bec8e07ec507b49931e55228614ed90a","datavalue":{"value":{"entity-type":"item","numeric-id":3712328,"id":"Q3712328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe141dc4f070ceee19ddd7ea8269c0d478169085","datavalue":{"value":{"amount":"+0.8744422","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":"Q884482$FF51FE6A-0532-48B3-9F34-F9509F25AEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e14c560586fe70a7c59fc209aee9236e3c283a5","datavalue":{"value":{"entity-type":"item","numeric-id":1799282,"id":"Q1799282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8b431db5e5aad5cd1df96ca495e7c3d648858e","datavalue":{"value":{"amount":"+0.8742367","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":"Q884482$C9B98A5F-3AB1-4E9C-B8E6-C8E6A8904FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaaff7d07a472637a539dad6fc10393c8da6f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":4923291,"id":"Q4923291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718361beec567524dfa6e6756edb395e0d131fdc","datavalue":{"value":{"amount":"+0.87341684","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":"Q884482$39F85458-1C9E-4118-82C7-867AA55E7B3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strongly generic undecidability of the halting problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_strongly_generic_undecidability_of_the_halting_problem"}}}}}