{"entities":{"Q5920079":{"pageid":8052137,"ns":120,"title":"Item:Q5920079","lastrevid":101977670,"modified":"2026-06-06T03:14:19Z","type":"item","id":"Q5920079","labels":{"en":{"language":"en","value":"Introduction to the special issue on runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770889"}},"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":"Q5920079$097E59B1-061C-4756-9626-C5CC27CCD5F8","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":"Q5920079$A98578F5-532F-4306-ADDF-D0237E8F6BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af0b45d2427f25387979235789d69e0519235c24","datavalue":{"value":"1372.00088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$B7518503-A561-428E-932A-455EEA0D72FB","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":"Q5920079$9AAAC138-28A8-43B3-97C4-CE9672BCF52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-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":"Q5920079$5525D4F6-131E-4152-9C5C-0EE16E3659F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$5AC442B2-E6D7-444D-A62A-622CE46A3705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$95FCA12A-F7F7-4E47-8C4E-1942AF97B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$3FBECE1B-54EE-4052-A273-C46631298634","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c78eca351225dcc0629b28de06376b890b80636","datavalue":{"value":"6770889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$B6D2A331-5AFD-488F-A628-5D5D3499BCBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920079$4AE983B6-523F-40AF-A364-FBD12848A2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920079$41A61CAA-F6CA-4E72-9210-3481AFA7B6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43817c73a9dddc7b5033f9aaef133142ec8c05e","datavalue":{"value":"assertion checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920079$CCC432E5-9727-4AE3-BF83-F5E89394FADA","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":"Q5920079$A7F0A1D6-309D-45CA-93AC-1C807E69B519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1143a7ea4c4857564a158af939aecd317d4110","datavalue":{"value":"https://doi.org/10.1007/s10703-017-0287-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920079$D5527A7A-140A-4C50-B9E4-30000799CEDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4dfbc73d6cc814b3019e33b1dfcabb8f9bd5c27","datavalue":{"value":"W2737007303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$59DD585C-69AD-4C56-A3B9-71AE38E16596","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d140594ff35e7fdbae2772cde319d583a5600690","datavalue":{"value":"Q124212536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$38895A6B-2085-4B2E-A924-BFBB23B34D90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa123b8788962b27013e2996f89b7aceb4e8001","datavalue":{"value":{"entity-type":"item","numeric-id":2402555,"id":"Q2402555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$5C7C200F-4AFE-4FFA-B781-696A790B610C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe855b4da6519ce37b50814e7a9e733ee92231ee","datavalue":{"value":{"entity-type":"item","numeric-id":278752,"id":"Q278752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$1C2CF3D4-E984-4416-85DA-2C41DC43B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e41591e2aa20f46c06f1b6046faec0a95fa730","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$8D48764E-8373-40E2-AD21-68BF04E935E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632c41f73d6b7728305fbd69b59ea836b1063739","datavalue":{"value":{"entity-type":"item","numeric-id":4649290,"id":"Q4649290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$3DD150A7-D007-4C55-97E3-E8536046E6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ea0a643f47d98fe0a2100f1979a323d1d8b8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$8D5429FF-2638-476C-9B7D-30E2EC96C13A","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":"Q5920079$8B0DB246-3B5D-45A8-91EF-E4492FEF9284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d689e6406c853b309a537f85b5ebd02fd2454a","datavalue":{"value":{"entity-type":"item","numeric-id":2402552,"id":"Q2402552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$AF450035-6CA2-405A-8A41-D77C0B8853A6","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":"Q5920079$F9066413-6EAB-4D78-963C-B7074F52CCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae8a302cc273d597fecee9d9495363c9030afd8","datavalue":{"value":{"entity-type":"item","numeric-id":2402550,"id":"Q2402550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$8E324CDF-6A74-451B-BBC3-58B0DB857028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997ab0c9f5837016f731cbea3be0e5a33c2667ea","datavalue":{"value":{"entity-type":"item","numeric-id":2402553,"id":"Q2402553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$188080E8-8035-4E59-A237-A2353839CF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af340eb6bf175d471510207aa798e0d3300a162","datavalue":{"value":{"entity-type":"item","numeric-id":2988956,"id":"Q2988956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920079$AABF4654-E514-4E7D-9F04-B5A57E65F96A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbd3b4622fce2b07ef661cc2146f5f6e2394b294","datavalue":{"value":"10.1007/S10703-017-0287-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920079$15BECD89-AAAA-4494-A332-433DDA16508A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5f3410200d2e1912d03415299f76e1b70f3223","datavalue":{"value":{"entity-type":"item","numeric-id":5915718,"id":"Q5915718"},"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":"Q5920079$DBDBF47D-7B95-44D6-8DBA-7A04B85B1F6F","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":"40c4b333c641ae28141caab795d225af0b72ef9a","datavalue":{"value":{"amount":"+0.841279923915863","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":"Q5920079$E945EF57-68A4-41E7-9A58-D6DD1C86F8E3","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":"8e0a52346fc9db7330136c4262df91f442b26938","datavalue":{"value":{"amount":"+0.8410292267799377","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":"Q5920079$7896800A-76AD-45E4-8CB9-4663CBDBA600","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":"ceea2e6ce0885829310de860fb4bb69f60fb1b20","datavalue":{"value":{"amount":"+0.8263881206512451","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":"Q5920079$56DB2589-899A-410E-BEF2-7CA1D48B54E9","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":"a87f3f9c02b64a382f5f7d0a258ca48536e1b5bb","datavalue":{"value":{"amount":"+0.8073228597640991","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":"Q5920079$7CA6A781-09FF-48B8-92AD-10A10BF6CFEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to the special issue on runtime verification (scientific article; zbMATH DE number 6770889)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introduction_to_the_special_issue_on_runtime_verification_(scientific_article;_zbMATH_DE_number_6770889)"}}}}}