{"entities":{"Q832041":{"pageid":833889,"ns":120,"title":"Item:Q832041","lastrevid":64673889,"modified":"2026-04-11T21:28:06Z","type":"item","id":"Q832041","labels":{"en":{"language":"en","value":"Explaining safety violations in real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498003"}},"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":"Q832041$CD01F21B-BDC9-40FF-92D8-C4E634535B8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f021d3067b4b249bfe8944000f85184b863fe81","datavalue":{"value":{"text":"Explaining safety violations in real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832041$9822E3D7-76F5-40DB-ABB3-CB039637F8BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca09a5721a01c5552353ac14e53938b4f9665a06","datavalue":{"value":"10.1007/978-3-030-85037-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832041$F79DEFB1-CD3F-4352-9E02-230007E215AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b2386e84c35bf285b22af40fcdecc0b5a219ed","datavalue":{"value":{"entity-type":"item","numeric-id":832039,"id":"Q832039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$8EE9A17A-BC41-4B6B-BCF3-5B13A014D397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$E1FF005F-3500-4356-9E64-3DC97E557005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f13d9421817ac985ecda3064ed1aa850bc27c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":832040,"id":"Q832040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$883DF72A-63BD-4C70-AD91-C3CEF0B9A189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832041$F2D8F054-1313-4571-8A2A-E67D96BE4E6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9ae59afff14919541a3d89a2750af24d9499446","datavalue":{"value":"https://hal.inria.fr/hal-03348046/file/RR-9420.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q832041$7157EB8B-CD6D-4280-B257-70D43F2A5349","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832041$782D5B81-815A-4DA3-982D-248CD7C8B3D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab8dc53f44843667a6e887b4b0cbf1facc51d38","datavalue":{"value":"7498003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832041$F2F617B9-436F-409A-B79B-ECFAF97198C4","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":"Q832041$7A7E9233-88DB-476F-9A2E-CC32719A54E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$931911E0-30B1-4697-89B4-F73D6DF9F514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$7E699D42-8A74-42F4-BC87-A8E4DF01D46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973e4e98989cc20aa3f9a53733b88c423fc6424f","datavalue":{"value":{"entity-type":"item","numeric-id":52782,"id":"Q52782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$D4D5389B-5A7F-4EB5-9F8C-639FEBEB534D","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":"Q832041$4DF71CBA-AE85-4518-AEE8-CF332C6A5839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ef110cdcf69390102de29133c44be8611d03792","datavalue":{"value":"W3195992302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832041$2C3A8ECF-FD8C-493F-A579-D6ABA553D7D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c36d898f969780dd13b76170e6e94b63d6fade9","datavalue":{"value":{"entity-type":"item","numeric-id":3525697,"id":"Q3525697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$CD269E07-BD23-4FEB-9C38-6ED22F490398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e44c0f59afe97b4b2de5b26abf6e1b10ba4646","datavalue":{"value":{"entity-type":"item","numeric-id":453516,"id":"Q453516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$0B2E0B00-0E7A-42C1-A20D-6F855789A790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc179938332216b6df7bd64f0b2984f032a6a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2957506,"id":"Q2957506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$0748AE49-649D-43CE-8A50-5EF720004B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd54a8645c9caa1974530526b28c74ab6b34127","datavalue":{"value":{"entity-type":"item","numeric-id":2193287,"id":"Q2193287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$23610224-7276-4C27-9607-1C68769999B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dadb59f1283fec755060b1490a99a038acc0eac","datavalue":{"value":{"entity-type":"item","numeric-id":5290434,"id":"Q5290434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$D62E9E1B-D914-4D4A-B3D3-6C89D892F4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723e12c11f26890c95374043715c528c978e1713","datavalue":{"value":{"entity-type":"item","numeric-id":6154576,"id":"Q6154576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$90B1711A-4D93-4FA5-B7B5-846FB4E6D8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510c432f0ea15ce9c9e005a3d2df987de2fae3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110308,"id":"Q1110308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$0F209BB7-D3BD-4B83-92E1-17565F5262F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$ECCBE7E4-F12F-4188-8422-E1F03F29F5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06f71089d246112f8de1019b27493713b5d5b71","datavalue":{"value":{"entity-type":"item","numeric-id":4934648,"id":"Q4934648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$70A57F2F-BE1B-4BD5-BE5F-D29E0B898E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$9BF37B24-CC07-42BE-BD79-23090EEF06BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$D8BE37EB-2ABB-4DF0-A77D-5B3C7D5C2723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0d69dbca391e6dca8205dca5a5587bf05bdd05","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$4810CF59-A898-45B8-86F3-AFC8CB217030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$DF448E13-B82C-44DE-BF5C-B348364760AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832041$5A7FE77B-02C6-4D3E-B086-DD1EA575A7E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explaining safety violations in real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explaining_safety_violations_in_real-time_systems"}}}}}