{"entities":{"Q3384434":{"pageid":3395137,"ns":120,"title":"Item:Q3384434","lastrevid":87221360,"modified":"2026-06-04T11:07:09Z","type":"item","id":"Q3384434","labels":{"en":{"language":"en","value":"Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445550"}},"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":"Q3384434$50AE62E3-ADF4-4EA4-9C1C-5C9A57E8AD4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d98c857208ad162a4e42bde2967c207f6dcab805","datavalue":{"value":{"text":"Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3384434$B38CC5DD-1428-4073-9EEC-2E0B5F38D0F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cde08c56d3d7d8880b7607c1fe59c21a0669feb","datavalue":{"value":"1476.93075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384434$E67E1E9F-65AC-4676-BF84-8521077E8079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e320530ce9aa496180ec472fb442cbf2ce980031","datavalue":{"value":"10.1109/MCS.2016.2602089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384434$91654B44-C9D6-4E3E-BC00-1DDD86FE0B3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"774e88330d96134fd26d25fa13fa3bee8fe38771","datavalue":{"value":{"entity-type":"item","numeric-id":2520673,"id":"Q2520673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384434$BC6DBE93-3EE9-4C38-8716-7DCC08868D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384434$D29CF06A-7FA7-477C-90B6-12F1706C9F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f3ec27b8c0711d70c6a0f17c980dcc93fd6a20","datavalue":{"value":{"entity-type":"item","numeric-id":3384433,"id":"Q3384433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384434$7744E598-83E3-4D6E-8C5E-C7ADF520B398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26862fe3feeea0cebb53f49c57376152d09ec4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2873474,"id":"Q2873474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384434$8BADE963-D5BD-45AF-89BB-956DD329F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44f768c24bbb69aa562f594bffbf9e5c61424ed","datavalue":{"value":{"entity-type":"item","numeric-id":1406261,"id":"Q1406261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384434$E5E59B7F-C23D-44A1-8782-2885AA30590A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c9f927904d34551d4b529085153eab06c38a157","datavalue":{"value":{"entity-type":"item","numeric-id":3384293,"id":"Q3384293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384434$3E32E519-FE51-4DAB-8DC0-F47D418FD1AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e0bac8f0fcdf97bdc17562f0f99c46eeb852b29","datavalue":{"value":{"time":"+2021-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384434$D23392FC-3197-42A4-9DBD-6E4DEFAC0A6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe6507b35037bd248214e736cd1cc21eb57959f","datavalue":{"value":"93-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384434$B86EB872-F494-4824-A128-1D2E99547A00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73cb2e4b0540d37f0e5f5398174604f2b6d474c6","datavalue":{"value":"7445550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384434$5EBBDDB3-817B-4B5F-AB54-376D567A2615","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":"Q3384434$D24DB5F8-290B-4E8E-8056-797A5F8EAFFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation-Based_Approaches_for_Verification_of_Embedded_Control_Systems:_An_Overview_of_Traditional_and_Advanced_Modeling,_Testing,_and_Verification_Techniques"}}}}}