{"entities":{"Q59859519":{"pageid":59744297,"ns":0,"title":"Q59859519","lastrevid":1933842982,"modified":"2023-07-13T05:09:49Z","type":"item","id":"Q59859519","labels":{"en":{"language":"en","value":"Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems"},"nl":{"language":"nl","value":"Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 \u043a\u0432\u0456\u0442\u043d\u0456 2012"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2012"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"4e46e0ba9892ea61014a9f80fe060261db60d717","datavalue":{"value":"10.1109/ICCPS.2012.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59859519$1AAE731E-5475-4F09-B35F-E5DE59F67E1C","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59859519$0D6181C5-1CB6-4059-BB28-68B74102B2E0","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"df6bd1cffd2a5f3b3239f3836886499f1b240acc","datavalue":{"value":{"text":"Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59859519$2C4DBC22-83F1-4581-AA48-B380CF6EA108","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"2e8ff48dbda3fddb5ef293b0bd206d16644027a9","datavalue":{"value":{"time":"+2012-04-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59859519$ADAC29C2-AD19-4394-9D88-9F7F5E5761C7","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"8c08699326d72838b5b2724bad84bd60c710326e","datavalue":{"value":"Jian Wu","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59859519$2CE82267-7959-404F-9F79-BF8F40595848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"ed1e3d69a94c847f870f9df39e8aa210109752a0","datavalue":{"value":"Zhen Zhang","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59859519$067CD816-CE59-4058-943E-834F185DB526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"0426716e54b9f2f7911e12a9498362f1d0a06ce2","datavalue":{"value":"Hao Zheng","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59859519$531034D5-47A9-4B93-AAB8-B64A48DDE61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"c7a0bb65adc296baad3d8a49427b300db347b1c9","datavalue":{"value":"Yingying Zhang","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59859519$7735C667-761B-4248-B633-3F48D6F7E9AF","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"7ce0097efb0f07af6cf5dd2e304a2590ea8e6cf3","datavalue":{"value":{"entity-type":"item","numeric-id":57084410,"id":"Q57084410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"9d49d802ebe98d6756b2460b1e8393dfb126c4c8","datavalue":{"value":"Chris Myers","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q59859519$F6E4809D-4CC0-44A9-A9E6-755683B7F62D","rank":"normal"}]},"sitelinks":{}}}}