{"entities":{"Q6108431":{"pageid":13242738,"ns":120,"title":"Item:Q6108431","lastrevid":57552834,"modified":"2026-03-31T09:15:22Z","type":"item","id":"Q6108431","labels":{"en":{"language":"en","value":"Bridging the gap between single- and multi-model predictive runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704602"}},"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":"Q6108431$68FD7795-140A-4047-8817-77C7AFD4F3C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5bf157303616ba8f8bf2a2766431f19f9439ea1","datavalue":{"value":{"text":"Bridging the gap between single- and multi-model predictive runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108431$D37FF80C-00B8-4FA0-A123-3856910EC714","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c2ba9a70c69acd9175187d93dd1da3a04370c3f","datavalue":{"value":"1522.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108431$DA943349-04DF-4122-B225-2BB8189D1373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"890f0fc11f86b5604c6675146d543803690de305","datavalue":{"value":{"entity-type":"item","numeric-id":2026781,"id":"Q2026781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$59FADAC9-F912-4831-AD23-F6426C91497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11b0e65dee36234a0b959f2f663ce5556239b3f4","datavalue":{"value":{"entity-type":"item","numeric-id":2980579,"id":"Q2980579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$A66D8073-F108-452C-B810-16D80571F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f751e3a8b76e33799d3fc4d764e63671bb5873","datavalue":{"value":{"entity-type":"item","numeric-id":5060189,"id":"Q5060189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$A7ACC7BB-BE3A-473A-8728-6C24301A59C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b94db55aa80a20a8fa1f84a80c8a6280539fd07","datavalue":{"value":{"entity-type":"item","numeric-id":6108430,"id":"Q6108430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$35DCCD3D-101F-46BE-BCA3-6A030306AF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0bdcaa33e6b607823dc2d5b7383b94bdb05ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2055844,"id":"Q2055844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$6FE0A9A0-9C36-4B9A-99DE-57120DF5E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081ff692cfa31ae371e8cdc5bc8cc37fc96a3d18","datavalue":{"value":{"entity-type":"item","numeric-id":6102168,"id":"Q6102168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$2C1DCB10-CF6F-41BC-86C2-8F1B490788B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fe1dc06cd55fe141221c835c331e1ad63279635","datavalue":{"value":{"entity-type":"item","numeric-id":2026782,"id":"Q2026782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$00EEBDC8-7285-4A7E-9798-642F3157470F","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":"Q6108431$F73471B3-34ED-4D7D-93A0-CAD9205DA250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91be2dac51a963d285032dfc904d8d1ab12317ee","datavalue":{"value":{"time":"+2023-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108431$DA29E6E9-70EE-4468-931A-2AAFD3CB806A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108431$9197F2EF-851F-42A6-BD30-3AB96DC1E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108431$A519C6F1-88C2-4954-A32F-8205187CF655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6967421de099675785fb7e808bd51abd0abc354f","datavalue":{"value":"7704602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108431$54A080E8-FD09-455B-B484-9B8E43DC90EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108431$264E0B04-F143-4A5A-9EEF-6114492CFABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a327dfee4fae5cc7c6407f4318bc2977e237236","datavalue":{"value":"predictive runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108431$C421BB71-34A8-4783-9C20-4507130013D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e8341bbdf594724cc8dfe36f3b034df88d29cd","datavalue":{"value":"multi-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108431$6DD5C8F6-6A39-4B01-BE4E-6C26744D485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108431$7E84746D-2549-48CF-9BC6-A517539C9F83","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":"Q6108431$28DD3A89-B05C-4F2C-A8C2-472BBECA5642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abda766359192fd89a42119400f118910e9f5261","datavalue":{"value":"https://doi.org/10.1007/s10703-022-00395-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6108431$CD9731D8-C30B-4EE1-8D25-DE6016FB80CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2602fc0132e96c927edc3f4550a7e17285ef42ae","datavalue":{"value":"W4293828555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108431$BC9283AA-4A03-409A-BB2A-78F89F37A956","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":"Q6108431$211828F0-B455-4258-A7E5-4D76857001DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf80a91eb78cafd8ace9c8a11dcaba74b6066c7","datavalue":{"value":{"entity-type":"item","numeric-id":2026783,"id":"Q2026783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$19D18847-774A-41D5-A4F9-89471D18AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21958d14c341df368a1478a0a491594ed6071c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$C6DBA4C4-6C8F-4F14-8F9D-47DA8F4F717F","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":"Q6108431$2BBDB57B-1E70-4844-94D8-9A27DEEDDAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4be6b18b199eacb36eb2e05ae61182e2238453","datavalue":{"value":{"entity-type":"item","numeric-id":681471,"id":"Q681471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$C552F908-EF72-48E3-B5C0-174ADFC40535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$C0789A31-691B-4182-AFAB-AC768295CBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$F1B28057-7732-41D9-9E08-088E24103743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d05305a227083e028ed6ae5a3110943d64f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":5892423,"id":"Q5892423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$8D4C22EA-4D53-4D27-8BED-19C9ED655220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$BBB13AFB-43FA-459B-A9B3-D401125762C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$B2F438EC-39D5-49E2-934E-6399B89FC31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49f69f66b7289b7fcde3efaf557d4cabb2fe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$3B43876C-2419-463B-815C-DB8908F7C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$C966268C-91F5-4A3D-B52A-FC0C840F1EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085940acdbf1762ffc2c139ffa77393af87eef04","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$46B7479D-57E4-48AD-BAFD-A95F67C8DC4D","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":"Q6108431$6A4EFFC8-4AA9-482A-9858-5C000ABCCC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$65673652-8BA3-4C2A-8097-E4BABFE9538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f9e3cc2faf98359d56e38ca22c138678e8b5a9","datavalue":{"value":{"entity-type":"item","numeric-id":3512440,"id":"Q3512440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$B448F824-2B05-4FA9-BBF5-BEC1174D8011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28aa06ba8c86cc86704d044cf109916e258b923c","datavalue":{"value":{"entity-type":"item","numeric-id":1996026,"id":"Q1996026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108431$6B220961-9378-43D8-80E3-1FCA09B24DA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fec14047db40eb5b59ca1ecea951c35882861258","datavalue":{"value":"10.1007/S10703-022-00395-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108431$F6C9454B-E3DC-477D-AEA5-F38DD774E18A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67596c10471469df07a88237665417912735079","datavalue":{"value":{"entity-type":"item","numeric-id":681465,"id":"Q681465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51262ce467aac82473b9b576e0ff2be418d234eb","datavalue":{"value":{"amount":"+0.8774861","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":"Q6108431$51C1AA9E-D29F-4DF3-AF82-2F51425A32FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a8700728f6ef69e20cc2d9991cde686b624476","datavalue":{"value":{"entity-type":"item","numeric-id":6162118,"id":"Q6162118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b320e2bcee6985083c3f647a0dc44d9b8400c4c","datavalue":{"value":{"amount":"+0.8694601","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":"Q6108431$918A098E-3999-43A4-BEB4-2352CD6B7757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ba328c99d55bcd0269331ee9f3762a9ed07754","datavalue":{"value":{"entity-type":"item","numeric-id":1708646,"id":"Q1708646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb12881c8184d142f1fb9907447de29a88a70d4","datavalue":{"value":{"amount":"+0.86603165","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":"Q6108431$2BC8DF6D-B436-4C8A-A7D7-8F1BFF91E445","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":"Q6108431$8C56CA8B-DAB4-43AD-BE45-1BFD0EBB3A52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6108431"}}}}}