{"entities":{"Q6160908":{"pageid":13295789,"ns":120,"title":"Item:Q6160908","lastrevid":102530999,"modified":"2026-06-06T04:41:22Z","type":"item","id":"Q6160908","labels":{"en":{"language":"en","value":"Symbolic runtime verification for monitoring under uncertainties and assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691498"}},"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":"Q6160908$D8F59ABA-76A6-4401-942E-3AD36338FA7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87584991ce0c5777cecac45b3e79e10673713c0d","datavalue":{"value":{"text":"Symbolic runtime verification for monitoring under uncertainties and assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160908$ADA8DFFA-7F1E-4356-B40D-866D4607C3D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69942d42fa4f511cf52b20b96c2fc71b4b271d5f","datavalue":{"value":"1522.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160908$768703F6-55F6-4FF5-8844-FB7631F82690","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53a76b483cd28a1b1d5b0f6e2bc69ae5cd523fb6","datavalue":{"value":"10.1007/978-3-031-19992-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160908$0FA9FDAD-E513-452A-87A6-0DDA292FDF0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a91fb0fdd505b2db3d9f4c31b517f70c55399a4","datavalue":{"value":{"entity-type":"item","numeric-id":6160907,"id":"Q6160907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$382FFD00-149B-4DFD-9A1E-11FF904D0062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$8F59DE3C-0E8B-413B-B966-09FA43A14CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$79616809-BEFF-4DD1-987B-AC7B94B18625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$9DC50400-2CB7-4860-8321-E1C383A705EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160908$2447E227-3191-4559-B119-EB35C98F0ED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07050a698e129897ab25587e2475e759bc80d3ee","datavalue":{"value":"https://arxiv.org/abs/2207.05678","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160908$3C79B5FE-D4A1-4C12-8717-A6ECE37540FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160908$F6A22225-8717-4EE6-B1AF-869CDA421A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f025caf7f7d07db2443444016616b1854a80e6c","datavalue":{"value":"7691498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160908$AC6DA0F5-B4EC-4DCE-9C7F-8E0DA8D83E9C","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":"Q6160908$D73AED36-5F22-40B8-9ADE-450AEB94051C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58ac91e2abc0912efafe4c9d78cc374c19e69bb2","datavalue":{"value":"W4312552352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160908$7CC24271-0D1C-467F-AFA9-047327940ACF","rank":"normal"}],"P223":[{"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":"Q6160908$08EFA2D5-F089-4456-93FF-F94D3D2612DB","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":"Q6160908$2FFCF1D2-D3C5-435D-9E1C-ED03C6B2C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c9410310564b885701ad3f53afb94663905365","datavalue":{"value":{"entity-type":"item","numeric-id":6165893,"id":"Q6165893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$FC147F64-B6F6-4670-9B14-1ED97273A7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$6CFA6B00-9818-4E8F-860B-B95B504C4AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3d14465d102c92345ce310a86ebcecc3284c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5222942,"id":"Q5222942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$1708D3ED-CA59-439B-8C71-B6A0B23B4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$FDD8D54E-3194-4F66-93C0-488723CAB4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123f10b268cc2788a3cf14434deffe3b11566269","datavalue":{"value":{"entity-type":"item","numeric-id":6194592,"id":"Q6194592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160908$E8E66A31-2579-443F-BEB1-AB140932742C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4600086480e137867a6a962ef56bf525fa50e459","datavalue":{"value":{"entity-type":"item","numeric-id":2248067,"id":"Q2248067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43d47a449112298f7dd3dfac9235ebb29df0ccc","datavalue":{"value":{"amount":"+0.7737295031547546","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":"Q6160908$D3EC97BC-06D5-4183-843C-94895C1E0F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78210ce8a37244b9fbfefcf224d3c90a9c0c008c","datavalue":{"value":{"entity-type":"item","numeric-id":4583844,"id":"Q4583844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bf5c431f5e283fc3b5b78e1b935957c65c87ab","datavalue":{"value":{"amount":"+0.7710568904876709","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":"Q6160908$3FC9AA95-7B95-4F99-9A88-3C94027DB022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6fa5b219cd9dbff8327c5381cd0da670c7baff","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6660f16adc1dfc28d22cf934311c9da58034dc","datavalue":{"value":{"amount":"+0.7696314454078674","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":"Q6160908$2F8AF92E-569C-49E4-81B3-6F8E9773B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b2c3867c2fc24814a79b54c5628f1c26b459b","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc0b09d371fab3fd1a45b4e70dcb1e13b920de0","datavalue":{"value":{"amount":"+0.7649568915367126","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":"Q6160908$506E4CB1-3202-495C-94F9-23C049DB8110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab94aeda0c95ed5c4c94b16752c4cc41d273ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5217308,"id":"Q5217308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37d7adfd73bda0366a2408f10ea5ce19029d069","datavalue":{"value":{"amount":"+0.7641355395317078","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":"Q6160908$EBE39D27-C017-4D51-A7A0-E34BE8DB103C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic runtime verification for monitoring under uncertainties and assumptions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_runtime_verification_for_monitoring_under_uncertainties_and_assumptions"}}}}}