{"entities":{"Q4600381":{"pageid":6629964,"ns":120,"title":"Item:Q4600381","lastrevid":41896493,"modified":"2025-05-09T13:00:06Z","type":"item","id":"Q4600381","labels":{"en":{"language":"en","value":"Formal Verification of Simulink/Stateflow Diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6823169"}},"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":"Q4600381$8ACD30A1-7DE4-411B-AABB-5A5BA7403B99","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":"Q4600381$9C7FFC60-484C-41ED-93C9-709EA316CC23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da9a346af52c03281b43299603c890b150e4e9d1","datavalue":{"value":"1412.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$4EFF2588-CB4F-4845-8352-6B330186A85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d82e087e238d4d328b25fb7ec6c6898b03677093","datavalue":{"value":"10.1007/978-3-319-47016-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$74276545-C874-464D-94C7-5E5DB2D1A676","rank":"normal"}],"P16":[{"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":"Q4600381$8355E3AF-5B6A-4D34-95E0-415D8107C171","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":"Q4600381$D0A77D52-2FCF-4D01-A367-0B1ABB7BAA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf97980ba88a64c6e517760dee1b285382b35078","datavalue":{"value":{"entity-type":"item","numeric-id":781115,"id":"Q781115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600381$C6F79D7A-CBA7-4F39-B504-49CD4F7D880E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59296522954f8d459370efc0222ca77af7f0a85b","datavalue":{"value":{"time":"+2018-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":"Q4600381$DEBEE711-69BD-44F4-A182-701241BEC6CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$32227E5B-1FFB-48EE-8BB6-BAAC98A212FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$09E11ECD-A685-4890-81D4-41AF3F613D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$D0674FFD-F8D5-4C45-85B4-7B8AD0EB6DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$99348EB6-D842-419B-88FB-10EB76F30538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04477c7e64e6de710cccc7375d8fec2caef16bdb","datavalue":{"value":"6823169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$A54F9688-A43F-42E1-869C-40B05F0377B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29190c9bc7b278ccf8af996a8916ca328d37ae47","datavalue":{"value":"Simulink","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$565AF5D4-5B5E-4C53-96E7-8F771892B845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086bc2f71118df78eed709ca38944ceea2735675","datavalue":{"value":"Stateflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$0A224468-4BDA-4468-B43D-F28E1D6C27DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$C89C79D1-CE55-420A-8837-68CDA1A09C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db158fb26b109c799e33bf311226359880ee7a54","datavalue":{"value":"system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$48BA4A98-BDF6-474F-8C5C-88BE438A2B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$4FDBDA72-8151-4D2F-A446-E06877A152F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$516E63D3-F487-483F-94C2-0E988ECD775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$239D67A0-944C-4382-9DA2-AA50F1C23F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679a60e13b71ac165e538d46025dbe8220282b5e","datavalue":{"value":"program invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$26F0B47B-CA4D-4099-BC1F-BB97BC7F6988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$F0426D9A-46C5-4AD1-BB8A-7D31FCF7D295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb40ab2963ea741e717b45b19225d049114cef85","datavalue":{"value":"continuous-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600381$2CAD25DB-E0EC-499A-8D34-DD22710ECE51","rank":"normal"}],"P1463":[{"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":"Q4600381$62A521C7-3F8B-4F8A-9902-D6FAEEDECE3A","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":"Q4600381$760D9617-210B-4AC8-8D81-D90FDDB0A6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600381$7E8A7A1D-ED05-4505-978D-B0B8CBC63188","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":"Q4600381$03444BB1-3D9B-4D1A-92A0-1E90FADA9703","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed56b552093778ceb35d69a3378222a53a67828a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47016-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600381$F64BBDEC-BF7E-476B-9D54-64BDDB4A3865","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fed598e8fd9c5a42548d16c08b7ecab1b19a2fa2","datavalue":{"value":"W4234184051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600381$8FBC1420-982D-46A6-8424-E56ECCB56FCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e859911f4f015f6d400a31050482917aef84d14","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bf612c2fb4b1c2ab3424993a970ed964358bd0","datavalue":{"value":{"amount":"+0.9778751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600381$9F18BEF0-491A-4897-B9DC-F4C758BD418F","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":"b138d0240da088372ad2de2203601accfbfc1d61","datavalue":{"value":{"amount":"+0.92106044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600381$39EE6167-BCE8-4D9D-95E4-A313FAF57D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1ea7df8089a68e5945d1d11aaa9aabc81edf00","datavalue":{"value":{"amount":"+0.89585996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600381$A2685508-F387-4F8E-B3D4-335DFABC5547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e646b0e6df1bffaa051f0b72253bc7b72dbe857","datavalue":{"value":{"entity-type":"item","numeric-id":5013880,"id":"Q5013880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff2aac90df66e96b0144a0d1c421094123d51d2","datavalue":{"value":{"amount":"+0.8824158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600381$61D8B243-98B6-456F-917D-9262D7DA60BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36515adec9e2bb5981a636f31695ebb31872a691","datavalue":{"value":{"entity-type":"item","numeric-id":6134265,"id":"Q6134265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40a38cdf422b0bba2394ed89bf0f2b488c55124","datavalue":{"value":{"amount":"+0.8758228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600381$EB803B54-FAE7-44EC-AF8C-281F4F531B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ee0161eda379d508f03734ede606fe00296992","datavalue":{"value":{"entity-type":"item","numeric-id":4610434,"id":"Q4610434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48e085039d022fa877eb36cabefc7edb41f6d75","datavalue":{"value":{"amount":"+0.8736435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4600381$4A202AF7-ED48-4F1C-9118-CD83E482BDB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4600381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4600381"}}}}}