{"entities":{"Q1019015":{"pageid":1020863,"ns":120,"title":"Item:Q1019015","lastrevid":69431025,"modified":"2026-04-13T06:57:07Z","type":"item","id":"Q1019015","labels":{"en":{"language":"en","value":"On the correctness of upper layers of automotive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558111"}},"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":"Q1019015$5C70540C-95EA-4F15-95B3-75345F2C9813","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"632cf4a1edec37d73015304719ffe2043130547f","datavalue":{"value":{"text":"On the correctness of upper layers of automotive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019015$89EACA4A-0D9C-4EAA-ACFF-E23B520DD7B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6004a67db598331757abc7c6ffc2a9106e078888","datavalue":{"value":"1165.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019015$2BBBD669-7086-4F9F-AF5B-50936F4A9921","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e021162695ae86eb97b4133b5e344382e9e56f73","datavalue":{"value":{"entity-type":"item","numeric-id":1019008,"id":"Q1019008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$D457CF28-2BE2-4D37-B78C-5A764D238D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$48D9A296-28AE-4023-A7D7-2E746823E49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad5cd6fcb9255c93e89505bb9e98551f5b3ec054","datavalue":{"value":{"entity-type":"item","numeric-id":1019009,"id":"Q1019009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$168F948B-F790-44E0-B78B-0498EE76307F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fea348c5baeb70773f71d776fd773a3f4d2d601","datavalue":{"value":{"entity-type":"item","numeric-id":1019010,"id":"Q1019010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$3BBFB93C-359B-49D3-A6A8-480C9A54599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56074db3bd7feaae7253e911e20fdcee2e405b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1019011,"id":"Q1019011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$3AB6A114-347E-4C76-8E3A-8403BF9B120B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94680bca361cbec5dcb2ed95ccd77580cabff43b","datavalue":{"value":{"entity-type":"item","numeric-id":1019012,"id":"Q1019012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$06CFA6F4-922F-49A6-92F8-66923EF40A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b67896a52198174de17d88a34b079ef9f884f8","datavalue":{"value":{"entity-type":"item","numeric-id":1019014,"id":"Q1019014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$EC04BEBF-7076-4401-B160-F4B51E5F4739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce524b0c7940e9706063c12430e952a441c4e370","datavalue":{"value":{"entity-type":"item","numeric-id":290241,"id":"Q290241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$1051F52B-0782-436D-A0FF-26FDFE9DC682","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$5BE42813-6100-4FB1-B332-0293C3837E9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019015$68A31B52-4032-4374-BACC-C5C6AAF073E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019015$6A8E7F03-458A-49F6-B49C-29A2C3C104A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db0d0cbe5ed1a0d50f914fafa13feb21c9ccf905","datavalue":{"value":"5558111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019015$693CA9A1-38CB-4845-ADB2-3439519BFE35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019015$2F9DED4D-042D-42E4-B17C-E371960C2B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd80e02454170ec205a31635cde21bee2c8090d3","datavalue":{"value":"automotive software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019015$B2F44B51-1EF7-4570-A15A-5551FF0249DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b92cf7a212c7fe2d1b2c802646eb8a50ec9981c","datavalue":{"value":"model-based development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019015$9F216565-ABBA-443D-A23F-1DB931600E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f058ec7965551592fd77002bc7a3c2310ec073a4","datavalue":{"value":"time-triggered systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019015$3B46F00B-0AD9-480C-8E2F-A757FA5117B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$6658D8A0-07A6-44F4-BC5F-90F1A7CF0B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$BA162CA3-7DD4-4F1B-8914-27C77282AF0F","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":"Q1019015$06886260-EBE0-43CC-AA9D-3F59D8B52DE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8869a039e43789cd5b0da669ebe1b7c18bafdff","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0097-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019015$7EFB71A2-D1B9-4730-8AAE-6A8EC1D75BB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f58a22ea49e96a194f4a2f547adc8ffbeeb56d9","datavalue":{"value":"W1985654543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019015$E556EBED-EE39-4CF3-AFC1-615BF5333CD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f4de4f4147c8ebb33c614c7ab09b5b2ab51110","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$AA0B7C45-D67D-46F1-9D30-76C6A0A1CC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22875be1e213267ecc860639cc98aa09a7758549","datavalue":{"value":{"entity-type":"item","numeric-id":5477643,"id":"Q5477643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$8FB531F4-CB11-4D1E-AEE6-BEC3EBC7DC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be426bf5a6b3a8171400dfc94e4ac8690f3a45db","datavalue":{"value":{"entity-type":"item","numeric-id":5493211,"id":"Q5493211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$CD0E0B0C-4D61-44C3-AB74-E37E9589A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019015$8E87D91B-0D26-4918-BF36-1B6D9903FE42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"305ea87adde0d47c82159c03fd9b08f02f14b0dd","datavalue":{"value":"10.1007/S00165-008-0097-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019015$0747AC4C-08AE-4E9D-8E84-A649787EB6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe199994282387c005a1e701dce6e56765961cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5716906,"id":"Q5716906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29b5f621c31ceb5c76f9deaf410bf57dc08c9f5","datavalue":{"value":{"amount":"+0.7469253540039062","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":"Q1019015$5A7ED527-A505-4B55-9D3B-90E76B067E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff1de51745fc4e701d687850da2dacaf6770ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3564030,"id":"Q3564030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bfeb65a315c737ae00fb1911f7bf183b27e39d","datavalue":{"value":{"amount":"+0.7441180348396301","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":"Q1019015$78AAAC45-2242-4588-96F4-83F7D6EFB975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f995e579a60e3ec92186ecba51a5016119d7f14d","datavalue":{"value":{"entity-type":"item","numeric-id":5493211,"id":"Q5493211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f305eec3e3f338113e24e19ba370aba97870b59c","datavalue":{"value":{"amount":"+0.7293842434883118","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":"Q1019015$64BE51D0-D872-45F4-A293-F51B59B86610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5841d8b2f66bb7bd689a9d4e641904ca787efcc","datavalue":{"value":{"amount":"+0.7137934565544128","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":"Q1019015$23A5138F-C28E-4CFE-B3A8-2BD1FC27F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ee0161eda379d508f03734ede606fe00296992","datavalue":{"value":{"entity-type":"item","numeric-id":4610434,"id":"Q4610434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712bc285df886f4a7fde8ee59aa487ce6a283435","datavalue":{"value":{"amount":"+0.7091355919837952","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":"Q1019015$FD2749B3-D89D-414B-BB55-BA555F0E1194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the correctness of upper layers of automotive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_correctness_of_upper_layers_of_automotive_systems"}}}}}