{"entities":{"Q1385203":{"pageid":1395943,"ns":120,"title":"Item:Q1385203","lastrevid":71030979,"modified":"2026-04-13T19:01:53Z","type":"item","id":"Q1385203","labels":{"en":{"language":"en","value":"Padua and Pisa are exponentially far apart"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1146208"}},"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":"Q1385203$0F38BD8C-1B71-403D-8443-8D861F7E88F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b74fd3451504e757ac147cdbddeebaa7cfb1ee6","datavalue":{"value":{"text":"Padua and Pisa are exponentially far apart","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1385203$883C4FB0-347A-4614-B738-0F783038DC5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"641cca302087ae4dc04de70c34855b521d0a8fca","datavalue":{"value":"0899.11004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385203$728CB98B-FB68-496D-9258-1F0DFA6F57DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de9851ba09cee0bf80cb2bf6a2aba1b8595788b8","datavalue":{"value":"10.5565/PUBLMAT_41297_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385203$80C135D9-2A2A-4473-A98A-80DA92848E0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c0775ee848228a9a00c7553e26f84c444cc508","datavalue":{"value":{"entity-type":"item","numeric-id":1355096,"id":"Q1355096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1385203$142227AD-AA6C-4483-AB75-115384A0DA52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed4f513c94031f8bf32d9d524c1126dddff8b76b","datavalue":{"value":{"entity-type":"item","numeric-id":195374,"id":"Q195374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1385203$94CCFA9C-8A78-416D-B8E5-005965B202C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da5ec653cd76b79075d7eca2361024c9b561613","datavalue":{"value":{"time":"+1998-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1385203$4FCA9E01-A703-4A26-99AC-21E49092CB7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db343b741f815401bd9b4334acfe208430937e3f","datavalue":{"value":"https://eudml.org/doc/41299","type":"string"},"datatype":"url"},"type":"statement","id":"Q1385203$DF93D72F-B168-47AA-81CC-7FCC00436476","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"831ea84a7ce55bc3bec724b983cf7e9812993a5d","datavalue":{"value":"The sequence of Fibonacci (or Leonardo of Pisa) numbers is given by \\(F_0=0\\), \\(F_1=1\\) and \\(F_{n+1}=F_n+F_{n-1}\\) for \\(n\\geq 1\\). The Padovan numbers (named after Richard Padovan) are defined by \\(P_0=1, P_1=0, P_2=0\\) and the ternary recurrence \\(P_{n+1}=P_{n-1}+P_{n-2}\\) for \\(n\\geq 2\\). Using lower bounds for linear forms in three logarithms, due to Baker-W\u00fcstholz and Voutier, the author shows that if \\(F_n\\not= P_m\\), then  \\[ | P_m-F_n| \\geq P_m\\cdot m^{-c} \\]  with some explicit constant \\(c\\), which amounts to saying that Pisa and Padua are exponentially far apart. Using a computational technique introduced by \\textit{A. Baker} and \\textit{H. Davenport} [Q. J. Math., Oxf. (2) 20, 129-137 (1969; Zbl 0177.06802)], the author shows that if \\(| P_m-F_n| \\leq P_m^{1/2}\\), then \\(m\\leq 29\\) and \\(n\\leq 15\\). The author also obtains some other results on Fibonacci and Padovan numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$35702EAF-E797-4E54-BACE-22E695221BDE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"814d841b755c5d45a363377f763e212a3bff6b1a","datavalue":{"value":{"entity-type":"item","numeric-id":587177,"id":"Q587177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1385203$9BF85F28-EBDB-423C-B83F-FA0CEACD399B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385203$02060B39-3CF3-420F-9AFB-42A6E792E68C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186fd3f5e2529d6a35dbc288cd79ddb912bc778a","datavalue":{"value":"1146208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385203$45062341-B942-4D91-BE60-64185831ACF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f919daf07d32d8cf0a19b0a8f56c9fda2fe44dcf","datavalue":{"value":"Fibonacci numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$C2BF4001-6016-42C0-9F2E-A6E8627ED272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$A8F50AD4-857D-4C62-8379-34AD2B980878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1604e6c99d04a1f08c378cbe80d117ebe024ec9","datavalue":{"value":"computational diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$12504F5E-DC16-4F23-B357-2A57B7C0CD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19530fef4bbbe00dcc9868844781b67b494ddd4e","datavalue":{"value":"Leonardo of Pisa numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$BB20ACB5-AA20-446C-9080-D22AABE720EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62ac60ef2d3b06df85008776aed26bdb79e6cf1","datavalue":{"value":"Padovan numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$15880290-3B28-4EAA-A84C-A7D553C63D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d3a07d632cc636532e0d087c5278cc864059809","datavalue":{"value":"ternary recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385203$F9565A29-145F-49F6-BBD4-99437F76C6EA","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":"Q1385203$0756F1EC-2734-4A88-AE6B-74D12A4040A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab465c58439b86997c439d5d848f2ba427975cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5217957,"id":"Q5217957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d5b277301d68f0ecc8950f3dac165dafd11eed","datavalue":{"value":{"amount":"+0.8081032633781433","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":"Q1385203$5D43F4F5-334D-4B89-BA4A-48A2820D552A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d932ab30c99e8e57f6f4a6d78a21a66a77124b50","datavalue":{"value":{"entity-type":"item","numeric-id":2115643,"id":"Q2115643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14945a275bb2c64ffc0a6d6085cf398222a760bc","datavalue":{"value":{"amount":"+0.7974339127540588","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":"Q1385203$0E759B73-2979-4D66-96FB-CAB41C1E76D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103199c6fe66cff0bf53c2e99e4c2345dfaccb3b","datavalue":{"value":{"entity-type":"item","numeric-id":5113815,"id":"Q5113815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c7c5def51eebcdb5099e4eef353b33ae75c0cd","datavalue":{"value":{"amount":"+0.7700620889663696","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":"Q1385203$4740DD49-A3D7-428E-8C0A-0B300A226E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2448bef858d6fa7f36ff1833543a7ba4d0a39704","datavalue":{"value":{"entity-type":"item","numeric-id":5244457,"id":"Q5244457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6f7d4ac6ff200ab415280b8336e499c4fef513","datavalue":{"value":{"amount":"+0.7582792639732361","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":"Q1385203$72105D0F-4B47-4135-A162-3CA62ED1025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69402f84970d9f8651e1100288020a81ad2fe6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5235084,"id":"Q5235084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7f3eecbb2d55228f0a7ebb049058c883818706","datavalue":{"value":{"amount":"+0.7545591592788696","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":"Q1385203$8013C798-7993-4764-97E6-F09E3F90F1B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Padua and Pisa are exponentially far apart","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Padua_and_Pisa_are_exponentially_far_apart"}}}}}