{"entities":{"Q2198137":{"pageid":2208880,"ns":120,"title":"Item:Q2198137","lastrevid":53817410,"modified":"2026-01-25T18:40:31Z","type":"item","id":"Q2198137","labels":{"en":{"language":"en","value":"Runtime enforcement of timed properties using games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7245549"}},"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":"Q2198137$49ECCAD2-91FD-4EA8-B423-67A20DD7B868","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a780d9d987645706ee76409570bb35794f9f5b5","datavalue":{"value":{"text":"Runtime enforcement of timed properties using games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2198137$B1E825C4-8B97-481C-866B-CFE07C972F9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04990da538ef48142d74d94041d78998fb3d3a6c","datavalue":{"value":"1458.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$D96D9A26-0718-4B1C-B601-214F635EE16B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b49667ba710fe14e1546dd2d0712b12efbde488","datavalue":{"value":{"entity-type":"item","numeric-id":2198136,"id":"Q2198136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$8990FC4B-F865-4AE3-816B-35E6AF14E5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e7cce8b9d4b2997a2ea637a127a6d69106a1ec6","datavalue":{"value":{"entity-type":"item","numeric-id":487256,"id":"Q487256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$0FEB16DC-6DDC-4599-9903-017DE34DDA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$C92BD2CC-B98E-41BA-AE54-DA74165EE288","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$74A58953-D591-409C-84D7-618315B472B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af50a8f38b9014baebb3050a8a71f7f232c1207","datavalue":{"value":{"time":"+2020-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2198137$B4EE4386-4CA8-41CC-A649-6100A430A79F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$558FFF84-1143-4A57-929A-C8B5C4CD0E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$D502B89F-3A17-438F-909A-EBAB0EDD3D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$1B733326-32EB-4B6C-B87D-50511F4905D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"677ccdac60a16dc8ee62c49859e0d39d8a555126","datavalue":{"value":"7245549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$0834D662-C901-4AD5-A02A-6C60A9263FA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944143ff1ca66f1bf9ff2af7143ad4e869673670","datavalue":{"value":"runtime enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198137$155BC345-AB0C-4213-A833-9EC75F3380D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198137$CB0C4277-8661-4369-8DE5-E0556F37DAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198137$F4CA92A8-4C45-418F-A1B7-343AF5911111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198137$22BFF424-CA61-4C29-A221-BBC78C9B5B4C","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":"Q2198137$E7F28DCF-736B-49BE-AB63-81EE73A479B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41f01f276fb0a3750b72bbcf23be7a59a7bedc09","datavalue":{"value":"https://doi.org/10.1007/s00165-020-00515-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2198137$56C7D537-F802-456B-99C1-47451A744D2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c95930affc9bb8c23001f1b45222b921934b340d","datavalue":{"value":"W3045776271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$95508030-276B-4347-A5AA-2418357707FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1b3d14cf592c7bc763d58f24376580e45f6d64","datavalue":{"value":{"entity-type":"item","numeric-id":5464468,"id":"Q5464468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$4821C1EB-263D-4B29-887E-2B4849C88A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810c211a4f45cf76ba3b9494f5dc9c3f17e3970b","datavalue":{"value":{"entity-type":"item","numeric-id":2894329,"id":"Q2894329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$EF64AB17-AC75-4656-ABEE-47560C971ECC","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":"Q2198137$23E027EE-9D96-4B48-B833-EC5C5F0F42F9","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":"Q2198137$D27326BD-AC94-403B-912D-E0D096B4B89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$8B96572B-345A-4C65-B6E3-226DBC393A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$7C3AB0CA-EBBC-437D-AA3A-522B88A714EE","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":"Q2198137$53327E8E-1F7A-44EB-864A-9B7580A06465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$68789DE3-85F8-40BF-BC32-8DB1A5F55D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d72035e5d4eec62c27e7d581ef3c7ff04f79de0","datavalue":{"value":{"entity-type":"item","numeric-id":465692,"id":"Q465692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$6CEFAE7A-6183-48D9-995B-640488F2B3BD","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":"Q2198137$ECCEF897-0C95-4EE5-82FB-1D48E8C5A523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fefa14342c323579a253520287f18b500d5cafd","datavalue":{"value":{"entity-type":"item","numeric-id":487258,"id":"Q487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198137$8F37FEF3-2661-4558-ACE7-E02D47528694","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":"Q2198137$B229C8C1-B0CB-4137-9FC5-E830540780A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70c16b8cfefda5f97c68bed6abfe3fa51ce58e08","datavalue":{"value":"10.1007/S00165-020-00515-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198137$9DD1DB2B-E48E-4024-8804-80738474E6C4","rank":"normal"}],"P1643":[{"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":"65fe81943d28f3d5ca9ec2770f28f1f6e84db53b","datavalue":{"value":{"amount":"+0.9112725853919984","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":"Q2198137$76FA1C64-C76A-47DE-B44B-1F0BCC9F8479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6911d1ff544326d8911f8c70a56271c3e1b12f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4559604,"id":"Q4559604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7b23ed6bbe54206d0e6b9f5f1d68b73c05bc3a","datavalue":{"value":{"amount":"+0.902642548084259","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":"Q2198137$5DC5EE78-0DAC-464E-9326-4C9A5135EBED","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":"5aac2d73c447bdac574fe2d47bbfb7f91d03ef1f","datavalue":{"value":{"amount":"+0.88740473985672","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":"Q2198137$A4718D25-2CFB-466B-9AC2-075B44A79487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f4c58be37e7804171f84f8c825fc2017c05d72","datavalue":{"value":{"entity-type":"item","numeric-id":2402553,"id":"Q2402553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e207a76be15811a62ba136b4d661bcd0ec85200f","datavalue":{"value":{"amount":"+0.7914037704467773","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":"Q2198137$3C1090B4-CE37-45A3-B211-4FB8E3E10D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c0050d7b7888b6d7f57a23251d46822e29538c","datavalue":{"value":{"entity-type":"item","numeric-id":548696,"id":"Q548696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf64074f4402b5c7e2283a848519e5e12ffc1cc2","datavalue":{"value":{"amount":"+0.7788859009742737","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":"Q2198137$F533EAFD-D720-4DEB-9F70-CA0CF40E72C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2198137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2198137"}}}}}