{"entities":{"Q708215":{"pageid":710064,"ns":120,"title":"Item:Q708215","lastrevid":63785850,"modified":"2026-04-11T15:31:54Z","type":"item","id":"Q708215","labels":{"en":{"language":"en","value":"The continuous Skolem-Pisot problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798134"}},"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":"Q708215$BEF92DE2-DC83-4556-8247-8E7E7DF8CBFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83f0e6f29085a27bcd719b20dd8345e6f1fb98d1","datavalue":{"value":{"text":"The continuous Skolem-Pisot problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q708215$1D94EAFB-7333-4316-A2EB-B155E219D4BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1128e425c84d7992d00b0a86e08be6db4efe9924","datavalue":{"value":"1215.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$35112846-B416-4479-9F4E-38F1315F0B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd3aa37f0aad5e3a5d6900e36d109847de081836","datavalue":{"value":{"entity-type":"item","numeric-id":338383,"id":"Q338383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$4E79F167-E0BE-4CCE-8434-3CC9C2FB4A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2101917ea80305e19a25ab133a4209e94e60fab","datavalue":{"value":{"entity-type":"item","numeric-id":325050,"id":"Q325050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$DF4B1B8D-B42C-41B7-867A-12424C78E9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37fe909d218d000ed0433a05f2802cb3982e873e","datavalue":{"value":{"entity-type":"item","numeric-id":286066,"id":"Q286066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$C6366311-20A4-484B-9863-FF063D6E377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df47a7a6e87254ef283de47de7289b49d53036b","datavalue":{"value":{"entity-type":"item","numeric-id":162832,"id":"Q162832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$D983AAF0-0C41-465A-B8E3-E094F3C172C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$8421E1E3-5377-4C61-8BDE-256748210D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f64b28384ad68ec83e16fec2c0efbccc5663b19","datavalue":{"value":{"time":"+2010-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q708215$D26BFE5B-2E00-42C0-9DD0-339916060ABB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"260667ed81ea2321117fa3eabd3483e9b5266442","datavalue":{"value":"The authors consider a dynamical system with the updating trajectory \\(\\frac{dx(t)}{dt}=Ax(t)\\), where \\(A\\in {\\mathbb R}^{n\\times n}\\) and the initial point \\(x(0)\\in {\\mathbb R}^n\\) are given with entries being algebraic numbers. They are interested in determining whether this trajectory ever reaches a given hyperplane, thus the problem is equivalent to determining whether there exists \\(t\\in {\\mathbb R}_{\\geq 0}\\) such that \\(c^T\\exp(At)x(0)=0\\), where \\(c\\in {\\mathbb R}^n\\) defines the hyperplane (the entries of \\(c\\) are algebraic numbers, too.) This is the continuous Skolem-Pisot problem. The authors show that for instances of size two or less this problem is decidable. The decidability in general is left open. Determining if \\(c^T\\exp(At)x(0)=0\\) reaches zero is computationally equivalent to determining whether a given real-valued exponential polynomial \\(f(z)=\\sum_{j=1}^m P_j(z)\\exp(\\theta_j z)\\), where each \\(P_j\\) is a polynomial, ever reaches zero for a positive real value. This is also equivalent to determining whether the solution \\(y(t)\\) of an ordinary differential equation \\(y^{(k)}+a_{k-1}y^{(k-1)}+\\dots+a_0y=0\\) with given initial conditions \\(y^{(k-1)}(0),y^{(k-2)}(0),\\dots,y(0)\\) ever reaches zero. The authors also show that it is NP-hard to decide if a given linear recurrent sequence is nonnegative.","type":"string"},"datatype":"string"},"type":"statement","id":"Q708215$14477B2A-23C0-463A-8551-427A1C481F77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"673232f43112473145a334497c1a94b085310abc","datavalue":{"value":{"entity-type":"item","numeric-id":290031,"id":"Q290031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$7833C682-97CA-44E2-890A-F2E8F8A3F377","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$23290F2B-3B35-4A47-BD32-D5F4483569B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$D889A8FE-8F48-4DC6-871D-69DE56ECA232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$628C5FEF-00D6-420E-AB48-416271965F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a32b18bd4615d3c40286ef6e7c45591eb366d52a","datavalue":{"value":"37P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$1346CC1D-D571-4EF6-8D9D-248CBA2E1CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2b9968d9c999ab83ead1a20537a4d735ddc37d","datavalue":{"value":"5798134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$63A7AF01-D480-4919-98A3-5694E3F5DE91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7238484a8cfae46c5061438d7541c1ac7e4966","datavalue":{"value":"Skolem-Pisot problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q708215$8354B785-16A1-4877-88CB-E2230D69D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3fabe46e12ffa6d3a99402431cccd0d00c3891","datavalue":{"value":"exponential polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q708215$817C60F2-4544-4137-A9EE-8B589C07398B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81385bfbaee202e4af8875ce3884fcc00df11b94","datavalue":{"value":"continuous time dynamical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q708215$CF9B8D76-18C6-47E7-B0AD-A6CBAB33328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q708215$6D717679-F779-4D75-81CC-8066D88C4201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q708215$0059FFAE-FF10-401B-904C-0388F581629C","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":"Q708215$88B6139F-C740-45DB-8A8F-CD4FAA1AA27A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61001bbd6624c3bc554304b8b5f25e11d9cbd925","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q708215$E1027BB3-F6EF-4A42-B2F0-80E58D2A00E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c398ebb56b80080575c985d871b0364605eee07","datavalue":{"value":"W2010180140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$CC1995BD-EE6B-488F-8660-561F724369B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41c3bfdfac25ebd62a8834b1045334e667d8cba","datavalue":{"value":{"entity-type":"item","numeric-id":5545637,"id":"Q5545637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$C322F5D0-D6C2-469C-8670-5C6D813B5911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661438afabfc55e25d2d4bf6b19e2486427094","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$F90985D4-2E99-4F79-B910-8B57E8B97FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc6242df5bd050e3a1fe6ce4e51cea19b371c04","datavalue":{"value":{"entity-type":"item","numeric-id":4094921,"id":"Q4094921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$B2243139-F893-4F17-AC4B-F12B0646C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebb3869a651f68b24a932c14d1c52f4cee80ba5","datavalue":{"value":{"entity-type":"item","numeric-id":1611897,"id":"Q1611897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$1C6310AF-D4EC-4740-AD3A-7773A77EAAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a0d4c7d4224b68e919945a32f9fee4f6b1e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":5926262,"id":"Q5926262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$D71B2E23-E72B-400D-8598-9FA923E1966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3f0016946dec9533950483f8454ab434927826","datavalue":{"value":{"entity-type":"item","numeric-id":3241280,"id":"Q3241280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$59728B10-7F78-448B-B227-2425EBC9350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$575C3B8E-5472-4B6B-B379-94E98E846A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$B185E84D-5E89-473A-A428-32D15848EDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003f5b5f562275c29778de5aea06699f83d8bc31","datavalue":{"value":{"entity-type":"item","numeric-id":3507439,"id":"Q3507439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$E4F0ADFB-E68C-44C9-BCC4-7798A171067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2914d182cce5468019209f92dc50cbaef5def52","datavalue":{"value":{"entity-type":"item","numeric-id":2489940,"id":"Q2489940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$81FC7CEB-E8BA-4B7C-B7D5-C050092B5686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861990e601bd34182f49465486aeadce4587f334","datavalue":{"value":{"entity-type":"item","numeric-id":2641877,"id":"Q2641877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$F1A5B4FE-C585-40A0-8CA8-77A7884A3326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790789d2e4997fdeecae294564cac304b0e9ca15","datavalue":{"value":{"entity-type":"item","numeric-id":5838801,"id":"Q5838801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$9A345987-BF8D-41E2-95B3-AF3A90FBD8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4719fb59209121c58d2497b93ce038b91f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3462041,"id":"Q3462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$9063AA2C-6C7D-46D9-BAF6-06CA6BBCA975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65b703ce61efe0734e12125fb7c5171f69435bd","datavalue":{"value":{"entity-type":"item","numeric-id":2651127,"id":"Q2651127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$63F4CBA4-AEF5-46EE-AD85-EFD9563413F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57a2f3552bc5f32a9da0ca3c48ca4e51adc0830","datavalue":{"value":{"entity-type":"item","numeric-id":5685393,"id":"Q5685393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$7497E82E-53FA-4FD9-97AC-8A799D074835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df7c1770cb645539289d0f3c4e9dcad49ffbf88","datavalue":{"value":{"entity-type":"item","numeric-id":3667357,"id":"Q3667357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$6F65A8B5-3644-4828-8173-ACED820F08E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d176e95e889b6d30e0ae80e6f79be3cdff1a0a","datavalue":{"value":{"entity-type":"item","numeric-id":4079877,"id":"Q4079877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$E796E138-F5FF-41C6-AF50-3BD836CF47E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c483571b84b9b594916a262ee03f791590d87bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1077447,"id":"Q1077447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$2EB0C26C-AC60-4DA0-90D9-67ACFEBE5ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5104aae4ef5e7f5234a97cbd18d338f69974fd5","datavalue":{"value":{"entity-type":"item","numeric-id":2557659,"id":"Q2557659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708215$2B4215B3-404C-468D-ADE5-445D15C48F85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59f64ce3cab1d29e960026e438dd2b322d0af028","datavalue":{"value":"10.1016/J.TCS.2010.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708215$9CB1396F-6095-4F7D-8C36-B0CCCC16C7AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4417c64cfd4fbcb193f16b93b4accee9250344ef","datavalue":{"value":{"entity-type":"item","numeric-id":4598241,"id":"Q4598241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86a42e40482fd9069e3be07a1eccce5c8936c6e","datavalue":{"value":{"amount":"+0.8296199440956116","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":"Q708215$FF7B7AF1-B9BA-4C2F-AE65-023690EF1927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630cfca548fff1b771ca6d8cc4cd3fae33513114","datavalue":{"value":{"entity-type":"item","numeric-id":5111295,"id":"Q5111295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7bf8bc0a8de1a640ba7034538133400d29d9e5","datavalue":{"value":{"amount":"+0.8215749859809875","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":"Q708215$7E27B2B9-68BF-4E5A-8164-8D01A27624F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9108e18af4ce31cbc5238c4e4b013b70afbad3","datavalue":{"value":{"entity-type":"item","numeric-id":4899140,"id":"Q4899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59de5843ff6c671a8d8b0e80b548d92ac18c514","datavalue":{"value":{"amount":"+0.8061926364898682","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":"Q708215$03AA3185-C16C-4C5E-AD8C-136FEAB57F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3215aa0c91ad947964b9be854651a670a72ada","datavalue":{"value":{"entity-type":"item","numeric-id":1611897,"id":"Q1611897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d738d74de2b87632cff4d1e199bc3adf41763022","datavalue":{"value":{"amount":"+0.7869590520858765","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":"Q708215$379FAC39-4194-42F1-BD59-6CEF95929C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90aa458213c91c4257fd608bf68d0b1b4f711100","datavalue":{"value":{"entity-type":"item","numeric-id":4635910,"id":"Q4635910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67263b4cd847db0ad58cef32ac7db6848fd27cd2","datavalue":{"value":{"amount":"+0.7664331197738647","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":"Q708215$7C933525-84DD-4F93-A492-0224679AB47C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The continuous Skolem-Pisot problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_continuous_Skolem-Pisot_problem"}}}}}