{"entities":{"Q548696":{"pageid":550463,"ns":120,"title":"Item:Q548696","lastrevid":51281855,"modified":"2026-01-17T14:22:31Z","type":"item","id":"Q548696","labels":{"en":{"language":"en","value":"Runtime enforcement monitors: Composition, synthesis, and enforcement abilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5915220"}},"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":"Q548696$FCD6023A-F231-4CF0-8848-B5C3416B678D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6eaa228d542fce0159bd7fb5aac8cbfc0829616","datavalue":{"value":{"text":"Runtime enforcement monitors: Composition, synthesis, and enforcement abilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548696$9465830F-E9BE-4CBC-AC71-045B861A42AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ded4a57e90ff5b326a903f9b567192c7b9248f3","datavalue":{"value":"1219.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548696$63FE8CA3-742E-4B2F-A8C5-0F78556019C4","rank":"normal"}],"P16":[{"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":"Q548696$4A75AD27-75E8-4CC2-AA91-83B8F6024D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2065abe1e907e50a3623086a49ee20a47d2f11ce","datavalue":{"value":{"entity-type":"item","numeric-id":548693,"id":"Q548693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$9CD6CCBA-8A73-41F7-9D3E-27CF8ACB6DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5a23818fe5976711a6ef2e14e0aeefe415bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":548694,"id":"Q548694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$56DEDE2B-1F9C-481C-8164-A89AC78703F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99ed86687645051600300182b90a5de7314996c2","datavalue":{"value":{"entity-type":"item","numeric-id":548695,"id":"Q548695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$79171CB5-7815-4FD3-B8A6-C9E60ABC9CFD","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":"Q548696$825EE28A-5197-4BF0-A6C5-F18A5DCF5F0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a120db9f973c25ec9f4d7fedafc327b72241f3","datavalue":{"value":{"time":"+2011-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548696$C156C9B0-9054-410B-B264-3F1BB0084F95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548696$5798CB36-0A5B-4A83-818B-C0F449536010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548696$B80A9D52-5C28-442B-9560-8D098A2F937D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b234d58facaf2382fb4540991f285c86a783865","datavalue":{"value":"5915220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548696$1F5CC87C-A415-4C7B-B136-760916CF37AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944143ff1ca66f1bf9ff2af7143ad4e869673670","datavalue":{"value":"runtime enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q548696$A4F74E16-4E3E-42A8-AC0F-2CE9CA2EC482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd115b14e79fa30654b00aae451c1c0e5ac9b1f","datavalue":{"value":"monitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q548696$FBC7F929-792D-4255-B4CA-225A013E8F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a824cd2847963c382a1a416fc632dbfea63871f","datavalue":{"value":"safety-progress classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q548696$C70AF518-36B0-40A7-8BE7-C8D2723B1B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71781358432fd7a29c4e5225a61dde97d4fe8b39","datavalue":{"value":"monitor synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q548696$5FD82925-FD9F-45DA-87A1-31DD9D8B084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q548696$EB29FC74-7F84-4389-8E0E-92DB5726ED4B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5476e37c973c524f4183cb6df6dc9a25e55fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":16596,"id":"Q16596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$A192F779-E5B3-4DC1-832C-4AE0AABB6A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7aa9e55fdd0c22a5571f5e7649529bf3617d3898","datavalue":{"value":{"entity-type":"item","numeric-id":19900,"id":"Q19900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$9FE6F589-BB14-4CAB-8BFA-5AA269A9346B","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":"Q548696$F1F4C8EA-DF9A-4670-9525-BC7664359969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca5ea23d49453b9bd465a35b990a2264ec058f58","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0114-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q548696$5F623A00-BD37-4D40-BF3C-284D04821936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e803ab7705ed37a2aed600f46b73430aabbe01f9","datavalue":{"value":"W2028720147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548696$EEE5D0CC-23C1-4C77-B76B-1C9FC9D28E8E","rank":"normal"}],"P223":[{"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":"Q548696$7AED921D-1E66-4D72-9258-7412AD7A471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$C450F282-B044-44E7-B183-DC67168965A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548696$AD607C48-A080-4A51-A9F9-A6A2FD02D851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"922ab22d2be858b77b16a8a0e936093ca73cb9c2","datavalue":{"value":"10.1007/S10703-011-0114-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548696$6E3E4343-0CAE-4BBF-A123-54B10CC523F7","rank":"normal"}],"P1643":[{"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":"40a660a064e8d97141fb0e448967d9d1f2695d0d","datavalue":{"value":{"amount":"+0.8667463660240173","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":"Q548696$743F6213-534B-4986-B60F-A620EF8E8E30","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":"5a8116a6ba9f35a86dab837fa826bdb16352b867","datavalue":{"value":{"amount":"+0.8569738268852234","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":"Q548696$C83D607E-0539-4535-8340-6B0EC5AC929D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9418e891d8b0b7de9ed08f59bb7a5b4943c79dad","datavalue":{"value":{"entity-type":"item","numeric-id":5009452,"id":"Q5009452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e169d72b949a3f85374b5e29524cef879f6fd3","datavalue":{"value":{"amount":"+0.8404781818389893","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":"Q548696$B166CCDF-1096-44E1-98DC-89DD3BFBE29F","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":"6fe5c66eae88d0f3baf362c21c06e40b6d2c938e","datavalue":{"value":{"amount":"+0.8146077990531921","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":"Q548696$575C90E2-2ADC-41EB-A4FA-4A8FD34B0A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee4bf885cf4d4a37828063e633e37c6f12177bd","datavalue":{"value":{"entity-type":"item","numeric-id":465692,"id":"Q465692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6baf3ded52c5bbba3349e8fa01919af2d1284444","datavalue":{"value":{"amount":"+0.7950446605682373","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":"Q548696$33A43AEC-DD71-4BF6-AE03-2DC2099A4BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:548696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:548696"}}}}}