{"entities":{"Q4645732":{"pageid":6675313,"ns":120,"title":"Item:Q4645732","lastrevid":53316767,"modified":"2026-01-24T17:30:50Z","type":"item","id":"Q4645732","labels":{"en":{"language":"en","value":"Automated analysis of Stateflow models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999984"}},"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":"Q4645732$8EE33165-B561-439B-B915-696270CE426C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c419ab2986491af7eb7d33054387c5c3dae7eaf","datavalue":{"value":{"text":"Automated analysis of Stateflow models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645732$359D5677-ACE7-4B73-99D2-DD4B16CF6E12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3682c0968a2bc7e16cbbf2f40074b3785d144d2d","datavalue":{"value":"1403.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645732$8A90EB86-B8C1-4C4C-B39B-52A05D0F6650","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd63f944f92e3b0e8dffb106635d4ae6ef44ee8","datavalue":{"value":{"entity-type":"item","numeric-id":4645731,"id":"Q4645731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$9472E76B-CB33-4B85-B2BA-A6A020ED6A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$C06735D6-3DEF-4BD4-AEDB-4D0C3B9093CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"098d53994618fe863762f7b4ed7aaa4434e76660","datavalue":{"value":{"entity-type":"item","numeric-id":1768905,"id":"Q1768905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$291424A4-3234-4228-BF7D-F62D3ADC5DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$24D0DB1F-0134-482C-8E47-EEC5781CB638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c732a89100be7c8dc37bf74f1ca440c3a9b624e7","datavalue":{"value":{"entity-type":"item","numeric-id":3184733,"id":"Q3184733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$53CFC417-D8CC-4505-901F-B6E18D46698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da0ead3e796cb81313b10acfc741b0e5e1a66bd","datavalue":{"value":{"entity-type":"item","numeric-id":2279136,"id":"Q2279136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$4BB9981D-EE11-40EF-85B3-809E2A9408CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645732$6133049D-C57B-46E8-82B1-C68BA0A3B9AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645732$E4099EC7-A0C0-4596-92A3-A7760145885F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645732$A3F17A80-2D8F-40C5-A719-641E410B1447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645732$49CB7C0C-7556-4D5C-9CFC-BB5B052E52D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"142cdcdf9ed05e2c80a70ca90f1c499947e6afef","datavalue":{"value":"6999984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645732$61C3DA88-DBED-4892-A4B9-4302195F61F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645732$35456A6E-B759-4694-A988-AC058795DD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645732$F5BE9055-7D9A-4292-A2A5-B64A344EA450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f75b50bb71a68bd76e92600e7ebecdbfe0c1b8","datavalue":{"value":"stateflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645732$BEAFEF58-1B59-425D-B52D-BE05D2855A7C","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":"Q4645732$8151F39F-B4DA-4A0A-A389-B76852EA1E29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48c769e941254445c40076c8a87966e66e5539c","datavalue":{"value":"https://doi.org/10.29007/b8gq","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645732$E61D0953-D00F-44DF-A2A8-CE55765B6961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a55dd882e8d68e3fe65309c092121ff7d180c45e","datavalue":{"value":"W2736911465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645732$A3735CA1-D962-4819-85F9-9E5C87C05F15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0a0631d3b803bade05322d7218914a6adf87939","datavalue":{"value":"10.29007/B8GQ","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645732$393F5D0C-6CEA-4B08-865F-08222BAACEBA","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":"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":"Q4645732$EFD13103-AB5D-4297-875A-2FD3E93D45FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a022ae0f8d3587ef1132e8b5b3b56b91a5c471","datavalue":{"value":{"entity-type":"item","numeric-id":5428888,"id":"Q5428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551915c91504c58582878363e7917f4d1a3524e5","datavalue":{"value":{"amount":"+0.7602899670600891","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":"Q4645732$D87438E9-8323-44BC-85F4-AC814AA5CA74","rank":"normal"},{"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":"7e2f0edc5444981e91916dd510ff16294e83228e","datavalue":{"value":{"amount":"+0.7575284838676453","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":"Q4645732$7CF1538E-5A3C-403A-94EC-4D672B743606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472466c4d75d78d847e80c1e90aef80ccb395113","datavalue":{"value":{"entity-type":"item","numeric-id":5015367,"id":"Q5015367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c291083442a7ee6425839d67720a07cf648d49","datavalue":{"value":{"amount":"+0.745030403137207","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":"Q4645732$62AEFB91-F960-4927-87E7-6DD3576B007E","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":"df640de8119b5537c3bb1be92fae5c9cfe524482","datavalue":{"value":{"amount":"+0.7437118887901306","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":"Q4645732$17A0B1D5-C35E-49F6-B65D-A65697724A72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645732"}}}}}