{"entities":{"Q3628531":{"pageid":5658437,"ns":120,"title":"Item:Q3628531","lastrevid":80848742,"modified":"2026-05-06T17:08:20Z","type":"item","id":"Q3628531","labels":{"en":{"language":"en","value":"System-Level Assertion-Based Performance Verification for Embedded Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5555549"}},"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":"Q3628531$ED0F224C-B0D9-464D-BC92-998C62F4F173","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb984e94d5d74216a9f964bafcb70d4347b4c0b0","datavalue":{"value":{"text":"System-Level Assertion-Based Performance Verification for Embedded Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3628531$3A3BE925-01D9-434F-9482-53735A249E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0982579749ec913265054410a181d395c7a263b3","datavalue":{"value":"1183.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628531$DF8B8458-45D7-43FB-B0FE-4438E3D29D59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4885dfa717dfeb18a846b98bcc9e2adc4936f3f","datavalue":{"value":"10.1007/978-3-540-89985-3_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628531$5441796D-F177-4447-9063-8E6DAF445FC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1302edd2ad2352bd47d26afec4c27df4cead9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3628530,"id":"Q3628530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628531$88B9CC43-6C05-4471-A687-A90D559597E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"878e02207a7e7d1de4a3bfd9c1398c35bd373705","datavalue":{"value":{"entity-type":"item","numeric-id":2371971,"id":"Q2371971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628531$E466F3A5-141A-409F-80B0-9343BB501778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2d85cfa0db9ccd1c42647609c68e830891da66f","datavalue":{"value":{"entity-type":"item","numeric-id":2371973,"id":"Q2371973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628531$8DA78558-9E8A-4C07-8ADF-89E4DA6E8A79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628531$B43415C9-F37C-43FE-9070-497B7243FCE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156a3c6661c249635ccf68f02d9443cc24aebf14","datavalue":{"value":{"time":"+2009-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3628531$8B8CC309-8419-4964-93A6-B4168E215282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628531$62934015-3550-48AD-8628-865E01EF5255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628531$7FF508D8-B3A3-4124-99B8-558CE4174722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d1ce34286bfdde5f3621be27647aa94129f7ee6","datavalue":{"value":"5555549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628531$04D1C12E-D91F-4CA3-8446-61AFDA06D530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d02a2c03774987c3a21f629a868d7e81c6d281a2","datavalue":{"value":"assertion-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628531$66158123-B001-48EE-A91B-635272264978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6c192e1b2a22bdfbf62e3c2d8d122bf9770822","datavalue":{"value":"computational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628531$7E2D8834-16EF-4867-8536-4703A09FA6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11f98a66e5efb21f7ba43df42a442f93b601627","datavalue":{"value":"performance verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628531$3762A3DC-AC77-46FE-AB3A-D67B67572350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3beb30c910f4807fc45e68c5935a00d10576669e","datavalue":{"value":"transaction-level of abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628531$8337B244-2ED7-4428-9EDD-237BEBA8F82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b20dab7444d4e633105cb9c31061a7629add72a4","datavalue":{"value":"performance assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628531$598C7626-12CC-4BB5-AD6D-0280009EBC25","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":"Q3628531$3EC19608-F5F5-4B83-ABAD-1EF358B22B70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee9c7ed67fcae1b3bef467770d1c04003cf2c4ea","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89985-3_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3628531$256B3505-B16E-429C-9F44-35AF72EC5094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"133d578710c3c0eaba9046f7c8d6b2607260ff5f","datavalue":{"value":"W131539937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628531$1E1145A1-4537-41BB-A8DB-F3D4C05B0297","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f017129dc32e5f62b7b529cd1ba27898b9fe8e6","datavalue":{"value":{"entity-type":"item","numeric-id":4230777,"id":"Q4230777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa43300bbd12726a5dceb32406cb6abeadd27a7","datavalue":{"value":{"amount":"+0.7235512733459473","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":"Q3628531$91745BC2-0228-4E51-9527-288DC0C7970C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3936da20a3a1a93c2bb42f9f2a2ed85c36d712","datavalue":{"value":{"entity-type":"item","numeric-id":2441724,"id":"Q2441724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa43300bbd12726a5dceb32406cb6abeadd27a7","datavalue":{"value":{"amount":"+0.7235512733459473","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":"Q3628531$DE2D26CF-5A30-48A6-AFAE-789DE43C31E7","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":"05cb8242427293ad5cf9a0b2d82c7027859ec85c","datavalue":{"value":{"amount":"+0.7188416719436646","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":"Q3628531$8FE174BF-6D0B-46AF-8D4A-8CBEA41E0D08","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":"c23340d65f6e6994396192cb50841b48f42c19e9","datavalue":{"value":{"amount":"+0.7163867354393005","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":"Q3628531$C5AC4425-D9AC-48A1-A30A-B95E66BFBFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ecee5269429f7eec5c0ae79aa32cc388d5f24c","datavalue":{"value":{"entity-type":"item","numeric-id":3092750,"id":"Q3092750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c33ff439d36fcf04e00e871506938e25191c8a","datavalue":{"value":{"amount":"+0.7107837200164795","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":"Q3628531$D09FBD97-9118-4DCF-8A07-CF4F745F51A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System-Level Assertion-Based Performance Verification for Embedded Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/System-Level_Assertion-Based_Performance_Verification_for_Embedded_Systems"}}}}}