{"entities":{"Q6202097":{"pageid":13336984,"ns":120,"title":"Item:Q6202097","lastrevid":37637858,"modified":"2024-08-27T10:33:00Z","type":"item","id":"Q6202097","labels":{"en":{"language":"en","value":"Stealthy attacks formalized as STL formulas for Falsification of CPS Security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807956"}},"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":"Q6202097$9A189615-A0E0-4AB6-BB1A-426951FA1C4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dd46c1796a07708183b0acf172955a06bf0c64a","datavalue":{"value":{"text":"Stealthy attacks formalized as STL formulas for Falsification of CPS Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202097$1599B8E8-8F2C-47EA-AB0A-C3A8ED6957FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fcc3e2b99326bf21965f2b886714af49ae9495b","datavalue":{"value":"10.1145/3575870.3587122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202097$DECBAF18-DAA8-4AAB-9CFE-80095190597A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac860ef37da8d2e2136b92f47c306875604c4e3a","datavalue":{"value":{"entity-type":"item","numeric-id":6202094,"id":"Q6202094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$3B76E270-69FF-4982-B6EB-493DEE7FEAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2996c7214a327f058f24d2abdf26961ae606db86","datavalue":{"value":{"entity-type":"item","numeric-id":6202095,"id":"Q6202095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$4EC69B3D-669B-4B62-B331-8D6864FBA3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd5394cedd3f0ebc30f35ae99e270d8bb9696ae","datavalue":{"value":{"entity-type":"item","numeric-id":6202096,"id":"Q6202096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$908DCB01-4003-405E-8D71-6F249997134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83ab6c3a296b5bfbeca298c639ed809dab53ba3","datavalue":{"value":{"entity-type":"item","numeric-id":499305,"id":"Q499305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$12BA1974-7F4A-467F-9FB0-15961F087105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$D0329AC9-D74A-4B00-877D-52E3483B583A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb2f198d23bf9650c0fcd84bd7988a6354cb1f28","datavalue":{"value":{"entity-type":"item","numeric-id":6202072,"id":"Q6202072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$40FDB29B-3EB3-49D2-9175-918B2A58B15C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6202097$AF515C4C-2B9E-4389-9963-59C11E5DD21F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202097$53749912-B32C-4124-A56C-827BBCC09015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202097$C93160EA-0E58-4177-A82A-FDCDB8F8A7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202097$1DED41B0-2931-4706-B276-02256DA3F357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8dc665a7e4bb8433cdf38b0dc7f58f32e69ba62","datavalue":{"value":"7807956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202097$59A5426B-3F7D-42DF-94FB-47513B95ED89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2708ff1f930d0b620d80bbe86a01f6ba5d17ea95","datavalue":{"value":"CPS security","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202097$18D92B4A-3D4D-4C52-AA8A-DC540E7104A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202097$ACDA1C30-02B6-402B-9682-8EA92F025BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202097$B62768BA-81F2-4D7D-9C17-D32B18F3764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bb8f04b1811f1c691fc7800979510b4e7dd1f3","datavalue":{"value":"test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202097$598BC046-517B-4EBE-A462-695EB5F9ED2F","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":"Q6202097$32B179E5-C567-48C0-8BBD-705D159F8DD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"600bdeed76e0214943529f1552998d5d1637aac5","datavalue":{"value":"https://doi.org/10.1145/3575870.3587122","type":"string"},"datatype":"url"},"type":"statement","id":"Q6202097$FC1A7CF2-7D32-4C65-A0B4-58EA7E0C9396","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62c3bc2c0f3b9ac003b2292cd3b44ec133054373","datavalue":{"value":"W4375852646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202097$E60EDC53-F1DE-4948-949C-371796B91213","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$9DD46586-7395-4038-9A3A-4973916E3B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$8747D22C-D63A-4F17-A68E-330087D2ACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$B36F8A5D-78F9-4D6E-AAB0-07D61B626580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3c92e83137fc3d3b8817d2ce42ae57e947c108","datavalue":{"value":{"entity-type":"item","numeric-id":5294506,"id":"Q5294506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$2FB453B8-201E-41C3-A827-0291B6559DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317c612fd3b0a1f42ddcd8a33c1c4d601d239dd5","datavalue":{"value":{"entity-type":"item","numeric-id":1281563,"id":"Q1281563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$2ECC4884-94E7-493B-8595-E322CDA5A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecf9c0df2b6eabde9db6e7c3e11ae4c9d764ffd","datavalue":{"value":{"entity-type":"item","numeric-id":3384434,"id":"Q3384434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$0B3ED8E8-70BA-46F6-AD4A-AB9D25C52C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03298e498d29ad225429332fa655c94feaa382b","datavalue":{"value":{"entity-type":"item","numeric-id":2982795,"id":"Q2982795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$76033304-AF53-46CE-909A-59055FDD5F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab08d00226b04c0721d8ba9505b575cd11e793e","datavalue":{"value":{"entity-type":"item","numeric-id":5429336,"id":"Q5429336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$3F32E75D-3309-4A30-A0F7-4F1B2AA0351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0af101ec2b4a57a5bd6580fb73a1e1551fc121e","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$DC3241A5-310E-459D-9315-1D93A9C33898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b682a7759c78d8128ea2ef59d90cbd98256969","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$2BAEDF66-3CA8-4C82-96DE-C4F46ABEA69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc451f3379ca9ddb598a83f7342261279396ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":1406613,"id":"Q1406613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$BBAD371F-69E1-44B5-BA8A-95DFB66AECDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b03b120eac6e65ef2c5e391a3bdc47781bc309","datavalue":{"value":{"entity-type":"item","numeric-id":3384350,"id":"Q3384350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$2C411977-335F-4836-918A-012AF59A5B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7288fce2854898a0ec4db125404d3829d2f3776","datavalue":{"value":{"entity-type":"item","numeric-id":5146373,"id":"Q5146373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$0DADA995-AB5C-478C-A9E8-6D2F077EA6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d91c8894973de1c318f03d56616c680a7d9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202097$869640B2-7E57-4C95-A57A-E6DD2EDE1C1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6202097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6202097"}}}}}