{"entities":{"Q2964462":{"pageid":2975187,"ns":120,"title":"Item:Q2964462","lastrevid":58092924,"modified":"2026-04-03T18:50:52Z","type":"item","id":"Q2964462","labels":{"en":{"language":"en","value":"Decidability of verification of safety properties of spatial families of linear hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688815"}},"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":"Q2964462$1C3AB63A-3C9E-4DBA-800A-C7B2E1E278EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"444474d64264c3167e599a66d3cf347a44eaa1d9","datavalue":{"value":{"text":"Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964462$BFF79737-38B1-4AA6-885D-8ED9479369A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3d874e714494bcc2a861c9a779998f4335e2da7","datavalue":{"value":"1471.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964462$4F4939F1-C2E1-4F9A-A8B8-81743FF9044B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfcda2f6ac2a41b738e7de4241fa30cab7dff9ba","datavalue":{"value":"10.1007/978-3-319-24246-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964462$69DAB2E3-8571-4153-852A-C795D386DAC4","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":"Q2964462$51F0F003-B753-4F0E-AC5D-404D0665ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c38a9500b234c86f9b2d7c37348f582a0eab2961","datavalue":{"value":{"entity-type":"item","numeric-id":2405241,"id":"Q2405241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$5D18271E-F56E-4A9B-B21F-078C61BFAD73","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":"Q2964462$0258B4C7-FF2E-485C-8F66-044B7E5282DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$D4E750B9-B6CB-4E53-B97C-8E59C13C159B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964462$4A877896-1F83-4523-872E-3451FCA77F60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87c0c8fbb02e89fcbf23e0e7e447143a82402ae7","datavalue":{"value":"https://arxiv.org/abs/1601.01648","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964462$DBAB9D27-7465-4DF0-9781-ECF685A8ED17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964462$113565D2-47F6-4611-A2AD-F9D530826236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964462$1AAD4D9A-0BAB-47DE-B480-2D1AF8D58D1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04b05d09dc932a099434b8c3ac167a379806330d","datavalue":{"value":"6688815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964462$0D56F76E-6EB8-4C9B-B34F-6A00D044C43B","rank":"normal"}],"P1463":[{"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":"Q2964462$19F8C012-207B-403F-BA6F-00A219F47D45","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":"Q2964462$C598C49D-2339-49BE-BFFB-5330F6A2BF88","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":"Q2964462$DCAC8ABD-3ACC-4757-9DF9-AB878409B754","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be06a441d313c7ecbb7b02594818a354a62bddc3","datavalue":{"value":"W2230509950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964462$BE1F503B-DA2A-48B4-9513-5180A27EA07B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$DF254B85-F7CB-4B73-8A6A-8E423CCCC1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650ccd654dbdd3bad7acda5aa2110be03c1f5984","datavalue":{"value":{"entity-type":"item","numeric-id":2964462,"id":"Q2964462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$70D21247-FD54-480E-8098-4ADC4A70B9B6","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":"Q2964462$3A1BC2D7-9CAD-437C-8289-5DAE8A0C3253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17888bb3f472bee407c8a0358da82160a57dc7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2843860,"id":"Q2843860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$8A7399B9-7C00-4276-93B6-37138932510C","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":"Q2964462$27740FC0-5174-4A76-AD34-3A9917406F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989b0afe3ad4f5744928bf621d85d20f3b16384e","datavalue":{"value":{"entity-type":"item","numeric-id":2841997,"id":"Q2841997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$1A9E321D-E122-438F-A9C8-76FB34C66554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$7E1041FD-359A-46DA-863E-E3559518B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1d0ff00032a66dc3cc178cd9f7faf31d9c1e31","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$84F199ED-6D89-4EF5-B053-ADDBB2CB1A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0740bce08778ef602abcc1d70be710e455d901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$758DDCB7-45D3-4CEF-BCCA-0FD5627DF425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620e4e63cec9d7a183b3bc9b7082cb1e2f14d371","datavalue":{"value":{"entity-type":"item","numeric-id":3075488,"id":"Q3075488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$8B7D280B-8E76-47F6-B0DF-B63F12ACB06B","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":"Q2964462$3892E94D-DCDD-4B73-8064-1A9E84480A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$487F137C-1EFD-4505-80E9-1F055279C5CE","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":"Q2964462$E3404B5B-571F-4B52-A2F9-8AF8DAEC9917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$FE086933-01E5-4E2C-8B37-286B0DD7A760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde6eb5b0e84675ef4620bb83bbe0e6ca273f1f3","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$09DA53E6-5086-45D0-9933-E9C77971D923","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":"Q2964462$25B814BA-ED89-4C83-A3B4-19048D38BEFA","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":"Q2964462$99C6B14C-DCEB-42D3-A5E3-9B717AC1C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840dc8c4a2f888736d5910412777d7eb4bfaec5b","datavalue":{"value":{"entity-type":"item","numeric-id":4928452,"id":"Q4928452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964462$76CBFFE9-2693-4723-989A-2724ED45017B","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":"Q2964462$99A43608-0147-4C40-A101-94F1AAAF9A81","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":"2b97da44d4eb9ad7311b6767a698cbd86ad9ca72","datavalue":{"value":{"amount":"+0.8133882284164429","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":"Q2964462$BA2C7104-5D9D-4B65-BBFA-900DDCDA15D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b358e140207b41bb70612e09a861ca36038541","datavalue":{"value":{"entity-type":"item","numeric-id":2248097,"id":"Q2248097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87010e033a2eb531d61f261e6112d02a1ff3a615","datavalue":{"value":{"amount":"+0.7859975099563599","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":"Q2964462$CB024A4B-5BA0-4ED8-A790-87CEBFC41E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307d5bfdb6af94f2dc83a912280825a0941683dc","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b100d611fe4b2333264f438dc9b3d5925230a574","datavalue":{"value":{"amount":"+0.779155969619751","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":"Q2964462$6C5EB80C-DEB7-4CCE-A4AE-8D713CB18A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45da3e6fbedbe847c9328ae20195cadec3837b3","datavalue":{"value":{"entity-type":"item","numeric-id":1949771,"id":"Q1949771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65034d2a0f51ce6e65be38c791a706565d0ee65d","datavalue":{"value":{"amount":"+0.7568547129631042","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":"Q2964462$6D934473-D44E-4F9C-A547-75C12363F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff000cade6691582759525a6f426e2c884ee56b","datavalue":{"value":{"entity-type":"item","numeric-id":5030200,"id":"Q5030200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a4bf2a2bad5c9b4c9ca8bebe33ac42eaad6ce2","datavalue":{"value":{"amount":"+0.7475165128707886","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":"Q2964462$BAB856D6-62DD-4968-9641-256F93FF1373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964462"}}}}}