{"entities":{"Q1949771":{"pageid":1960513,"ns":120,"title":"Item:Q1949771","lastrevid":51717563,"modified":"2026-01-19T16:08:52Z","type":"item","id":"Q1949771","labels":{"en":{"language":"en","value":"PTIME parametric verification of safety properties for reasonable linear hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6163706"}},"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":"Q1949771$49EA7A9E-6E77-4AF8-82D9-AD54FD647951","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db306ce7512fe7b0fcf40ecbce3967ed7101c355","datavalue":{"value":{"text":"PTIME parametric verification of safety properties for reasonable linear hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1949771$DF1C1CA5-544A-4118-A70A-E1BAA2174C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"532dfbed2ff384228764a633467325781b53c330","datavalue":{"value":"1262.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949771$C4C45670-2E90-4284-88BF-55E772232BA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$1B925DBF-80D8-41E7-8FE4-22B0636C9CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ae57a93bf70a9983b828e2db53ab609a97231e","datavalue":{"value":{"entity-type":"item","numeric-id":1949770,"id":"Q1949770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$CD8B2C1B-E147-485F-9A4E-A3AAA7913285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$61DD2A9C-43A9-4077-9285-62E47CE33D01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$7E0DD981-E9DF-4545-9533-121830A8D479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"782fb32ad7c4d5443f931029802049ce97bd30bc","datavalue":{"value":{"time":"+2013-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1949771$96C20C55-179D-4798-97BB-625D47DA38A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ba5a14c44898a80a30aec5dd55a7605153d7b0","datavalue":{"value":"http://hdl.handle.net/11858/00-001M-0000-0010-14F5-F","type":"string"},"datatype":"url"},"type":"statement","id":"Q1949771$AD5B12E5-72EF-4890-AB2B-94B27D233E83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949771$9A3562F7-7026-4965-9A40-E2F93737A331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949771$E2ACF7E3-6A15-41E9-A89E-AF254C0E6D62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0e33fd8f44f2c26076fe9b7545ac03aff509589","datavalue":{"value":"6163706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949771$703C4060-74C9-4FB2-A869-051C35143AC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4f4c6f22735a50175f03e5056e3b26acd23404","datavalue":{"value":"linear hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949771$E7DF3DF3-121E-405B-A9BB-03FFE48EFF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d277530f46db30b30809095acafdcdba8c6724c","datavalue":{"value":"decidability and complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949771$FC1DF26F-B7E0-49ED-8B72-628A7CE9CE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5d8ff8e7906697a0edc1e988c0d6fa337ea8bf","datavalue":{"value":"parametric verification of safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949771$B4B08B07-3C2E-411C-9E40-8147BD40C5CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$E5B6CD9C-AEF1-4D83-ABB9-DD6BEF092242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7fa65e262825f4fea3653dcc59f09ef0e691738","datavalue":{"value":{"entity-type":"item","numeric-id":35078,"id":"Q35078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$32990DA4-EC66-415A-B28F-D38EE83DA974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b81a8c052e6b0f2f4261d853c035c983ec07f14c","datavalue":{"value":{"entity-type":"item","numeric-id":22277,"id":"Q22277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$13FA79C7-B7C1-41FD-A159-B623CA621328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$F0D7062D-952E-4C17-9288-0D7D86AF1AAB","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":"Q1949771$ED96B8B6-D116-4A4A-A85F-67BA1FD24D33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a0317b960b6b598ef6a76c5f8034522d6783329","datavalue":{"value":"W2121038072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949771$F83B71D5-F075-4569-8A4D-7E7486122716","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$43860F7A-7D34-42E3-B6A5-BF3B36948CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0599ec56b22190a90c7d87db112ea16f7d1e17","datavalue":{"value":{"entity-type":"item","numeric-id":2847845,"id":"Q2847845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$602A7F14-784F-4AB6-BFD9-C6564D5F85E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17174e6fa8bdc049c22c71b5a594a8c80272c147","datavalue":{"value":{"entity-type":"item","numeric-id":5307470,"id":"Q5307470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$9525C6C1-C5EE-4152-ABA9-3483BB7F1192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2b4e702ff855fffb4152c32d6587a45409932","datavalue":{"value":{"entity-type":"item","numeric-id":2387414,"id":"Q2387414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$EAB42C64-C878-4404-99D4-144DFE15AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e18e5faf8d9b37cf544ef0a0b50330d1e2c5d19","datavalue":{"value":{"entity-type":"item","numeric-id":1949771,"id":"Q1949771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$3722F073-1559-4D78-85C3-1B1F6EA45D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4e2c9ced5d4712927dadd7766b626d1457443a","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$583970C3-8838-49F2-BE94-C81BCC9C92AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c139d3f34e17ae0b99b18b6e6d86c5eb6ebd190","datavalue":{"value":{"entity-type":"item","numeric-id":436418,"id":"Q436418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$E8534AB9-54CA-4BBC-906F-A09E9107CA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$F41D2F1A-A484-450D-8738-0DDBE017EDF3","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":"Q1949771$647B3E41-0966-485A-80CD-663831B00795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$D7C65D13-7406-4402-A032-31166425E875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c4252d7d980545543cc918e92286a79060f15e","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$D401B751-2440-4F8D-A6F7-9A06130CB5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab23ed73184628b6bf9881c7985ea1334403d94","datavalue":{"value":{"entity-type":"item","numeric-id":5958761,"id":"Q5958761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$F55F6D83-D67E-4EEA-805B-902D4BE63EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f97ae4540df1c0aeb8fef78bfca5bb92306c601","datavalue":{"value":{"entity-type":"item","numeric-id":1589478,"id":"Q1589478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$CCF3EE21-E88A-49BC-BD14-21EC11088E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f20df29facf53673cfcc4ee25abf625d9488e9","datavalue":{"value":{"entity-type":"item","numeric-id":1975237,"id":"Q1975237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$F4A69D11-6212-488D-BD69-B8ED35AEE523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$5FE5DD2E-F5FC-450D-B1D4-09CE475C9604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$D02A0FA0-A2BF-4F20-9093-AC4D7E93E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34da21d2e3fa3e67c2ba7ad8a54e7566b0adae6","datavalue":{"value":{"entity-type":"item","numeric-id":4369856,"id":"Q4369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$FD1E9D4A-11F9-4ADB-8388-092E24CB23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$F0D071EA-58A3-4959-8339-1751AEB2D823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444c56bac29360be0ddd437c0ad22e02060fa954","datavalue":{"value":{"entity-type":"item","numeric-id":5747759,"id":"Q5747759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$07A60BC6-273F-47DD-9B4D-48F2F6060669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfce0c06de5645e33e81141a9d32398ea1f4d485","datavalue":{"value":{"entity-type":"item","numeric-id":1063589,"id":"Q1063589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$73E10F59-BCE7-4FE8-9DD5-D4420B65A73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47bd782e08694c0177680ef1c67d4cff62094d1","datavalue":{"value":{"entity-type":"item","numeric-id":3901294,"id":"Q3901294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949771$9ED7218B-0E67-432D-94B4-F44860036A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95ea4a9d596d469172b6aa85851a5c8a7e395234","datavalue":{"value":"10.1007/S11786-011-0098-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949771$AD563674-F74A-40B4-83B5-E76C189BEB16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c73a5aade10532c0f2bc760e714030377ba6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2986715,"id":"Q2986715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfb8efd4ed5d4de9e5cd6751f1cc660ee2d9559","datavalue":{"value":{"amount":"+0.9335743188858032","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":"Q1949771$3BEF1B4E-7DDC-4E94-A65C-926C77B928B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7141d19042f74688bac1ef78789a14e13779d1c","datavalue":{"value":{"amount":"+0.7980151772499084","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":"Q1949771$123D08C6-2282-4F27-879E-F92050AEA388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0107966743f8c01fcb577df78a64269c6982e7","datavalue":{"value":{"amount":"+0.7879108190536499","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":"Q1949771$7A54B926-A1EA-4624-93BD-3AAD336B4D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37c1117908aa534dbfbee5c102190b73aba8741","datavalue":{"value":{"entity-type":"item","numeric-id":4787254,"id":"Q4787254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda7aaeb2f7625d3c8296c75a70533460193214f","datavalue":{"value":{"amount":"+0.7740482091903687","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":"Q1949771$66C25FC5-15ED-4747-A711-33F95494DC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a528feb7f4a8f71a4f7d60a199fe0cf2491d180","datavalue":{"value":{"amount":"+0.7589307427406311","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":"Q1949771$4914A2BF-B353-4C84-8CC8-9D8A13BCF30E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1949771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1949771"}}}}}