{"entities":{"Q4647831":{"pageid":6677412,"ns":120,"title":"Item:Q4647831","lastrevid":51590855,"modified":"2026-01-18T23:09:57Z","type":"item","id":"Q4647831","labels":{"en":{"language":"en","value":"Quantified event automata: towards expressive and efficient runtime monitors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103218"}},"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":"Q4647831$A0B95E7F-0A9B-4B3F-A2F8-856F3D24A8A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816b68ae17a58f3d83fca0a1ed9ba15560e57c03","datavalue":{"value":{"text":"Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647831$B1893EE7-50F6-46C5-89DB-D4CA78AAABE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0468c657a9380727ddaf553d2b3c740596faa090","datavalue":{"value":"1372.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647831$89E6DB24-EE12-4175-80B0-5E3F7BA15123","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"100e7ed337ecac9db85f16424153bb52c83682b3","datavalue":{"value":"10.1007/978-3-642-32759-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647831$25BCFFF6-EEC6-400E-88A8-329CCA4EB3DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647831$E5E56675-87C4-422A-911B-DFE21172A2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647831$4E21821A-9652-461C-845F-34A839EDCE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647831$9A7CB976-45C6-493D-9C8A-6A60871CB98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395a9171f6bae9b8af4e7440aa83cc44ae6e3948","datavalue":{"value":{"entity-type":"item","numeric-id":2075783,"id":"Q2075783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647831$5B5CE2A4-95AF-435D-8986-970FF36691B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d426517d35f74127ac2700eb0061f4b10ecaa56c","datavalue":{"value":{"entity-type":"item","numeric-id":684394,"id":"Q684394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647831$1FEE8707-6981-4613-AB03-0D148309D148","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647831$49561E0B-9CA0-4DDF-8DCA-FFA1E915E957","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-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":"Q4647831$A0C38ACA-FE8E-40B3-AA4E-6DE2B880A6F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647831$420DFC47-FA05-48B9-B269-250030B7C555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647831$DD8EA1C7-9874-4356-B057-074FF044A088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"716b4abeeaabddeb6eeddf87b13748ba996eb98d","datavalue":{"value":"6103218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647831$E8C5877D-D208-4EC8-BDBD-ECE4E3C6BE88","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":"Q4647831$63C8DE41-53F0-428F-B643-EF41A52F68B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a2bd30ef9145d8c3cd98f8e6b866c77b16e600d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647831$C778C3A2-CDB2-4AE8-8489-B59AA4FC8C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c9324d0e288ff94c379316dce5fb8e6104112ba","datavalue":{"value":"W2132281483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647831$520A6E7C-06B6-4B16-B8B8-D789195A86CD","rank":"normal"}],"P1643":[{"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":"052da44124e607980a113dd84612f1feb9334d2b","datavalue":{"value":{"amount":"+0.7983978390693665","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":"Q4647831$B6A43BB9-03BE-4F01-9D8E-02887C1E012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840dda3bb951aefa986a164e604ba0ccf782c70b","datavalue":{"value":{"entity-type":"item","numeric-id":2938076,"id":"Q2938076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f013da729978428a19de1faaac291a5c6359b37c","datavalue":{"value":{"amount":"+0.7845728993415833","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":"Q4647831$791B2A9C-5A54-44D6-9D08-EAEFCF6EAA1D","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":"4b0635370a38774d8ce2d88e83696a180b37860a","datavalue":{"value":{"amount":"+0.7800294756889343","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":"Q4647831$F4B86788-2221-4F8D-AC6B-B9DA57B464F3","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":"7ed080370c7b58292cd38e6a320a0c1ab32f6001","datavalue":{"value":{"amount":"+0.754665732383728","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":"Q4647831$E3E444A9-6C22-433D-A729-B5FBCB7076B0","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":"1f3526defa6c11c9f3416de2b9e0a36ba33f7361","datavalue":{"value":{"amount":"+0.75225430727005","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":"Q4647831$425FF94B-0E00-4D46-AD2A-06CD42B23958","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647831"}}}}}