{"entities":{"Q2044210":{"pageid":2054952,"ns":120,"title":"Item:Q2044210","lastrevid":57686511,"modified":"2026-03-31T22:07:16Z","type":"item","id":"Q2044210","labels":{"en":{"language":"en","value":"Algebraic quantitative semantics for efficient online temporal monitoring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378311"}},"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":"Q2044210$965D3E54-2C83-40CB-85B0-685095CE171F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd14fff5fe2f4edbb3ed1d8a051ba8101b39cef9","datavalue":{"value":{"text":"Algebraic quantitative semantics for efficient online temporal monitoring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2044210$9C6C02FD-3022-476E-8816-531100DAB591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f858b5cdb9952195e4e1d10d9eb2e6ea1768e407","datavalue":{"value":"1467.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044210$FD60F922-079F-4251-A849-1CCCC8F24F91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2ed40cccf1b04e7a0583d6d349014e5dac4a535","datavalue":{"value":"10.1007/978-3-030-72016-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044210$5238130C-9887-4BED-B1CD-28DB93B03730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1843352b6f444e474b458244b096b619e5cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2044208,"id":"Q2044208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$34E99F6A-393C-43FA-9030-04CAA0305C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daa93bc0b2710b71961f4c6f89ba608ddc8da436","datavalue":{"value":{"entity-type":"item","numeric-id":2044209,"id":"Q2044209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$29E9FD38-834E-4907-AD08-E07520080F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7f68072db62081ac67d2ecc7cd066a83557b502","datavalue":{"value":{"entity-type":"item","numeric-id":1715226,"id":"Q1715226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$38A056FC-B390-4CED-B0BB-8C3138EF6155","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2044210$BE7EA245-8AF7-4188-A41F-9F1CD12C1BC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044210$A271B238-D8B4-4917-8D7C-F2684413D386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044210$17C0695E-AAF4-434C-A943-C1785DEA90A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b22ba0021caf1a3f00603f677a7abe711eb0b8","datavalue":{"value":"7378311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044210$70406BD4-BC47-407F-9FD4-8776C42719A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f783bd2e479849f032b497f2dafed105fe57da","datavalue":{"value":"online monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044210$38F27096-36F3-4091-BC4A-449DDE7EDA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044210$7D75ABEF-E391-4CF3-8B0A-B26408372C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6557f96c7331af6f8acbd886ca6331ad8977db4e","datavalue":{"value":"quantitative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044210$77CBDE54-0F61-465F-B146-2649611E7A8B","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":"Q2044210$56EC90FD-2761-4EE2-890F-6C9A31F87A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1fbe8bac7dc838377c97944623212437fdb810f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72016-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2044210$B6251A2F-464F-45F2-A3EF-8D7C400552B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"272e252616ae71182f9c466a3102ab09a9a931e7","datavalue":{"value":"W3137814233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044210$8387906D-24EB-44AB-82A1-877C24B8DB5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69450a2c02d6f0d3c3cc236fede3fb7bea5acbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5227312,"id":"Q5227312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$E313D0F4-07E2-44EB-98F8-4FC7B9A4ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3f7b55e69ad0bacc2c32cb42125d9eba7083e5","datavalue":{"value":{"entity-type":"item","numeric-id":1702902,"id":"Q1702902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$88453BB2-DDDA-45A4-B76F-5E2BB1B62F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9f59ecf178e0857bb72b74d7d9f12e4ff047c1","datavalue":{"value":{"entity-type":"item","numeric-id":2286735,"id":"Q2286735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$8A2A1B9B-2B7E-46DC-95C2-7DDA09B6817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d88a52fc879e1aaf44f248ed92225e1a60c6a30","datavalue":{"value":{"entity-type":"item","numeric-id":5111444,"id":"Q5111444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$D99067B7-AE38-4E71-9728-8D1057D7CD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d6385245b8065fbe025965ce53a2e2cd15ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1183545,"id":"Q1183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$FF8F8EE2-1C21-473D-8ECD-68494D1BB1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$B1A5E5B7-065A-49BF-8ECE-88CB681747B7","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":"Q2044210$A07AA3F8-1D8F-4E3F-A3D1-1C6BF77BC8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$ADCC3F65-A2B1-4A5B-90CE-67DF4A86A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$A99F9F2A-24F3-4174-B11A-E7527716D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379b141b80c6f87f2dc44e87edcb374c1226becf","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$F85EAA26-40B2-4582-AE2F-38B69D68EAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085940acdbf1762ffc2c139ffa77393af87eef04","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$9DDBE21B-300E-4BF0-BFD5-F22116E8D686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$8679F352-EB49-41EC-B4C5-140FB1688CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cde03562621ac344f98deab878bb3e849873e4","datavalue":{"value":{"entity-type":"item","numeric-id":3742710,"id":"Q3742710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$0CD7024D-97AC-4655-AEE3-18169D70FF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c99e53aae1cace6d53edca951880ac70d45bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5757091,"id":"Q5757091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$6D60C663-A8E7-45A2-A9D9-51FBE1A90CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$ED2149EF-1771-4DEA-971F-106F27C8FED2","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":"Q2044210$82E0DA6A-7531-4D80-A111-95EA5C750821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$6A69EAEC-34A7-4728-8C31-80AF4424D47A","rank":"normal"}],"P1643":[{"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":"350da6616534385a7bdb5d9322fbd5ae097e3921","datavalue":{"value":{"amount":"+0.7787434458732605","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":"Q2044210$E1252542-477B-4DDA-A3E4-F62C605D85B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b49fa2cf3f21d9130ff4f89e5416556d47abf6","datavalue":{"value":{"amount":"+0.7597067952156067","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":"Q2044210$5A182A24-82A2-4BC6-A3BF-0CD438E09F55","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":"8bb8dcbada33d41431e853edf5025e4f24b0c9f1","datavalue":{"value":{"amount":"+0.757089376449585","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":"Q2044210$8C55FCBB-6069-4A89-B72C-992E108E04EB","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":"41143b11a67568f90fd2f34d7bf43e844878a98f","datavalue":{"value":{"amount":"+0.756155788898468","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":"Q2044210$22B7238E-A758-4FB3-B316-C95A3BE0A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c160c0d6a58c5d05e8ec831700795e7309a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1631217,"id":"Q1631217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3062010b2121e9ad8b9ca75fa0a88e69fe421f","datavalue":{"value":{"amount":"+0.7404155135154724","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":"Q2044210$0D167A45-E044-444D-85C1-99CA089EC394","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044210$F7CEBC15-C8BA-4284-9635-89A4D885C2C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2044210","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2044210"}}}}}