{"entities":{"Q2993272":{"pageid":3003996,"ns":120,"title":"Item:Q2993272","lastrevid":52592654,"modified":"2026-01-23T01:40:13Z","type":"item","id":"Q2993272","labels":{"en":{"language":"en","value":"Schedulability verification of embedded system AADL model based on timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611956"}},"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":"Q2993272$21AA98C5-6545-4CD3-A7C2-4E518EAF3093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf1a52f8d402262d9777b912873ac9e864be31f","datavalue":{"value":"1349.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993272$3B899D64-028F-471B-B77B-451EB1ED8820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a217bd9659eb648f8d144c6365c088a48998a71","datavalue":{"value":{"entity-type":"item","numeric-id":250814,"id":"Q250814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993272$96CAE1B2-B38E-4B42-90C1-7B11BE78D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"024720dae47990711fa68eb09d63fc34ce94c283","datavalue":{"value":{"entity-type":"item","numeric-id":2993269,"id":"Q2993269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993272$5B668A3F-6EF7-46BE-A501-85F19255508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34a15653450562807f16408843a226006b0ab21","datavalue":{"value":{"entity-type":"item","numeric-id":2993270,"id":"Q2993270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993272$409F9859-FEE6-4876-A524-A3B89E74D76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a895d836893edb723e1233df9251614b6e7d6094","datavalue":{"value":{"entity-type":"item","numeric-id":2993271,"id":"Q2993271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993272$9F929774-7633-4F98-8BFA-2698998CAC7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-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":"Q2993272$2291F6A1-D26C-4F17-8D63-5561CC88D7A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993272$63973734-6EF8-4E67-B6E9-ECCA21DFBD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993272$F58D415B-B581-4F5B-9CE3-1E92D254A1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993272$4002E721-3B77-4228-BC3F-123B05401E43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"405f32f09235bfb802e4f29a05c7dfd7839a93d3","datavalue":{"value":"6611956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993272$B226D65A-0310-4E20-B9AA-D9812DF6B4C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b55cbd06ad5959ca5f9095ccce2413fb41213d","datavalue":{"value":"architecture analysis and design language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993272$A9845C7D-9830-4AE4-8695-EEC3EE9C338E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be84cacdfedb8c6ad53a82146058c48be88f6df","datavalue":{"value":"timed automaton model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993272$BA180C64-D4BE-4A18-B7D5-1691D33A9B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267727d71138c8af8df1fe0229813b961c7e4aa1","datavalue":{"value":"schedulability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993272$68167D89-120C-42B7-9FCF-6107C11D97EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993272$2DEC0D42-51B9-4B82-B07E-9B0CF9269E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993272$9AE78C17-6EB6-4E61-A5DC-5ADDC46D4699","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993272$6BB53F30-D16D-4C10-81BF-FDB0926F98E2","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":"Q2993272$DCEA8CA7-CBD4-4720-B08C-2E1A2056B5F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77746e7893589107f98d0984e876628c23787027","datavalue":{"value":"10.3969/J.ISSN.1001-0505.2015.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993272$7844E186-2DD8-417D-A970-18DD464BD476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdce073c4f6bf73ea098334f8fd024e525339d","datavalue":{"value":{"entity-type":"item","numeric-id":3564026,"id":"Q3564026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a01174bd346f81c7d9caa02a6e55214f8a92e9","datavalue":{"value":{"amount":"+0.7405277490615845","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":"Q2993272$5DC7A346-D5D2-4BFA-A795-075C66F66C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a393b47c99a4523fc0f24bcfab2a914938e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2475307,"id":"Q2475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1656e876b776d29b8fbd058b85f5045c866279e2","datavalue":{"value":{"amount":"+0.7361156940460205","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":"Q2993272$35646F0B-E0F1-40AC-A090-3FE4E98B2DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7cb30e50f6226db30adc829991bc734fc1c87d","datavalue":{"value":{"entity-type":"item","numeric-id":5757088,"id":"Q5757088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7716a747be887ba03154afe915be73cb48afc11d","datavalue":{"value":{"amount":"+0.7349282503128052","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":"Q2993272$E034F3D2-ABC4-4439-A5C9-E1B3947656C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be676009a62875570c8f28ac672e7c6bbd0a8ec8","datavalue":{"value":{"entity-type":"item","numeric-id":4537141,"id":"Q4537141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e122daf19cb00752c892de9432b3a6d0c24e7e4d","datavalue":{"value":{"amount":"+0.7309285998344421","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":"Q2993272$640B15AB-581F-4E3B-9DC6-09EADBC13633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e646d3249b565fe2d06896581e7eea0b54225dcc","datavalue":{"value":{"amount":"+0.7273479104042053","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":"Q2993272$C1D171FA-14FD-47B8-9501-20B97D28F1D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2993272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2993272"}}}}}