{"entities":{"Q5136296":{"pageid":7165868,"ns":120,"title":"Item:Q5136296","lastrevid":53877656,"modified":"2026-01-25T21:06:14Z","type":"item","id":"Q5136296","labels":{"en":{"language":"en","value":"Monitoring for silent actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278079"}},"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":"Q5136296$7FD3676C-FDCB-42CF-8405-023CFBF339F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a02bdb9c0d33c38666f3254f7412df1709cb67f","datavalue":{"value":"1491.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$1648762B-D1E1-4909-8F73-101049628748","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$C2129633-0081-435D-B216-14DB11A2EBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$E0450BE5-6EEF-4F7D-9B6B-2E42865D589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$FD30AA14-B061-44DF-80A4-DFC41ACDC6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$D4D1A614-A833-4CC0-B925-508ED596B29C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136296$F8FA84C4-D783-48EF-BC8F-C270235B8725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$1095441B-BB02-44B4-98C9-8850E6ECF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$3E34021B-10CC-40F8-9005-D8768C30547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$9371C60C-7A41-4D0D-9A39-0562ED3965F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6992b651391602e7cf48e9d55d63b4d6b67b452c","datavalue":{"value":"7278079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$E390D087-19E0-4FA4-92A3-F634E939AC2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136296$EE675EC5-5E7C-48B5-8357-DE6822104A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914d9e114e4ff15142fdd1593e83e8da26041bdf","datavalue":{"value":"monitorability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136296$FA664832-63C6-4182-B1F0-B8C0D7713F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5073c0a5fb9f470d8e418aa70e3fb4e6b7562d1","datavalue":{"value":"Hennessy-Milner logic with recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136296$58FE7B9B-0C4D-4709-B1D8-7C276DA88A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183f0c684b467b5ecbafdd2e30efa97990d7c940","datavalue":{"value":"silent actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136296$159B4732-B857-4EA0-80F9-35EAB74C69B5","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":"Q5136296$66B4E3DF-1692-43C7-ABD7-5D8C4CBD8C4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33de63f4c5fa0ada40d54ce6a31323275b9d2de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399244,"id":"Q2399244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$B0BA5620-40D5-4291-8E21-AF5C0F3506A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$7DE0699B-938B-415B-8BF6-3561D0305BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$624B4166-4B56-4541-A077-805CA63A5238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929668d072ed73922998f4867c8ddd240850495c","datavalue":{"value":{"entity-type":"item","numeric-id":5275399,"id":"Q5275399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$61D097D9-DACB-4A63-BC93-61BB83A23A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea421afaf32ac79667c851bc601181d8946a2f82","datavalue":{"value":{"entity-type":"item","numeric-id":517050,"id":"Q517050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$79242DBB-23A3-40B4-BD41-5DB2EF4C6EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6839c3c41a11d6a087aaca76ef22e52b34073d46","datavalue":{"value":{"entity-type":"item","numeric-id":2811337,"id":"Q2811337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$6A607CFA-A90A-4A4C-A073-D2D1D75D1602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6150385c4fc790c6e4492772fa5b1548c167159c","datavalue":{"value":{"entity-type":"item","numeric-id":5111620,"id":"Q5111620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$6B703C21-625B-49B4-B135-9B9FEC73BF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ea0a643f47d98fe0a2100f1979a323d1d8b8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$2FFA3478-0D64-42CF-85D7-9D33DFEA7F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70386dba3c7fc1edf193ffcbd8b2ebcc3f8f782c","datavalue":{"value":{"entity-type":"item","numeric-id":888412,"id":"Q888412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$ACB47812-59EA-4138-AFDF-3CC508C3F527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$7B02B36A-7741-423B-B678-062E58E23063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$1E2A12B3-CD28-4D07-83B0-F794AFFC205A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$00F45962-7678-41FA-98DC-E6E21FDCF98B","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":"Q5136296$BBF8234B-4ECE-417C-9B02-FB50DFDE8EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136296$E63428F7-4E18-4936-9B0A-DDC6C08DC70E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37df501455b5d93abc190811e1a2635e248833a2","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8402/pdf/LIPIcs-FSTTCS-2017-7.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136296$83F33315-8C1A-463D-A239-CA7ED1DCB52C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f3fedd4fa8258ff26f2954b38bafb192aac5067","datavalue":{"value":"W2787966173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$AD3F7AB2-493E-4A1E-B200-2BC2B184AD35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1799a3e7a111b9b199c9dbcee11254a6861fbe61","datavalue":{"value":{"text":"Monitoring for Silent Actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136296$3E15307C-B2A5-43A9-9092-0AE609478B61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbf3271c4cb30b5771691cac5f2de601409c56bc","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136296$F6863747-803C-4564-AF8B-86DCCBF47A71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d818be785314c94abb94bfc5c2fcbf0421656a","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41305692b17081f399a789a1ab56a530a5f3b2c0","datavalue":{"value":{"amount":"+0.6865404844284058","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":"Q5136296$9B60BFE2-9D56-4008-AD85-EBDE290E9507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12156ee3c3c9242a5b4dea8e7dcf701f9de5d0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2051767,"id":"Q2051767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97acc3fd2ed11002c40c5402977a93a461f756b","datavalue":{"value":{"amount":"+0.6750475168228149","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":"Q5136296$222C0B5E-0FD3-4485-ABC2-D953A21C8A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab94aeda0c95ed5c4c94b16752c4cc41d273ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5217308,"id":"Q5217308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d40fb51d034c875fe2d0a77e8765fe21b360514","datavalue":{"value":{"amount":"+0.6734402179718018","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":"Q5136296$F0C127A9-5C4A-415A-BB63-F2BE70A71920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc49e0b590d7de5a445751974dbf0997413a7183","datavalue":{"value":{"entity-type":"item","numeric-id":2811337,"id":"Q2811337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5baebdb1dea0809f3c48d39a7eff1040e9c15c","datavalue":{"value":{"amount":"+0.6699060797691345","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":"Q5136296$FB315925-6EF9-4223-8255-FEA6D29D3A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3317ea54dc51c3980de7ec0b3845987ac6e2aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3540087,"id":"Q3540087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e51b44d2eda4e2b650b624bfab734630bf373d2","datavalue":{"value":{"amount":"+0.6676070094108582","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":"Q5136296$C1B5C0A3-DDDA-4B39-A439-345151F3CF44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136296"}}}}}