{"entities":{"Q3498414":{"pageid":5528317,"ns":120,"title":"Item:Q3498414","lastrevid":90213638,"modified":"2026-06-04T19:35:04Z","type":"item","id":"Q3498414","labels":{"en":{"language":"en","value":"Automated Reasoning for Hybrid Systems \u2014 Two Case Studies \u2014"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275631"}},"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":"Q3498414$BFAE641A-12C2-4709-8F68-5D37B82ACB6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38d98b01487a96239739d064b7448449ae6d2fad","datavalue":{"value":{"text":"Automated Reasoning for Hybrid Systems \u2014 Two Case Studies \u2014","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498414$EA01EFA8-3B55-4E91-8EA7-2FD33E5E7C42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d909aebf9b2f36b8f5255f55c638a30a6a5f6483","datavalue":{"value":"1138.68526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498414$27752325-F6AA-4C4F-8251-05ACB41A28F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87245b081a217b10375f0d454318ff9cb4539ba8","datavalue":{"value":"10.1007/978-3-540-78913-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498414$FBA6E6BF-8724-4E2C-A918-6846747799FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$3FB3E3F0-7ABA-4EB3-B8D9-687A1FD2035F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86465ad6756de6194673fccf041df2527a42bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":3498401,"id":"Q3498401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$ADB1C151-DE55-4EB8-B264-2AD570F7E3AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498414$4A4E9B39-80DA-4EDA-89A0-652D9CB59C9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498414$22606B0B-D257-4CBD-9385-62300A24FA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498414$2BE8DCA0-49BD-4B4C-9928-1275D09DE721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46fbeb1f499f99b53ec9d12ce1d74a7e053b6ff1","datavalue":{"value":"5275631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498414$D7A1A420-98C8-4B5C-A96B-A3737E6DB369","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$9C20FC1A-DC54-46AC-B9CD-2D7CDC0C7F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$80126A5B-2A20-4186-ABF0-5B5F5E97A29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$EDB7E1DD-1CF6-4EEC-A119-46AF8B109FF6","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":"Q3498414$CF8F763E-476C-469C-98E7-835A1BF2AE3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f46d80c658ef91762874d3c1ba287d65079cdea","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78913-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498414$11A01E62-9BEE-4EEE-B669-41C1417FC784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a6e629c74d65edc11614602e7ee8fc7a89dad1","datavalue":{"value":"W1583398073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498414$DDED60DF-AE7A-4AC0-B3E5-B420A558BF75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40927a655fc9f8cb06119a5f319fa6f7548dec3a","datavalue":{"value":{"entity-type":"item","numeric-id":3647254,"id":"Q3647254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$F640AA8D-9DFE-4B82-973D-C7A794DADC50","rank":"normal"},{"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":"Q3498414$3DA8BD47-AC5A-43A1-B852-63BA4F13C243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$D8593AE9-AD39-4C64-9265-A908A240A248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c773d5ccbf71afa9b886a642149c404394a31d64","datavalue":{"value":{"entity-type":"item","numeric-id":1781998,"id":"Q1781998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$B64DCA80-41C9-459E-B481-F8695314A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$302AD57A-9587-40DF-A8C0-D9D7AC0E6B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049404882aeb1266054df226e4cd394235958a95","datavalue":{"value":{"entity-type":"item","numeric-id":5311300,"id":"Q5311300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$3B4F6709-E1CB-44F5-9667-630F3D07E3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$560D0093-9265-43D5-8E50-5AAEE70E4EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$69287189-DB63-4C2C-B3B1-EC8B7C6EB61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$ECE35310-1B74-42A1-8D5A-05CCCB8A115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f744953abe92fee7ebcca2ae553853038af50297","datavalue":{"value":{"entity-type":"item","numeric-id":4270068,"id":"Q4270068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$837E19B2-CB69-49F7-8F7C-75CA0A8029C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea80b11983e91dcbc841ec9b15c3a03b5dfa252","datavalue":{"value":{"entity-type":"item","numeric-id":4518893,"id":"Q4518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$F93257F1-8502-4C4C-A99B-ACA77E3CF2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bdde8917d394be9d3c6ce356217c6e594f1472","datavalue":{"value":{"entity-type":"item","numeric-id":5899312,"id":"Q5899312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$CDCD503D-2890-49B1-A7F6-4F614B867FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f144f308271a82b15b2db7e392fbbb7f526effa0","datavalue":{"value":{"entity-type":"item","numeric-id":1001892,"id":"Q1001892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$AD6DA280-D2B8-4E24-B707-C15FDD00EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$2EE0C41D-CB80-46E9-94D1-1589240A4A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd3ad63d4e6ab20a377a01d92d178d9cb68c64e","datavalue":{"value":{"entity-type":"item","numeric-id":5712431,"id":"Q5712431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$41263BC8-C213-4050-BB29-B83558594738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$34D1B609-9F21-4840-B85F-E9DEBC811A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137efd685b2d6f81d07032959247bb5e051ed8f","datavalue":{"value":{"entity-type":"item","numeric-id":4948549,"id":"Q4948549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$1F0E7F8B-BC7D-49AD-9A1E-6E14C16A6CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82adbe1fadc7a8a128bd8045765b97ddec9a4402","datavalue":{"value":{"entity-type":"item","numeric-id":5290112,"id":"Q5290112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$B35A0EAE-1CC6-4496-8E59-FFCBC47F72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b33506ae25792652bd42e51eedfd60b3b14abc","datavalue":{"value":{"entity-type":"item","numeric-id":4415087,"id":"Q4415087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$7443D3C0-45CE-4FF1-8014-CB0ED3F70A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eb1bed6fe619f48a29f5aee3e7db00567c1586","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498414$FE79B7E8-2E1F-4A25-9B7B-CB3E36D7DAFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190fde07ccf0cf3dd92981a789065a432485c664","datavalue":{"value":{"entity-type":"item","numeric-id":3104005,"id":"Q3104005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470c224fc5bc5e73ff6b2f5c30e5d76ec5f61f7b","datavalue":{"value":{"amount":"+0.8512407541275024","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":"Q3498414$7BBB6646-A58A-4761-9A06-9F735783CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35521c642e13426dc82fd1ec84ffa70ef0ae3ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1617825,"id":"Q1617825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d24f3c3c96b9dbe22a6d4f636460ba65399ee8","datavalue":{"value":{"amount":"+0.8129537105560303","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":"Q3498414$C95F7C24-84EF-41B8-BD6A-1857A0D79AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9348db04730d45fbe6432b3f3434a471842e6f95","datavalue":{"value":{"amount":"+0.7844665050506592","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":"Q3498414$8E471E94-5A15-4189-935E-B3CB8DC6EBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef8bba93f960c991c1375d51502da818a0e3307","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14513b71750f5bc12460bfd0062cb748d37bac5","datavalue":{"value":{"amount":"+0.7784385681152344","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":"Q3498414$7F1EAB81-126E-47A5-9B3E-2B72BEBB4CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4e65e4b824376840218a827534652436af872a","datavalue":{"value":{"entity-type":"item","numeric-id":1001892,"id":"Q1001892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c840390636684e06998ddea04a3752c2e502b43","datavalue":{"value":{"amount":"+0.7741506695747375","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":"Q3498414$221A6E2E-8432-494C-9983-4F051EF25B81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Reasoning for Hybrid Systems \u2014 Two Case Studies \u2014","badges":[]}}}}}