{"entities":{"Q2009635":{"pageid":2020377,"ns":120,"title":"Item:Q2009635","lastrevid":57675555,"modified":"2026-03-31T21:16:26Z","type":"item","id":"Q2009635","labels":{"en":{"language":"en","value":"Verifying whether one-tape Turing machines run in linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7138695"}},"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":"Q2009635$5051B8DD-06A0-4113-9641-F24DEF435DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55b0b744f64043ad1d30fa844eece45fd81ba7a4","datavalue":{"value":{"text":"Verifying whether one-tape Turing machines run in linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2009635$A62FE735-C181-4E5B-A126-C001DB74D775","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a66f4d97e9001c8ad665f77f3028114da1c8757","datavalue":{"value":"1436.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$41275B27-FBA0-4F61-AEAE-51A925DB3D3D","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":"Q2009635$911097C4-2D0F-4009-92EE-6C5A962B6D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$1ABDF5CD-49EB-4770-B3A2-7EDA59806F7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f761c2195f3c85e8ba1c4b44d40c14b3e4a30e0","datavalue":{"value":{"time":"+2019-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2009635$0C1D5C46-A4C5-4231-BA8D-81634B1FE4CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be182deb7639a35dfad3123a55f31eb15765f98b","datavalue":{"value":"https://arxiv.org/abs/1312.0496","type":"string"},"datatype":"url"},"type":"statement","id":"Q2009635$1C0C5B3B-A410-46F8-A8FA-74C08D680451","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$590378D2-4325-4116-A8DE-1F1479BFA3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$4A42E38C-2837-44AF-9735-000F0C7BC8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$67BC8B2E-FC10-4BCD-B505-F1E6F609411B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55943251b5ae99ce2a2c9ed55835aa8c07844b4f","datavalue":{"value":"7138695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$A29CFDC5-24E8-48EC-8228-A294E6505BCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e92612cf1b056514c53ed8107092cdf926d81de","datavalue":{"value":"one-tape Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009635$0FAA970A-2267-4610-961A-4C5FBC132016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec6cdc911b4e9bfffb15161a4d8e4bf4563f400","datavalue":{"value":"crossing sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009635$24C294D6-1E42-4120-9A4D-FEC1D6AF09D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009635$96718D7C-69A9-4858-900A-A30F5481EAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3d4c4f0402aa58af4ddf1e2cea9445dfba8f84","datavalue":{"value":"running time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009635$39CF5027-C247-49C6-B334-FF63DD25B978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009635$B8A5F964-D4A1-463D-AB34-8FD8FFF464B5","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":"Q2009635$5DD57CE9-F55D-49F5-9106-0A3EACC32920","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d2ff1c03dd562f123f3a24b003853db29500478","datavalue":{"value":"W2967571932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$A0055FB6-2850-4161-BE8E-78DA79966CA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdcae4d9a5ee36e7f138192416054cf8fb75160","datavalue":{"value":{"entity-type":"item","numeric-id":3768395,"id":"Q3768395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$60E03F30-8164-43A7-A3D5-68D241E220A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8951d23739b96a61add157161fad68d1dd1abc09","datavalue":{"value":{"entity-type":"item","numeric-id":996205,"id":"Q996205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$9BC0B603-D441-490E-9695-6B6063538C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b300aafc62b0800c11b2f033974a60720d0dabf","datavalue":{"value":{"entity-type":"item","numeric-id":496007,"id":"Q496007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$C803E524-ED95-46A9-B387-B104ACB04E9A","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":"Q2009635$A4729597-C91C-422F-9524-DDECA405B5B7","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":"Q2009635$F70F30D1-C6AD-4E79-8BF7-2F3D99BA3644","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":"Q2009635$E886F082-87E8-4671-B9CD-26A93FBF98DF","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":"Q2009635$EF4B3247-5229-46CC-935F-126AA7C00E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ac4318fc0fef5b6593a17522dc23886246b7c7","datavalue":{"value":{"entity-type":"item","numeric-id":1183577,"id":"Q1183577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$C4E716B3-1DAB-4821-B342-A41BF1D27005","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":"Q2009635$CD2A1160-892D-4858-ACDC-E9E23831D446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af525ea1fd445c05898a9991b61369483b6c7c29","datavalue":{"value":{"entity-type":"item","numeric-id":4142696,"id":"Q4142696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$403E0671-A668-47E3-9DDB-25DF5C3F64CB","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":"Q2009635$100D9F12-D878-47B4-9F21-AD68E4464EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3375f6192ead0327db60930338565f009d2b664","datavalue":{"value":{"entity-type":"item","numeric-id":593780,"id":"Q593780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009635$6A284821-BAC8-4397-83A4-82B58515D8ED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"86382a962c3a777f15999965603244c83fad3173","datavalue":{"value":"Q127356913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$901A9EDD-485B-4A71-BF7B-FA76E9B09DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a24cc16fb2fd3976e0f1574b9932b7fcbf917363","datavalue":{"value":"10.1016/J.JCSS.2019.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009635$198CA95A-4B71-4111-BCA0-FBE3BC796E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521bc5844c8094cc88e6a47312424f8e64b26684","datavalue":{"value":{"entity-type":"item","numeric-id":496007,"id":"Q496007"},"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":"Q2009635$7E14647F-2882-4654-A208-398E02B9C48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf03bc259f9a3a244dab32fee9ebe66dc9b08c9","datavalue":{"value":{"entity-type":"item","numeric-id":1183577,"id":"Q1183577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8286302bc2fc8ecb77381c1c722edb2980a78e0d","datavalue":{"value":{"amount":"+0.7889577150344849","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":"Q2009635$899E6F04-CA21-4789-AA27-39FBC022D68F","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":"7e530ea7683ae2be10dfbd365701eb2072427d3c","datavalue":{"value":{"amount":"+0.7875431180000305","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":"Q2009635$9642816E-0EC5-4536-B302-B6A5B025CC69","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":"75d344b7483c33ba1ce441a43ebe737bee105082","datavalue":{"value":{"amount":"+0.7861059904098511","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":"Q2009635$48A0EA09-6BCB-4866-BF65-152CC2734AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada9a8174ee7849ead74b650be6630fcc91c5a23","datavalue":{"value":{"entity-type":"item","numeric-id":1041220,"id":"Q1041220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913bff497b9b562460c75979b2c2a71766eba599","datavalue":{"value":{"amount":"+0.7800561785697937","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":"Q2009635$08FF658D-25F0-4402-8458-E0834AE694CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2009635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2009635"}}}}}