{"entities":{"Q1300103":{"pageid":1310853,"ns":120,"title":"Item:Q1300103","lastrevid":46697154,"modified":"2025-12-25T10:24:24Z","type":"item","id":"Q1300103","labels":{"en":{"language":"en","value":"An undecidable problem for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1333016"}},"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":"Q1300103$6E138881-684D-4113-8EA5-5FED4013ED76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7610665c1fd9ca9fffdbec6afea37ec5d30861d","datavalue":{"value":{"text":"An undecidable problem for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300103$B06E3BFF-B9E9-44CA-8F19-2D319EFC379F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836456875451744eb0db9125fe73512ed3f76eb1","datavalue":{"value":"0947.93031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$18F06536-EC6A-40E1-8277-938C160B873A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12990783275cd3d6af997d9464cd21092f2322a4","datavalue":{"value":"10.1023/A:1008319830371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$5EA561E7-648A-4BA4-9E4E-61B28B09EC18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9cc4db1b065261fd64cae808c2b25a5e5d79f4","datavalue":{"value":{"entity-type":"item","numeric-id":1273865,"id":"Q1273865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300103$7347BF02-F73B-40E1-A4BF-58CCC4F13530","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300103$77CDA5D5-A2DD-41F7-A9F7-4EFBA0C0CF73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4009c216420f7587e38c99f8b299dceda36e2c3","datavalue":{"value":{"time":"+2000-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1300103$AB6BD793-9672-4AE1-86F2-C4A8D5F4D5C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4129f927674354e9c805229058d23f04ae54f3e","datavalue":{"value":"The author investigates the reachability problem for timed automata. He proves that the reachability problem for timed automata in which the coefficients of the guards are from the set \\(\\{1,\\sqrt 2\\}\\) is undecidable. He introduces counter machines as the vehicle for proving the undecidability result and reduces timed automata with real-valued coefficients into counter machines. Further, the author shows that the parameter synthesis problem for timed automata even in the case of a single parameter is undecidable and he discusses some computational issues for hybrid systems and continuous systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300103$1E7892C9-72DF-4277-8F47-8F64B73E59EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$64EDA42E-1EC2-4183-87BF-429CC1D97C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$C1E2D38D-FF7A-472D-8D2F-3061DCD107AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$73879EB7-5B85-48E8-B3D7-F5E73A9262D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d43aa9d5b6b4aa22ca7a2eecdb4dd4021e4746b","datavalue":{"value":"1333016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$795FD017-AC67-4DBC-9841-C8AC408F0A25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300103$BBE6499D-44AA-4A44-AD3B-6612F6F6E53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300103$F7A12BEF-EB66-4DBA-B3B3-8F28246555C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300103$435F85EA-4949-4D86-BBD5-171EF23EC8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300103$B92B32C2-65FF-4118-BBC8-19F20E1E7AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300103$E04C1A31-A839-4CFE-BB31-CB9E375B2562","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300103$45B600B0-9064-4F8C-B9DE-390B69618132","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":"Q1300103$927DDF09-6861-4153-B7C5-F2AEFD194DB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a98ea4f25eebab8a0aabf68b21480f3eac2f287b","datavalue":{"value":"https://doi.org/10.1023/a:1008319830371","type":"string"},"datatype":"url"},"type":"statement","id":"Q1300103$4B6405D7-57FE-4A6A-AFCE-6165468EE84B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff725eeba5750bdbb4f609215e3bf51f82d56a21","datavalue":{"value":"W1563786920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300103$F7B0BF1C-B728-4593-A853-ED9CB562E3EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00d8dbd13a88468a8ffa332a6d64a50d3a3b38d","datavalue":{"value":{"amount":"+0.8504244089126587","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":"Q1300103$10B6C9BB-ED7E-4F46-BEE6-9616984C1619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1395b95b89e73242afefcd1dc09c6087f98f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16aae25e6b11fe44c0a6acb999cc9c22ad77aa81","datavalue":{"value":{"amount":"+0.8132831454277039","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":"Q1300103$46FB9626-2008-42BD-8E9C-F70435B00489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcaa2951bbed1ab2ff5f4c4fd406bdb663b8a25","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6f163335d935fbe56cb35fcc3261b59a1e76df","datavalue":{"value":{"amount":"+0.807610034942627","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":"Q1300103$1DA1092F-6A78-4934-A3E7-1216E2301BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e4c50280b7ca24e7c41a221b387028cf2d75be","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ea9b45e8db42242fcc4699a9ebe1e3343cc491","datavalue":{"value":{"amount":"+0.8071655035018921","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":"Q1300103$855707CD-CFB4-4FDB-AB79-4D1AF07B4B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688a3893299dce630068923a5bfe9bb8e20db89c","datavalue":{"value":{"entity-type":"item","numeric-id":3012937,"id":"Q3012937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b83eac3a380c7f72c415d52d3def3308905c63","datavalue":{"value":{"amount":"+0.793863832950592","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":"Q1300103$9A96B4E8-870A-4B41-A234-3FDA19491BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1300103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1300103"}}}}}