{"entities":{"Q421476":{"pageid":423243,"ns":120,"title":"Item:Q421476","lastrevid":61771845,"modified":"2026-04-11T01:33:13Z","type":"item","id":"Q421476","labels":{"en":{"language":"en","value":"Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038204"}},"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":"Q421476$90E6019F-5494-4B69-BE0F-FFE0491A475B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a527ed17b6b9489dfa9902f5a92b934286a2093","datavalue":{"value":{"text":"Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q421476$DEB8D34A-1610-45E2-98A0-D6CA67D8A4B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a40bcdd6ec2c8bffb719e621a10e48fe58cbab39","datavalue":{"value":"1252.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$11D75A73-97F4-466A-9EC2-0BDCB9D90997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79522d80875e707d0dab6f28d9451bb243141953","datavalue":{"value":{"entity-type":"item","numeric-id":421473,"id":"Q421473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$E3A0CEE6-392E-497E-BA52-27E8B51452FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3df231b677161303f1d31e333b41f5a52decd03","datavalue":{"value":{"entity-type":"item","numeric-id":421474,"id":"Q421474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$D931CC9B-8FE2-4430-B6E9-B7C4BE96A9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$4BAA8C15-419E-4D4E-8BD2-9A9D6C9D5860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$F68358FD-1F6F-45F5-A0BC-FD2D7A6BF17A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q421476$26015731-3BDA-4E36-B6FE-F67091D80D21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"833a92ecd6bf1da99a70c2c874213984ea17f552","datavalue":{"value":"http://hdl.handle.net/11392/1871928","type":"string"},"datatype":"url"},"type":"statement","id":"Q421476$73B53FD0-DD68-4BDD-8B3B-8F52BC4834C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$1F07E931-9475-4900-8AD8-C4409F7B1452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$5792340C-9B64-45FF-A4C5-C3F9865FF599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$38D5C4E6-0AB2-4C98-8F72-61669E72A83F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0a125c8e71ad5ff34107267bbb36472b1e7c5d9","datavalue":{"value":"6038204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$2140A982-19DC-4B9E-BAD4-755FC60B35C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ea33b73b5f79729b35bcdd2103c8b7343f95ff","datavalue":{"value":"event detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q421476$2D565B30-3A43-40ED-9749-8544EE17DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q421476$AD698E83-FC7D-4653-B8DC-A191A1E65EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q421476$15755804-0174-47E2-B043-C69A95C9C0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q421476$B1F7A09E-0B47-461D-8168-AD192314DBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q421476$AF1C674F-D73C-42AD-B07F-6780A5E8267C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d88562853cc2c706cbfd4d19dcdd167b8fbee81","datavalue":{"value":{"entity-type":"item","numeric-id":32331,"id":"Q32331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$ACF803AB-F044-4243-8ED7-9041C4276932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3d4248aa2a1d32a3b129ace0f50a8cfb25c05a4","datavalue":{"value":{"entity-type":"item","numeric-id":25786,"id":"Q25786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$088FCE82-1373-446A-97F7-30E963D7F9E0","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":"Q421476$F145A56B-2740-4DD0-9B61-14AB9F4F0E91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c177f8add028c0aba55cb312aab317610274aa2d","datavalue":{"value":"W1982951486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$EC10C083-B345-4056-877B-0CF1F3C3DE64","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"471ff97492da5fff02879f25525a82278f252225","datavalue":{"value":"Q62038912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$A6DFF44D-B683-4091-9CE2-FF2978435AD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd45c37fd6d5cf10364e4205322faafed14cbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5504672,"id":"Q5504672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$FE310D2F-0CF9-4575-A9B2-F6C8D625EEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc6167128ec36a6e3bf1bf1d96900f7bf639a72","datavalue":{"value":{"entity-type":"item","numeric-id":4819009,"id":"Q4819009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$F53138A8-4B20-4460-B7AD-8D5E998FCBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d06f526300db7e0a42c270317b15ba36d696da","datavalue":{"value":{"entity-type":"item","numeric-id":2944511,"id":"Q2944511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$410A871C-EBEB-459C-B270-CFCC8A690CBC","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":"Q421476$55DE05F5-0155-4823-A739-330C3EDAB7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c8a8c95e440a32a7041c39a2f90d1f151ece4a","datavalue":{"value":{"entity-type":"item","numeric-id":5717489,"id":"Q5717489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$D94FF763-0923-4B8B-A30D-A387FC8AB5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e2faa6bdc936f20d9a3cd147b09cf88e07ab62","datavalue":{"value":{"entity-type":"item","numeric-id":2475428,"id":"Q2475428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$548534B1-7B5D-4135-99F8-7FF33970E03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$64CD2CB7-C7E9-4337-A9A6-E78C8DA958B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$CEE494E5-24BC-4973-A03E-0AA225CD856E","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":"Q421476$EE9DABA8-5394-4C5F-B758-D236FF607572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffabd46a7e742d4bf211ea83682d709ed51a309","datavalue":{"value":{"entity-type":"item","numeric-id":4228498,"id":"Q4228498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$086068C7-015B-4346-BEE9-13C1B6F574E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81001a27303ed9093fa822c843965774814d823","datavalue":{"value":{"entity-type":"item","numeric-id":701441,"id":"Q701441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421476$96EFCAA2-64E0-4A1C-970B-AA1DBFA37DC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6642a1a3b275efb37bc6d57e428c8700efa363ac","datavalue":{"value":"10.1007/S10472-011-9259-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421476$4002BD1B-207F-4F5A-85DC-021234B5F6BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ea0be1be79061622639145ac436891a1ef628c","datavalue":{"value":{"entity-type":"item","numeric-id":962185,"id":"Q962185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb754c6f1b4925f6b524c29c22f24f507ab51736","datavalue":{"value":{"amount":"+0.7303263545036316","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":"Q421476$E1634BE7-DDFD-469D-BB3A-50E5AC6A5809","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":"e615938c24a1475a74fa091948fcdf04c1c892dd","datavalue":{"value":{"amount":"+0.7280824184417725","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":"Q421476$7EAC0E6A-8DF9-4F7C-8932-DBEDAC19DD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeff2ecdf1da84c9a5af01fadf80f473dd0fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bce17bb6d2c30a92659a5bc52f981ee5a160fa","datavalue":{"value":{"amount":"+0.7248828411102295","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":"Q421476$0FF1FC38-70B4-4F6E-9362-AAC5A6D9244B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25029ded45921f723c064a7317e4996653e659a","datavalue":{"value":{"entity-type":"item","numeric-id":608343,"id":"Q608343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c2751c225f2f814986ee56adafb4c18f19ed98","datavalue":{"value":{"amount":"+0.7160458564758301","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":"Q421476$814EDCB5-0558-4CD1-9BE3-ECFA811C4AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c8b93cf06e23afd41706f95736fc258357f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5883570,"id":"Q5883570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45eb1fe2c6874da52fc4a2b59de5b4c63446b391","datavalue":{"value":{"amount":"+0.7147084474563599","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":"Q421476$B74FB980-AEBF-4BA9-B812-665DFD5D3C07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observation_strategies_for_event_detection_with_incidence_on_runtime_verification:_theory,_algorithms,_experimentation"}}}}}