{"entities":{"Q5915718":{"pageid":8031786,"ns":120,"title":"Item:Q5915718","lastrevid":93507449,"modified":"2026-06-05T04:30:53Z","type":"item","id":"Q5915718","labels":{"en":{"language":"en","value":"Introduction to the special issue on runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6929611"}},"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":"Q5915718$47F36527-E078-42BB-BADE-F4205D2EB6CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc1dc0597ce6322fd12dd48f2ff0eaf9e8d81cc","datavalue":{"value":{"text":"Introduction to the special issue on runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915718$33E50677-E28B-4239-B101-FDDDF0F1FF69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdf23d754ca7acbc7864bbb1c7cdbc6b118f0795","datavalue":{"value":"1394.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$DA9B511D-9278-4252-8183-9262E47ED6C0","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":"Q5915718$03181901-AEA1-4D6C-AD89-7B77D3FDBD51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2127a2b03868a3a75d4f520fcfaacc8b031119e","datavalue":{"value":{"time":"+2018-08-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":"Q5915718$C9387C7B-98AC-461B-AA08-C24E0D13D411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$A59357FA-2C85-4B7D-AEAF-DBFB5D1E41E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$02759145-5122-4D4D-BF57-A168F6C7E716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$A36BCE7D-A4B1-4D51-AB61-65CB8750F230","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"088d5cd899a0c734b1601f13b1447c7b3fcfc363","datavalue":{"value":"6929611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$C12B1F7B-4ACC-4505-BAAE-ABECED7E889E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915718$6509B2CB-0878-41A3-A8D1-54FC151F3626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915718$6665FCD8-EBB8-4896-BF3C-914F03ED6476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915718$5F8F29D4-406B-4518-9DE2-4E30F2F94D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915718$74D8845B-3CC6-4B32-ABB1-EF8AC6434DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fee0f3a82825e98c8de646b062a1e3a62c4fa6","datavalue":{"value":"instrumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915718$BF4D7199-E7A9-4972-A3A9-6177B2F20F50","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":"Q5915718$05251D8E-9138-4C99-9858-83BB30DBFA9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ac34a2a4b36cc8207ba7f31d727a4577050b66e","datavalue":{"value":"https://doi.org/10.1007/s10703-018-0320-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915718$4F3D66A5-F7EF-4FE3-8725-FA7330DF4008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f300983f64522cfaeb1cb2b764573501f47aa642","datavalue":{"value":"W2809618173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$FF1DA32B-FF0D-48AC-AA0D-119F3C4ABA9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0cd798029810e98f731f838fd7160c8ee01f42","datavalue":{"value":{"entity-type":"item","numeric-id":5710001,"id":"Q5710001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915718$743BDE42-EA1A-46AD-93C0-BCAA12DDACEC","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":"Q5915718$12CE93B4-2B7C-4788-817D-34E5A1EFFF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19709f18d2589c6feacf5ce3c01ce2fc592cd95d","datavalue":{"value":{"entity-type":"item","numeric-id":1667643,"id":"Q1667643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915718$CC838367-5590-428F-B48E-B6F0731C5086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bd9e1807537ad28812e414fd99f98d96d36663","datavalue":{"value":{"entity-type":"item","numeric-id":1667647,"id":"Q1667647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915718$D2EEFA9A-E7CA-4C49-BD1B-D58544A51B31","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":"Q5915718$7D8D9CAE-2095-4849-85C7-4A39B628C076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1c441e67987c933ff1e535b42d1baa6d784f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1667649,"id":"Q1667649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915718$69219E2B-826A-4EBC-8EA4-253C8FB2E583","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52600e2e4ccf81e090a7b3496a39da379c5964fe","datavalue":{"value":"10.1007/S10703-018-0320-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915718$40D511A1-1F84-43B2-8553-748DB1DD4612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969d51893bfb2cae69bf80a9d14066ee4c593cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5920079,"id":"Q5920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaca3ff1316a84a7403e1645de9a7b038626fd55","datavalue":{"value":{"amount":"+0.908256471157074","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":"Q5915718$23E086C0-282F-4264-BA9B-052C11E35040","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":"7d6936e86d3f7de2ec707cb7769f90db0f48d784","datavalue":{"value":{"amount":"+0.8442748785018921","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":"Q5915718$C6D6A2E6-3BCB-461A-BBE5-AAC0F402B6CE","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":"a0d6520dffe420de273d86c59fcab623c3bd3713","datavalue":{"value":{"amount":"+0.8323392868041992","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":"Q5915718$1D4BE4CA-EF1F-4B18-844A-F083C8377801","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":"4c8998adee78c308e73706d64fa5546fb358d48d","datavalue":{"value":{"amount":"+0.8210197687149048","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":"Q5915718$955DDC48-2619-427D-9902-037280CF83EE","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":"f8d8501afef08d6cc5a4276b470e6253c4806d9a","datavalue":{"value":{"amount":"+0.7896620035171509","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":"Q5915718$03CF8EDF-556C-4913-BF96-1BBB7C2E39B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to the special issue on runtime verification","badges":[]}}}}}