{"entities":{"Q2248067":{"pageid":2258810,"ns":120,"title":"Item:Q2248067","lastrevid":78706475,"modified":"2026-05-06T12:14:48Z","type":"item","id":"Q2248067","labels":{"en":{"language":"en","value":"Time-triggered runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310014"}},"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":"Q2248067$C09D9337-2BF3-4993-936C-1923A7C44F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32bcf946c120a4195f5e9b1182a7b574e1bdc96a","datavalue":{"value":{"text":"Time-triggered runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248067$77F5360D-BB03-4423-A35F-55CDAE6EE5FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e942637a1dee4ee485af9aacc2f6d84304e0d4f8","datavalue":{"value":"1291.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248067$1F6B4949-064C-44EA-A822-BC999744A0CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$E1BFCEC0-3681-4C7D-AD84-48D047A16B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84cdd22d765361346236add9ffa8b938400d6753","datavalue":{"value":{"entity-type":"item","numeric-id":2248066,"id":"Q2248066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$3AFEE859-D9E7-4248-8B86-AD927A4C312C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac5a200a45d3a89270952c629e92228a977ddec6","datavalue":{"value":{"entity-type":"item","numeric-id":438211,"id":"Q438211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$EC5B2B57-FFC4-4DAC-BCEF-A340DD3A2345","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":"Q2248067$6FC81286-F787-4DAA-ADE1-F759320A85E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248067$03146E4F-41D5-422C-A10F-927DD1C24C0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248067$4448A834-4597-4721-9C32-AEB20FFBE301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb9915ef5f7e6549e72b54aec1adf7bd78d3ea6","datavalue":{"value":"6310014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248067$3A00DC47-D85D-42C1-B775-4911DD79BBFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$C414F7B2-2823-486C-850B-19A4D51C7CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$FA2AD1AB-1B04-4DC9-84B0-581A74800BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48bdd6b3c0ce419bd43b09c0702de4c5b0c67410","datavalue":{"value":"time-triggered","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$117D511A-4491-4DEE-A56B-CD424C2A165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49253a17b07b2cd8c840692e5c19541126c7827","datavalue":{"value":"predictability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$7240A594-3457-49CB-B26F-54E7E2426E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca3de145db230599d7ef6f115de623ca8c6b2e3","datavalue":{"value":"overhead","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$3D9A143B-CC56-423D-974A-2919170B13C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$A111F9C4-9043-4EC4-A228-D3D1444F44F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248067$31A38CA8-14C9-4143-85E0-0983077C159F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$52050B55-FBBA-48CF-85E6-2F1120B41F25","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":"Q2248067$8FE3E47D-4F17-41A0-A2D1-CCA9CE2BAFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$31823B16-BFF0-4767-ACDD-32451E2AEA62","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":"Q2248067$70D010E4-9B5F-4367-BC33-D7BF993CDC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e11eb452fca826a53e41c6f99545aabd972ba68","datavalue":{"value":{"entity-type":"item","numeric-id":31823,"id":"Q31823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$C7DAEF9A-1C78-4178-AA29-D30222E9D623","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":"Q2248067$07294027-0C88-450C-B124-AE579DFBF8C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5ad7c917c0aceb2d400e5f6e7ce7be539f5e0e4","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0182-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248067$19A78516-19D4-45E8-9179-BD6A3CF04A9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5b9f7f7711803e832f5fb6b56ec42e11badc608","datavalue":{"value":"W1971059059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248067$32074E4D-5005-474A-AF5C-AF53D4AAF696","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":"Q2248067$98AEB72F-2DF3-4AF2-998A-5075820B2A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd925a1d4f3097d223201f15ef90e32c7b9f07c7","datavalue":{"value":{"entity-type":"item","numeric-id":4413672,"id":"Q4413672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$982B4B00-6401-47C4-8D75-7DA20E7E1012","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":"Q2248067$623888CC-AC54-403F-B223-3BECE509C63C","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":"Q2248067$041B112D-CF27-4A6D-BDC7-4E7915A5045F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9081bfd9cb3507729ec5c398fa0e63d981e76c1","datavalue":{"value":{"entity-type":"item","numeric-id":3569199,"id":"Q3569199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$9C955F81-4D85-4681-887F-0840607067CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$16DD6E68-142C-4594-AEB3-C07A44B25837","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":"Q2248067$F4C52BFC-57BC-4EFF-884E-86D9DE4FD5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab068bdd112bad9450ae9dbf08ab70c10fb0c9","datavalue":{"value":{"entity-type":"item","numeric-id":5716577,"id":"Q5716577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$2EFA8C1F-0EEF-4151-8AE9-F6F79240315F","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":"Q2248067$9CEEC095-0F8D-44FE-975C-C5E8BF8C01FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$31B6B632-6CD9-43FB-B1B9-C706C64B4654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c5875eaa6f93bfeaac4d0fab2d77ff3c0870d4","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$985ABB04-3CF0-454C-AD8F-F95DB2CAE4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$C8135C6E-EC9B-4C84-BCEE-40278FCC0330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f4ed5d5ce346447c826b0419093db4275081c2","datavalue":{"value":{"entity-type":"item","numeric-id":4939602,"id":"Q4939602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$F2F17386-5625-4A86-8128-6CC515C6F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496e24b8216146957d19246eb0e1e48e1008c5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2441731,"id":"Q2441731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248067$74FBF474-5E22-4CD0-8297-24D0384F8C62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99fcdcf871811110e37172b315702d375191043b","datavalue":{"value":"10.1007/S10703-012-0182-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248067$F5829191-8C62-4A3B-9027-3142E097D7F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800fe24a6ca437d58f63a17a4d3ea0c287a78098","datavalue":{"value":{"entity-type":"item","numeric-id":3648826,"id":"Q3648826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e3a31348da3c9008051caac8cf3a48d83bc6a6","datavalue":{"value":{"amount":"+0.7932960391044617","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":"Q2248067$B5BC9B27-1EA4-43D4-8571-88EFA1F8AB98","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":"4bc634b4207586004041110ee5e4f13358e6720c","datavalue":{"value":{"amount":"+0.7883362174034119","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":"Q2248067$996DF740-E451-419F-9942-3FB4F26035DF","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":"cf876040c27fd637777887c0042bdfd1cae143db","datavalue":{"value":{"amount":"+0.7843117713928223","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":"Q2248067$46F98328-9768-4D2A-B1C0-F51061E9E2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee47b4481933b95332e9904ab6ead696d07aec","datavalue":{"value":{"entity-type":"item","numeric-id":479806,"id":"Q479806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e68d9bc18d2cbf9b7fbd8143d74b5222357601","datavalue":{"value":{"amount":"+0.7811678647994995","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":"Q2248067$6946A4D5-08EC-4E63-88FD-17FE55A6FEE5","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":"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":"Q2248067$4D61E27D-AA06-40A7-B480-96D0DEDF3D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-triggered runtime verification","badges":[]}}}}}