{"entities":{"Q3654541":{"pageid":5684447,"ns":120,"title":"Item:Q3654541","lastrevid":49840006,"modified":"2026-01-11T05:06:42Z","type":"item","id":"Q3654541","labels":{"en":{"language":"en","value":"Synergistic verification and validation of systems and software engineering models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653890"}},"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":"Q3654541$A848FC57-5853-4DD7-A93A-BE4D059C97A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"275f55510341bcd5be998346a6b4001d039a9d43","datavalue":{"value":{"text":"Synergistic verification and validation of systems and software engineering models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3654541$206CD62C-3660-4758-8804-174B55D942DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f1808a1abf69a8cfadcd7e52f378192d052ae66","datavalue":{"value":"1191.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654541$3D253D9C-6E7C-4157-A954-8F12E040CE5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4d0d15116dfa77dc18c0e656127faa970bb5e16","datavalue":{"value":"10.1080/03081070903029253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654541$63B4E070-9E8A-4272-8C6F-9DD89FCD3B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd40763aacd8cef60f28c2fab26ac1fd7547dc36","datavalue":{"value":{"entity-type":"item","numeric-id":3654537,"id":"Q3654537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$3F25B439-70EE-41A7-B4EC-61C735F1FF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a15708e2b7144a03338b8f3e1bb97f28db214521","datavalue":{"value":{"entity-type":"item","numeric-id":3654538,"id":"Q3654538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$BF3B7D9E-03F1-4906-8429-958960B17884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c809c7d81c18a64ac35f9b97575ca0f5302e39","datavalue":{"value":{"entity-type":"item","numeric-id":3654539,"id":"Q3654539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$46FD0E7A-9FE7-4602-927D-EEF49D141C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2b38db35178629216fb5a5d1117935f5fa4828","datavalue":{"value":{"entity-type":"item","numeric-id":276467,"id":"Q276467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$303C0D7D-4331-4907-816E-E279C915FA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7dbbdb243a6f9d1f0ca0dae578029b9dfc7d28a","datavalue":{"value":{"entity-type":"item","numeric-id":3654540,"id":"Q3654540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$7DA8E730-C69B-4690-AD8E-8AD971484F46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1df81e788c24e735b818d872bb7126f8abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2711637,"id":"Q2711637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$40B01999-4120-497E-84FA-03B0E65F570F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3654541$2BB65F30-F5CE-4DF9-9352-D5546DAAEFAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654541$F68EA591-24DB-4C91-A670-5FA44C154B08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf92d09ddc86d0027154b95c541633adf01596f","datavalue":{"value":"5653890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654541$B01682C0-534E-4355-BE37-961085FD6962","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa89706b72b8cd4360c5112cdd77c66d264c6e64","datavalue":{"value":"software and systems engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$A7650426-7177-46F5-A463-615024C98667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75b3e5b1f5ce47be185e9116111a6151f0b94e2","datavalue":{"value":"UML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$61505D3D-978E-4E0A-9A47-6F113CB19EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e43cd41874bdf0203621b248a0ff86665b96404","datavalue":{"value":"SysML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$7D5674AC-6A19-4FAA-9624-E515DE7C4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f5940f91ec03a8c266a5311133f886ff0b91b89","datavalue":{"value":"design models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$464FF373-9904-4185-95D9-73E67F2FD57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6521d4973e9b08aae01d7526b7a46fc6ab324b96","datavalue":{"value":"verification and validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$4F0B2D1C-09E7-4F62-8CDF-1F8286D3D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$01670F21-5141-4A8F-B4A2-FECAB2581060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68df252f7b452b8146b6b2e4e8d2f950ec481ef0","datavalue":{"value":"software metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$8DD15BC4-DDA6-4B43-A274-94DD56DFF9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$5268038E-5B5A-46AF-AED7-A834C5A20765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fbd38edc7054c94a127e94caacd6a62289edbe","datavalue":{"value":"programme analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654541$50C227D1-4327-44F3-8B59-F9F102F48486","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2cb52676dce9ca530dc139b0507517687f75798","datavalue":{"value":{"entity-type":"item","numeric-id":21148,"id":"Q21148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$10060C78-C24D-435E-8B7E-C5C385C609F5","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":"Q3654541$8B603057-DCCB-4A06-ACFE-7B091C909EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b661fa54e0fc50c8fcf1a3e6ae57761aaa7be6","datavalue":{"value":"https://doi.org/10.1080/03081070903029253","type":"string"},"datatype":"url"},"type":"statement","id":"Q3654541$79F7DD39-3026-4BAD-BB18-8E7F64EAD082","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0881ed1dacbca4e6594c953213d75d43cb73d520","datavalue":{"value":"W2132387930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654541$2D85F3F3-EA3B-4A3A-9A77-879154AEEB33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$5816E0B8-F1B7-4CD4-ACDB-702BE06F3191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d835a91e5f8b780c1597601ff74c03afb28a8","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$1C96A07C-21A8-4D67-9A86-AD2213EE7C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f14593b713a33a73976f04d36c53f1d22d9026","datavalue":{"value":{"entity-type":"item","numeric-id":4251114,"id":"Q4251114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654541$BA406456-3C79-4902-8F1E-36747DAB0C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d5cf732ab09be33e706adab7b1842ac25e1dd9","datavalue":{"value":{"amount":"+0.8778767","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":"Q3654541$39BDB68A-33AE-48ED-B635-95920FF77B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1a600882b169c74b81280188989c314fec32b8","datavalue":{"value":{"entity-type":"item","numeric-id":5703955,"id":"Q5703955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86370a59dd3f6b76f68f49df928936789da39662","datavalue":{"value":{"amount":"+0.87496614","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":"Q3654541$A0C2D394-21B3-4CBA-A1B1-E5CBDB0B750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de450abf9babab63e4876daa04dc1e1dff7a352b","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a224ad181ab37107083b9ed63bf1615a124c466d","datavalue":{"value":{"amount":"+0.86939466","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":"Q3654541$DE4F913F-580C-475D-8F2E-0F568D914069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2481b05f8832cd45edf8df29d6c23dd4d5e7a6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5308367,"id":"Q5308367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3d6d77481d80295afa586888040eef84cdc3e1","datavalue":{"value":{"amount":"+0.8665939","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":"Q3654541$8BBC6EE4-CBFE-42A6-80FE-45ED3BF40952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a5eca28ce4cc58d3f82807a7287f65b9549fd5","datavalue":{"value":{"entity-type":"item","numeric-id":3176361,"id":"Q3176361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a48e1299c084de3c130d8e2f29a9ba2a07ffa7e","datavalue":{"value":{"amount":"+0.85519207","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":"Q3654541$8A8CB295-3899-491D-8AF9-AB09E7FEE471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb98125f569010997bfd052714e8d698ce790a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1388880,"id":"Q1388880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79df05aab88445c4c396a3a80af01f28638ed21","datavalue":{"value":{"amount":"+0.85459566","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":"Q3654541$5A4AFA64-200C-4CE5-9BD5-D9655D5EB41E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3654541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3654541"}}}}}