{"entities":{"Q2843817":{"pageid":2854537,"ns":120,"title":"Item:Q2843817","lastrevid":83851232,"modified":"2026-05-07T12:59:57Z","type":"item","id":"Q2843817","labels":{"en":{"language":"en","value":"Does there exist an algorithm which to each Diophantine equation assigns an integer which is greater than the modulus of integer solutions, if these solutions form a finite set?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201404"}},"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":"Q2843817$DC89400D-0173-4B44-B5C9-3EC2E2435F33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c54dafc063db1cc10e61df00b10dcbcee733c4","datavalue":{"value":"1288.11116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843817$1B2EAECB-BA60-4932-A6E4-5DF5CAE767E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3767b1e5a1a7fdeaf807cef7b891a20adad6f99a","datavalue":{"value":"10.3233/FI-2013-854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843817$5E94F58F-D69C-4B7C-B5AC-C93466B00AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c462aa9b35e194e1701ce61e773277899ea47e75","datavalue":{"value":{"entity-type":"item","numeric-id":206649,"id":"Q206649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843817$3E2E8E07-2E94-4055-BA2C-701EB29075FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843817$77645CAD-FBED-4FAA-9E25-EE36ADF75503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843817$F4BDFD3F-E3F5-465E-B13E-7187430E7F61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417e2ced109bb63b9903d485990bd78503ede011","datavalue":{"value":"https://arxiv.org/abs/0901.2093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843817$6FA5C891-4A26-45CC-AF08-49D743161999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843817$8F15A9AB-7222-40DD-8954-32E3E53FA409","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b26b951a8cc515b543b59b2888ca2f5bfa9150f","datavalue":{"value":"6201404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843817$2D634F9D-7E70-431D-8E0D-4847519D17C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690793dbded033473b913b125a3ee1a4a9eddee2","datavalue":{"value":"Davis-Putnam-Robinson-Matiyasevich theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843817$5EAF3037-397A-4ED8-BAF6-4E06FBBF619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700d4100d6341c271c230c6993a9d8be96a402d6","datavalue":{"value":"Matiyasevich's conjecture on finite-fold Diophantine representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843817$A2194FC1-C42F-4302-8E4B-58399B950501","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":"Q2843817$19948833-A71E-437D-A406-6FD2C8F10CFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c3fa7e34d04e7cd36c2381f5ad596e63c13daed","datavalue":{"value":{"text":"Does there exist an algorithm which to each Diophantine equation assigns an integer which is greater than the modulus of integer solutions, if these solutions form a finite set?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843817$945F9CA2-BBC0-4744-A132-AED73282191C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8dce0cc54194100c83c2ec40e272add7bcfe07a3","datavalue":{"value":"The solution of Hilbert's Tenth Problem by Martin Davis, Hilary Putnam, Julia Robinson and Yuri Matyasevich also contained a proof that every recursively enumerable set is Diophantine. In other words, given an r.e. subset of \\(\\mathbb Z\\), there exists a polynomial \\(P(t,\\bar x)\\) with integer coefficients such that \\(t\\in A\\) if and only if \\(P(t,\\bar x)=0\\) has solutions in \\(\\mathbb Z\\). A finite-fold conjecture for rational integers asserts that for each r.e. set \\(A\\) one could find a polynomial \\(P(t,\\bar x)\\) as above so that for each \\(t \\in A\\), the number of tuples \\(\\bar x\\) in \\(\\mathbb Z\\) solving \\(P(t,\\bar x)=0\\) is finite. The conjecture is still open.NEWLINENEWLINEThe author of the paper under review makes conjectures about solutions to systems of equations in a particularly simple form and shows that if his conjectures are true, then the finite-fold conjecture is false.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843817$D3165A0F-9857-4054-B004-F7C38EBCD499","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":"Q2843817$3371551F-B2AA-465B-AAE2-78F755B97910","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf1627a52b4bcc140827557de37c5465710f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2445235,"id":"Q2445235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ed9d1fe592925d5cc8108f4e04933f2ec44bbb","datavalue":{"value":{"amount":"+0.7914036512374878","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":"Q2843817$203D493F-947C-49FB-A88A-28422BB80835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c99e4d3fc8facc8fae6fd543cde9b83727f6cfe","datavalue":{"value":{"entity-type":"item","numeric-id":2464706,"id":"Q2464706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692f9b3aff1311f9313237c7cd36f1928855b6cd","datavalue":{"value":{"amount":"+0.7799698114395142","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":"Q2843817$8691647A-51BC-406C-A379-AD96212FCDFD","rank":"normal"},{"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":"591ecbb2e03a675131fa3c1123963da5a5544736","datavalue":{"value":{"amount":"+0.7676719427108765","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":"Q2843817$2169D1E8-9B13-4690-B753-2BB40E3B4521","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":"dec59239c47089db79dc5bb155ffe28ef4faf638","datavalue":{"value":{"amount":"+0.7649328112602234","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":"Q2843817$82E51277-7FF2-45F3-A622-07E50493A379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea768d57e4be8eac1086a71b172babfea3db61c","datavalue":{"value":{"entity-type":"item","numeric-id":4231579,"id":"Q4231579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0071892ebd2a25e813f00b06d9807fca5d2672b1","datavalue":{"value":{"amount":"+0.7628772854804993","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":"Q2843817$1FA5E50C-9B56-4415-B7D1-F2136ABF62CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Does there exist an algorithm which to each Diophantine equation assigns an integer which is greater than the modulus of integer solutions, if these solutions form a finite set?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Does_there_exist_an_algorithm_which_to_each_Diophantine_equation_assigns_an_integer_which_is_greater_than_the_modulus_of_integer_solutions,_if_these_solutions_form_a_finite_set%3F"}}}}}