{"entities":{"Q2147207":{"pageid":2157950,"ns":120,"title":"Item:Q2147207","lastrevid":73435140,"modified":"2026-04-14T15:58:16Z","type":"item","id":"Q2147207","labels":{"en":{"language":"en","value":"Runtime enforcement of hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546609"}},"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":"Q2147207$106D4C2B-E076-4372-88EE-3AF2ED975DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3829818e6ce456c6141d178acacc31d32a69ea42","datavalue":{"value":{"text":"Runtime enforcement of hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147207$5AF29EA4-8026-465B-9307-EF3328C8A19E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3d08260ac991edceef3228d11302bc71c4d12fc","datavalue":{"value":"1497.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$A22B1722-028E-4BD2-9653-9DD2CA7C4B33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8245fedb50e3af7dd66dacd02121cb894ef7906","datavalue":{"value":"10.1007/978-3-030-88885-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$DD01B850-24C7-4425-9D76-C5433A4509B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3e594330a8e5c9f6ec76f65cd50182a98a8380d","datavalue":{"value":{"entity-type":"item","numeric-id":832222,"id":"Q832222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$1A4552F7-E0FB-4ADD-AE8E-B4997A6DFBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$553C169C-E5BD-4394-963D-DA140C2FC4C6","rank":"normal"},{"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":"Q2147207$8CB8756B-E529-45FF-A692-798F78D0DBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae863e361406875ddaa7394552d0da60b28b9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2147205,"id":"Q2147205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$049B9106-8E99-476A-AB2B-BC791B6E302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8262dfe641624eeafd0e3ec683e29a04df224e8","datavalue":{"value":{"entity-type":"item","numeric-id":2147206,"id":"Q2147206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$701FEBC0-5C92-4F2E-B973-0A68E31310BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147207$979119A7-A219-4DD0-B6B5-A7133ACA3D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75f47728f0f6792d53f62ce5b5b003217460faac","datavalue":{"value":"https://arxiv.org/abs/2203.04146","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147207$B59296E6-2221-4B1B-A8CD-5FB04FF2B7D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$211DD52C-59EB-4BB9-8ADD-0A3B8036B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$49BDC995-028F-4035-BC74-817ABEFB4FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$39D26085-6D35-4BCD-9E96-E63AE1B48729","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fe69313422bf1e3e2974d56537632b2a006ae62","datavalue":{"value":"7546609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$5919B1A4-3652-4E0A-A9B4-C950FC9B6146","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb14764ca4f795a410ecff4a15a27cd8a8364134","datavalue":{"value":{"entity-type":"item","numeric-id":45131,"id":"Q45131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$79EDA71E-E734-4D65-9963-20BD0C77B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$051AB786-6EB1-4C27-B41D-362B34989756","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":"Q2147207$1011C008-4A95-4F15-B622-8F4FB7E34E4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aa64e1a82352fcca0b940a39bbe1f1703cebe7d","datavalue":{"value":"W3206405735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147207$61A29060-EAA8-45DB-9FF1-48B5129A68DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08fb04a108ab8179c102cae98c498881a4c20a4","datavalue":{"value":{"entity-type":"item","numeric-id":3883572,"id":"Q3883572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$0764934A-4167-4104-800C-30766A6E608E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c2a3b7071817be950c9a131f415e6110474d48","datavalue":{"value":{"entity-type":"item","numeric-id":5194961,"id":"Q5194961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$63CEA152-AA62-4FC3-9DD8-61CDA44E0284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668509da96d3dbde15b6fd335a9c25e625530b4d","datavalue":{"value":{"entity-type":"item","numeric-id":3297603,"id":"Q3297603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$3ADA5A1C-0950-440F-AAB2-6F92271B8BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca2fcee1fd6919a0db354b6be3a6754db0afc06","datavalue":{"value":{"entity-type":"item","numeric-id":2949438,"id":"Q2949438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$8ADC63C0-5A01-4B02-AB48-F023205068A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a415575615b2e42302790d11e106d39b1608f","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$19292AFD-49C9-4703-8F64-C1669487DFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfc2abbce44972b8bb802564404a2fe7acfe5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3303906,"id":"Q3303906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$FB8AB247-E859-4B74-9C12-B7FC8F6A889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f16ba48be98b508d390b28ecf08eaa920e0c3f","datavalue":{"value":{"entity-type":"item","numeric-id":548696,"id":"Q548696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$371F2B43-DD13-46D4-B31C-9FBC5A831BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbb3d368752104ef954ffa0a463fc7e2860ca29","datavalue":{"value":{"entity-type":"item","numeric-id":6045009,"id":"Q6045009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$37CB1D99-D06A-4E4A-B8C2-B053F2AFBA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b236c38f6227a0534d2d5916ac862f5ac165be","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$76AD4FC6-E193-4324-954E-861E623CA9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7307bc2d0d53679a504e4d1569b07360d86d3f","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$D52600B6-53F4-4A0D-9B60-B590875D2F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$8DE2BDB2-4463-4652-8D43-BA1025A57655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046923eec31b331c0903467af2cf6f1ede83a579","datavalue":{"value":{"entity-type":"item","numeric-id":6091406,"id":"Q6091406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$DE59C351-9266-457A-AB3C-D8CD0A13C2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$2B40E86F-D6A1-4E6D-854D-E779C385A67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$E3A789D1-AD4F-428F-B183-DD8CDEE4D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61995c7b5916b0652827e33e6a723b007880cd5d","datavalue":{"value":{"entity-type":"item","numeric-id":2819788,"id":"Q2819788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$C0E90BD9-19E6-4044-809A-B8A0C4155FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133b3664ceec82468d1104ffc017b3e90320d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":5092368,"id":"Q5092368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$2D37DCE5-5E31-4592-ADE2-14519EF577E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663e6ca9d08f3dae61527deee982cc8229ddbfb2","datavalue":{"value":{"entity-type":"item","numeric-id":4559604,"id":"Q4559604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147207$02D0FF0F-B10F-463A-A4F3-B2DADB1007EC","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":"2b32cf8cd047de2fc26dbe419f9a087dcfc345b3","datavalue":{"value":{"amount":"+0.87039715051651","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":"Q2147207$4320B451-8364-4FD0-B566-136FF5659EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cb725fe22d415670f05a7f3d010a042ad43082","datavalue":{"value":{"entity-type":"item","numeric-id":6108437,"id":"Q6108437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4e5ea88009aec3cff56339c7aabaacad1cf8c3","datavalue":{"value":{"amount":"+0.8043496012687683","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":"Q2147207$BC04B244-64D8-41C2-8AC4-14B0E61D518F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0abccf4f5b135a4dfc30417b6f03648a10f4ffbc","datavalue":{"value":{"entity-type":"item","numeric-id":487258,"id":"Q487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2a0af831bd3355423227e44428f18a88f50469","datavalue":{"value":{"amount":"+0.8039132952690125","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":"Q2147207$F610E81D-178E-4EA1-B5BE-FD7A76643724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20196ab1f076c0138be6c05bf52a93071aa8eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2117010,"id":"Q2117010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbbfded768a1903abc3a6abfcce194ac49fcdcc","datavalue":{"value":{"amount":"+0.7978096008300781","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":"Q2147207$9B26A403-17D1-4DEA-A450-641BAE2FB2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6d4a45565da09108c62136917033c60f3bed62","datavalue":{"value":{"entity-type":"item","numeric-id":2787448,"id":"Q2787448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91aea3398224d17ae5e472251e1ec910a374456","datavalue":{"value":{"amount":"+0.7882420420646667","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":"Q2147207$7D0CF65B-5AD6-4250-9BB6-488E31FF6E29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime enforcement of hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Runtime_enforcement_of_hyperproperties"}}}}}