{"entities":{"Q6091406":{"pageid":13225713,"ns":120,"title":"Item:Q6091406","lastrevid":58672584,"modified":"2026-04-06T06:45:08Z","type":"item","id":"Q6091406","labels":{"en":{"language":"en","value":"Constraint-based monitoring of hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770658"}},"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":"Q6091406$2072FE1D-1DE9-4ED2-BD79-8D2BB54F3161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a402af183452eb34609059299184230e7b61b372","datavalue":{"value":{"text":"Constraint-based monitoring of hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091406$735DD506-E6A1-4E8A-A481-CD0348FAA74C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c275564562f7bc2ca98fe56ea14ea59c4488a7b7","datavalue":{"value":"1527.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091406$E93DDEEB-43C3-44FE-BF86-BB45BFA2F34E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82aaba65f78306f96f50494411c6d54b48f9dd76","datavalue":{"value":"10.1007/978-3-030-17465-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091406$48819767-26F0-450D-B4CF-AC1361A17795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff597df2a5f4c715148e34007070147982df21d","datavalue":{"value":{"entity-type":"item","numeric-id":2008279,"id":"Q2008279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091406$C8A2CDBC-BA2F-4D94-917B-376D363FEB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e9b479c78185ec07fa89272a997431cb09faf15","datavalue":{"value":{"entity-type":"item","numeric-id":2008280,"id":"Q2008280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091406$ACA8FD27-B2D6-47AB-A589-616BC88125FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091406$F67C535A-2F7E-47A3-8C79-E44B2F0E5FB8","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":"Q6091406$09D29F2E-7652-479C-8E50-FB3DE9BCEDAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091406$9AF84C52-A059-497B-85EC-FA8F4851A211","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cc1dd1987bf3d6756594dbb89440c8370cf418d","datavalue":{"value":"https://arxiv.org/abs/1905.13517","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091406$160F67FC-6BBD-4921-865E-61E1E0DDB5EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091406$0C604D13-1B66-4BBB-A716-681100F11133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091406$B84C11A3-6025-41AB-A737-0F807F097C87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f0168b48e56f1a9db5d28f9fb60618a52c0f2c5","datavalue":{"value":"7770658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091406$1E3BD0C3-15D9-45E4-8E86-D1E96A79AE6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091406$5FC4A4B7-3C8F-414B-9BD0-63848EF81D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9c21a66648e65278643935411975ee3d824b45","datavalue":{"value":"constraint-based monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091406$8929463B-08C0-4FE3-B673-9095888C109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091406$EF395E6C-9926-4B39-9D6A-611B3A01AB17","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":"Q6091406$4B743076-C328-42F7-9ED8-D8D33DAE6F03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd427047b2441cd7c4fcf405b2ce2cbcb63eb67d","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb5f6debb4100204653c883092b275493b7ac02","datavalue":{"value":{"amount":"+0.8945481777191162","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":"Q6091406$84B6F83A-8D0E-4879-BCD2-19E8E52BC4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec99c6e77e4336e1d654231d2809bb679687a155","datavalue":{"value":{"entity-type":"item","numeric-id":2168793,"id":"Q2168793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd98400f35828e8ea7be3ff70c589239b71f3b8e","datavalue":{"value":{"amount":"+0.839586079120636","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":"Q6091406$AD80E524-BA74-4600-B442-0D6672846CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81addc712f5dc4a939be6b0552ea71799f3503d","datavalue":{"value":{"entity-type":"item","numeric-id":6535963,"id":"Q6535963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7647c8546267eac709c49344ba92fd2adbc398ae","datavalue":{"value":{"amount":"+0.8311145901679993","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":"Q6091406$72759465-885B-44FC-978F-607E7F701CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80848641ffd593195b0f83574a020cefef995e7","datavalue":{"value":{"entity-type":"item","numeric-id":2147207,"id":"Q2147207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c405bc0676c46f8ab2cf40fdf44e24af47158fc8","datavalue":{"value":{"amount":"+0.8205750584602356","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":"Q6091406$BF28A32D-EFEE-4399-B4D0-3B6501157C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbfe60bb52ed425ad2eeb35e3b5406cf61614f9","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2720373275195d0aae7d7fccc20224abbe8b95","datavalue":{"value":{"amount":"+0.805720865726471","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":"Q6091406$F4B0731C-22D2-4618-9950-5A3ECC6445A0","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":"Q6091406$4AC79A83-84AF-44CE-B415-1DD41E66EDF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091406"}}}}}