{"entities":{"Q5145296":{"pageid":7174867,"ns":120,"title":"Item:Q5145296","lastrevid":53911577,"modified":"2026-01-25T22:23:24Z","type":"item","id":"Q5145296","labels":{"en":{"language":"en","value":"A parameterized halting problem, the linear time hierarchy, and the MRDP theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298748"}},"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":"Q5145296$6AA1C3D5-31D6-4ECB-9AE5-F334D3086D2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78bdea47a51657ecf4f8b0c35df610d40d2fd24a","datavalue":{"value":{"text":"A parameterized halting problem, the linear time hierarchy, and the MRDP theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145296$C51A9CE8-66D8-4949-B5CE-D5515D995577","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d47a521f252e960922830b7ac3d240d10aa0d74","datavalue":{"value":"1502.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$25B43D1E-A59F-4685-8C32-F283292969AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc96367267ad767ba18628de81bc958b63a29cca","datavalue":{"value":"10.1145/3209108.3209155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$76C8559F-E472-42D5-A2F7-6CB885EE5E20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145296$B7F4EE23-BC73-4934-BE64-50564F7A0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145296$A3198C72-29D4-4158-AD7A-3791E43D0C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145296$24CFDC39-D64F-4CF1-998F-D198E6112780","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145296$D707B007-875F-45C5-AD01-98185638D39F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145296$74D751F9-2743-4602-96C4-B314212E9258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b94f73d2c533bbe5f6a22f2391eb8beb173c39","datavalue":{"value":"http://hdl.handle.net/2117/119165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145296$705372FD-ED25-42E6-B938-4FC0EDBD2696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$E6BF53F0-F545-4EF1-8751-A7BB824513CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$CC63B5A2-72DB-4BB1-885F-C5EB748707F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$57ED9E39-EF65-4C59-8012-B77C264D923B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$2BB8EA71-F243-4389-A08B-2E81F095CD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$E905C4A7-FBD7-436C-A23B-C05C0C9F40D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$6C367930-ADAB-442E-A6E8-1859957A3207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da207381839226bb554810c6885b3b58c01b4bef","datavalue":{"value":"7298748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$8BA6F845-1058-4A12-94AC-D4878EAF1E5E","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":"Q5145296$144DEE1C-F9B0-4885-9ADB-8D7D8027844C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f8dc34c39110d03c614a0089ac741dc92f5b28","datavalue":{"value":"W2798907744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145296$CBC34B22-26CE-4053-8EDB-C600E1512605","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747ec498aaa2bc7ee54ba638dec18f38ca186a69","datavalue":{"value":{"entity-type":"item","numeric-id":2908544,"id":"Q2908544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234c1dc02a109c995d63545ef9cb994ca2a986ad","datavalue":{"value":{"amount":"+0.7991215586662292","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":"Q5145296$4A7177CB-5D4A-4646-B00E-C5407434C24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edc7e7bfb60a2e397f6ab5ce843b3bfa8ee244b","datavalue":{"value":{"entity-type":"item","numeric-id":3586007,"id":"Q3586007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd18da181d8da01fbc6b2cf353ccad60e5511e58","datavalue":{"value":{"amount":"+0.767343282699585","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":"Q5145296$258C506E-8092-4BFC-9678-A2FE07B329E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e591bc1a59c20ccf1da66f5fcd8f9cd7c25690ca","datavalue":{"value":{"entity-type":"item","numeric-id":4336699,"id":"Q4336699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966722c8fdf7f7bd874b1cb453f1b96849cc9a0c","datavalue":{"value":{"amount":"+0.7244493961334229","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":"Q5145296$784F3F02-B128-48A7-98EE-85DF580736B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2a878ca62f222fba78784758ff36a6180ab688","datavalue":{"value":{"entity-type":"item","numeric-id":1407606,"id":"Q1407606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7106b560e710779ffa64112f9be4486642f1def2","datavalue":{"value":{"amount":"+0.717021107673645","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":"Q5145296$0360496B-A1B2-444C-85AB-51C51A693226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0e836b13c9ca65532ec34a0c79a3a5cde8fe3d","datavalue":{"value":{"entity-type":"item","numeric-id":5175107,"id":"Q5175107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfba3a8d019beb09532cdc414f989987e1b5d649","datavalue":{"value":{"amount":"+0.716985821723938","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":"Q5145296$8C590E59-8CEA-43A5-994C-DD15FA9C36D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145296"}}}}}