{"entities":{"Q2072065":{"pageid":2082807,"ns":120,"title":"Item:Q2072065","lastrevid":55398817,"modified":"2026-02-17T15:31:52Z","type":"item","id":"Q2072065","labels":{"en":{"language":"en","value":"Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467466"}},"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":"Q2072065$65AA3014-205D-4442-A4B9-DC1DE32A6DDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d1c8590f0ca487e48828ffbdca63e580c0b6d29","datavalue":{"value":{"text":"Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2072065$4FF966E0-9383-47E5-9491-80ADCEE3E172","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af0eebf3ce0aeff3e7f14d4c30f7e124d757432e","datavalue":{"value":{"entity-type":"item","numeric-id":293965,"id":"Q293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$B87E39F4-BA99-4AF9-B4A6-A08989F9287B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d47a0b532fadc119a2da0b4f59e3906ea7d12d94","datavalue":{"value":{"entity-type":"item","numeric-id":258840,"id":"Q258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$1F772FB7-7F50-49AF-BBD0-750FD3D8EAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca2365a4611aa940196e76996204595d162cc74","datavalue":{"value":{"entity-type":"item","numeric-id":192411,"id":"Q192411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$0A98AAA0-E74B-48F7-89DA-17826B360DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$B3A52732-BB73-4F9F-BB51-20F43E524BA5","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":"Q2072065$FF463568-FF7C-41DE-AD6C-A23320228027","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":"Q2072065$6E5CBE96-794C-435B-8678-0FE757653C81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$61596B3A-2799-417A-8F8D-9947AA9F1AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2072065$7BEB1607-7A97-4ABF-A5E7-DBA42491F3F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072065$2C89527B-AFCA-4EDC-93E7-3DE536133DA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf5a07afc0cfed480883418bf232d8c12c2e0b9","datavalue":{"value":"7467466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072065$A3E6A6FF-B373-474F-B71D-86AB6386C75F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0704e88b6b365c994e8dcf014584bee8f0a7fb","datavalue":{"value":"simulink/stateflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072065$225556DE-02E3-48E3-80ED-E52A1F222632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3fd91b1eb3025247f10e0fccb99225a414bc88","datavalue":{"value":"AADL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072065$2ABDA849-30FC-4B68-A628-484210197116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c25efda1814403f89d66a7de0dab5eb1b4c999","datavalue":{"value":"HCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072065$A3CC8001-ED8C-4FAE-BC30-84E72D9407A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072065$E7B7FBBE-468B-4729-BC0F-F345935F54EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0947e15313205c8bbc856aaba44855b0aa7e82","datavalue":{"value":"simulation and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072065$38A0A46A-3177-46F7-8B54-55C84792C353","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$AC5561B1-B192-407E-A3C6-2C1366FA9BB3","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":"Q2072065$D8D902E1-59AB-40A2-9D40-E075D9AEB32C","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":"Q2072065$0A92AF94-27F2-4F7B-8BA6-90D2BC73F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88111430541cf0629caf7682434311ce30f87fd3","datavalue":{"value":{"entity-type":"item","numeric-id":16926,"id":"Q16926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$968DAD5E-BF30-46BD-B5D3-0B228FA14FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$CCD30A63-4752-48F8-9F59-60C55D5BCA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3bcf7f900a698f824d0d7ea71c02c414a8574b0","datavalue":{"value":{"entity-type":"item","numeric-id":31988,"id":"Q31988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$DCDF7CD5-66AA-4640-9BC1-853CC5B5A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2e903d271d60c904eafd44aecef9dcba9a0d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":19342,"id":"Q19342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$A50E6542-8255-4623-A5B0-2CDCE0EA7993","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":"Q2072065$41CD532B-6030-4DB3-87A3-C64239B8C0C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d59cc830248d9689c5839f4c58deba88816a5b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2021.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2072065$BAB59D5F-6540-46B8-97FF-69293CAADC1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c8958fd6fc9b209fe67ab25c9b8f9bf762714d","datavalue":{"value":"W3217694117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072065$57D6BF24-7766-4A74-90A8-76730EC3827A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9140bca0e30f58d56a2c720f1a2cf165b3a5c571","datavalue":{"value":{"entity-type":"item","numeric-id":2296289,"id":"Q2296289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$0041EFE4-87BB-430B-8375-AB021F9298E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$D286EAEE-D0F5-46E7-B2BD-9234CF22F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b462f9efdc73cb182123e1a57698287d93289144","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$1ACA054E-2544-4B73-A802-0181E977F8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$AAD57426-2205-455E-A972-029ACFEB2E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305c6f2f554cac3fbccd1e79cc5f7cc6fb46c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$EA207E77-0E86-4890-A9A6-92C30486B8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f231e40d38d4b946421460140c5f4d76420c611","datavalue":{"value":{"entity-type":"item","numeric-id":2986915,"id":"Q2986915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072065$D5F1270B-9981-40D8-BABA-BAA2CCE36743","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88e037d98ad154d30107bd784aa69c0c6969ac2d","datavalue":{"value":"10.1016/J.TCS.2021.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072065$E054D83B-F9F7-4AFB-8B4F-B21381F90B19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914779f6e6cef56337e35f9774f8170c0a4cc85c","datavalue":{"value":{"entity-type":"item","numeric-id":2296289,"id":"Q2296289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bed60f70ce5764f92955a1e9d02de41478373d","datavalue":{"value":{"amount":"+0.9078816175460817","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":"Q2072065$C50C9D43-0142-4AB0-884D-9DC6E9FB57A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef28cc9defd76d7db0e1568a9770155ad1dc436","datavalue":{"value":{"entity-type":"item","numeric-id":5194121,"id":"Q5194121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e13fd6d9c12ec175227a7528ccbe7ed6ad0067","datavalue":{"value":{"amount":"+0.7346310615539551","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":"Q2072065$E9ED17AA-20A3-45FA-8BF7-2B245DDEA18F","rank":"normal"},{"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":"0d3137483258f3f41111b11b9fd6c9b9806d1044","datavalue":{"value":{"amount":"+0.7277504801750183","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":"Q2072065$6EA4A5FD-08B9-47E4-B8EB-FBC5849CEA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345eb17ef30cd8244fe183c128e2235a1264da7d","datavalue":{"value":{"entity-type":"item","numeric-id":2096416,"id":"Q2096416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf60d375437483d304fbccc5571d6f96e1124bce","datavalue":{"value":{"amount":"+0.7249616980552673","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":"Q2072065$8D2D7353-FC3E-4E14-80D6-95A90DE929B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf95e93083bff7beba54f6534c3539149d1dc6c","datavalue":{"value":{"entity-type":"item","numeric-id":3132083,"id":"Q3132083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee983acfbee0189232bafa7560bb20ab02dd42","datavalue":{"value":{"amount":"+0.7209882140159607","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":"Q2072065$7218FA82-D103-4E24-AE4E-694116FFC7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2072065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2072065"}}}}}