{"entities":{"Q479806":{"pageid":481573,"ns":120,"title":"Item:Q479806","lastrevid":62146587,"modified":"2026-04-11T04:05:04Z","type":"item","id":"Q479806","labels":{"en":{"language":"en","value":"Runtime verification of embedded real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377614"}},"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":"Q479806$2D24E825-D327-41D9-A16C-D08D0D60C7AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e34eae4ff62620e6efd74d8580fd4a4bf13a3f31","datavalue":{"value":{"text":"Runtime verification of embedded real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479806$0A5136D3-42DB-46A8-A1B1-51EE0C2A76D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5678c7c6e9ca3991a535456ce5009fa5e35a3175","datavalue":{"value":"1317.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$DFF18F8E-DD1C-4CB0-888C-FB1BE480EF60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f631765d57981a0618711ef3ec0c58c4bbacd0f8","datavalue":{"value":{"entity-type":"item","numeric-id":479804,"id":"Q479804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$6875CC85-8C49-4D6F-828A-854150C2D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6860ce4042a73a12c142eb820d6512c44e3f84a","datavalue":{"value":{"entity-type":"item","numeric-id":269514,"id":"Q269514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$20F0EE96-498F-4250-8CA1-59EF4A385DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c58a9d0595a2d29783d7086cf100e9d03f56337","datavalue":{"value":{"entity-type":"item","numeric-id":479805,"id":"Q479805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$96ABB3E3-BD23-474D-A891-E7D3E4E2C54C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$32750C88-7F11-4803-98FD-62BD86A7AEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479806$8549DCD0-D0A9-4240-932B-F133E372ACE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$2BC8561D-D042-4A88-B5A7-1BB24FFD0AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$DDE5F166-A494-4472-AE7C-3166DCB5B887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69b88557a140fa84babc8342c42993a31257d770","datavalue":{"value":"6377614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$5C2B76DC-2F01-4FA3-9F2C-EA1B2E3AA75C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q479806$8513E4B3-0EDD-4738-BFA4-F48E11F83263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15546b57457473fae0f66e35d1574f5f8c83dea","datavalue":{"value":"embedded real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q479806$2296C9A5-EA59-40EA-AAC4-E7F011758A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666098bc3e31f80a1d1dbea3ce1fa09a88ddb397","datavalue":{"value":"past-time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q479806$DBBE614E-8F22-497A-B0C4-B86D02BCAC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f783bd2e479849f032b497f2dafed105fe57da","datavalue":{"value":"online monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q479806$87706A44-920A-4567-BDF6-8FF9018D55D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"731a53205dace117eb99462ae8f39dbcd7e59eae","datavalue":{"value":{"entity-type":"item","numeric-id":14297,"id":"Q14297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$1C124236-B4FF-498B-A706-11BC6AB7EDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"791a0d3fdcdbdb81fd1730b41816f4be25963c26","datavalue":{"value":{"entity-type":"item","numeric-id":43969,"id":"Q43969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$6289CAF6-2F80-4FC3-BACA-8EC63DC02CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bce46bae23f3279b5d301a4fa69c26eb946289f9","datavalue":{"value":{"entity-type":"item","numeric-id":15595,"id":"Q15595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$2CD82ACA-3A5B-4B23-A55C-987F5AB89254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"718311bec5677fcb7dd4c6a00088cfdda551c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":21885,"id":"Q21885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$E36DA3D7-5866-4BD6-A37D-DB89D0014ED0","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":"Q479806$254809E9-E4E7-4972-8DAA-609CE2D8B876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f536f3a39b3ae4e2b7868898e7a920df2300c122","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0199-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q479806$F528EDEB-1B73-454A-8AC7-E804DA71F37F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d83b1c3a546ac3ad622cd4a5c263ec3e416a9dea","datavalue":{"value":"W2003519602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$7543AD9D-DBC8-4319-9E74-41034F62006F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef4551dcf350f04a71f31532477f8cbe9c5ab030","datavalue":{"value":"Q40122239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$6DB8EE58-2A4C-4F8C-A9D2-691D545F7662","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0532027442be4fd34c24dc879cb99ed8d137cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2754115,"id":"Q2754115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$CE3E3F3D-343C-4E7D-A5A7-337DE2A181B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$AA806E09-E0B5-4DDC-A4E9-AE798514C5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$AFE1C8A3-E2A0-4935-8E70-DB63B4DE32BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1366322d071eb123167fab9e0b56c2c395178ea","datavalue":{"value":{"entity-type":"item","numeric-id":3075470,"id":"Q3075470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$AFBDC5EE-CB7B-4FA2-A259-B28CBD948CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930280119077663d7191e0465ca739d1e48e40b0","datavalue":{"value":{"entity-type":"item","numeric-id":4551643,"id":"Q4551643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$5C4E11A9-0F79-4D05-BF60-8C15F41EB216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$3F4CED60-3F49-414A-A59B-3010EEB149AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$96336C8F-2E4E-45A7-BFA7-A46E41D5DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb81a915ca1fb18ae7660313d53417d9771869a","datavalue":{"value":{"entity-type":"item","numeric-id":3648826,"id":"Q3648826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$16F55317-FCC7-4813-BEE4-7E22183C719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$39BC3A35-2F7E-49C6-BDF5-A4219C83D6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$F49186E4-4B53-4B2B-80BD-FFA49CF510A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2227d3f24cc87d34ac9f25bbf54cae87b96bce4c","datavalue":{"value":{"entity-type":"item","numeric-id":5897068,"id":"Q5897068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$A06E7A7E-2DFD-4CBB-9D73-7D152EE2B439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed95fdbd2f9e0d94480da22279633a8a3a6e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1878923,"id":"Q1878923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$55B9785A-6238-42D8-A357-6973C3EC2F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$1E5A3179-CC31-4603-979A-5A8A75DAE5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42eac228c5c9ce4e3d03036909afb782770de94","datavalue":{"value":{"entity-type":"item","numeric-id":3648708,"id":"Q3648708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$54BF7871-C754-4188-A6FF-6592E1E4DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537de492841d79b9627de45d8c7b4260a166a08d","datavalue":{"value":{"entity-type":"item","numeric-id":3600477,"id":"Q3600477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$1E3A8C69-0D0C-4413-A928-CBA8163BEADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f22cfcc1da06ae3d0a2bf7d846f01b79f14f8c1","datavalue":{"value":{"entity-type":"item","numeric-id":5678425,"id":"Q5678425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$31D91ABA-9E80-4EE5-A617-1E625FAD16AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac06e68fd245ee23188c956bdf62b367e64342d9","datavalue":{"value":{"entity-type":"item","numeric-id":3060395,"id":"Q3060395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$546A281B-A248-4D0C-95F9-8FF1289F9213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$2FC02CE4-BE74-4E97-BB9A-0DE3A3DE5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$3FD84D90-A9D6-4521-9DE2-16851330747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$D54650A5-E690-4C8F-9FFF-9F133D31C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$55045FFD-A0E4-4E32-8B07-2E0B1BB87B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$1D8E8F1E-E5F0-455A-B09B-B967DFA43B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff9316c0d6edd3dcbeb54456731a5b5c33d0f58","datavalue":{"value":{"entity-type":"item","numeric-id":3058221,"id":"Q3058221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$E9BCC825-0F56-4435-B273-5BB0B0C7DCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa63a21cb719aa558222e24addb7070a185cba4","datavalue":{"value":{"entity-type":"item","numeric-id":2441724,"id":"Q2441724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479806$25C7430D-6A94-4014-ADA0-1A067418D81C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eb1242cbf20f91ab9af063e800948dd6aee1028","datavalue":{"value":"10.1007/S10703-013-0199-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479806$1C24F22D-02C8-47C4-AA72-EA5809D15457","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b367df8d3fcef08c34a425dfc60fd1d73e861","datavalue":{"value":{"entity-type":"item","numeric-id":5464052,"id":"Q5464052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bd3bbc5c3ad882c73be0bcf4f1631929d3279e","datavalue":{"value":{"amount":"+0.93177986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$A6399143-BCB3-43BE-BB6E-E27615302620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa06ce217adbff99102a1202be537c3e01b788f","datavalue":{"value":{"entity-type":"item","numeric-id":5754521,"id":"Q5754521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2c162752cf4bc3960b32203902c42446fdc7dd","datavalue":{"value":{"amount":"+0.9197332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$394CAF18-BF97-44FA-B160-C30621725844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e16a4b33fef2d7db8e9ad818e844652193261","datavalue":{"value":{"entity-type":"item","numeric-id":2703729,"id":"Q2703729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e13dc6a7cae3f7e04218d4b49e0ba3ffa50859b","datavalue":{"value":{"amount":"+0.9190589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$82BBEBDC-B86A-4F1A-8957-1604A4F9D92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ee868cd116465a17d4b8bfadde630b6dd2e424","datavalue":{"value":{"amount":"+0.91337013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$C9C6132F-43CD-4CA1-BA71-955C91328FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ee868cd116465a17d4b8bfadde630b6dd2e424","datavalue":{"value":{"amount":"+0.91337013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$187AC2A0-12BA-4C18-B1CE-289623F7129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea077fad68d85be405c8b9f8b76db8c93653b87","datavalue":{"value":{"entity-type":"item","numeric-id":1346652,"id":"Q1346652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5d87330a98fc487f24c8d0d6d296d98edfb30f","datavalue":{"value":{"amount":"+0.91137546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$0ECBBF1A-96FF-4ED1-8EF2-CFC7D338980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93186e530f81dfea244b26e03402cd97b7a27f2","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc4fbcca190e2e39c102a6f3ada877097c2c8c0","datavalue":{"value":{"amount":"+0.90835583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$01405214-3816-45BF-8F11-748C48A99F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2076cf58892f020200f74db88b5be5272579e97d","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3184c60e5f0880c58779ee758a1b09d35933ab8d","datavalue":{"value":{"amount":"+0.90818274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$F3787877-305A-4658-993C-B811E1021F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a14d21ab10836264c15d51494a3c642a02b4eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522b09e0fe5b8eeb765ad0e77689b46472c9cb1a","datavalue":{"value":{"amount":"+0.90538675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479806$0D8687FC-DC30-4371-84D9-817227547D62","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":"Q479806$B198072A-845F-4FB1-8F4E-B4FEA35A07D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime verification of embedded real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Runtime_verification_of_embedded_real-time_systems"}}}}}