{"entities":{"Q5929069":{"pageid":8105871,"ns":120,"title":"Item:Q5929069","lastrevid":47599555,"modified":"2026-01-02T04:40:11Z","type":"item","id":"Q5929069","labels":{"en":{"language":"en","value":"Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588079"}},"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":"Q5929069$3B3A5E26-0677-4201-80C3-2C3D12D121A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"237f32be6fcc20722d13a4b5e93554ee4fb09389","datavalue":{"value":{"text":"Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5929069$B99E894D-C4EB-41C3-8E2E-547CAD3E8040","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"639a0659d09383a649d03f56c51c6599d95635f9","datavalue":{"value":"0979.37015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$12C92CE8-1931-4840-9E46-2C66FB3933CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7724cae1f79674bf09998a914c9718886fe5b97f","datavalue":{"value":{"entity-type":"item","numeric-id":169823,"id":"Q169823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$4D8629C2-104B-4A60-967D-24FE66843A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da8cbe7954f149a17b2a6d6ddf5357b4de91c18d","datavalue":{"value":{"entity-type":"item","numeric-id":169824,"id":"Q169824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$2136D03B-3011-4649-9E9A-55CE92D8441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2bf267226ac90831071322f176a14256db73d6f","datavalue":{"value":{"entity-type":"item","numeric-id":169825,"id":"Q169825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$97B657AC-68D1-457B-889B-3327142E67B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dbc27535bfcb4e299a598bcfdfab0633ac07a0ef","datavalue":{"value":{"entity-type":"item","numeric-id":169790,"id":"Q169790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$935EBE02-1FA1-45E3-8B0A-600276F39322","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763e2fac54cd7102c0b681a36ae0f081948e4e0f","datavalue":{"value":{"time":"+2001-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5929069$35593C7C-95AE-469B-9677-764577645C06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d18feaf68f47d1b8eb40054d10e95e21e268d76a","datavalue":{"value":"A technique of obtaining computer assisted proofs of existence of chaotic dynamics is developed in the paper. It is based on rigorous estimates of error bounds arising in computer calculation of Poincar\u00e9 maps, representing the errors as multivalued maps, and application of the theory of isolated invariant sets of multivalued discrete-time dynamical systems. The technique is an improvement of the one from the previous papers in the series [part I in Bull. Am. Math. Soc., New Ser. 32, No. 1, 66-72 (1995; Zbl 0820.58042), and part II in Math. Comput. 67, No. 223, 1023-1046 (1998; Zbl 0913.58038)]. In the present paper it is applied to the Lorenz system \\(\\dot x=\\sigma(y-x)\\), \\(\\dot y=Rx-y-xz\\), \\(\\dot z=xy-bz\\) for parameter values \\((\\sigma,R,b)\\in \\{(10,28,8/3),(10,60,8/3),(10,54,45)\\}\\). For those parameters the existence of semiconjugacy of restrictions of the Poincar\u00e9 maps over the section \\(\\{x,y,z)\\colon z=R-1\\}\\) to some subshifts of finite type is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929069$4AD196C8-20FE-454C-A7DF-120E71EBEA11","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b706e4e13695e66c941fba07ba804ecbd22ae816","datavalue":{"value":{"entity-type":"item","numeric-id":395448,"id":"Q395448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$110C4DA1-E001-4712-9C70-72093DA3EFB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b7ccfaf6d3442c68f28a69cd1caf5370aa1c3ea","datavalue":{"value":"37D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$25FDAECE-6EC6-4532-A396-E1EC2CA0B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$997FAE66-223A-46B3-A226-052BF86668FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e0359c46dc68d1f105b14e57b004bde41f88b646","datavalue":{"value":"37B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$5C617E71-2B71-410C-BC53-9EEA0AB4B404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ddfb12deda3f6c88e3bb7a40285845e5786fa13","datavalue":{"value":"54C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$6C14BF30-B3EC-45FE-846C-B2C1D94656F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1176ef9b8b04e78ba0d319b9004ab77984480ff","datavalue":{"value":"65L70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$5C590ABC-86F0-4DAE-BE3A-D129A12C6757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1374ae47342c589ce5611917d96ce512fefa416","datavalue":{"value":"1588079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$B1931E0A-B5E0-4547-AF3A-FD0D9CBF69A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1051f3275efd9dd70f1a974ee0d3cb95be2f5820","datavalue":{"value":"chaos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929069$EE722FB7-A16D-4C84-AB02-6F86B07666B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9522b800e44e7d78184cbcab78547b220097b0","datavalue":{"value":"Lorenz equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929069$180CC5C9-1A1A-442B-ACA8-6A7DF476C1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ac257cbc6e5014d100c23430df78b308d74b86","datavalue":{"value":"subshift of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929069$77547C99-B6B6-45FD-A672-331EEEE7F26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d321ce8d25f5082569e8e07925d33f59f03a490","datavalue":{"value":"representable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929069$92C738E8-3CF8-41CE-9DDE-A24B7DFD848B","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":"Q5929069$816632D0-5D8A-4D27-9674-AD6FED9D41BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81ccbbb1231b5520a63ffe7ca62b31efda00012d","datavalue":{"value":"https://doi.org/10.1006/jdeq.2000.3894","type":"string"},"datatype":"url"},"type":"statement","id":"Q5929069$4F5FB18F-37DD-4CDA-AE3D-E69BFAEE72C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0fec979c483aa529ca3097e9452d16a30860eba","datavalue":{"value":"W2037957235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$35ECC06C-80EF-4B0B-86BC-C97D31F7DB1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e782eefd4c12957ce6cbbb6b00973c16950111d","datavalue":{"value":{"entity-type":"item","numeric-id":4942880,"id":"Q4942880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$31E0FF50-CEBA-4D0B-9BF7-3665B6C2D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81274861905f2582b5abc34dfab69d38b98ec97f","datavalue":{"value":{"entity-type":"item","numeric-id":672249,"id":"Q672249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$DA0D5655-B0CF-4FCF-9F3D-B94B94183368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951d8184935f78abdca01b336dc63affa21bf98f","datavalue":{"value":{"entity-type":"item","numeric-id":1129483,"id":"Q1129483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$F0AABD2B-7AE4-44C7-B865-5190ED6FE26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ed3d053064ed106a3bdff34ec42f6ab10a3ffa","datavalue":{"value":{"entity-type":"item","numeric-id":4320743,"id":"Q4320743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$BEE9317E-8207-4F18-8292-42AA58D8752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e9507ef1b0bc869f4ab01d57cc38dc925ce0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4396448,"id":"Q4396448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$9C4E3248-DC7D-42CB-88DE-20D61B29C4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0322d7878da051b54b303a2b32344eb9ee365171","datavalue":{"value":{"entity-type":"item","numeric-id":4204850,"id":"Q4204850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$82B64DC3-A459-460C-A343-EB9AC7292D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efeb0bf8b8429af9b71997fb443f62fc6243bd","datavalue":{"value":{"entity-type":"item","numeric-id":3827224,"id":"Q3827224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$0AE72FAF-81EA-4576-A600-0E6F8BAC8607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfc9954f3408d57caa053d60607902fa39248fe","datavalue":{"value":{"entity-type":"item","numeric-id":4731874,"id":"Q4731874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$6CF60A89-6A1D-43B1-A69E-BCE9A80BF012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b577a5ad520b7e73cb32be324a751e863dbbfbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5522742,"id":"Q5522742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$A191AC0A-5962-4F79-B890-C2D9D313A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54fc0784eba7aef12faf6f8d7beb3d0cd866f47","datavalue":{"value":{"entity-type":"item","numeric-id":1836202,"id":"Q1836202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$9AF27A41-AD92-46C6-9FBC-C501E206328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d079af39f7a4099e5e71e7fb46a4df568e97426","datavalue":{"value":{"entity-type":"item","numeric-id":4361926,"id":"Q4361926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$90DBC6CC-BD25-46FD-8A0F-A945C49DC2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693354c529280466c720f35f80b0dc4819161ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4851859,"id":"Q4851859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$D8FB14D3-76D0-4E12-9E5C-8B36260AA802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e791a67000a359c578efbb488ac15e16a6b80b9","datavalue":{"value":{"entity-type":"item","numeric-id":4260037,"id":"Q4260037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929069$693DA287-F1BF-41AC-9B2B-348A174C2274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f3e8dd46b60349c1d46e1544b8931be11fd4069","datavalue":{"value":"10.1006/JDEQ.2000.3894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929069$6AC8F3EF-5228-4A2C-B670-ED4565083F53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f254ad591b36d35f499fdc665efd498f57a92f","datavalue":{"value":{"entity-type":"item","numeric-id":4536844,"id":"Q4536844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13279c79e9c434a21ec661d14cbae9f7c7665f22","datavalue":{"value":{"amount":"+0.9067588448524476","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":"Q5929069$C6E6AF7B-183C-4CFE-8F7D-115FD852A15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ecc0a8192494aaadaccfcfc743c965792a4fb6","datavalue":{"value":{"entity-type":"item","numeric-id":4885381,"id":"Q4885381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13279c79e9c434a21ec661d14cbae9f7c7665f22","datavalue":{"value":{"amount":"+0.9067588448524476","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":"Q5929069$5DDA2D25-2C44-49E9-B393-593318228C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b7c7c6865030b22a50c9db1558cc9791f351b4","datavalue":{"value":{"entity-type":"item","numeric-id":4396448,"id":"Q4396448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d55e8dcd6d3408b75837914f7ead6c5e09a10f","datavalue":{"value":{"amount":"+0.8869198560714722","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":"Q5929069$9FB1C7C5-4E73-4007-8C12-E046BC93B18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86ba124723bb419c440b96e573c5697847bbb38","datavalue":{"value":{"entity-type":"item","numeric-id":1963439,"id":"Q1963439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f494843c7bf714a58375508d8e74d630a92795","datavalue":{"value":{"amount":"+0.8752658367156982","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":"Q5929069$096745B4-1A04-417D-9E8B-3ABA640F9E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62fade33911865f8396067ca49c49721cb06214","datavalue":{"value":{"entity-type":"item","numeric-id":4320743,"id":"Q4320743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32721fcd39d06d6f54318b24fd8b1d7ed0f49169","datavalue":{"value":{"amount":"+0.8426036238670349","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":"Q5929069$75BAD816-8A83-497A-A329-2118C0C1A368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5929069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5929069"}}}}}