{"entities":{"Q5039533":{"pageid":7069110,"ns":120,"title":"Item:Q5039533","lastrevid":56732844,"modified":"2026-03-19T12:20:01Z","type":"item","id":"Q5039533","labels":{"en":{"language":"en","value":"Skill-based verification of cyber-physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600849"}},"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":"Q5039533$773628E5-B6AF-4A77-AAEA-200BCD947D9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe138a6c2932e699153d572c6257306630657ae","datavalue":{"value":{"text":"Skill-Based Verification of Cyber-Physical\u00a0Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039533$4AC8A028-B5CF-4690-AA77-9807D08D8B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70b311f410e5b54ccd80a1daedd8d8f49af8336d","datavalue":{"value":"10.1007/978-3-030-45234-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039533$1BCE5216-D1FA-4EB6-9979-49EF7FE38B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41193c596bf2de424ac488931905f246bbc586b8","datavalue":{"value":{"entity-type":"item","numeric-id":1791173,"id":"Q1791173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$E836D5C8-2F51-4C93-9CC2-A25ED9BE3234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a752302e28412d6b5f32994dc543fb1b25e5c1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5039531,"id":"Q5039531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$AF7B2917-5FE8-4276-931E-39D66765363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18975aa29a20387f6ea60249144451f2eba79333","datavalue":{"value":{"entity-type":"item","numeric-id":5039532,"id":"Q5039532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$4261E6E7-0D6A-487E-A02B-C27FB3B5E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"199d29c818adf5bb5c4ec4c2444a8433d9523b01","datavalue":{"value":{"entity-type":"item","numeric-id":898604,"id":"Q898604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$A99CC730-B173-44A2-B98B-88A6037B23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"885acf4d946c1581e7795110b3fa0c62c5faca66","datavalue":{"value":{"entity-type":"item","numeric-id":2165219,"id":"Q2165219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$6C5DAE4F-FA8E-43D5-B406-01C3FE69AA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8de372799402bb9369830764b9ee203260e67e","datavalue":{"value":{"entity-type":"item","numeric-id":736802,"id":"Q736802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$2FF1E116-DD65-40FC-9809-73844632736F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$BD996B7D-39CB-4AA4-8F3A-2BCA72167D19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039533$BB15581A-885D-4D36-AA67-4E3E0153E83D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039533$C4D73E9A-BBA8-4FCD-B760-5DFCD77453BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039533$1EF246BF-A3C7-413D-9E68-AD5C23E8AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039533$47B510DF-971A-4094-BDFF-797514E61515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d4a1385ab437bd6355f37998c02558507b06017","datavalue":{"value":"7600849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039533$2B124259-DFE7-49CF-B071-3087B30F302F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$C28E76FA-291E-4E68-9A66-5B8FC5528EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbb25dd1a234db43cc9aa51b496d6421ffc2d9b","datavalue":{"value":"design by contract","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$8BC11074-E515-4718-B2DB-C9DC4655C112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$7711B5C1-9D20-4C96-A4F8-65F2115BA7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$0BCA1171-BCEB-4EDC-B43F-B16B7410FE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0176af04918cd75fb122c25ec9c3d4ca49ee458d","datavalue":{"value":"KeYmaera X","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$D1A5B5C8-5ABE-48A9-B96E-A66AE913E9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$CF6DA1DB-292E-45E0-B66F-FF30FB0B6457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$1B3802D3-833E-41EA-8975-9AEE0E534368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039533$F5D1D253-3575-4080-BC8C-5ED4F9145598","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$7DCC2073-06E9-4E50-8566-26FB8EC47D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$E4371D83-C393-4645-A8AB-21E6B7E5AADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$B01DAFF9-F1B9-4A40-9FF8-D4B714465DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$5C1848DD-5C38-4BFC-BBCE-E9AB178486A2","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":"Q5039533$EF0173D4-F917-42D7-84A1-71CE2CE7C3D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e171ff3ba8c959faa5175bffcdb184961c62479","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45234-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039533$912E2C91-F3DC-471E-B8E2-7A5B94060721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"939b6708cc51b59768d19389f92f372163821eb5","datavalue":{"value":"W3018387179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039533$EA99A5FC-53E3-453C-AF3F-083569FE6FB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$A95B19DD-774C-44B8-8824-61A49977E7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c2d69501bd0be5b69aa3282216cf965d650f35","datavalue":{"value":{"entity-type":"item","numeric-id":3224554,"id":"Q3224554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$FD47759C-F50B-44D4-9E8F-858E9AB8C0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f570f44167224f6d8edb808ca179d578e674cebc","datavalue":{"value":{"entity-type":"item","numeric-id":1763160,"id":"Q1763160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$55349DBF-8477-480A-BF7D-18EB40B59796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$19392395-9E71-4C75-9419-95BE7543B650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e044e9e3b21b228718f89e1b64de2c48e2e3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2875082,"id":"Q2875082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$8E755E4D-790A-41B1-A17D-2128D24D3C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$4BAF274C-F025-43CC-9828-2EE900BE2044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cfdeb944fe8d7cc8dce0f48a8a486b6bea084e","datavalue":{"value":{"entity-type":"item","numeric-id":5320679,"id":"Q5320679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$81F25255-7520-4B8C-81AB-A5B2FFDE0FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721c7ef15bad8e17b4e3f8bfe0ab27f0da0cc43c","datavalue":{"value":{"entity-type":"item","numeric-id":4994712,"id":"Q4994712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$FE37DB1B-2C14-477C-AD52-4D05681D9100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e0ae61eecb3435a399a4b5baacf30cfca4a2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5215905,"id":"Q5215905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$769B335C-D72C-42B5-8119-EA57B353C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$62B2A9F3-8F78-40A8-A95E-7B89BCD6A9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91c17eb426dae0dddf6a4c3a8672996b8f72054","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$6F87FD49-0C4E-4B08-B65E-E4D526721B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$1FACE712-5A0B-4503-AA53-32AFCB7FABDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$1CD5FC1C-F0CA-436A-9716-F33F9C45D207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$F7030D59-5F56-4928-B6A2-805DC4B4F283","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8590ae5ec84d49ba6d834e56ba433203a132783f","datavalue":{"value":{"entity-type":"item","numeric-id":2984655,"id":"Q2984655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8842b2412d7526097dd98d1be68490bf89f539e5","datavalue":{"value":{"amount":"+0.6787567138671875","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":"Q5039533$0DD3278F-EFF5-40DA-A8F3-BBB28AC87766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14fb9cf7b814cea03d1bf9489ba00579f2aaa9a","datavalue":{"value":{"entity-type":"item","numeric-id":2151266,"id":"Q2151266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164b463108909f84791cfec8e59c39aaadcc4829","datavalue":{"value":{"amount":"+0.663829505443573","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":"Q5039533$A4EFDC85-86F4-4DD6-BD7B-F91FE6A068C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1835b46a273dae2ab15b54088960e74b6e71ce73","datavalue":{"value":{"entity-type":"item","numeric-id":1675917,"id":"Q1675917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7e5057d06d65ac16b334527f15aee9364dce61","datavalue":{"value":{"amount":"+0.6633449792861938","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":"Q5039533$22BE92EF-BF4F-4B79-ADBA-42BA00AED84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a517378f6ca36d0c609c06d330fa3ceac5fa1537","datavalue":{"value":{"entity-type":"item","numeric-id":2986750,"id":"Q2986750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c705124e5e71c1b8be5db859ec57edde7353ce5","datavalue":{"value":{"amount":"+0.655869722366333","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":"Q5039533$6C62CD47-27D8-41C0-8668-B00F7DFD7A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a95ba754316b2bcc6a7842f02863ab245a6e1","datavalue":{"value":{"entity-type":"item","numeric-id":2165494,"id":"Q2165494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a416833d96a60f47f10eafb0b5eba1279c90308","datavalue":{"value":{"amount":"+0.6543797254562378","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":"Q5039533$712476AA-F73C-43B5-8B2C-559D8B4A7F51","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039533$022CC0EB-5578-44AB-8472-05C083F27315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039533"}}}}}