{"entities":{"Q4560619":{"pageid":6590209,"ns":120,"title":"Item:Q4560619","lastrevid":53303591,"modified":"2026-01-24T16:43:08Z","type":"item","id":"Q4560619","labels":{"en":{"language":"en","value":"An introduction to the verification of hybrid systems using \\textsc{Ariadne}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992575"}},"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":"Q4560619$EE1BA54D-54F8-442A-BDCF-243BFC18A62B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0d9f8aee780332b21fdce315d6be180933116e0","datavalue":{"value":{"text":"An Introduction to the Verification of Hybrid Systems Using Ariadne","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560619$48944A2E-BA33-4432-BF5A-ED23A34B6922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"114fb364f96cf9b5ebb7cb47693660db4744599b","datavalue":{"value":"1403.93108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$9996EABE-3E71-4FDD-88DD-82773C8EF657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c755d540ff9fddb7c22b33dd890e361516ceb806","datavalue":{"value":"10.1007/978-3-319-10407-2_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$011AF59F-8597-47DF-96C3-59FF4D523557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$4F046112-5799-4CC4-8810-64CA9142DFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d002fb06ccf000e382baf5700f594e70e0c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2677087,"id":"Q2677087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$04DB6EC9-5CCA-426B-87F4-E7236A14E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f89ef066096ca3e248c3cbc97dc37d82e003c08","datavalue":{"value":{"entity-type":"item","numeric-id":1020550,"id":"Q1020550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$67D542B9-A3E3-4C60-A64B-8E942B3831D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7885c8cbd04ebb00767ebb2b7724535a595ff8","datavalue":{"value":{"entity-type":"item","numeric-id":857033,"id":"Q857033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$597C8D11-9205-4B7F-AD2D-0D468B02F152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40732d955201863fdcfe9e0e51b308af3a2d3cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4560592,"id":"Q4560592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$1DEAB21D-AFA9-48F8-B8CF-FF36F4B276EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84c7fbcde7ae48252617c6fbfdd934a12e29771","datavalue":{"value":{"time":"+2018-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560619$34BAC2B4-DC76-40F2-895B-8C5A54B52182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$AA23641C-4531-4AC8-AE3A-F8B2B5B45000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$7AC75A10-6CAA-46A4-AF8A-172926731789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$3BAAB352-9A11-4301-BB36-2E584985174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$1868B871-37F4-4DAA-81FF-80AC10C4B490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6de1b7d652b674223ae1ba4eeb2ad44ac8fb8d7c","datavalue":{"value":"6992575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$70349D41-58D0-4FFE-8280-99979DE7566F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560619$3B6BA1D7-9762-4890-9D22-6CF9DC1BBB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560619$14CF376E-453E-462B-94B0-590F50BF4A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0f02ebd83de9867392ebbe4d05300be87e9d314","datavalue":{"value":"\\textsc{Ariadne} C\\(++\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560619$6BF6E853-8B78-461C-A5E1-3E6AD1BE2A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560619$E9130B40-B490-4ACF-8BC8-F792F5FD9A5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$55FE61F4-9A67-4D48-AA13-44E1779027BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$18E3E027-2FE9-4A9D-ABEC-CF45E1FA8865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c78bdf0926b89a3e72d47cd1ab227eeb1025a90","datavalue":{"value":{"entity-type":"item","numeric-id":18756,"id":"Q18756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$A2BC63B9-9509-4CEA-8BC3-39710836D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$AF7E2158-CD45-41D3-BA8E-49EE5D1C803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$4850F5AE-D884-41DD-B335-CB5430B44172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$B819CC6C-97B0-4209-BB86-F68E48C991EE","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":"Q4560619$200C85FB-11B5-4F88-AE8B-E7180175E7D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b8bdf4fbb992b151db08b37ee66377e9ea8ed8d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10407-2_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560619$45FFB45A-72F5-4386-BDFC-B45BC9D381F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ee64e8a281d49af3cd961a68f0a00855a79130b","datavalue":{"value":"W294500880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560619$422A70F0-FD54-4FE3-BD6D-A55FC7BD578E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4099c2dffdc34c9a8cc569c4ebb17f8d9459681e","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$E11D365C-46FB-4E18-99BF-523675972985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70f27acde8e702ef9dc101efac024d02088ffce","datavalue":{"value":{"entity-type":"item","numeric-id":4899145,"id":"Q4899145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$BC80F3ED-53ED-4049-A835-FC7979EE168F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0eb2d92e10c24dc1e8b70a007cfdb556d6a574","datavalue":{"value":{"entity-type":"item","numeric-id":5408048,"id":"Q5408048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$202E34E5-FC1C-4BA5-9432-DB3621C66F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9876e4b6ca00a5c35dbe1b2f23431c8cd6d8c6af","datavalue":{"value":{"entity-type":"item","numeric-id":4992508,"id":"Q4992508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$CDD6C63E-C9F4-4F0A-B284-55933BC13EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560619$868D31AF-E3C0-443B-974E-33D8F73C01EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b9324d83a08a4ec0170bdc6146f9307c6973d1","datavalue":{"value":{"entity-type":"item","numeric-id":5408048,"id":"Q5408048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cdf09083ebed04b6d91c339af5b4232de7fd5f","datavalue":{"value":{"amount":"+0.8669666051864624","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":"Q4560619$3BCE5C13-E8DD-4908-BAE6-9DB02163E20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2545786ae4460ba0893606c3a02b281f1c7f10b","datavalue":{"value":{"entity-type":"item","numeric-id":4899145,"id":"Q4899145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee0f25e8efab348fef4a25770bc6096d5324175","datavalue":{"value":{"amount":"+0.826244056224823","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":"Q4560619$EF850F26-1291-4F69-97A6-A6F2907BCE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fd147f8d099cb75fbb1f105836834e56f5c407","datavalue":{"value":{"entity-type":"item","numeric-id":4994712,"id":"Q4994712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db62c70bce6c3e0003e5e526163cf8cf2e0b241e","datavalue":{"value":{"amount":"+0.7596312165260315","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":"Q4560619$B2D85B51-9B80-4151-88F8-1E45214CCD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47f5cc992c5d57593f86d8054074db8d80e85f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806208,"id":"Q4806208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f6754a141b26070e66bc7583aac5a21e702c9e","datavalue":{"value":{"amount":"+0.754863440990448","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":"Q4560619$29C64570-5F97-4285-9026-3B286DBE0733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255f99d09dbd1959be21800f909d08bf03c9130f","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c68c8aaadde8a0b50678fe2d6668bba85a5473","datavalue":{"value":{"amount":"+0.754254162311554","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":"Q4560619$791A5B89-B469-4007-8A2E-34F5E2DE4549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4560619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4560619"}}}}}