{"entities":{"Q6580686":{"pageid":14191841,"ns":120,"title":"Item:Q6580686","lastrevid":95616431,"modified":"2026-06-05T09:25:03Z","type":"item","id":"Q6580686","labels":{"en":{"language":"en","value":"Uncertainty in runtime verification: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7888893"}},"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":"Q6580686$228880F3-5B39-4D82-81C6-3F330F71AA11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff484fa38c56bb19d6ec2f5ee29fdfc0fd2a567","datavalue":{"value":{"text":"Uncertainty in runtime verification: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6580686$46B1EF00-D240-4A6E-B5AE-45F3CF0BFB8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17247e747d6a2c7966f7eb17ba465daff5586b63","datavalue":{"value":"1543.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580686$D3DFC23F-8493-4B73-87E4-B8763F7E13A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec4b16a1a0434264afd9c23c406cf105d4a5530","datavalue":{"value":{"entity-type":"item","numeric-id":6580685,"id":"Q6580685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$C535EBB4-110E-49F9-A559-71F6A535375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df98ba1ad54aaae61f6053ad5cf57bfadfd2c2e4","datavalue":{"value":{"entity-type":"item","numeric-id":420852,"id":"Q420852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$D3F31C9E-E701-4157-8ABA-894D3D6C4B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93d8667fa3c3ecc5f05059bcc57b06da3372a16","datavalue":{"value":{"entity-type":"item","numeric-id":465690,"id":"Q465690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$4DC4668E-3FD6-47B0-8572-9B890048D7E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"15d894b479f971d2f519bcfe7ead0f8c44c5f151","datavalue":{"value":{"entity-type":"item","numeric-id":394965,"id":"Q394965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$CA8C1CC2-FF69-444A-8DCF-CA16902C7135","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"581d0568ac17ca43ed5d0aedd4efb6193b09597e","datavalue":{"value":{"time":"+2024-07-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":"Q6580686$FEBFBBE9-7B9C-4CE9-B70F-73123E04BD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580686$C33303DC-3E32-459D-B677-A13978749888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580686$03938FA0-2A65-4514-B464-97A5D6AA231F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580686$D61852CD-4312-4E1C-B928-CA00A7720557","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ef8cfdd920f5ba08b1cd00280a64a17e04e46de","datavalue":{"value":"7888893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580686$EA2B8E73-06E2-43BD-90EE-79B8BA2E61AA","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":"Q6580686$E27A3742-209A-4F0F-95FE-DBE281AF49DE","rank":"normal"}],"P223":[{"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":"Q6580686$DEB40A7E-B4D2-421A-86A7-B089F4C01479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$8AF8FD22-B2B0-4FBA-ACAE-0ABFD8FA1C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$26A2DE02-1ADD-4CFB-9C29-00AFCC5435A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530ed961edc72e43da6f2321c09520e9e6e6bc19","datavalue":{"value":{"entity-type":"item","numeric-id":5217308,"id":"Q5217308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$02542F78-DB53-4FBE-99BD-3931E516C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e751eca347b068f0ffa489eab4d759f60f5ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$89A69BF5-2204-4578-ADE5-3582A145E308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$A30E5F34-9A97-4F10-AEA7-A45A31B5FADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$51BA9203-EF53-4D66-A749-1FDECC4BE94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$B26615D1-2655-4317-A2BD-03DF734E727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6083a2e311142d60282a5f47002f1b9dbb870852","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$B6C4CEA0-87DC-4016-9D8A-E873720C4248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f7f9217c481952f862e15379acb4f0658645b0","datavalue":{"value":{"entity-type":"item","numeric-id":5703785,"id":"Q5703785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$D43FFFDC-E0CE-420C-AC6E-E37ECB8E9BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc4a7be69fd3a9154418dbf959a83680e5021ed","datavalue":{"value":{"entity-type":"item","numeric-id":5308372,"id":"Q5308372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$CC9AEDDD-FDDA-4109-A8C5-62DB9CD9CD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$A933ED32-DD68-4B1A-B7DA-B7A3315AA091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9048b1e13ce02db5a1f913728c693ef046720f7","datavalue":{"value":{"entity-type":"item","numeric-id":2418645,"id":"Q2418645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$1CEA5474-2682-4236-9361-1233E0AEAB4A","rank":"normal"},{"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":"Q6580686$DCDC63FE-AEC2-4954-8366-DDE4D7EF025B","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":"Q6580686$937FEA0A-BD6E-43CE-9AA7-FD924099E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9520fc5269d84bb3e067b49ede6f6441b9a9693","datavalue":{"value":{"entity-type":"item","numeric-id":3587251,"id":"Q3587251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$B1C3BF34-3F6A-4E98-AA39-3A2ED72A7AC8","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":"Q6580686$45B85DAC-3FA4-4BDB-B5FC-F04A97561245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$7240273C-5170-4BB4-8F51-CF07D16471FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043b53098e602c614083fe3d44f1cd78ae421e4","datavalue":{"value":{"entity-type":"item","numeric-id":2517827,"id":"Q2517827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$A729C007-6B21-4689-AAE2-A91CB577BE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3a68c265f98a730ed0cfb3adbefe08deda3611","datavalue":{"value":{"entity-type":"item","numeric-id":3095372,"id":"Q3095372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$8EB27AFD-B603-4066-ABD4-40325FF11919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21be315855e40b32e376ee356db9d48d873d1dc","datavalue":{"value":{"entity-type":"item","numeric-id":2300466,"id":"Q2300466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$EA87DCBD-157D-4108-B7F9-30FD26215356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81804ad0935acfdd3f3159b91a65d8af10ab9eb","datavalue":{"value":{"entity-type":"item","numeric-id":6160908,"id":"Q6160908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$E62843E0-4D11-4A96-9158-66FF9B0E6035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$25250AB9-D57C-4E59-A1B2-BD4B179C2027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ed104abcabeba00ae6153eb7824e9a656cf324","datavalue":{"value":{"entity-type":"item","numeric-id":2151259,"id":"Q2151259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$E14B6451-3D17-4779-B92F-FCDBF0215162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a377e424a8abc9a36cce2aca8f96b0620547fc","datavalue":{"value":{"entity-type":"item","numeric-id":6111611,"id":"Q6111611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$590970AC-5E5B-48EF-A470-5B2C666A0209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce4693aa08eee5b09e1f6285bba5a23411a6e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5136296,"id":"Q5136296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$1922C50D-9AE3-4BF4-8CAF-7D1279D09966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$4AAABD93-DE80-4785-81AD-AEA2366D117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32bcbf61752cf5032e5836f27122f43a94303ba","datavalue":{"value":{"entity-type":"item","numeric-id":5110041,"id":"Q5110041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580686$7B6D5D3B-A9BD-4B04-B66D-1425DD3DA78D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9489ed1ff2803a94d388835721d97de1fd198562","datavalue":{"value":"10.1016/J.COSREV.2023.100594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580686$5DB61640-3C29-4DD0-B65A-07982EAB98D6","rank":"normal"}],"P1643":[{"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":"0273c5e3ac9ae5b8cf287db50f714a6492d03896","datavalue":{"value":{"amount":"+0.7909386157989502","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":"Q6580686$47E3C8AE-5535-43DD-9675-5346BBB74E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5ef71b248fbe4f88969fc2e73fcfa8be0edfe5","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ba0de94e731b61058b9789c4ccd5d909da3558","datavalue":{"value":{"amount":"+0.785595715045929","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":"Q6580686$397B7513-7E86-4465-AA11-8945E31F1C5E","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":"79031dd28661819b27e71b50b7dd0a3e47d7b4f0","datavalue":{"value":{"amount":"+0.7777138948440552","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":"Q6580686$235499B6-72C4-45E7-AA9E-494D65F7061A","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":"de99b1a74138e312a5760dd2dcb8a01a7f2dc76b","datavalue":{"value":{"amount":"+0.7759822607040405","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":"Q6580686$D6CDB2A3-6897-400E-B9CD-0474CCC39E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5906212f4acc805c70912da2e7c2e86d8924d557","datavalue":{"value":{"entity-type":"item","numeric-id":6160908,"id":"Q6160908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d0a6b890817d1351f303ee68a2cb348996dce2","datavalue":{"value":{"amount":"+0.7727799415588379","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":"Q6580686$E3E1AECE-6741-4A8F-89EB-7B8358D07BAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uncertainty in runtime verification: a survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uncertainty_in_runtime_verification:_a_survey"}}}}}