{"entities":{"Q2441772":{"pageid":2452515,"ns":120,"title":"Item:Q2441772","lastrevid":74108397,"modified":"2026-04-14T18:23:47Z","type":"item","id":"Q2441772","labels":{"en":{"language":"en","value":"SMT-based scenario verification for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275289"}},"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":"Q2441772$72299FBB-C1FD-4064-9C10-6E810FA7C072","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f02797926038a5b27e5b83394ce86be452ae1a1c","datavalue":{"value":{"text":"SMT-based scenario verification for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441772$8359B406-FBA1-47D6-A895-A185239C7ACB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f692726a09e5111cd8b9444f4b86451d9f3d9e8c","datavalue":{"value":"1284.03216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$BDBA175F-B303-4E48-A866-56BBD1D7CCE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$329A130F-3E77-4ACD-8231-65BABB3A6E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f362d073bbe8a8d138f2af9af0d2a06b61a58c","datavalue":{"value":{"entity-type":"item","numeric-id":479824,"id":"Q479824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$ADE546B4-4A23-4A11-885A-0671DA46CC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$9D1F5DDA-172E-4812-AC89-D3601A118E28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$054CC7F2-A476-4BCA-A428-47F8E4E56011","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441772$0C3E8440-9A86-47EA-AF8B-E5AD32FC648F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$46A49AEF-FBD6-414E-869E-545B8DC926EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$A6D249C4-B9FA-4320-B2CF-77AD49E62CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$5B003047-5DD0-48B2-8498-3054C3143F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$09E43BB8-ED98-40BE-BF42-CEE5C963B7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$26E51451-95DF-40C4-BF54-EF1E9350C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$ED903BDF-42EC-49FA-8D55-4FF8C4A7F2A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db84d8920b115ac106c0e2b047626d852b8c725e","datavalue":{"value":"6275289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$68CD4AA4-7D30-4DDA-92CA-DE463FE2394D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf071d2cc58d5208ffd0d79073307754c486453","datavalue":{"value":"SMT-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441772$1DE6F3A6-9023-422C-8681-66FC47EDC7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbfdb5948bbf9f3d16704481dacd23600a59b14","datavalue":{"value":"network of hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441772$F58EF91E-EF8E-4A28-99A3-4FAD9C1EFB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441772$5D75C423-DB55-4216-96FE-37A18F0A2405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441772$6A54D85E-4EB7-474B-93C2-33D57B9DB694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c3429c47bdb10350a6578b61138faff42ba2c1","datavalue":{"value":"k-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441772$4F6AB66C-C796-4F12-849D-1DE807D9B969","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"92ff740b043e5e4572bc2be9cc7d3aa9dc921e65","datavalue":{"value":"Q62041178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$17624E70-0FBB-42B2-ACE8-ED42336A982A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"334d2cbd2cd1a7fd71248d48870330498b634bce","datavalue":{"value":{"entity-type":"item","numeric-id":15279,"id":"Q15279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$3D4CCB95-2141-4D84-818C-D697F20B6CA4","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":"Q2441772$F3D370B4-9774-4F6F-B1BB-AF2C86764C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$398C5694-539E-43E2-AC54-557043956634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$5912285D-5AD1-4384-B77C-7FBC9543409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$B3F6AEB2-E65A-489A-B840-B7300EE0749C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4118392bd2a0c660ad243ebb2113b54caab0efc","datavalue":{"value":{"entity-type":"item","numeric-id":23848,"id":"Q23848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$0D6258D4-88C2-46AB-B0F3-3CA99A4DEA8A","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":"Q2441772$4FD1A34C-B742-4F6B-98AD-C851C96239DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f28559560210c84ff9e91fa2161fa0aa649007d","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0158-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441772$DA94DBB2-6510-4E2B-8CFE-268CA2AB6CF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae4d9de2257e9244cac02676436243ed3e031c04","datavalue":{"value":"W1965965053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$19F459B9-3590-495D-945C-2605DD1D950D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9aadeb8520cccf139c519f5ece9b2874d839ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5711504,"id":"Q5711504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$18B8CC5E-0B19-4E7D-9F99-A6677631F715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee5f7ef210612ec0dccdafa60ae90d71e910bc","datavalue":{"value":{"entity-type":"item","numeric-id":5458842,"id":"Q5458842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$58F2BD5C-3EBC-436A-B9EE-2C633A2773D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$A202B67A-FBA2-400B-9F9B-1AA768F92E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0bb12ed38887abcabf99a6e60f20ed7a97898c","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$A00EAF8E-5A5F-4284-BF11-9B51510F558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$1CB93DB1-E2BE-48EC-AA3B-90878BCE09DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef993e1a6f9e1affb5ec0a35f6683de283af104b","datavalue":{"value":{"entity-type":"item","numeric-id":2441772,"id":"Q2441772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$A6816904-4ABB-40FF-A882-68691AC07F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$E1178144-72C1-4451-9AD3-F525D209F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87dbfcad14a0e8e3419482d9594e6c347fd33697","datavalue":{"value":{"entity-type":"item","numeric-id":436411,"id":"Q436411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$90246B41-A8CE-4EF5-9873-4F1E58A9883C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$F766CE89-B706-4486-AB56-7EABF88A7631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470b378741f28bdecd3dba78fc1f965ca175562","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$2FB60375-3B64-4049-B7B5-48F7FC8F9FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510d79e9ae71f181c050c6b8ef6152f261318fd","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$B4470D8A-9C52-4140-838D-2316C1B6F49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62f78e316374320235d19951ac33c1b0c9848e4","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$C8675D2D-0F56-4523-A546-D1BFAE51C253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3782a67bb3f95ab1bda4d6f140ea21d996ec26","datavalue":{"value":{"entity-type":"item","numeric-id":1904641,"id":"Q1904641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$E713F3B8-D54E-4308-9F62-150D581B9B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e05267320fd0db92204b25c288fd840ee02c7c4","datavalue":{"value":{"entity-type":"item","numeric-id":633291,"id":"Q633291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$6AE2E61B-9D8F-4D37-9E1B-A33FA8498D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$033615C8-E539-4BB4-A012-FB1CC564D02B","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":"Q2441772$4FB52120-C2FA-44D2-AEC4-C77D6F2726F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e192759f5e4844c9ebbfd6911ba343cbc339c3","datavalue":{"value":{"entity-type":"item","numeric-id":3498452,"id":"Q3498452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$8B67CDB5-7BCF-4992-800E-388738E0197D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63a7a2fec52836913d0bf34397962d6c1f185fc","datavalue":{"value":{"entity-type":"item","numeric-id":3400917,"id":"Q3400917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441772$6B1247B4-2C04-4FCF-A578-B53870740CDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"262170df5712faa525643942f57a0544ab12fa71","datavalue":{"value":"10.1007/S10703-012-0158-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$08061675-32EF-4C8E-B7E3-B85E4912A0FE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d5697894b2f5144bef840aa6b56983480a839314","datavalue":{"value":"journals/fmsd/CimattiMT13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441772$2FA10ACE-E0AF-4406-98B5-07D2702CB267","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc090f046e06c5ba7334a65d09ac894baadafbac","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20818441c94145a2f31457ec8c85df704f07108","datavalue":{"value":{"amount":"+0.7392730712890625","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":"Q2441772$C2ABFA7E-E3F5-474C-A846-5BB6B28ABB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1277794376849bb8f34258a8526e7291a8d3087","datavalue":{"value":{"entity-type":"item","numeric-id":2849550,"id":"Q2849550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a715b4b41a4f6d780893218c6066a1fc491d7d","datavalue":{"value":{"amount":"+0.734957218170166","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":"Q2441772$412C5A4C-16AE-4293-87AD-8BB585F0C2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f182cc951842ad7cb6fd375d9a3c438bd126df3","datavalue":{"value":{"entity-type":"item","numeric-id":633291,"id":"Q633291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb48aef9048cb56d04afca682548ad12d0577c1e","datavalue":{"value":{"amount":"+0.7294053435325623","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":"Q2441772$F1E619B0-650F-4058-8B87-03BF1E8B75A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feae8dc0560b7264c4493046e4beea2afa5d066","datavalue":{"value":{"entity-type":"item","numeric-id":3522915,"id":"Q3522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd187724efdbc271455a5394249a2a84ae9714f","datavalue":{"value":{"amount":"+0.7056150436401367","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":"Q2441772$EA99C939-E94E-4948-9FE1-7168827748C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791cf737ef7f9fd032e937bf530521a62c362abb","datavalue":{"value":{"entity-type":"item","numeric-id":3612989,"id":"Q3612989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff62475036af110568f108f56496f0699fe9553","datavalue":{"value":{"amount":"+0.6969080567359924","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":"Q2441772$0A1D5ACE-480F-41B3-8455-FCD6DF8E9DB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SMT-based scenario verification for hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SMT-based_scenario_verification_for_hybrid_systems"}}}}}