{"entities":{"Q303695":{"pageid":305462,"ns":120,"title":"Item:Q303695","lastrevid":60781488,"modified":"2026-04-10T19:06:19Z","type":"item","id":"Q303695","labels":{"en":{"language":"en","value":"On reversible Turing machines and their function universality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618617"}},"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":"Q303695$5A7A35F5-D0C6-4CBE-AAF4-1FFA02C1D8D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf25674bbf4bb7013e2ae9348b985c2fe6306dbe","datavalue":{"value":{"text":"On reversible Turing machines and their function universality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q303695$927B8520-E295-4FD8-A785-67F0C33CFA01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4b61357b92721913ad0d0b79c5f4ac79de22e33","datavalue":{"value":"1348.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$70D1C638-A28D-45A7-AD87-CB0A698B6399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf82232c6c03c65a156f702740a0646f685945dc","datavalue":{"value":{"entity-type":"item","numeric-id":303694,"id":"Q303694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$041035CB-2087-45F8-98BD-BE6471110FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81032b0f581db8e37581bd17c6ad01498f4c3819","datavalue":{"value":{"entity-type":"item","numeric-id":232939,"id":"Q232939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$1C5F69F8-3F15-424B-B93C-97D7479CF315","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$3C3A8021-74E7-4278-B31A-542EAD36A355","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70e273fe9462a734f2d1ac8ce28702f050bb6f4b","datavalue":{"value":{"time":"+2016-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q303695$16949260-FFD9-4FCE-B73F-09EDBA322CB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8bd652efa8a9604a2092374e1ba6b57e318e972","datavalue":{"value":"This article presents a formal characterization of reversible Turing machines (RTMs) and outlines their semantics and expressive power. Largely self-contained, this article develops the basic theory from the ground up. A Turing machine is \\textit{reversible} if it is deterministic and if we can define an inverse transition function for it: e.g., for a ``symbol move'', if \\(\\delta(q, s) = (q', s')\\) for states \\(q\\), \\(q'\\) and symbols \\(s\\), \\(s'\\), then \\(\\delta^{-1}(q', s') = (q, s)\\).  The two primary issues addressed are expressivity and parametrization. Beginning with the expressive power of RTMs, \\textit{J. McCarthy} [``The inversion of functions defined by Turing machines'', in: Automata studies. Princeton, NJ: Princeton University Press. 177--181 (1956)] had observed that if an injective function was computable, so was its inverse. Functions computed by RTMs are injective, and the question becomes: what injective functions are RTM-computable? If we let \\([\\![ T ]\\!]\\) be the function computed by an RTM \\(T\\), then we have an operation \\(T \\mapsto T^{-1}\\) on RTMs, and \\textit{C. H. Bennett} [IBM J. Res. Dev. 17, 525--532 (1973; Zbl 0267.68024)] demonstrated that if \\(T\\) is an RTM then \\([\\![ T^{-1} ]\\!] = [\\![ T ]\\!]^{-1}\\). Meanwhile, \\textit{R. Landauer} [IBM J. Res. Dev. 5, 183--191 (1961; Zbl 1160.68305)] showed that for any Turing machine \\(T\\), there was an RTM \\(L(T)\\) that simulated it -- this the article characterizes as the first example of ``reversibilization'', which Bennett later tightened. Developing on this thread, the authors find that the injective functions are precisely the functions computed by RTMs.  Having determined the expressive power of RTMs, the article turns to universal RTMs. Because of technical issues, the article presents the following definition: given a Turing machine \\(T\\), let \\(\\ulcorner T \\urcorner\\) be the string that characterizes it. A ``universal RTM'' (URTM) is an RTM \\(U_{\\text{RTM}}\\) such that for any RTM \\(T\\), \\([\\![ U_{\\text{RTM}} ]\\!](\\ulcorner T \\urcorner, x) = (\\ulcorner T \\urcorner, [\\![ T ]\\!](x))\\); notice the extra \\(\\ulcorner T \\urcorner\\). They demonstrate the existence of a URTM, and then devote a section of the article to the construction of a more efficient RTM. They then conclude with a notion of reversible Turing completeness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$21AF06FA-250B-4E7E-A279-5F8175BE620E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4c2e453a383fe1e064f27e4ca3ff49f8a1646b9","datavalue":{"value":{"entity-type":"item","numeric-id":587174,"id":"Q587174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$51D35FD3-F646-4AB6-AC87-0FB90832D69D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$26031494-4053-4E38-B9F2-DA7B7D6D1CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$2A3E9D73-FB7A-418E-BE45-71C669EF7AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$1968CE91-E003-41D0-A22C-CAD753023CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f6d7c90bd36ef86c373b8b237deb040e064d9dd","datavalue":{"value":"6618617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$2C95584C-875F-4B15-90C4-E60F8C96A433","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba686eb752eb3c996acac7f2b6ef180bf555a6e","datavalue":{"value":"\\(r\\)-Turing completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$9A6CD6D5-44F1-429F-9DBA-E2DCA475F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb33a8eb1aa7d97b1403fbd1a09d045133ffbacc","datavalue":{"value":"RTM injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$0865C8B2-F85A-4F5F-976E-12EDB9B7468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ac32157daba18678f1175b88cc7a82c695d14c","datavalue":{"value":"RTM-universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$14F18A3E-3718-4272-AB94-E694C32031DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6355a8ad52e3619000c8cf47952fa713220a28b","datavalue":{"value":"reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$3B68C9C0-B2AE-4A19-810E-3FDD256E8EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3995fd6a8f83d28f1e16e9368dec49d5aa1cc1","datavalue":{"value":"reversibilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$8A971822-E5BE-4A5C-B8D1-AA037E34349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582477ffaea419b14079d057d6976885d695f8f1","datavalue":{"value":"Turing machine inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$1077AC99-0203-49C2-AC2C-26DCD76B3B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea4e968f2feef3ab401109aa02ddcd1dd9833c5","datavalue":{"value":"universal reversible Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q303695$9D2E3796-F542-4D71-9C90-EFA29162EFBA","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":"Q303695$8541FF7D-C230-43DC-8135-A3DBE7C4FB4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e48948147838324e39f9af2fa4df30cefbcfeb06","datavalue":{"value":"https://doi.org/10.1007/s00236-015-0253-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q303695$AA3710B6-6893-4F2F-AC83-510DA1950A09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be5a54ce8e072e58f5b35e710a0e5d1a57f91ab2","datavalue":{"value":"W2279321119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$ED35B435-C73D-41FD-A695-A6350442C356","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f55bf92817c1d8158203bf6433486f3fb9ffed4d","datavalue":{"value":"Q62038220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$7BD88F87-9D7D-4DF0-B3D5-09D2BD534E3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed022edd9c373c12098c552bbb4d79346549d96","datavalue":{"value":{"entity-type":"item","numeric-id":4414734,"id":"Q4414734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$4CA48F82-6145-4FEE-8809-6F4708AF0B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ba043a11618ff89c2541d9a7bb91c0c59735d","datavalue":{"value":{"entity-type":"item","numeric-id":2902496,"id":"Q2902496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$069F00B2-7DC0-441C-9BA9-BEB86230734E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0c7b392a2446475b66cc6763c1c3d3053857dc","datavalue":{"value":{"entity-type":"item","numeric-id":3004571,"id":"Q3004571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$0D715AA5-48FE-4514-AC6F-3AFB06DE8CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f5f7e15cfa9dd7cd8a67a7c7d669dd5ce3d690","datavalue":{"value":{"entity-type":"item","numeric-id":3000598,"id":"Q3000598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$01CB6CE3-F06B-4C71-A8CA-B72BE5FDF1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bee5a6d227a942412fcba1b1507aa14cc9bd941","datavalue":{"value":{"entity-type":"item","numeric-id":3499767,"id":"Q3499767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$08675A19-F657-46D2-85F8-1CAFF5B3CC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1913342a8d49733b506fd104ce8b800098ce2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":2798750,"id":"Q2798750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$665BB2E8-4DDF-4293-ABB9-65225F220588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37583190c3d281534de801177a705fff1b98a27","datavalue":{"value":{"entity-type":"item","numeric-id":2822488,"id":"Q2822488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$9DF53DFD-1A94-467C-A2FF-C8EE094EA8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ca8fec045c40a29026a2685dc930b71972e7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3459428,"id":"Q3459428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$AA36B0FA-9B96-4F5A-BBCC-F0A4BEF5E7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$C4488FE0-EF79-4DE0-B468-F0BAAC8C4030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dcaa30fd5914acabeb648d22b00861cff79c42e","datavalue":{"value":{"entity-type":"item","numeric-id":5902364,"id":"Q5902364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$0D29B38A-5847-4849-8CB0-48EF076D589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765cc825072404d8af7c3a1a5df5388f9072e94","datavalue":{"value":{"entity-type":"item","numeric-id":5308028,"id":"Q5308028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$44C76DF6-1875-414F-994D-374C242D4D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$4D273158-C018-4078-A33E-A4590027407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eab97ea129b032ef8570df9c89d368b433ac477","datavalue":{"value":{"entity-type":"item","numeric-id":3564878,"id":"Q3564878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$29E3875C-9F75-4BB6-940C-A1EBF5529771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06168260c6cacca27324bd5fdc26d3873c0d77a7","datavalue":{"value":{"entity-type":"item","numeric-id":3453731,"id":"Q3453731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$26500CB2-6BD0-44B4-A414-D21956ABBB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$0CCD8CAD-A2EC-4360-8EEF-B9B36B8DD3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454fa412389fde53132c845364bf28f8b89aef80","datavalue":{"value":{"entity-type":"item","numeric-id":5586334,"id":"Q5586334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$600E704D-FBA3-45BB-BD54-0F245F40767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47dac2d40343576b5b3d049703e489ef60d7fee7","datavalue":{"value":{"entity-type":"item","numeric-id":4023358,"id":"Q4023358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$952F1D76-8089-4220-ABE0-2B9B33A9F818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64815366ff2d9ae63e8576505583b0d1535bf3","datavalue":{"value":{"entity-type":"item","numeric-id":924686,"id":"Q924686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$FD858025-8BF7-4E9B-9C2B-5DA4B4751AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c0b011725b006fbb8422faf21461e8cd59085a","datavalue":{"value":{"entity-type":"item","numeric-id":3608473,"id":"Q3608473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$AD2DA6A1-8A0C-4276-9541-829C75B92095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b936d058ef51c3d5753ff21eaef1fc6a2447f9","datavalue":{"value":{"entity-type":"item","numeric-id":5464046,"id":"Q5464046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$55EDE9E3-3929-463F-918E-8000B4FECE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623504da0627c46aee10792ef4ec9fb0f6a46d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1044673,"id":"Q1044673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$01909714-6E84-494E-B5B9-516B0447B9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1661e278d4b3115deddc8fd22a4bfcf611c20cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4282659,"id":"Q4282659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$B3E2FB21-C608-409D-B419-EC2978554A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3ceebf2a19685cfb085c9cad460471515bf483","datavalue":{"value":{"entity-type":"item","numeric-id":3161083,"id":"Q3161083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$E588FA51-0E83-48C9-8EF8-C0BE0D15DCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765defd67c38104ae6ea2d9349d44fca9f333ba","datavalue":{"value":{"entity-type":"item","numeric-id":3886867,"id":"Q3886867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$99189282-5702-4BC0-8C0E-1345C1ED9AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4d87691b92efedd3c932a9e0f82d8b33f1bb76","datavalue":{"value":{"entity-type":"item","numeric-id":896906,"id":"Q896906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303695$EC90C063-E80A-40F8-99F4-13EDD0959D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e008137ee47aed297db9d77af27e4ff017e44b8a","datavalue":{"value":"10.1007/S00236-015-0253-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$38AED148-94F1-4546-B2EF-31E9551C4313","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f0c55bcb50ea9d2e229b32db0ebc0f9198a09f6e","datavalue":{"value":"journals/acta/AxelsenG16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303695$D7DF9EC8-E38B-4361-A619-0D642B1F198F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc57ba17c5bd281aceec7194480ada6976b8591","datavalue":{"value":{"entity-type":"item","numeric-id":3477963,"id":"Q3477963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39d7ac9625b38c17865f732dca65ec45457a2f2","datavalue":{"value":{"amount":"+0.93755376","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":"Q303695$ACD7383D-87C1-417E-B839-819617394DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aabaea8689e1136cb6f05c41f5b017d07b929e8","datavalue":{"value":{"entity-type":"item","numeric-id":3608473,"id":"Q3608473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d8fc6f1a48798f19f3b0bbd610153f420aab7d","datavalue":{"value":{"amount":"+0.91727394","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":"Q303695$CABC9D43-516B-4D2B-96F3-5CDB54B17BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549b5d38e337fc407ed4eeb3c0660445d991021e","datavalue":{"value":{"entity-type":"item","numeric-id":3004571,"id":"Q3004571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0e73a89a3b877c728c26baa80b33c5103453ab","datavalue":{"value":{"amount":"+0.8976355","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":"Q303695$756CDDDB-1C52-4DA1-9A74-A75D06FE3D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265252657c87498523a3cdab7003ad584f4a1dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2805443,"id":"Q2805443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de07c6e1a1ba4ca825c76c8609eaac081ba1976c","datavalue":{"value":{"amount":"+0.8950204","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":"Q303695$FA7F19D9-0FD9-43CE-A57D-F3BB4F4BFBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63096d27268fee84f41381f5d106c1f04b2a399c","datavalue":{"value":{"entity-type":"item","numeric-id":2822488,"id":"Q2822488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fdae10f5fd84fe663fcd005518ec49c82e010a","datavalue":{"value":{"amount":"+0.8943111","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":"Q303695$B8B2BA0A-65A1-4A05-B6EA-BDA6F0540F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25eec43684933fb09e60da17b581eba0cd106e2","datavalue":{"value":{"entity-type":"item","numeric-id":2041688,"id":"Q2041688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b261ac3c5c2c76d16780d15a895150e83d8ffa","datavalue":{"value":{"amount":"+0.89278305","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":"Q303695$B01F6671-5110-4E2E-A336-ECFE8636F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99572ed4096a06b5faba506335fb33b92031320e","datavalue":{"value":{"entity-type":"item","numeric-id":1796366,"id":"Q1796366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1800d408e8f28950404b366da2c53f274c2790bc","datavalue":{"value":{"amount":"+0.8905192","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":"Q303695$1100B52E-7CB9-434A-B71D-24F302575E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1680e11224a81d36b38cd30ffafdf480aa80a21","datavalue":{"value":{"entity-type":"item","numeric-id":1102114,"id":"Q1102114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1889c7aa7a3808ad288ae09e93c99af4b90c40b","datavalue":{"value":{"amount":"+0.8890157","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":"Q303695$38619D84-91ED-4A99-B0A7-24A3084EF133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79895618f9c4d58f72ac9fe24840b82c1cd9de5a","datavalue":{"value":{"entity-type":"item","numeric-id":3186472,"id":"Q3186472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633305665c0c4008885ca6ef9e4b8bff1243dc3f","datavalue":{"value":{"amount":"+0.88164014","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":"Q303695$94957A4A-B8E8-46E0-B1C4-66BD93261490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739cbf82de74a1f2d069f5daa1254e7a11fdb18d","datavalue":{"value":{"entity-type":"item","numeric-id":4508548,"id":"Q4508548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a749e5106ba447552172b6425c8a8b4df03e4232","datavalue":{"value":{"amount":"+0.8778073","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":"Q303695$7561520B-3BEC-4442-94F7-AE345A724681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reversible Turing machines and their function universality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reversible_Turing_machines_and_their_function_universality"}}}}}