{"entities":{"Q3460585":{"pageid":5239985,"ns":120,"title":"Item:Q3460585","lastrevid":80740496,"modified":"2026-05-06T16:53:37Z","type":"item","id":"Q3460585","labels":{"en":{"language":"en","value":"Formal verification of Simulink/Stateflow diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527569"}},"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":"Q3460585$53126D3D-8BD3-42CD-BD26-0C73B82034A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6c1fa403d2bd9a8d320ee15b62b96767b5e208a","datavalue":{"value":{"text":"Formal Verification of Simulink/Stateflow Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460585$EC673029-6C73-4ED9-BAB9-F5FD7031C749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d735f71f9d1f7ec9a447f32a6cc0f7bf1ecc2792","datavalue":{"value":"1471.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$87A3A3C0-895E-4D2B-8EA1-6D6CD1E8874B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c643a9123217223e38b8f0478e7d53386bf9c36","datavalue":{"value":"10.1007/978-3-319-24953-7_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$BEA27ADE-5E74-44FA-8120-0DDF4868AF82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eb94a04e28ecf0c1f4a511a4fa7673c659be276","datavalue":{"value":{"entity-type":"item","numeric-id":654515,"id":"Q654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$DB52B900-C4C7-44DF-9749-38D18FF6D0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$F4F4921E-6B59-44D8-A8A9-77DAD60BC655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$3F8D6A88-4653-454F-9BFB-1EEAF7850B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$39B0DE8D-D753-4953-B984-9D152BAE4C24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$D03C9137-1496-48AA-BBD5-60219D43A99B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460585$015829ED-A489-4094-AC19-037164ED88DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$47B539C4-D9E8-4CDD-8F72-6BAA79B28E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$3D9C6368-27D6-45C4-A2E7-9DDF0ABA34EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe6507b35037bd248214e736cd1cc21eb57959f","datavalue":{"value":"93-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$3F6C9038-2CC0-413C-A488-E9EF1694DD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$8C37A5E9-FD58-4E95-9ACF-C22BA12CCF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$7A2B6C87-A4E4-4CF4-8B10-79983CEE6ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e156b4d90d2733615cfa29ed039bf8669e58bd2b","datavalue":{"value":"6527569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$84EE548F-2D03-4F01-9E39-4C9D3E41E65B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ea2d6fbf01194dfa325c5451f6ec97ee4341dc","datavalue":{"value":"Simulink/Stateflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460585$6D402557-5904-4F1C-94BE-E787C74EB75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460585$57E3A6E5-3B79-415C-8D22-430C28A4E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c6134004b5b2544d58ce43cfa6fe89ae28e4de","datavalue":{"value":"hybrid CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460585$824831E6-FE3D-4CB0-A976-BBC050EFC167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3946f7ed8c1d6fa8d3d4a82e9c64044b0176257d","datavalue":{"value":"hybrid Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460585$040B74AF-0299-4B16-B22D-F70038834327","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$6EDD5764-EC08-4BD4-9211-723A7095F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$42AE5EA7-3D4E-43CA-8DA9-BC69D3CFF660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460585$6EE84AEE-A58B-4249-9D14-6665A9C87E0A","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":"Q3460585$EE4E263B-C7C1-491A-9C76-2D0D70D2B7B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c38b9e8db20a4ceb27f0226432d0667223415235","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460585$2CF5E5CE-B3B2-457D-BA09-58409C38A821","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed238f9366b7de11789f09e3cd764422a89dc2c2","datavalue":{"value":"W4379506493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460585$5285649D-5874-4AAE-A184-28A63B830A0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b256fbd870bdd2a67f49eea121827cca963ef26","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c455b4cb6529e8f5c0ef77c9360a056f00a36b5a","datavalue":{"value":{"amount":"+0.8676634430885315","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":"Q3460585$48C3DC24-FB26-451F-AAC7-CCBD54F43F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624951c163b7ff6aa5c3b4c96bc35b8e36777ec0","datavalue":{"value":{"entity-type":"item","numeric-id":436420,"id":"Q436420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac97b43b20babf29fcf7fc75dc9454e25c2bbb4e","datavalue":{"value":{"amount":"+0.8377857804298401","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":"Q3460585$45DE8C3E-5F9C-4418-B91D-14EF95CFD367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24dd03d556eb94ff4f55c998c8bd0c3e5a1a2cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5861786,"id":"Q5861786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03434c622f0b3487f916d48f745a6d94c4feaa5","datavalue":{"value":{"amount":"+0.8191710710525513","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":"Q3460585$46157240-42A6-47D9-8907-E5B151E219A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61443c8ec80ce7ab2d52421cea1e77854acc26e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645732,"id":"Q4645732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93c23d4934dc49084290ffd218653e0ac9471d6","datavalue":{"value":{"amount":"+0.7986129522323608","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":"Q3460585$ABCFB9ED-077F-4E68-9184-6674B784E3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cae4234a690ec3b7c0cb86f54875c1cd67a1d26","datavalue":{"value":{"entity-type":"item","numeric-id":1037245,"id":"Q1037245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c32561f35a8605381801010673bd422309a2277","datavalue":{"value":{"amount":"+0.7964491844177246","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":"Q3460585$7601DA8C-7F9D-4EF2-8262-97CCC985C56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of Simulink/Stateflow diagrams","badges":[]}}}}}