{"entities":{"Q496007":{"pageid":497774,"ns":120,"title":"Item:Q496007","lastrevid":57005154,"modified":"2026-03-25T15:04:32Z","type":"item","id":"Q496007","labels":{"en":{"language":"en","value":"Verifying time complexity of Turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482884"}},"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":"Q496007$74013C6D-4A7A-4EF2-856A-3A2EB783341B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7420993372d00847dca7f0c8c90a0e1083cb0bec","datavalue":{"value":{"text":"Verifying time complexity of Turing machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q496007$91D4E3DE-7EF4-4240-B5DC-D246E1C20EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d202e13319818503a08557b2b8b8c2b82055230","datavalue":{"value":"1329.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496007$138F89F3-05F4-45F8-9744-DB0F1CD938F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9f8007d9bfee7a6f072da1b1ab1a8f9e27293b","datavalue":{"value":{"entity-type":"item","numeric-id":496006,"id":"Q496006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$C4D86FA3-5554-4A9E-86D9-DDCA7C0D0FED","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":"Q496007$BE8AFA77-8230-4F27-9956-55C79237C828","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-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":"Q496007$728DF19D-9FBD-42D5-AE73-DC0DFC92661A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b92201cdeb8b70feba7b6326e02cf1f5ffb57941","datavalue":{"value":"https://arxiv.org/abs/1307.3648","type":"string"},"datatype":"url"},"type":"statement","id":"Q496007$F9E6F7DA-520C-42BD-8152-6016FDD58A6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496007$A18D3E6E-A41E-4CC0-9C70-0A2D3299194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496007$869E1E90-9FEA-4B3B-808B-D3281D8D55DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a68169a98222a4c717aa510694bbb9afc9b6277","datavalue":{"value":"6482884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496007$485C6502-C3F7-4F3F-AFA8-70CC136A2157","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q496007$235B92C1-E4BF-420D-A4A2-0910EE5210C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3d4c4f0402aa58af4ddf1e2cea9445dfba8f84","datavalue":{"value":"running time","type":"string"},"datatype":"string"},"type":"statement","id":"Q496007$7244AA9A-01A9-4B74-B775-CC03A88D8921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56648436bc69574babbc2ceb18fe05313ae543e","datavalue":{"value":"decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q496007$F13C6185-A391-486B-9AE8-BF4D58DC6A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec6cdc911b4e9bfffb15161a4d8e4bf4563f400","datavalue":{"value":"crossing sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q496007$4AA2C31C-2B73-4D20-B7D5-B48AF06DA714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q496007$8BDEEC38-43B3-446B-9C94-1C94E4EF4D4F","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":"Q496007$E6AB1023-C4BB-4418-B44F-C8E71CE3E630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a0ce7e3ec373890942cd0fa8b40482e2ca78430","datavalue":{"value":"W850465257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496007$63678F41-EC1A-4C08-B05E-03FA583E4E4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$6735F3DC-6256-45CE-A3C5-BD93BC315145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ef22420c094c9829c91a792531abc0f9cd47bf","datavalue":{"value":{"entity-type":"item","numeric-id":5545959,"id":"Q5545959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$E4F78DBE-2D82-4EEB-9F27-6C152B0BFEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9791f4b37ee125203fd0d0075552c144cb2e86","datavalue":{"value":{"entity-type":"item","numeric-id":4162663,"id":"Q4162663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$B4BE1068-A1A9-407E-874D-C34D3004EACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb011395b085a0ad4513663cab5f1c04c8f557","datavalue":{"value":{"entity-type":"item","numeric-id":5638291,"id":"Q5638291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$76BF03D7-D51E-4687-B53F-A904B77915F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48121bb30f26c529a29e3837bfab8d37bf6b36de","datavalue":{"value":{"entity-type":"item","numeric-id":1255490,"id":"Q1255490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$42775D00-FCA9-4DA3-81FB-11F352FA02D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309babafa8701e1dd78c118bf8f607d70c315fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1082813,"id":"Q1082813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$12797645-C782-4686-90B3-0C888C8FB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc685d5ff47f8019349b0b0b238cb6f820c63bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5192993,"id":"Q5192993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$C3C91C8B-9BC5-41AA-8D2B-CD00099144B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$54BD3F81-7F73-4242-9DF4-E5F9A7B44B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269d3916085b6fbd314908c8f6c2115d9dc2dce7","datavalue":{"value":{"entity-type":"item","numeric-id":1041220,"id":"Q1041220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$2FEBD023-430B-475F-9209-89A6A9201C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8728ed2ad3f041fd3c8e463f372116c6b1527275","datavalue":{"value":{"entity-type":"item","numeric-id":5599173,"id":"Q5599173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496007$A9B3D89C-9616-41E1-A0A6-4D85551179AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23dff72a277b6a1704c92698c6c9930ef7a00b68","datavalue":{"value":"10.1016/J.TCS.2015.07.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496007$41A29176-6342-4ABF-9F9B-23D9A7525718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b343e5c4440ed835e53130f39d197a8bbef0654","datavalue":{"value":{"entity-type":"item","numeric-id":2009635,"id":"Q2009635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ef07a7214fddb482d4956f5dd19f04fed4e3b2","datavalue":{"value":{"amount":"+0.8380043506622314","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":"Q496007$BB5F4723-344F-4B3E-9BE9-0BCD0F7F23E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362ad6613d992bb3b99d8329885bee85fc11e14a","datavalue":{"value":{"entity-type":"item","numeric-id":3974874,"id":"Q3974874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1345f154f5548b7457ece6657fa162227af7d637","datavalue":{"value":{"amount":"+0.7473443150520325","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":"Q496007$F88ACE00-7439-45DF-83CC-E44D3F1E51FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961e3330b473d5ba6bf99d977c635c05129edc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5902006,"id":"Q5902006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21148fc170874d210d9a029b166e31f1e3e28f6d","datavalue":{"value":{"amount":"+0.7444900870323181","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":"Q496007$E0CC54AA-005D-4478-B83D-A9FE398A154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5211fa65c4badec4b730f0ddc5f7d4989e4ce0","datavalue":{"value":{"entity-type":"item","numeric-id":3476280,"id":"Q3476280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58be95c4d11d6e39f84081fce4ceaddf236b8c8a","datavalue":{"value":{"amount":"+0.7347313761711121","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":"Q496007$5C97DD96-E030-4B30-A1EA-677373BD9644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ed64177fb6fb64440a8bffeaef1cdffc183fe4","datavalue":{"value":{"entity-type":"item","numeric-id":1193594,"id":"Q1193594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a820dc7e76cf5b5ad26c986b272b9d5cf5ff8c","datavalue":{"value":{"amount":"+0.733707070350647","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":"Q496007$254A4092-A4CD-4D6A-9AC5-F6F55BDC6F23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:496007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:496007"}}}}}