{"entities":{"Q2210378":{"pageid":2221121,"ns":120,"title":"Item:Q2210378","lastrevid":73367928,"modified":"2026-04-14T15:38:01Z","type":"item","id":"Q2210378","labels":{"en":{"language":"en","value":"On a theorem of Matiyasevich"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7270832"}},"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":"Q2210378$A5FF513A-C9A0-4D7A-B61D-B819EB2D6293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f498bff8f1a7dabda006730b208c0eb71ee68da7","datavalue":{"value":{"text":"On a theorem of Matiyasevich","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2210378$EB5FC374-98B5-41D9-B68B-C31848D669DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5261a5fca7a0ceda6b36a093222ca87bf7f73616","datavalue":{"value":"1482.11163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210378$9B159E2A-F84F-48E6-ADA5-1FF94E51276B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2e18fef523ab3cae9abefc6bc39821b5a250d9d","datavalue":{"value":"10.1134/S0001434620090047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210378$C803C8C9-5B51-4627-82CD-D8BFD9966C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1746b03ea6109df119ecf4aac6945f8d084b85c8","datavalue":{"value":{"entity-type":"item","numeric-id":2210377,"id":"Q2210377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$A4A04E2A-81A7-46E7-A073-57A48414D03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66f6bee0d302cbb74eb723a53f0dd89660f4180","datavalue":{"value":{"entity-type":"item","numeric-id":351270,"id":"Q351270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$7DA6A8C9-8F8C-4956-B646-FF67BAAF722A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$513F3A37-6DEA-4F7D-ABD5-FF078FBC993F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da94dc8ca8f9c0fb3c428416706507ccd17ae28c","datavalue":{"value":{"time":"+2020-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2210378$EA15D24C-F9C3-4781-BFB8-ADDA2B648FC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98c363e00af544ddd9e54befd37c2c10f29b6927","datavalue":{"value":"In 1970 Yuri Matiyasevich building on a preceding work by Martin Davis, Hilary Putnam and Julia Robinson showed that all recursively enumerable sets of positive integers (i.e. sets that can be listed by a computer program given an unlimited amount of time) were the same as Diophantine sets (i.e. sets defined existentially by polynomial equations) and therefore Hilbert's Tenth Problem was undecidable. In a paper entitled [``Hilbert's tenth problem. Diophantine equations: positive aspects of a negative solution'', in: Mathematical developments arising from Hilbert problems. Providence, RI: American Mathematical Society. 323--378 (1976; Zbl 0346.02026)] \\textit{M. Davis} et al. argued that in some sense Hilbert's Tenth Problem had to be undecidable because many open problems in Mathematics can be coded into Diophantine equations. In other words one could resolve the status of these problems by determining whether or not the corresponding equation had solutions. Among the problems for which such an equation was found was Riemann Hypothesis concerning zeros of the function \\(\\zeta(s)=\\sum_{n=1}^{\\infty}\\frac{1}{n^s}\\), where \\(\\Re(s)> 1\\). In the paper under review the authors claim to have constructed a simpler equation encoding the answer to Riemann Hypothesis than the equation in the paper of Martin Davis, Yuri Matiyasevich and Julia Robinson.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210378$8A9FDC53-3C11-4AF8-9D83-525CD8B612F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26c19f81fbafe8abd6879ee1939e0021ae2f99f9","datavalue":{"value":{"entity-type":"item","numeric-id":204234,"id":"Q204234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$CBB5BC00-30DF-4C09-AAD9-D6AEB4DA0EA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210378$0039FDC7-F996-4E82-BB52-95E083A116D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091ef06c5ff5d06ee66042f8e4f831f109d7f086","datavalue":{"value":"7270832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210378$EC565839-22FF-4671-9FF1-CAAA27035DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c9415b6eaf30af3b803ac5c09962b246fd9b08","datavalue":{"value":"Riemann hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210378$AD7F0521-4DC9-49A1-ABC4-8FD82A15D7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210378$8BD1F6E5-2523-4985-9BD3-73A0088BADC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210378$F935ADC1-4252-4A23-B100-723D88D5542E","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":"Q2210378$1C2CB7D7-E569-4394-927B-1C4329DAB3E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a946cf7024e56de3add0909eca8fc65c950282","datavalue":{"value":{"entity-type":"item","numeric-id":5665188,"id":"Q5665188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$F581D5C0-378F-4EF8-B2AA-11AAF1D189AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$4AABDE61-C69D-4022-BAF6-2FBC014025D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fa2d2e4da0d26d2753bb8ef4785c17a0f61269","datavalue":{"value":{"entity-type":"item","numeric-id":3956938,"id":"Q3956938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$BEF4E5B2-4F47-4426-A8E7-96A5CA8923DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e5364a75f05d0d4c82eb01d045b86a9d192cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2253864,"id":"Q2253864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$BB6BE95E-FF43-4D9C-8477-E9B36562C991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b31cd645db394bd7b76a2f5b9bcd562b10be501","datavalue":{"value":{"entity-type":"item","numeric-id":351271,"id":"Q351271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$96A2DA46-9074-43C8-8C37-BC1746E2B5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$2AD820A3-36FC-44FF-B74D-F447688DD67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fe4172cd61c8bbc8d1df7dcedcecd4bd0f6a46","datavalue":{"value":{"entity-type":"item","numeric-id":5109679,"id":"Q5109679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$C199C81E-0169-4436-87D5-2B1013605A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7d54cd36d7bfcad4c212c2259576f98f6cf828","datavalue":{"value":{"entity-type":"item","numeric-id":4090426,"id":"Q4090426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$5A212502-CA18-48EC-B528-54A9C14ED141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcff24c7789299d09a6415c53168110b6766389","datavalue":{"value":{"entity-type":"item","numeric-id":3998724,"id":"Q3998724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$F79299AA-F710-4F3D-99C1-AF54078F1396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1133187e1625c43367ceb6961acd1a5a3b5e33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5786066,"id":"Q5786066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$524F9F56-E229-417A-9091-A49601FAEA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aed26f7b39052513b475c7d3a39a7a0a7f5b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4404975,"id":"Q4404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$43F90674-7ABC-48AA-B5AC-84D7E24D8276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210378$73E923EA-392E-4146-84AB-4430C044B956","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb49a6d0df90523462deee34cb1c4e7319b76eb1","datavalue":{"value":"https://doi.org/10.1134/s0001434620090047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2210378$56BCDC8A-D0F1-4AA4-9035-36CAF9AD981E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e4f6181753483001086f9081e1fa82c5f55ec1","datavalue":{"value":"W3096250744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210378$C21492CF-A7E9-4A0F-AF0A-4058E1B3B916","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0fe3822dcb82d43bb6410a3e47e6b65e5c8adf","datavalue":{"value":{"entity-type":"item","numeric-id":4501636,"id":"Q4501636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05db216f405fda5797212b7b9eb8df0955dbd1db","datavalue":{"value":{"amount":"+0.8145041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$3A7CC596-F383-49B4-908B-0727F1EC34BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4aa467d721272fe29d2b60145c509b23897200","datavalue":{"value":{"entity-type":"item","numeric-id":4302339,"id":"Q4302339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78c0e4eb25bd00e65f6883ca7e071ebc8356ce2","datavalue":{"value":{"amount":"+0.8143834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$A68AE553-D735-47DC-924C-66175E367530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f271c0eccbea4420ed6383e46ad881713cf5c0d7","datavalue":{"value":{"entity-type":"item","numeric-id":548056,"id":"Q548056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1936998c96d2d72c167fa59370d1880fd336033a","datavalue":{"value":{"amount":"+0.8082936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$535F9C40-97A7-4BFE-B584-74E27D9F0198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dec5967a3f4e8c9bffc9d27cd7cf09f46cafc6","datavalue":{"value":{"entity-type":"item","numeric-id":5089608,"id":"Q5089608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b614662c32fe15be37445f0174078fc0db7f818","datavalue":{"value":{"amount":"+0.8000868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$3926F380-0615-4EF8-8460-2CD7736D0FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5720f1da05a85a7e46dbbac2b7d60ea96d309fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3872027c73101498f58ea52daeb2256517d52302","datavalue":{"value":{"amount":"+0.7938239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$B6D54052-4BA6-40C1-8029-BA389A184DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f43f25e78d00a76d65b7b28a431b2c4cc97a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2843817,"id":"Q2843817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caaff8546f1d8f22ee2c872784a47ed44dc31b56","datavalue":{"value":{"amount":"+0.77482104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$36D5DF2B-5B81-4329-AF2E-27F907E38D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77cd2e657c11150a016d420f9316be29c0d5043","datavalue":{"value":{"entity-type":"item","numeric-id":5148103,"id":"Q5148103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3395e566e13309a364e387184ceb13e8855514","datavalue":{"value":{"amount":"+0.77454114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$3D6634C4-E44E-4E3A-92DD-192518C224B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f918abb079ee17324795de1346eace98be1541","datavalue":{"value":{"entity-type":"item","numeric-id":1006616,"id":"Q1006616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8049d1924e414d12ed064b5dae09e884ad03d3f","datavalue":{"value":{"amount":"+0.77047527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$FF4EA99B-CA88-4F44-9A0C-7D27FC3F9E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59be7eb0d0afc76b6c15e8917151428b0043b97","datavalue":{"value":{"entity-type":"item","numeric-id":5717055,"id":"Q5717055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4ea1417cc74a25b375722692a3eb35cc8c34e4","datavalue":{"value":{"amount":"+0.76750815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$020E553B-67C5-4933-989F-5FA8054B2624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3c49add65936359282bedbce48434af69813e7","datavalue":{"value":{"entity-type":"item","numeric-id":2686649,"id":"Q2686649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fd4e94f2266c084cc6a9ed03f23f2a2da315bc","datavalue":{"value":{"amount":"+0.76358247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2210378$1FF52DB1-82D3-45AF-9149-0FB6FFAD3C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a theorem of Matiyasevich","badges":[]}}}}}