{"entities":{"Q3569199":{"pageid":5599103,"ns":120,"title":"Item:Q3569199","lastrevid":51016253,"modified":"2026-01-16T05:36:44Z","type":"item","id":"Q3569199","labels":{"en":{"language":"en","value":"Collaborative runtime verification with tracematches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723335"}},"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":"Q3569199$130EE1D1-E4D8-41C7-A282-B051027857C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3094e289d598ef1b0705ccd175146fd0bba8d07","datavalue":{"value":{"text":"Collaborative Runtime Verification with Tracematches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569199$6E8C4754-8D53-461A-9DD1-A35D979C48ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4846124ed98c6756b656e3ed83b51f80c04d5297","datavalue":{"value":"1213.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569199$BF725B46-752B-4725-AE69-563D711AE119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd597a9656f538543f891748b4a5aa22a085c1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3569197,"id":"Q3569197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569199$5FB97274-4EBB-4B7D-B710-8CC2DDB6A331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cbecbeaa8b098a178b5e29d046911184b81c280","datavalue":{"value":{"entity-type":"item","numeric-id":2722058,"id":"Q2722058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569199$39A40612-E0EC-4EE3-87AF-155F5B05C60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f04770c79f4e4d61f1c2977c0368718bbdec4a2","datavalue":{"value":{"entity-type":"item","numeric-id":997193,"id":"Q997193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569199$5A3E0EC8-DABA-447E-A209-09FCB2AC6E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a19cebb172e55ba44ed0d418449a405de9f1b7f","datavalue":{"value":{"entity-type":"item","numeric-id":2961565,"id":"Q2961565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569199$BA5B7173-3966-4A6A-BA33-8EF70386CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cc1ee8fddf422a4cbc6d7ebb04d9e2d2db54f39","datavalue":{"value":{"entity-type":"item","numeric-id":3569198,"id":"Q3569198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569199$02E65640-7A05-4B95-9A80-052ECE3E71A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569199$8066787E-99B5-4EA8-89A5-79F0F602346D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569199$04E0F54D-7A86-424D-805A-DF5D47B55F90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d47ee2b26a63f2f9756361d49f906116fa38dbf","datavalue":{"value":"5723335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569199$9D1CDFD9-E024-4716-9231-A2465C4AE176","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569199$4894214F-D571-4CA6-A935-F4CC2490B46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569199$DE9BEBCC-D616-4860-82C4-0ED1098192BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569199$C8E55B83-ACE4-473D-9F5C-D48CB5EFF0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cc96247d7d7038cd1fede030f0b59e2adc6c6a5","datavalue":{"value":"whole-program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569199$608B9488-F31D-4737-8D2B-6D6E8A011199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0adbf0f97deffaba6d990f289f87f7eb710147fd","datavalue":{"value":"aspect-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569199$58D5F35B-8042-489A-AF69-41B364F3BF73","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":"Q3569199$FF1A8456-AC3F-43E0-A73A-443C097D3091","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bea8ef1605e7aae7ae2cb39e78df65ee4c0ca62","datavalue":{"value":"https://doi.org/10.1093/logcom/exn077","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569199$C169C074-205E-4A7A-AFF2-E8C523318535","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcc13196d6fe9708048b8e6ec264d941758ab3b3","datavalue":{"value":"W2034691511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569199$EBEB5027-A768-409F-8A10-981AA39FAD3E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a0081d8b297456310dcd4e86f71798ca3b146872","datavalue":{"value":"Q105102962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569199$F2380587-08DD-43D1-8070-8EC22189CED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa76f5f37c686fd8965723180c2924defb3760e6","datavalue":{"value":"10.1093/LOGCOM/EXN077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569199$605F08BA-5B34-47A3-A35D-4D91ABA03F99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569199$AF11B82D-7F0C-4543-A170-602E4B95C227","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":"37a4100a411bfece68406fcb0c670783814aea15","datavalue":{"value":{"amount":"+0.7285749316215515","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":"Q3569199$49CB5D91-2F21-451F-A71D-6755A8AF563B","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":"652f7bfc21040327c9558bdf0a3862d3e9e9284f","datavalue":{"value":{"amount":"+0.7207149863243103","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":"Q3569199$01D4288B-C169-4968-B23D-D7874ECE179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4600086480e137867a6a962ef56bf525fa50e459","datavalue":{"value":{"entity-type":"item","numeric-id":2248067,"id":"Q2248067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6192888d0f02f605e0d302f74ce5d513ac7aeafe","datavalue":{"value":{"amount":"+0.7064023017883301","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":"Q3569199$05929E1D-BBF2-460D-AF7A-793A0126A81E","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":"feba5bad5d0e754ade199457b1fd031f27d9bc66","datavalue":{"value":{"amount":"+0.7046346664428711","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":"Q3569199$2FAFBBF2-1137-4927-B81C-8412DE3257B1","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":"a34743d3d1f98fc770e922b4ce683d54c86e2e2e","datavalue":{"value":{"amount":"+0.690977931022644","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":"Q3569199$93D41EF6-D41E-4138-94CF-D2D23FB2E46A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569199"}}}}}