{"entities":{"Q6102167":{"pageid":13236474,"ns":120,"title":"Item:Q6102167","lastrevid":55851751,"modified":"2026-02-20T12:25:19Z","type":"item","id":"Q6102167","labels":{"en":{"language":"en","value":"Assumption-based runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7683090"}},"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":"Q6102167$47DBF1F7-488A-4213-A9B7-605931F262D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af3a0032a09efd559509f36af68c2bfe19d4cbba","datavalue":{"value":{"text":"Assumption-based runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6102167$884B69DF-934C-4A8E-B2E7-AA4EC84D0D12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$8F57AEFC-D6BD-4543-AB96-A9562B9A5CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ddff9c6293b2e5ce272b5b147ed806b4792ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2216119,"id":"Q2216119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$C3D53DAB-6337-4680-8CE5-4B61CA3AE111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$B89DC170-7A34-4697-A0D1-FE7E56A5E8B2","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":"Q6102167$0207E89E-0360-4DB7-A086-11F943EF71F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d32ccfd328944380290f119e52a9cab28e680ad3","datavalue":{"value":{"time":"+2023-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6102167$A9BD9B3B-6248-45AE-AC90-9E401D41E700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102167$B88FDE96-BC67-4BFE-B783-12FF7CFDB37B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a5b2ab0c7c3b185bff0916270692c29560be6b1","datavalue":{"value":"7683090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102167$50B104BB-75A2-43D4-BB23-199892031C87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102167$C07F249E-B61D-489C-849A-A09610B7BA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102167$23F2821C-9227-4862-AC87-A953F6415609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645ae8fabef2013167a294ff9acf303368b62840","datavalue":{"value":"partial observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102167$E1597137-2DAD-47FF-932D-17B061BAD808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29808884010c47725cc89ae95b2b67ce8e610ba","datavalue":{"value":"resettable monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102167$686B9EDB-C088-4926-8FB5-A5919B7EC8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8353d78b9d06c1169cad5542c7ed94e7928a5766","datavalue":{"value":"predictive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102167$41B18D11-3F21-4F2D-9255-D30BC265AA63","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":"Q6102167$051BA314-3DD8-460D-BD74-8E2EB581B711","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0857b26385a25bfe7ce5699a4838f5a73d68c5ec","datavalue":{"value":"https://doi.org/10.1007/s10703-023-00416-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q6102167$97311EA2-0013-4C92-85BA-27129AC21D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7313793414dcba77fa57d09a6071dda015b81b69","datavalue":{"value":"W4360938682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102167$714CB296-B0F0-4116-9C01-1BA3BB9999E4","rank":"normal"}],"P223":[{"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":"Q6102167$3C0E7762-7DF6-47A6-BA8F-C7A7815E575D","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":"Q6102167$6CCEDAB3-8D3E-4B0D-80ED-207612A8E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851183068ff086bf3e19c0da3edca7655485f38d","datavalue":{"value":{"entity-type":"item","numeric-id":5194652,"id":"Q5194652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$F978ADD9-6ED4-4472-AC49-2986364F90AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$1A7ABA80-1CA7-4DD7-95C2-C4CC4F6A6CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$EC1B2B7B-C272-4F12-9FDE-D651C50012E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$488600F6-15EA-4094-8C63-46B28273F8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e59669be79aceb9c2e48b86ca0e1ab86de7fbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3617763,"id":"Q3617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$E0F2F5D2-D5CE-455A-834E-96F81029ACD2","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":"Q6102167$8FAD639E-C40C-479C-B8CC-0AABBFAFA569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1f2addc8ce6b7bc7b98a4f8cec6510995966ab","datavalue":{"value":{"entity-type":"item","numeric-id":5206953,"id":"Q5206953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$C16BCA82-27DE-4920-8543-FED1C50AFB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cd8194a3fc228f214fac78ff49656f72b7f1e0","datavalue":{"value":{"entity-type":"item","numeric-id":4722045,"id":"Q4722045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$0FA434D4-5652-4C2A-9B22-B7F5794B6517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1cabe91680f97c42516886ceb64827a1ccea34","datavalue":{"value":{"entity-type":"item","numeric-id":1012718,"id":"Q1012718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$32D4174D-B47E-4F64-813A-2B7E090F6A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$413E1FD4-3C6A-4FDE-84F0-77F52C74B261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$C573A96B-BE74-42A0-A2DC-C092C51EC28E","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":"Q6102167$856223F5-F6B5-4556-A9BE-95702273C062","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":"Q6102167$896356BA-565D-4CF3-8930-FF4F4B127DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0f956eb64811c8a8b002ecf78e92dd7bcb769f","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$A6D90F63-4271-478C-880B-40CB0F87350F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$F8AF903A-BCD7-4E17-9B1A-3BB917330DC1","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":"Q6102167$69D87228-E6BF-4E73-A4E1-54E4477C7E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c772f38628c7ad325401f5459cc5ad0de41724","datavalue":{"value":{"entity-type":"item","numeric-id":5146368,"id":"Q5146368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$6FD2E02D-DDCA-4D34-9708-CC06FA7BE763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea31821e7bdf8d9aaf3aa770799c326c8866240f","datavalue":{"value":{"entity-type":"item","numeric-id":6165815,"id":"Q6165815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$1B5A4EBD-EB7F-4E42-85D1-E052401FDB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$6AD3427E-603D-42D6-96BB-A84621C4B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0b2114bec86e4a18702b9d2f90619b71a3933","datavalue":{"value":{"entity-type":"item","numeric-id":2996152,"id":"Q2996152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$83C2CFFD-D531-4F88-BFFA-8A009A78A3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$B2119537-A6C2-4DD4-BEAE-BE98E4C3A888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ae07047ee1dee1420e772e514a79da155eed42","datavalue":{"value":{"entity-type":"item","numeric-id":5898620,"id":"Q5898620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102167$519D6F70-393F-4E1C-8C0B-49DE9652213C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce53fa33c0495c6b8a6a0bd9a8c65d6759b52823","datavalue":{"value":"10.1007/S10703-023-00416-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102167$69330DAD-4B8D-41D9-A9E2-77E2207BC874","rank":"normal"}],"P1643":[{"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":"c55f37aecd1151773dfaffe7eed154c41b46c498","datavalue":{"value":{"amount":"+0.9065136","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":"Q6102167$C8FA53A6-AE2C-42FE-8AE1-C9E84821F67B","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":"99854089ad0f456f3a2f53579a99246690853a35","datavalue":{"value":{"amount":"+0.9029697","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":"Q6102167$B0A99DF0-11D5-4E24-AF49-DB6C3854907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24a7809050fbdaaa469df40358701e1f7a7c3cc","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abfcc7c76f7f9e1fce4e7804977188a12333f72","datavalue":{"value":{"amount":"+0.9007613","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":"Q6102167$916EC2E7-19DD-4CEC-91B8-D4397CF96B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b036a19e6b9efe4301f1b71090aff3642e95c8","datavalue":{"value":{"entity-type":"item","numeric-id":4997237,"id":"Q4997237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5db21245d8fe63b580371c5b64e4feccc19269","datavalue":{"value":{"amount":"+0.899349","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":"Q6102167$A4550B0B-A483-4045-8986-B3F8740BE766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9341099fc52c4d5c71aa21e521946a9b90b16e06","datavalue":{"value":{"entity-type":"item","numeric-id":5326330,"id":"Q5326330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e6a10e36f5720b6b5cf6452130c3a7f50c9834","datavalue":{"value":{"amount":"+0.8973363","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":"Q6102167$8D717434-BD55-4B47-AEFE-AD8F6B0B7A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76557eade0a695ed17fcccb37daf6b43bb78290b","datavalue":{"value":{"entity-type":"item","numeric-id":5150950,"id":"Q5150950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2494dc15170252285bd57635efc8eee6fcbfbf0","datavalue":{"value":{"amount":"+0.89296603","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":"Q6102167$9944D73D-E98E-477F-AC65-70E30C93B241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6102167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6102167"}}}}}