{"entities":{"Q632360":{"pageid":634208,"ns":120,"title":"Item:Q632360","lastrevid":42613928,"modified":"2025-07-04T15:45:14Z","type":"item","id":"Q632360","labels":{"en":{"language":"en","value":"Computational hyperbolicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5866081"}},"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":"Q632360$CC56516C-6B68-4F0E-9A2C-8CDF2FEF888E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44e2714de4992b03a06d2da2ea3d2891dc6cc198","datavalue":{"value":{"text":"Computational hyperbolicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q632360$D4220CD6-9C81-4FE7-AAB0-AD51786A1AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb13a4cd14dff2987130a5711231f6c0bcc1a78c","datavalue":{"value":"1214.37026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$3DE96D0C-3806-4FF0-AF12-C1C9CDC0EF30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2aa0ada11ff2f6483dcc956ed51d30fd4b6f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":241609,"id":"Q241609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632360$A87048EE-6AF5-40CA-A0B1-7B7FFC7E7D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"572eb6eea98bdc1f930b5e596512fb3fa38d0fc4","datavalue":{"value":{"entity-type":"item","numeric-id":275344,"id":"Q275344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632360$4892DDF7-7D45-48FE-A6EC-CA4B59B80B2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12360f81ee541e586ca46b53d6a0b87af7080802","datavalue":{"value":{"entity-type":"item","numeric-id":187060,"id":"Q187060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632360$2CD9D45D-B4FB-400D-B8B6-98DAC784AA67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20a3fd8631e7e1ecb89e57b7989bf12d8e312b72","datavalue":{"value":{"time":"+2011-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q632360$3419999E-B8A2-4F17-840C-5F1442B45B26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cdbe84c00130d22c63cbf7e86c20f432b0123d9","datavalue":{"value":"Nowadays, computers are quite often used for proving theorems whose direct analytic verification is not possible. The paper under review deals with the problem of computer assisted proof of hyperbolicity of a given set using a concept of semihyperbolicity. Taking into account that semihyperbolicity does not require the splitting of the space to be invariant, it can be directly and relatively easily verified through a direct numerical computation. For example, the authors prove hyperbolicity of the celebrated H\u00e9non attractor associated with the H\u00e9non map of the real plane into itself,  \\[  H_{a,b}:(x,y) \\mapsto(a-x^{2}+by,x) ,  \\]  for \\(a=5.4\\) and \\(b=-1\\) in less than 10 seconds on a 2 GHz personal computer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q632360$C1D8CBF6-9A0D-47D8-A6A5-32583E91829A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d6ac9051308bbd3595c7d7428d1c3c739f92d3b","datavalue":{"value":"37D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$46773946-E8BF-440F-828C-45B1213DD7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$8567EF4A-85D9-4A57-B50B-D484AA1D76D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718ea413540edf26d0720eff972b1f11f8d91369","datavalue":{"value":"5866081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$C98701AF-A3AD-400E-B650-2A9D2A98E8B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q632360$1527944F-4E72-4A89-BFFF-943618519E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad289a4fec05cfb5c8a9de9f0ef7542cfd82e99","datavalue":{"value":"hyperbolicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q632360$C07A01CD-D00F-4D94-ADFF-1D3CC6214CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109c4221e7144572a3068b441e19092443735f31","datavalue":{"value":"computer assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q632360$2452CC95-5864-433E-AA02-26D50959DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d41ccefbf971dec8e351c8571372e0d81022897","datavalue":{"value":"semihyperbolicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q632360$4EEF50F7-75F4-4A8C-892F-DACFE5A55423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ee000c6b928827581598866eb494b5898f6b59","datavalue":{"value":"H\u00e9non attractor","type":"string"},"datatype":"string"},"type":"statement","id":"Q632360$27138178-4CAF-4BC0-BE37-0E976A9BC2C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af9e08368bc3f15f4dce3f71648be8f005d1151c","datavalue":{"value":{"entity-type":"item","numeric-id":590369,"id":"Q590369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632360$F67AF9B9-23CE-4A79-BB10-DF251245AD88","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":"Q632360$48D5EBDC-61FC-435B-B411-6E9F2EE2FFD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c18aa3ebad85aeaa2990aa5e9f0b2d65c6fe69c","datavalue":{"value":"https://doi.org/10.3934/dcds.2011.29.1175","type":"string"},"datatype":"url"},"type":"statement","id":"Q632360$D24D44F9-97CA-4950-B864-980BCB69D7FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e72cc1d5a24d0da5ef5717288e0d1e13aae20570","datavalue":{"value":"W4250404695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$DB1875BC-904C-4EB9-98CF-3E96D804E918","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0389055c7616f5a8c733b7324338ea0bd21e19f","datavalue":{"value":"Q112226034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$6EC23E85-7F65-49F9-8903-9F6772B88830","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfab68d96bbeeaa9a3ffa2531da77a67a28ab621","datavalue":{"value":"10.3934/DCDS.2011.29.1175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632360$D9ADF388-A41C-419E-BBF7-EA48F0EF51F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f582ce0462aef68228e5137ff2a6e308469e930b","datavalue":{"value":{"entity-type":"item","numeric-id":4708585,"id":"Q4708585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b53383c65ce845c2a12b471e49cb530541e178f","datavalue":{"value":{"amount":"+0.9092617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$30B7109A-92E5-4BD7-AD0F-BEDB42DF501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cf285a75291c2380d79aa306a7ffc3d67c7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2429111,"id":"Q2429111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f541478df8093f932d0ca6eb7f313c5516a1074f","datavalue":{"value":{"amount":"+0.9058821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$32A03E25-B643-4BAC-9FCE-30C03D84AFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82657671f8edd1780858f2802c23f43965a2a9a","datavalue":{"value":{"entity-type":"item","numeric-id":886992,"id":"Q886992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229b6947496d49319ba6dc98e655f626b3c2d07a","datavalue":{"value":{"amount":"+0.8952057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$CD567DA5-83CB-4938-AA48-885A630E8480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661c923478798c7e087000d1c6725ce4fa67244d","datavalue":{"value":{"entity-type":"item","numeric-id":2520094,"id":"Q2520094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c0168d8682882dc048ee23049170bc003a9161","datavalue":{"value":{"amount":"+0.8903755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$6D95F5B4-4BA3-49DF-B38F-59155228E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5925775399691eb5dca50d9c5212c3b3458b234","datavalue":{"value":{"entity-type":"item","numeric-id":2018989,"id":"Q2018989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0a4aa223d401206e24d94d635c7e0c447badee","datavalue":{"value":{"amount":"+0.881963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$A3407071-99FA-430A-8345-A5B69E13ED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6f4358aba89a4a93470f5fca3a5f6ba6bb6057","datavalue":{"value":{"entity-type":"item","numeric-id":4445023,"id":"Q4445023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2338d80ba38f22a9c9fa2dd0710c8f649167449f","datavalue":{"value":{"amount":"+0.8784212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$F46B17C4-BEC9-4A41-A5DC-9AAA401D131E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0944431167f77a0505a973a4000457e8ad1654da","datavalue":{"value":{"entity-type":"item","numeric-id":2017868,"id":"Q2017868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67f9acf079b5bb751ce8dd12e66983e5aaa645e","datavalue":{"value":{"amount":"+0.8759841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$AEB3EFB7-0FEC-4378-9B42-00703C846BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f29d6b772caf99081da86742c7dec6b3667961a","datavalue":{"value":{"entity-type":"item","numeric-id":3378443,"id":"Q3378443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9008df329ab257d0960849189d8064282b8a3368","datavalue":{"value":{"amount":"+0.87479126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$977559EB-B25B-4854-B26F-9C36001685AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bc354853207fc9d6a2066eae1535076f99b2f6","datavalue":{"value":{"entity-type":"item","numeric-id":3373884,"id":"Q3373884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1724458dfc905468bea602996ee76b5b6e4cf42b","datavalue":{"value":{"amount":"+0.87367034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$4A7B34D9-6857-4757-8F88-754CDD074D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecac873c9ee01b234494e707fefb820d793bc40","datavalue":{"value":{"entity-type":"item","numeric-id":5755423,"id":"Q5755423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d380b477b56ea44c743de67766935e9bc3a8258e","datavalue":{"value":{"amount":"+0.8731921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q632360$226D0C98-F6E7-40CC-ABD6-6FD310B826B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:632360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:632360"}}}}}