{"entities":{"Q487258":{"pageid":489025,"ns":120,"title":"Item:Q487258","lastrevid":62233161,"modified":"2026-04-11T04:41:04Z","type":"item","id":"Q487258","labels":{"en":{"language":"en","value":"Runtime enforcement of timed properties revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6387892"}},"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":"Q487258$54B8EB12-43BF-4CE8-A2CE-F97720E847EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f04e28e359bffb64cee71f67911766fd9965127","datavalue":{"value":{"text":"Runtime enforcement of timed properties revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q487258$86ED073A-AEE1-4DA9-A190-42F6E1857F06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72723d7bf899b8509d1662ced70f6f0fc376142d","datavalue":{"value":"1314.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$288E0E78-ABF2-43E6-8C26-4867B5AACCFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc000277e0f32189cf2889876ff072ae038dbaf","datavalue":{"value":{"entity-type":"item","numeric-id":487254,"id":"Q487254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$82801967-8C9C-4ACB-A94A-0697C56CE017","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":"Q487258$E22141EE-7283-4F1A-B812-60AA8D0EBE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$4D8ECE01-87DF-42A9-BAE6-5C71DB7DFB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$684A80FD-69CB-44A7-A996-443BF5633BB0","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":"Q487258$F26515DD-D772-4DDA-A6A2-BE11ADAB0368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d424249d20805c48062181293f36e0103b7f308","datavalue":{"value":{"entity-type":"item","numeric-id":487257,"id":"Q487257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$E4EF6E18-B102-4CB4-AF08-F026E97A5646","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":"Q487258$34095211-5823-473C-B1B4-C92E2E8312B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23e6ba576eeca2c6f926b5ca32f399afa8cf58c8","datavalue":{"value":{"time":"+2015-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q487258$B9A5062A-C66A-4B93-8162-E1EB867A7AFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e6be4f44cbd0a848d1f180fd30a1451b8c80d4a","datavalue":{"value":"https://hal.inria.fr/hal-01088136/file/fmsd2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q487258$4F96F161-B344-47C5-866B-9E7320F6295F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$72780352-DADF-4AF1-B4BF-E6520B7E5273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$BC2E941B-F8C2-4C3B-AAAB-562FD9770DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$E420B15E-8881-4339-AEA0-846A1C5D5D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a0b224bb77d785e73b3fee4a12d17b5c8ddb293","datavalue":{"value":"6387892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$564366F0-E09D-4E48-8C2C-8B1B9555E297","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q487258$FEEC3A64-CFA2-4A59-8C9E-02E2C842AAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944143ff1ca66f1bf9ff2af7143ad4e869673670","datavalue":{"value":"runtime enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q487258$15ADA185-B68C-46CF-B59C-A702AB12D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23df59d44270635d181dce16358f2b9b368ea37a","datavalue":{"value":"timed properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q487258$A8DA3744-6507-4C67-8C1D-1E1DD3688207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q487258$2CD80F05-F378-4BDD-99E5-A8FB59A2FAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q487258$25040F35-B859-4914-95BF-E807436EC155","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d9e99ba00e34f37c24789403266fdea35d3843","datavalue":{"value":{"entity-type":"item","numeric-id":53745,"id":"Q53745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$1F13F317-A14F-4244-B92F-6C9C4F9C14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$D9583C43-91FC-4905-873F-6FDB21A73490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef95743ea175154cef89deff408347089fc00980","datavalue":{"value":{"entity-type":"item","numeric-id":33215,"id":"Q33215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$01FD0304-7216-40D2-96A0-3DA80B416499","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":"Q487258$1DFE1ABC-611A-4B67-BCED-2234C419C3D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c2d13d261cd26dbc39f6b7582ad3235e2dcf245","datavalue":{"value":"W1973223152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$3C49CF50-B2AD-4743-BE8F-932D8D4A8B80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e59669be79aceb9c2e48b86ca0e1ab86de7fbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3617763,"id":"Q3617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$5430D3BB-86D2-4A96-BC12-07E4F6484FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361822c87392929af70c641b2108b93c5c18727d","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$5107CB7B-0FBD-4E06-8819-2D875450223C","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":"Q487258$7E95E748-8DB4-436A-8B06-0D5684D50CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5e7ba960ad3d2f37b1d49078179f4e830d1428","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$FDC9BBF5-9995-41E9-B22E-9C397BB88C23","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":"Q487258$432D91C6-B8A4-4E4F-AA7B-50997CD9BF20","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":"Q487258$D7BA0549-2ECD-42C2-9DC1-28104E5D5E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8247a4c32137df50b4f3e5ea09ccbb48c8757910","datavalue":{"value":{"entity-type":"item","numeric-id":2866731,"id":"Q2866731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$666056D5-0B9E-4F25-A9E6-CC02F044CDE7","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":"Q487258$BD1D3BB5-D1CC-4AA8-BE2A-96C7A0895A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$1D3B94FA-1AFC-4BEB-9C29-34383C10ED7D","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":"Q487258$C889893A-370C-4EDD-90F6-A15FC4BE7356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$2E579660-AF80-4D00-894F-C33F4A60AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0cd798029810e98f731f838fd7160c8ee01f42","datavalue":{"value":{"entity-type":"item","numeric-id":5710001,"id":"Q5710001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$5A2FC395-B333-4656-A74F-3042CADD207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb81a915ca1fb18ae7660313d53417d9771869a","datavalue":{"value":{"entity-type":"item","numeric-id":3648826,"id":"Q3648826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487258$407774BF-EC9F-4A09-9EFE-412E50A3B1C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b459c1f03bf334584fecac241653e5ea174fa2d2","datavalue":{"value":"10.1007/S10703-014-0215-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487258$76104A1D-9D66-4001-B9A0-6C39081E4734","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":"fae845d698244740b6c34d8ed572a127e48e62c0","datavalue":{"value":{"amount":"+0.8970546126365662","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":"Q487258$27E30761-6C66-46D2-8A63-77B851E045C2","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":"3d4a6e540d9794b09ff0de0204108689ad62f592","datavalue":{"value":{"amount":"+0.8893290162086487","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":"Q487258$F3EABAB6-68F1-4234-8816-AB4BD2CF5B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5609076be2e96dbb0f5d7b7b56ecb0def505975b","datavalue":{"value":{"entity-type":"item","numeric-id":2198137,"id":"Q2198137"},"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":"Q487258$E92F1810-E33C-4255-968A-2F684FE05A20","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":"73b3b93a0a6e4cc6507f66ea8fe5e7d51ec766a5","datavalue":{"value":{"amount":"+0.824938952922821","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":"Q487258$FD5B7C29-08F1-49C9-A6A3-A4E8FB97459E","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":"019dde8e1c7692a9d68022801865d03b6fa7cc2e","datavalue":{"value":{"amount":"+0.8202117681503296","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":"Q487258$DFBACF52-0914-4DD7-9010-2D24A60DDC44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime enforcement of timed properties revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Runtime_enforcement_of_timed_properties_revisited"}}}}}