{"entities":{"Q5943100":{"pageid":8119902,"ns":120,"title":"Item:Q5943100","lastrevid":47665504,"modified":"2026-01-02T09:18:30Z","type":"item","id":"Q5943100","labels":{"en":{"language":"en","value":"The stability of saturated linear dynamical systems is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642244"}},"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":"Q5943100$2671C931-9A46-4471-ACB5-71B95B3397AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b88a7fd29b7c0241ab957cee2146a9e69f02087b","datavalue":{"value":{"text":"The stability of saturated linear dynamical systems is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5943100$1C3A77DE-B62F-4986-990F-EA8838DBF431","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a1305705b42ff97b524fa63bb60300383631518","datavalue":{"value":"0995.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$BEB68792-FF51-4ADB-9AA3-14B2B7B3A3E7","rank":"normal"}],"P16":[{"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":"Q5943100$71B6E788-138B-4484-A44B-1BC497B974E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e04ee4eab3243e25a00f127c76770922a42ae6eb","datavalue":{"value":{"entity-type":"item","numeric-id":306693,"id":"Q306693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$D517C457-CAA1-469C-A155-FB03A246B21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c6184dbf168c93692fa6f8742ab0b2d67a8b9b","datavalue":{"value":{"entity-type":"item","numeric-id":287066,"id":"Q287066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$F1E1845E-3435-40AB-A93F-6E4407C970BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d5fe570bd427f5c09bf9920260ff71ebaf3dbd","datavalue":{"value":{"entity-type":"item","numeric-id":290261,"id":"Q290261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$7E7B28FA-2334-4110-94A7-E36B66E34C9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$2E4D9180-5D9E-4E7B-884B-DE69A65BBCEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c99628f8dc3436d8641aa0726a190a4fe0d0bda","datavalue":{"value":{"time":"+2002-10-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":"Q5943100$7FECE45C-50E7-495D-91A4-19DDE6E9FFA6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91df4c4f68494ce8b78a7e951ceb831cf33488c2","datavalue":{"value":"This paper is devoted to the study of the following problem: given a discrete-time dynamical system of the form \\(x_{t+1}= f(x_t)\\), where \\(f:\\mathbb{R}^n\\to \\mathbb{R}^n\\) is a saturated linear function or, more generally, a continuous piecewise affine function, decide whether all trajectories converge to the origin. The authors prove that the global asymptotic stability of a saturated linear system is not decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943100$070984AA-3E9F-4DF8-899E-F3C3A304BC29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"43415aed4eadb1ed7be8d65680239f0454ad6b19","datavalue":{"value":{"entity-type":"item","numeric-id":379693,"id":"Q379693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$570D7A51-8E6C-423A-B461-DA8CA3326943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$0C999237-857C-46D3-8734-FADA83964562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae0a986d607d9b0c7df46eb597d9aa7ca19fc1f","datavalue":{"value":"93D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$D85346FF-6FE2-4288-A311-C6FA35B4304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$21E08FE7-7911-4882-BB21-06363A790908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ae7ce8bf706b25b4c34cae190d211ecad597aa5","datavalue":{"value":"1642244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$845F7A1B-C3F9-4C86-8002-0E31A689B4FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1abc03b4cac0b7255e14a72ec34c3f3ce03578de","datavalue":{"value":"discrete dynamical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943100$F024FE63-AFCD-4FFB-AF7A-C040FDD2DE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df55750dd9680ab63cc4da4859a7f4e062f31a73","datavalue":{"value":"saturated linear system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943100$5A5991EF-9F86-4B26-B83D-C53E90A9CF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943100$E0C04133-FD09-4C44-844D-35DF7FC59EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31ded46213adec0e35f9648acb90908108eaffc","datavalue":{"value":"global asymptotic stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943100$3C6AA3EB-48CC-4604-9350-E4A695AF7054","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":"Q5943100$CAF056E0-74A7-4B3B-A116-5ACFE9A738DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce4433c94ace98b8bf9c391cf3059a0fe4997af6","datavalue":{"value":"https://doi.org/10.1006/jcss.2000.1737","type":"string"},"datatype":"url"},"type":"statement","id":"Q5943100$A266F648-DC02-42A4-BDCF-4D7012AA0F9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efeb4752da6a65687ffd4172973b52616f79bd16","datavalue":{"value":"W2017888836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$D2DE75EF-9A95-4D6A-BE19-BEAD3C2A107E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$6E45A188-6BEE-4D24-A948-E3B4321B2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c513eee7e8e9d99927625689914a5a47854ef2cf","datavalue":{"value":{"entity-type":"item","numeric-id":1367528,"id":"Q1367528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$EA1D4795-8FD8-448C-8DB6-A93D2806E35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df927978a50c1e9a8d01343caf99eddeda832b0","datavalue":{"value":{"entity-type":"item","numeric-id":3996250,"id":"Q3996250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$74C0DEF8-F783-4EA0-BC95-7AFC3E75124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$F5A89694-2C4D-4D91-B9EF-A9DA95686036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9038852701f9ef09e166d7111bbf0050ba626051","datavalue":{"value":{"entity-type":"item","numeric-id":5941097,"id":"Q5941097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$B5E6B6E2-E7BF-4F95-B876-C4232FFFC0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f4439f030640cc3c00ffcd30d1dd0f00e41cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1301420,"id":"Q1301420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$D3400050-C21A-4FBB-90D8-5417B4BFEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55e720f132fd4c902b808dedd7653b3a0a31dec","datavalue":{"value":{"entity-type":"item","numeric-id":4227145,"id":"Q4227145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$A589E7F1-CD73-4C21-8FE7-5374464E9C1B","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":"Q5943100$68C497F1-9C08-4292-8D9A-5788E2117783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$6CED4DFE-E707-4442-8444-6332262380D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa5247f99497415b1ba48bcf4f36f62ac5ce1a5","datavalue":{"value":{"entity-type":"item","numeric-id":1349871,"id":"Q1349871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$83357FD0-0A49-40F8-A075-F26A32056BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ab53a33dde062a86685009ad9277d58997e51","datavalue":{"value":{"entity-type":"item","numeric-id":3363205,"id":"Q3363205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$C919E76F-554C-4A71-8CB7-06EBBEAFDB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$C4715C69-D436-403F-AE91-17B134AB5F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42317f55750900e19060b84bbe48865f9d2335fe","datavalue":{"value":{"entity-type":"item","numeric-id":5559248,"id":"Q5559248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$B5EF8822-E83C-419F-B51C-61D65F4DDDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$44D945D9-88F3-4E6D-BF25-0D47410594C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4335759e436f0cee6823717b6d92106d4fc576a8","datavalue":{"value":{"entity-type":"item","numeric-id":1334658,"id":"Q1334658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$AFA16171-FBD2-4EFF-8D5B-4C2E88BBF7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe6b7449fe36a2bb8409b2979915d8d31acc9631","datavalue":{"value":{"entity-type":"item","numeric-id":5201938,"id":"Q5201938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$FC46D17B-9952-4D6C-BF21-30D0AC3DDC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b262a1427865318ae3e5b53bbf8e05fb492addd7","datavalue":{"value":{"entity-type":"item","numeric-id":1331940,"id":"Q1331940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$2210D51B-3EE6-46F2-A5C6-745EF6AE98BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f0191050fb47036ccad74d6c154893c19bd05c","datavalue":{"value":{"entity-type":"item","numeric-id":1892212,"id":"Q1892212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$C4482F86-0F52-4D27-8C47-60B8862FB315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c9b596284caf61595293203cffd7512376458","datavalue":{"value":{"entity-type":"item","numeric-id":3674472,"id":"Q3674472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$98F581B6-3A8C-494F-85FF-9B6CAB8C4234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55751d39474f8b9d5110f063d1a573ceab3ef960","datavalue":{"value":{"entity-type":"item","numeric-id":4400449,"id":"Q4400449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943100$5C7E0E65-0844-48FE-9863-C2C098AB893F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60e500c76cf8f4ea94cfd349c5cbfdf49735b53","datavalue":{"value":"10.1006/JCSS.2000.1737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943100$B4483518-2394-4147-B2A7-9E0375F890B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e428c2bf1a3fe6907a5931013fdd106025eece8","datavalue":{"value":{"entity-type":"item","numeric-id":4501556,"id":"Q4501556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccb4278241aadea9efb4172351d271ef45bc759","datavalue":{"value":{"amount":"+0.9675213098526","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":"Q5943100$DBA8973D-F42B-4B60-B474-4B4D54476E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e920275d042fb678eea9dcf1b6d1b41c5dd891f7","datavalue":{"value":{"entity-type":"item","numeric-id":4506527,"id":"Q4506527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccb4278241aadea9efb4172351d271ef45bc759","datavalue":{"value":{"amount":"+0.9675213098526","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":"Q5943100$E312030E-A052-432A-B5F5-EBAC7BEEBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923a63986803d9888fd37de2e69a1f6c59162322","datavalue":{"value":{"entity-type":"item","numeric-id":5941097,"id":"Q5941097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e63c0d9ec4bfbfc6ba02684c7f8a298644b612","datavalue":{"value":{"amount":"+0.8095973134040833","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":"Q5943100$B3EBF151-8BEC-4025-A41B-386D3F1F46C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c31fbc1c5130291c8c5e26bd18f7686dea5fbd5","datavalue":{"value":{"entity-type":"item","numeric-id":1761693,"id":"Q1761693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec919aca759b88e2fdd31bfd5b9d7643307be8a8","datavalue":{"value":{"amount":"+0.8091133832931519","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":"Q5943100$1FDD0DB1-7542-4BFF-B857-03C450582C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc9501ebc1e3846c75799b9a849bd8c3e1b7e79","datavalue":{"value":{"entity-type":"item","numeric-id":1301420,"id":"Q1301420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee36c7b8aeb723791b55f32febd8273075453fb","datavalue":{"value":{"amount":"+0.7572914958000183","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":"Q5943100$9EB94918-C408-45D3-9D8E-25FA557444BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5943100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5943100"}}}}}