{"entities":{"Q2390029":{"pageid":2400772,"ns":120,"title":"Item:Q2390029","lastrevid":78737306,"modified":"2026-05-06T12:19:19Z","type":"item","id":"Q2390029","labels":{"en":{"language":"en","value":"Provably correct runtime monitoring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5580678"}},"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":"Q2390029$681B7D5B-81C2-4622-A802-24D3A1B789AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44f7aeb8c9ff99cb17f4167817dc75ac360179a4","datavalue":{"value":{"text":"Provably correct runtime monitoring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390029$43EB11E1-F638-4412-A6F9-B665FADD787C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"962b300ac991f4b975327235608a4cbb9f1f9af2","datavalue":{"value":"1192.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390029$4AD2431F-7794-40D6-8661-D882FB8B942B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b989eb74507662d1a97783cb1747a252d611c0","datavalue":{"value":{"entity-type":"item","numeric-id":2390028,"id":"Q2390028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$B1843D5A-558C-4C10-B66F-E01579C5A54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$1BD1EA39-E171-4C4E-8D08-B5AA2A9A15FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$F639B549-31E6-4A16-A143-3D8D2FF78ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$60AA0173-64AB-4773-A85C-E47D90A37B7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d892534043c67e1a7a66eda0faf780c37126ffa6","datavalue":{"value":{"time":"+2009-07-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":"Q2390029$F38ACAB9-8A29-4D79-ABE6-58F549651837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390029$4F1A1AB9-54C8-4E3E-ACBD-A597E7C5915C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd0ebec0da589d14a86d0354ab37a692cd405b0","datavalue":{"value":"5580678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390029$1DB1A484-52F9-44C3-AD68-F1F0457312B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390029$F6F0772A-553D-4669-A2E8-E4FE6AE447AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd317ed3801606740e021d664afd4ec49c2d9d1","datavalue":{"value":"policy enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390029$7359826C-1645-4BCE-950C-623970435608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c15a615d0571b0add559dfb5031ad9d070d18fd","datavalue":{"value":"monitor inlining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390029$100C8273-37BE-4BCA-BC8A-65BBCEFB3A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390029$7848581C-633C-4927-B420-53534C8CFB02","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e11eb452fca826a53e41c6f99545aabd972ba68","datavalue":{"value":{"entity-type":"item","numeric-id":31823,"id":"Q31823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$570C1680-D29B-4001-9BF6-4477394CDD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$4FC5827E-0AE0-49D0-9F9A-928DEDD54BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0a9111f1cf6e8bbc3092e037be736070a148859","datavalue":{"value":{"entity-type":"item","numeric-id":14555,"id":"Q14555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$2C2C2164-C56A-45DC-865D-7153FCBA3BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a71dcbee7d3484171d1bfc26363f35c0294e1ffa","datavalue":{"value":{"entity-type":"item","numeric-id":43971,"id":"Q43971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$228F7197-0582-4DB0-B221-409C60DAE591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73b38a4ded541f6602107102780397fbed4be24c","datavalue":{"value":{"entity-type":"item","numeric-id":43972,"id":"Q43972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$51200543-E40D-4E0F-A44D-414EF7645C38","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":"Q2390029$0AAC0A6E-738F-4604-866E-5D6C9D69EF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51634851aa9f06d73131f80fe08b5ba8cc12dae7","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390029$47C6E1B9-AF66-4917-9480-B090C318DFB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a15fe6117447555a1a7903bda3923a6ecd7dd57","datavalue":{"value":"W2022356878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390029$5B639E9F-0D8D-402C-96CF-0B8772AB14F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043b53098e602c614083fe3d44f1cd78ae421e4","datavalue":{"value":{"entity-type":"item","numeric-id":2517827,"id":"Q2517827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$21A1D7C6-9F42-4B85-B506-9FBE30474E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d17bced200c861b1f68e40b8ad1d6ac729ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$9733949B-B9F1-4D38-B504-EE6503BB4950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ecb8a103f63d32e54f44e8875faf11679ab820","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$0002D9EB-EAD6-4AC8-B902-785E67024C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f7f9217c481952f862e15379acb4f0658645b0","datavalue":{"value":{"entity-type":"item","numeric-id":5703785,"id":"Q5703785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$59FBA7A3-F520-48FD-9B46-B1CC2B02602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4ee29b99ac87dbcc9cfa678fc571c46e8dfcfc","datavalue":{"value":{"entity-type":"item","numeric-id":2753772,"id":"Q2753772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$6FF2AD32-F5BF-47C3-9817-2F7606971E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$C6185A17-9BE0-46FB-9694-63C3EE7369C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c5875eaa6f93bfeaac4d0fab2d77ff3c0870d4","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$EB4FA619-98F7-459E-BE05-D5D6274B5465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d17992b371850be6b5e2985000a37a1fdccdda0","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$D428E19D-61D5-4E46-97F9-C19AC1F12448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff16d9e8951ca7e4902f7caa7981f55b103b4214","datavalue":{"value":{"entity-type":"item","numeric-id":5862671,"id":"Q5862671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$CF0F753B-15F6-4FB3-9E80-56E8D138212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec630eaef94401ff37429d99e89da626bb1e769b","datavalue":{"value":{"entity-type":"item","numeric-id":925321,"id":"Q925321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390029$C61951AC-F240-4EC6-B655-EDFC203DC510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"446d7c38bbc188d1ceeb5f796e67d7c9c92ff088","datavalue":{"value":"10.1016/J.JLAP.2008.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390029$D7CB1600-0A5D-407F-80C6-6B034BDAE5C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac96b8cddeb2f99d31b1b8e04e75297a249a798","datavalue":{"value":{"entity-type":"item","numeric-id":5740632,"id":"Q5740632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2470ffd9931bbd716a6157af0bd856214bdb9b9","datavalue":{"value":{"amount":"+0.8180631399154663","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":"Q2390029$7AAD9CB8-21AC-4EF2-82BD-1DF96DC9A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650011c4f9cc0ddd0b905ad4811ccec01796fd47","datavalue":{"value":{"entity-type":"item","numeric-id":4418571,"id":"Q4418571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c730055924668cae51f16992bca1041c29e2ce66","datavalue":{"value":{"amount":"+0.7693254947662354","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":"Q2390029$56627627-8449-408A-9F33-176862382455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28dcccc28c9baa24e46a2aef14ea0bc9b11191e5","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3633b888c6bf8452ac006a27c15e4ba5b3bf0a8f","datavalue":{"value":{"amount":"+0.7686159014701843","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":"Q2390029$7A3154A3-6190-43B5-AD08-AFD2AFF3FC15","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":"7d5e024a2db724ba556f5ba98d29509232f5a486","datavalue":{"value":{"amount":"+0.7664052844047546","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":"Q2390029$07CAFB15-838C-40A1-8419-9596ACBB5FF8","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":"aa7803ad66b000e720e2476f1cb20b5d045cfce8","datavalue":{"value":{"amount":"+0.76118403673172","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":"Q2390029$A80AE264-1F31-44E3-9844-47704C7A77BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provably correct runtime monitoring","badges":[]}}}}}