{"entities":{"Q3303922":{"pageid":3314630,"ns":120,"title":"Item:Q3303922","lastrevid":53785682,"modified":"2026-01-25T17:29:25Z","type":"item","id":"Q3303922","labels":{"en":{"language":"en","value":"Almost event-rate independent monitoring of metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228188"}},"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":"Q3303922$694CA006-315B-4105-B18F-03AD0A85F11E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"026ad96b8d3c3221f8f8bd2250134e3ab4921a32","datavalue":{"value":{"text":"Almost Event-Rate Independent Monitoring of Metric Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303922$64CAED32-8FED-4A91-B1A2-36EF822A36A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b19e0e98fc6753f4d5ad8dafc1ab4f336f62e9c0","datavalue":{"value":"1452.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$27EFA799-4FCA-4DDD-B550-56278C7E74E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c4cce972450ec9a6fab515c802d92199c644bb6","datavalue":{"value":"10.1007/978-3-662-54580-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$C22B1F6E-FA69-475F-BEB2-09E22B300F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b74c59c97cead89d09b9ac5078db0be3d443393","datavalue":{"value":{"entity-type":"item","numeric-id":2008285,"id":"Q2008285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$574D39AC-1025-420A-8684-14A83160348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$690D559C-1BA4-4A56-B550-EF22F44AA894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$093B6BFF-FC43-4953-BD06-D8E2A8BF416F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$FE581925-FC50-4A40-9677-542D5A451B08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3303922$E250EE63-ACEF-4176-951E-0B68F2ED5EB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$9FBE50DE-62E5-452B-A4D1-DDA09617DA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$6303EE47-9E81-40B8-8603-F4C30C6EBBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$0249DCEB-8276-4B17-A4E4-E44565D38FFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"980d8c463e633646df2d954417438633bf2772a0","datavalue":{"value":"7228188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$E869BDC0-9867-431D-B4B4-AD641EA59DF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9add710019a1cd48e70334d235ab234f734fffc","datavalue":{"value":"event rate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303922$F9519D09-6C33-4606-A881-4AF9C4AF6A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303922$5C1C57DF-A087-4C3D-B5F1-68B9B966D9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff964d94e54e38fa915fad0c816843187b6e805","datavalue":{"value":"future operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303922$271DA97B-E61A-4FB3-A7D3-CEE8823C8668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303922$26552FEA-0187-4F40-BE70-0DF4BD282F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c57f1aef24e8b9bfd4065665df523e5193ac40","datavalue":{"value":"Boolean expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303922$CB31E112-0A7B-434E-8837-0BF5F5F0F959","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$218393E9-7483-49B7-B92E-C3DB13F6A2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9146ac7750bda147de95fb5c0d90552963c2294","datavalue":{"value":{"entity-type":"item","numeric-id":53349,"id":"Q53349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$B25F0F29-1345-4B0D-82D0-1038BF1998D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aeb838ca8d52402afa429dacff05b4100af4cd","datavalue":{"value":{"entity-type":"item","numeric-id":53722,"id":"Q53722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$8B6B803E-85EF-4C0D-A798-5B656D91D116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6081dfe99bb34bc0d495f0df1dfe9791ada30100","datavalue":{"value":{"entity-type":"item","numeric-id":53723,"id":"Q53723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$AB88BB3B-9B23-402B-A719-433CB9A9A4A6","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":"Q3303922$03930861-B229-4718-99CB-700816A95DC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e70cd5addfa59b1f6907d9a703a1689ac3e837","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54580-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303922$FF3DBF38-8307-447B-99AD-961CA1C5252F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cf8da3fb5a9bd80bc7fa642e58fdce319fba9e3","datavalue":{"value":"W2599774663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303922$6794ED24-7FC9-44C7-93A3-6D98F4F9F72D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fbdd16e425388015c2f35525305b2233489f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3165946,"id":"Q3165946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$E276D624-DFE3-42DA-9FB6-1F9DC39CDA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$E74FF7A3-FB39-4FE1-B3F3-F65BA571B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d26add700d8428f74555e0cd00e74b761943fc","datavalue":{"value":{"entity-type":"item","numeric-id":1647773,"id":"Q1647773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$072F3DD9-3901-4BB4-B7AE-3460678BF853","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":"Q3303922$321135F7-B986-4704-A22B-902F36ACB88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1f2addc8ce6b7bc7b98a4f8cec6510995966ab","datavalue":{"value":{"entity-type":"item","numeric-id":5206953,"id":"Q5206953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$640C8C08-5027-4F3F-ACB2-88C0A031AF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a57c9a247c6bb03b5741363a4ecd472fcdab9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2408743,"id":"Q2408743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$24739362-0B58-4948-AFDD-865E568C1EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$06025FFB-4A79-4931-A052-64812F69035F","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":"Q3303922$9F884A0B-3E0D-45DC-BCD3-C04AB68934A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$67DA993F-45CC-4FD3-A4F9-B3E58FC2EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774123a8ab7c670ddd0a12ba265fc548e3b622f5","datavalue":{"value":{"entity-type":"item","numeric-id":2272934,"id":"Q2272934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303922$BF575343-1B7E-421C-BEB8-D17074CE4014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47514416f00699bb92c33861cd876f550d01903","datavalue":{"value":{"entity-type":"item","numeric-id":2008287,"id":"Q2008287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b85f26d670ea302063450878f8ff669b48040a1","datavalue":{"value":{"amount":"+0.9745129346847534","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":"Q3303922$C7720F01-E774-483C-BB71-D960A65FFA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a897e38a85530f3fe68df148e2212b5614a9627","datavalue":{"value":{"entity-type":"item","numeric-id":6485872,"id":"Q6485872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e57494c56ce09e67bffadd65aa1c0871ee9f44c","datavalue":{"value":{"amount":"+0.793531060218811","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":"Q3303922$1ED04F7C-8339-49F8-893B-9546134C842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b0021a1bcbe21978fbc0e474af4266624ab558","datavalue":{"value":{"entity-type":"item","numeric-id":3297591,"id":"Q3297591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db25390af9932216373d5d1c7747c9d0349e887b","datavalue":{"value":{"amount":"+0.7878721952438354","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":"Q3303922$367D4D53-C93F-4EF3-8582-6FD729F3BF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb14e0356606c97a067c25e80f9feb1ef6634dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1647773,"id":"Q1647773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1018b60422806eabaef9f1e92f19b534df81cf17","datavalue":{"value":{"amount":"+0.7565515637397766","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":"Q3303922$91C31297-8050-4841-84C5-21743E4EF154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ce02468e347759e866781c1c1d3d60fccc4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3165946,"id":"Q3165946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7b638c8ca67d21326f8590d11660b23e533df8","datavalue":{"value":{"amount":"+0.7409098744392395","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":"Q3303922$2B4455BF-1005-4EDC-9E66-1295A150D0A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303922"}}}}}