{"entities":{"Q744986":{"pageid":746835,"ns":120,"title":"Item:Q744986","lastrevid":64093578,"modified":"2026-04-11T17:36:09Z","type":"item","id":"Q744986","labels":{"en":{"language":"en","value":"A formalization of multi-tape Turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6493329"}},"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":"Q744986$E35C7760-D642-4F0F-8677-29A5C495074B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e731dd3bbb0e09639970d523579d6aefa00c97f","datavalue":{"value":{"text":"A formalization of multi-tape Turing machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744986$ADD8EB71-C4CF-404C-85DA-996E8DF86286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77c9b7f00f85ca12adda349ec0b7942f0603d421","datavalue":{"value":"1330.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$E5C0C6E1-A684-433D-9D01-3A408D58BAEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$9268336B-5C45-40A8-ADAF-6525638DD6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$F5E01EC2-11F6-45B7-BB37-163EBEAF02A1","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":"Q744986$F822DC10-6F02-405E-B711-7EDFCB699EB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5981dc1780667b005458bf584649c04baa5310fe","datavalue":{"value":{"time":"+2015-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744986$F6A6F140-93A5-4418-94D3-80D0487A808B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$C921B9D6-D398-4A36-87DA-CE38A1C11A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$A381A8AC-39AF-4851-811A-6590C8AD13BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dd2c2c5b44034af0202d0c437f6b4acba170a2c","datavalue":{"value":"6493329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$AFC5A1E5-D82E-4418-BD72-1058A8E9489D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q744986$CDEEA6E7-2EED-440A-B9A8-46B69FD671E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0724f281dfcc8cd132cb8a8098364b70b089188","datavalue":{"value":"universal machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q744986$C4EF4CB8-C592-4E9A-87C9-02BF50D1EBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q744986$B935A762-0737-482B-B1E5-398B54D3A087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a86c170abdd67574eb40ac5a1f805ea17cdb522","datavalue":{"value":"certified correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q744986$31EF4641-1B3D-4735-BE09-5760E1CD1A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q744986$9C3FB976-7E70-4729-A7DF-FB00C5721145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452c2bc219e831894ca1b2ba93a388f09b09e6e0","datavalue":{"value":"Matita","type":"string"},"datatype":"string"},"type":"statement","id":"Q744986$8791CB2B-D2F3-453A-BE1D-27FE6CCEB6DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"82593918fcc89019ee8899b400df461592aa3185","datavalue":{"value":"Q56112363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$1BE0C212-0942-4FAC-9699-9DACD7BA7174","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$7725ADD0-445A-4CF9-A717-852B03FDB475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$C1DC47E8-C8F6-45BA-B41A-4A97D2ED7968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$02836B98-0EF5-4353-9544-A467A9028F0F","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":"Q744986$C03EE252-7DB0-4A4C-BD0F-9D6651CFB512","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cb6015c50c5f0c22c080d2eeef88d933526f8ed","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q744986$61B54877-718E-4514-A06E-AD2C3367428C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0efedf8b158c8eacc0fc888f306b0fe5a80d5e15","datavalue":{"value":"W2118758698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$4DC04813-935E-4A91-98C2-E930C8096CD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f785ae8c8ddf47ebee7b84cec0b052cf2b54fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1945921,"id":"Q1945921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$712AD8E9-D90A-4401-BF4E-F5E104B7ECDC","rank":"normal"},{"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":"Q744986$DCE327DD-3F60-41A6-96CE-68EC462FF1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f06966f60ebf79cde30ea13a0b2c6262deb5f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3189831,"id":"Q3189831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$2F6CBAA8-105C-4A70-9A87-069ACE4495D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f1ec73f3d671910927dffb48819c525b9eb32a","datavalue":{"value":{"entity-type":"item","numeric-id":2938046,"id":"Q2938046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$908661D3-ED51-4D68-8CAA-5217BFB238D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a77375216be205f05937c2896dae781ad382f","datavalue":{"value":{"entity-type":"item","numeric-id":3094169,"id":"Q3094169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$A830A447-2737-4F3A-8FE6-FDC54B968233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98601bd13740dcf2aea4082f9d88eae11acfb8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2915013,"id":"Q2915013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$8B8AF897-D2FE-46F9-B3CB-2A135754A511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32fc7e5e7f5ac4deaf4749b2188c0c732617067","datavalue":{"value":{"entity-type":"item","numeric-id":3582703,"id":"Q3582703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$82984A2E-CD4F-4D0B-9E79-385037A21E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f64d57050206512889a218305d67a8f65e3f09","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$7667BC66-B205-4E47-9F85-069D367E1F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$C7DE1F03-5145-4582-848E-8538359D5DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f35c717e8f2732afef1f1c85cdeca4e28c2832","datavalue":{"value":{"entity-type":"item","numeric-id":2881085,"id":"Q2881085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$A1049F55-BB58-4691-B32D-0123E66827AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$9FE38ECF-42BB-496F-AF70-2E49C1D71D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$4749DFD5-B92B-4179-A404-11ABD88FB0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$E5696854-B0A3-4477-B104-4AC0FC44F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$6F0ECA08-94AA-4817-9EE2-2CA7CB1E7CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de55f1680f02e55bd1b96015788914e7676abbe7","datavalue":{"value":{"entity-type":"item","numeric-id":4404418,"id":"Q4404418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$BA4D9EBD-AA44-4805-BB4D-8F3BADAA65B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$8297D39C-F14B-4647-B195-025C75A52229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3445aaf6b46b71d513bdd51f951a6bd9eb9db1","datavalue":{"value":{"entity-type":"item","numeric-id":5535413,"id":"Q5535413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$86EFBB47-A933-4960-B1F3-417E42456CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$DB3400F1-420A-4398-A28A-BF66E0887D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$3FE66161-0F27-4A72-941E-1ADB26470A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$4767D6FA-ABAF-443B-B06F-756E07FB0534","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":"Q744986$5AA1611A-6EDC-4746-894D-FC60071D04D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$96861EC4-DD1C-4F09-A7ED-B1468583908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$2C6F426B-3C32-4D78-B010-88C6D16CE79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$EFF594EB-56D9-446B-ACC0-CBD394B998D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5d72d07cce88cdf50698d240a7171f3b8b351","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$7AC2EAB1-5A88-4B50-91FF-FEAF7C65B1E0","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":"Q744986$3AB8464E-6E4A-4BC1-A5E1-561A8DCA5C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1abf0ec1abf337ad5daf1409b3e69fe79a4c97","datavalue":{"value":{"entity-type":"item","numeric-id":5526975,"id":"Q5526975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$F390F2A5-75BC-4BF7-97B0-39D26B515C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7435100e3d690d36fad3b0237a6b1d48437e9556","datavalue":{"value":{"entity-type":"item","numeric-id":4385524,"id":"Q4385524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$D7274D62-AA5D-4F92-9D9B-6B09A1086A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb09d9f7d2450446aae397d3e90233b6c50e1785","datavalue":{"value":{"entity-type":"item","numeric-id":865658,"id":"Q865658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$5DE727B8-8094-4693-AD87-240E1466F8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c02baa06229f9c8e47415ba00fdd6dfa7fc577b","datavalue":{"value":{"entity-type":"item","numeric-id":5327342,"id":"Q5327342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744986$6BE88692-4110-4ADF-8100-9FF3689698D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be6b535dbd382e9db210c20f1968f8b2d764f011","datavalue":{"value":"10.1016/J.TCS.2015.07.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$001D8392-564A-42E6-BD84-8DAC470FE2ED","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"96431b7c7789c419e4832f56dfbff5f16baa3f00","datavalue":{"value":"journals/tcs/AspertiR15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744986$8F0CB878-D6FA-4FA1-B1A4-C95902E04F8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9027320ff90d8fe6908a21559d3d7fd996a43c43","datavalue":{"value":{"entity-type":"item","numeric-id":2915013,"id":"Q2915013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4062508d24030f14347e0f25ad3255b2821075d3","datavalue":{"value":{"amount":"+0.9236666560173036","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":"Q744986$F419E4EF-D3F2-489B-A0C8-6DD356612B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140576b4d917f46ec7f3bf2c1b3333b3f2b3c316","datavalue":{"value":{"entity-type":"item","numeric-id":5327342,"id":"Q5327342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f630a9aa802ff337667aee1f323c61564bde82","datavalue":{"value":{"amount":"+0.7689869403839111","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":"Q744986$8C17DDF3-6685-4DD5-A849-874621367517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4c65573320df4f4f50c0e731042082b7e7a270","datavalue":{"value":{"entity-type":"item","numeric-id":2797865,"id":"Q2797865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c87b0851f1817a54f543cfb7fdb6acdda7a715","datavalue":{"value":{"amount":"+0.7276743650436401","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":"Q744986$6564ACF9-F3BD-4A18-B77D-6AB1375D8699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ca1d847099ed24b872fe652dfa8e77399e461f","datavalue":{"value":{"entity-type":"item","numeric-id":4662831,"id":"Q4662831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3704b674cf729b575caea0b51dcd34cfe7ac32aa","datavalue":{"value":{"amount":"+0.7003225684165955","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":"Q744986$2A00CAB8-56F2-46BE-A0C5-E88704DE0D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8918331d33e43424295f29748f1758cb07fdb5","datavalue":{"value":{"entity-type":"item","numeric-id":3698794,"id":"Q3698794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a5bedd04685fe2ff952a3b8299b18b2800958a","datavalue":{"value":{"amount":"+0.6994456648826599","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":"Q744986$DD3782C1-5462-4AF8-85CF-2D817662CB0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of multi-tape Turing machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalization_of_multi-tape_Turing_machines"}}}}}