{"entities":{"Q687514":{"pageid":689363,"ns":120,"title":"Item:Q687514","lastrevid":63616899,"modified":"2026-04-11T14:22:55Z","type":"item","id":"Q687514","labels":{"en":{"language":"en","value":"Verification of a conjecture of E. Thomas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431318"}},"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":"Q687514$F0735890-16C1-44A4-B982-A2A62BEC1C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dd23e1fe6db771e5f48c13b8cdd5f18cfeaf660","datavalue":{"value":{"text":"Verification of a conjecture of E. Thomas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687514$957153F2-154A-4983-9982-7659C07A2B5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeee69d975efd6fc0928f355a5baf0e091748eb9","datavalue":{"value":"0780.11013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$29F56998-72DB-40F8-9165-85B9D7AE8FA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f43bf0f0ed97f42721f18513be8f4e02ef8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":168882,"id":"Q168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687514$FC61E8D1-E1A1-4C78-8014-FF0D28628C54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687514$82893597-00D0-4803-9C23-A8FC12C7C79F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"754b3b51d809379c8c8e6b0470743f1e863a6c78","datavalue":{"value":{"time":"+1993-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687514$2A05DC74-2BFF-463E-BBE4-5635730CFA03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f4ac9f9c38bacb7249377e440602ba2d4fa862f","datavalue":{"value":"For each integer \\(n>3\\), the Diophantine equation \\(X^3 - (n-1) X^2 - (n+2) XY^2 - Y^3=\\pm 1\\) in integers \\(X\\) and \\(Y\\) has only the six trivial solutions \\(\\pm (0,1)\\), \\(\\pm (1,0)\\), \\(\\pm(1,-1)\\). The ranges \\(n\\geq 1.365\\cdot 10^7\\) and \\(3<n \\leq 10^3\\) had been covered by \\textit{E. Thomas} [J. Number Theory 34, 235--250 (1990; Zbl 0697.10011)]. In the present paper, the author completes the proof by means of sharp lower bounds for linear forms in two logarithms; this is an example where refined numerical constants for such lower bounds play a fundamental role, because the proof involves a large number of linear forms in two logarithms.   This solution of Thomas' conjecture provides the first example of a family of diophantine equations which can be solved by transcendence methods. Further examples have been produced more recently [\\textit{E. Thomas}, Solutions to certain families of Thue equations, J. Number Theory 43, No. 3, 319--369 (1993; Zbl 0774.11013)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q687514$8EA90F00-7888-4C47-990B-C7A4D277F543","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98f76666c1f4beb74f2e091a1eef44951a9cb98f","datavalue":{"value":{"entity-type":"item","numeric-id":194752,"id":"Q194752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687514$918B199F-0B4C-426B-9EE0-D69CF3C26BD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cec21971d51bae007370b0b5028f33db8ff96f2","datavalue":{"value":"11D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$E5134933-D7CD-48A8-AD2C-4E35C00ABFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"77a83d417d02e1b9a160298d291697fdd343b50d","datavalue":{"value":"11D59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$612B85B2-E4A8-476F-9DE9-CA732B84D3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a88e9bb6c8447cdb3018b8d08a5a3871d0f50a1","datavalue":{"value":"11J82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$8C9DE12B-01F0-4731-87B8-955FFEEB399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40403c8d2e7a94c90fbb74b962301e3fe3da68bd","datavalue":{"value":"11J86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$350B2057-C717-4EE7-BC52-237C85B8C623","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50e7a556196593e36d4e3b4d8bdb42e6263d2bf7","datavalue":{"value":"431318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$DD3DB4B2-238E-4B8F-B63D-D531B91AD9C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3052ba5ecb2f00a3d2575038df17975ec1b667ac","datavalue":{"value":"cubic Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q687514$42CD766E-387D-4474-B508-FF2762FB3A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4129a3a4ec9649480ef31c3520b5458fe1343f07","datavalue":{"value":"Thue equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q687514$F9E73340-11B9-4AAE-BE77-B4C627A275CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4196c377875b66943862505d486818be7a60ab7","datavalue":{"value":"transcendence methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q687514$E3F1E3A1-AB95-416B-8AE8-5F1698091B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdd95f58de94ce7675d333355d081473c466f82","datavalue":{"value":"sharp lower bounds for linear forms in two logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q687514$771A8486-3B4A-466B-9EC8-BA9D2C90DF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd1d4032c69369221350cbfea04924cb1f4d1edd","datavalue":{"value":"Thomas' conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q687514$BF52F9E5-3533-40DF-8638-13770AE35D1C","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":"Q687514$5477FC24-8B61-47FF-A1C7-C3AC37923433","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9ad05e008e692d70accc8def4ea654e66300072","datavalue":{"value":"https://doi.org/10.1006/jnth.1993.1043","type":"string"},"datatype":"url"},"type":"statement","id":"Q687514$9A04C4DC-75E5-444B-A0C8-8E8F8CFBB462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7e3d966bf2126cb32be202150d0f75c01650a45","datavalue":{"value":"W1972468051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$F8ADCC7F-A17F-4C0C-AF7E-F7DED4EE116B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2947b7fb0e5fa7686b845896769d1d557aac8d5b","datavalue":{"value":"Q123295693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$091F0E41-3139-4A51-AAB2-FFA3914EA8C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abcdaa552005dc41dbc0c4f8f98a9197f3f25218","datavalue":{"value":"10.1006/JNTH.1993.1043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687514$B5D577BB-3F3D-4832-A9ED-1606F4411A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d36d23adfc50b2e6d078cfad7e9d90fb6e3ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":2642769,"id":"Q2642769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68891fc03592d66c7e689cbe9224b926794dde3","datavalue":{"value":{"amount":"+0.806121289730072","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":"Q687514$236FF447-651B-4EFA-9B1E-ACE3246E3267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d37903ae34d7dc3c9446f98006df4e3815d3a7","datavalue":{"value":{"entity-type":"item","numeric-id":1803891,"id":"Q1803891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2350cc2dc134e37edcaf949ee74d29b76f4b03","datavalue":{"value":{"amount":"+0.7975394129753113","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":"Q687514$FFFFE4D8-2518-4319-9D00-35C2508FF051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68a67a2a4b7158c9f67798303b72d61a2f9b393","datavalue":{"value":{"entity-type":"item","numeric-id":4703799,"id":"Q4703799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19aa8d53f47d7ccc580b196d43f23ec4cc308d4f","datavalue":{"value":{"amount":"+0.7957224249839783","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":"Q687514$46FEBF6E-43F6-4FD3-8846-28B23A70C00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a352c81fd3b8d090a243a4da63ff4b2b03bfa95c","datavalue":{"value":{"entity-type":"item","numeric-id":1827520,"id":"Q1827520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4066cffb9284f581e2d89f8811c3ef4bfedccc55","datavalue":{"value":{"amount":"+0.7924872040748596","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":"Q687514$08A6F9DB-203C-4C0B-A300-20D2C3B63837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea26d725780b78f55ab07467cf08466512987f5","datavalue":{"value":{"entity-type":"item","numeric-id":2717636,"id":"Q2717636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6054901c5d9495f6a9838cb05f1d13cf264474d1","datavalue":{"value":{"amount":"+0.7924309968948364","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":"Q687514$B7C1ECC3-7CC4-45A7-AA80-06C58715BAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of a conjecture of E. Thomas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_a_conjecture_of_E._Thomas"}}}}}