{"entities":{"Q2147690":{"pageid":2158433,"ns":120,"title":"Item:Q2147690","lastrevid":71406231,"modified":"2026-04-13T22:04:18Z","type":"item","id":"Q2147690","labels":{"en":{"language":"en","value":"Gray-box monitoring of hyperproperties with an application to privacy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544943"}},"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":"Q2147690$8C654E82-3DB9-4DE3-AFE0-8CC8D00A274E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32986078fb6b476700f72bd1407f9b11381ca298","datavalue":{"value":{"text":"Gray-box monitoring of hyperproperties with an application to privacy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147690$0D0D81B8-68A6-4DE9-9478-71A855EDBAB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45b3fadbb59a4ea0b36858055d61da191b46e978","datavalue":{"value":"1502.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$E6AE8853-48E3-4DAC-B3DA-8D6E3A521C9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59c1489292c2343f5ff6536b9d9e472d5622231","datavalue":{"value":{"entity-type":"item","numeric-id":2110647,"id":"Q2110647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$87EAE1EE-5912-4C26-9951-AE2BD6D75078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$DF5FDA22-8CE1-4DFE-AC60-5DDBBE2D5A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb82b840f2cb52b344ebb7a6a6575033a768c","datavalue":{"value":{"entity-type":"item","numeric-id":418140,"id":"Q418140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$0ED3EF81-FB64-4DDE-AD1D-ED58A6158D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$8A9B07BB-BE86-4C6B-9F3F-09CD4D9166D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$A3A9A642-E048-4E8D-AE6C-FF9111E766B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147690$CD2384A7-E6A2-4E3E-BEE1-53E8462F567C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$C2684FB8-E3A0-4316-96C4-BA2EC887CDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$7573F4A0-B96F-4879-9E95-4CF3C2AC1441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"699636654cf943fe9097d5e940392c611fd79ab7","datavalue":{"value":"68P27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$C9612A1D-112C-4353-B239-FD7C49FE988C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e452f4ee5a0192d27c273cddd1d87eed87fc8397","datavalue":{"value":"7544943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$2A65DA07-DE9F-41CD-A686-6FAEABD5DCB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$B6BE95A6-EAFC-4BB4-8401-7F9ECCDBC3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914d9e114e4ff15142fdd1593e83e8da26041bdf","datavalue":{"value":"monitorability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$0D92665E-BAFC-4CC8-8D7E-0E6D9B7CB3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e07122e4dced48fc8d7598669acd23758361389","datavalue":{"value":"hyperproperty","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$B84B0E76-3FD0-4F56-952D-7EFB7A9442A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$D6FC374F-167C-4C80-BF70-1EB026110E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af88aa3d491903c7f03d61812402065edf91d808","datavalue":{"value":"hyperLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$15CF8818-010A-4685-853F-23E803C32B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4338f1401f8bbcb7aa43cf1accf3e8a49f4741e8","datavalue":{"value":"data minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$BF5F2AEE-5669-43AC-BD2B-CBF1BDAFB989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$97892C0D-CFA0-4AF4-A457-F9D8CA6F7D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366f0e17541ecf767d8284466aa93f9dd38e651c","datavalue":{"value":"privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147690$45A553F2-B66F-48DF-B60F-6F77F2135E6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$9AE6346F-0E9A-4038-9A1F-4707ADDD7E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$02B78DDB-B1A0-4DFF-A63F-0BFDE65A5716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$DE697DF2-B940-482E-B837-34D03D87266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$E1681301-B5F4-4D7D-823F-60599543ABD6","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":"Q2147690$B7DADF1E-082E-482F-A27C-448926F84BE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"220b4205bbc0ce11e20e410ed49a5b5ce431641d","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00358-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147690$59EAF3B6-9928-45ED-8D37-CB455C69A540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e6f32faee150454e6d0b6eb267f13aa0f473386","datavalue":{"value":"W3126303719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$F3C88AAC-9DBB-4012-A314-BC9EAAB4E1E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f94a7a688fad2f0740f2ab8a51a92d4ce36d16","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$BA668D79-422C-4660-A165-FD610CBCBF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$DD030D8E-6518-474E-AAED-045AE65D79A8","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":"Q2147690$F32F7762-AC2B-49C4-BE21-04301A2C134C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e751eca347b068f0ffa489eab4d759f60f5ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147690$EAA4C534-7472-426C-B0F8-D2D490619A2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d1f05946cf2f2964f560629e1e36bc19d280cf","datavalue":{"value":"10.1007/S10703-020-00358-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147690$58B0A0BC-9000-42C1-8EF0-9A7227F7C19F","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":"ae709419514e155455ad5eea864283f6d7410354","datavalue":{"value":{"amount":"+0.8100637197494507","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":"Q2147690$00531856-A915-40B6-B752-6A82ECB439A1","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":"4e3ca716dfac8acc4aa03b31dd9b9141f2fc4e4b","datavalue":{"value":{"amount":"+0.7409161329269409","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":"Q2147690$CB72D2B1-B2CB-4B01-950E-468F7CFFCAB5","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":"69009f7befc48c7674a681954d26f350ba078db4","datavalue":{"value":{"amount":"+0.7367174029350281","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":"Q2147690$F74CFFE1-DF15-4116-9368-E4EF8546C751","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":"de5052646cbc4c38918c2372a028b2056f0b2856","datavalue":{"value":{"amount":"+0.710197925567627","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":"Q2147690$7E5A662B-0046-47EC-A78B-134B034DD9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5906212f4acc805c70912da2e7c2e86d8924d557","datavalue":{"value":{"entity-type":"item","numeric-id":6160908,"id":"Q6160908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266b7722b102b4c8b05af660f527e1d62aebf45d","datavalue":{"value":{"amount":"+0.7093390822410583","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":"Q2147690$6631AD13-25AE-406D-AF8C-0094CBB9A525","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":"Q2147690$9B7CA91F-CFAD-4925-9F2F-796357297F95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gray-box monitoring of hyperproperties with an application to privacy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gray-box_monitoring_of_hyperproperties_with_an_application_to_privacy"}}}}}