{"entities":{"Q2506294":{"pageid":2517037,"ns":120,"title":"Item:Q2506294","lastrevid":44223270,"modified":"2025-11-21T00:11:53Z","type":"item","id":"Q2506294","labels":{"en":{"language":"en","value":"Verification approach of Metropolis design framework for embedded systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5058253"}},"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":"Q2506294$23736F23-6BA3-4392-A83A-9410C518C699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"321930f58e7622081e35d3d7fbfb5d983ec4a61a","datavalue":{"value":{"text":"Verification approach of Metropolis design framework for embedded systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506294$B155B42A-8DF0-4A5B-9366-90B5CC27120F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"593a310c0b296f9f243f688455a72391dd9bae32","datavalue":{"value":"1100.68585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506294$7FD73979-3557-4AB3-AD0A-B40CD8EE20DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f25b23645c41f4571d69148a433288860708f9e","datavalue":{"value":{"entity-type":"item","numeric-id":285739,"id":"Q285739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$F2274DC1-02BC-4A5C-96E1-7344B0246715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d489f4a3a43fbb1fad9b69ae56edaaec61706b","datavalue":{"value":{"entity-type":"item","numeric-id":2506293,"id":"Q2506293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$9993598D-1889-4704-984E-B2ADD4B39B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e169aeaa04a52d35c190b925e85f0976b1280cda","datavalue":{"value":{"entity-type":"item","numeric-id":1346651,"id":"Q1346651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$5718B6ED-7918-4295-84A7-711BD7FBD733","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$BE88F268-657D-4A9F-8C11-AE80B6AB675B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506294$23364AD8-B56B-4AFA-85F4-B060159F46DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506294$6E6288EE-7A15-43FF-ABE1-58404C262602","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c5898dc6526a140378c37412a0454bd4a897b9","datavalue":{"value":"5058253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506294$ABC0065E-5C8C-4689-BBCE-B7AAA9985640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$7055303F-B99F-46D9-A0DC-FBABD17EBDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f604dbe906803506bd58cfe8950a2e4663173eb5","datavalue":{"value":"LOC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$7EA0F7BA-73C7-4389-8BDA-1C178101240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9a401b4f2e5572e0dab4f83ba4e2049b00306d","datavalue":{"value":"Metropolis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$41F75249-843B-464D-BE53-E47C181B5518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b0364ab034cad2c0f36aa27de713d8f38eb5ce","datavalue":{"value":"meta-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$CC64B10A-CA44-475F-9B1A-DAB99A2EED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f12a5a1bb8b683b4a145865fab30d25f003aa2","datavalue":{"value":"spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$65AD7F7E-72BE-4A54-BB47-E8FFC5D37A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec851c7b089f9335c9c88a912a53c02b322abde6","datavalue":{"value":"property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$E4253264-1D2E-46F0-90BA-E1247A3938D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$1BC6798D-5D53-4B18-A6D2-795D51B1FE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506294$83E03FFA-AEC2-4E22-99FA-4C51F69FBD7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"731a53205dace117eb99462ae8f39dbcd7e59eae","datavalue":{"value":{"entity-type":"item","numeric-id":14297,"id":"Q14297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$F2250175-62D1-461B-AC48-C684D99F0F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9eed358834755dc5546515f516fe05b23526c05c","datavalue":{"value":{"entity-type":"item","numeric-id":28135,"id":"Q28135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$E729B56A-44B0-44A2-B468-C1AB0783ADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$20D23C2E-AD34-4BC9-ACC7-B729E58BEB97","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":"Q2506294$13CBD3AF-C828-414B-AE36-31A7A4A46BD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04400d203b93616266d96b7d124661478dfc17b3","datavalue":{"value":"https://doi.org/10.1007/s10766-005-0002-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506294$B122FAB9-2702-46EE-B5CA-F3FC3D435BCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3863e3b4a4be1d67c3dbda8997bf8df7f11c217f","datavalue":{"value":"W2094686007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506294$AFA7626E-7D62-40EA-BE69-A63A8234F897","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7fbdc06d4eae4f4980f2de61d30393d398bfbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417608,"id":"Q4417608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$688B569E-FAB4-4E19-B401-CA56878FA61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$F57F1005-7E3A-44EC-BB78-081BD6CF765F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$254FBE1D-B788-4C88-8647-F69875DD0BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0532027442be4fd34c24dc879cb99ed8d137cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2754115,"id":"Q2754115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506294$B65BAFB6-19E1-4ECF-BCAF-A1D9897F3E44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4977a65814b48ea983c2de9b400a3f8a575a4365","datavalue":{"value":"10.1007/S10766-005-0002-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506294$2004C564-4500-4059-B467-10181CE68DCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9e7b0603a93a170d3eb0db3d5fcde275230fbf","datavalue":{"value":{"entity-type":"item","numeric-id":4473711,"id":"Q4473711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c0774816805e8c41cc7574eaf9f16527fadf55","datavalue":{"value":{"amount":"+0.8670788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506294$DACEA913-0366-4AAF-B9C6-8091858DB8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ffaef04734cc3d411ac92da21a32aa8008d0fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2506266,"id":"Q2506266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b2e1469526eb97876bfc3204a72a414019c447","datavalue":{"value":{"amount":"+0.8655809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506294$26D08170-F98F-4F29-A267-901984796304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f2e492f4c72b665d550214e4e15c3fc6aafae0","datavalue":{"value":{"entity-type":"item","numeric-id":488384,"id":"Q488384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca69e6f33c31e6cf9344919ae9d14127807063bf","datavalue":{"value":{"amount":"+0.8642586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506294$D8662893-0991-468F-9E7E-977E22C7B719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adda8a9fef29f398315e8701df599263073158ef","datavalue":{"value":{"entity-type":"item","numeric-id":2371975,"id":"Q2371975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61274dd3701b4e2828ad355c113cb250145a123","datavalue":{"value":{"amount":"+0.85947686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506294$E784D3DB-9E09-4A33-9AE6-8FEBDDD6EBF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2506294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2506294"}}}}}