{"entities":{"Q57801069":{"pageid":57715632,"ns":0,"title":"Q57801069","lastrevid":1055115851,"modified":"2019-11-18T05:55:04Z","type":"item","id":"Q57801069","labels":{"en":{"language":"en","value":"Formal correctness, safety, dependability, and performance analysis of a satellite"},"nl":{"language":"nl","value":"Formal correctness, safety, dependability, and performance analysis of a satellite"}},"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 \u0432 \u0447\u0435\u0440\u0432\u043d\u0456 2012"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"65546269832c59d5746ad5c23161a6bf25d767ec","datavalue":{"value":"10.1109/ICSE.2012.6227118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57801069$AEB48582-CBA8-402E-B6A5-D6423E374F75","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":"Q57801069$5586C9F3-D522-42D4-BAAD-E07C20218067","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"bc6f3becc0935f568e5cf385ea3f01b17eaf7b9c","datavalue":{"value":{"text":"Formal correctness, safety, dependability, and performance analysis of a satellite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57801069$07311367-9C50-4BBF-9347-6B9B659C64DE","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"e2f0fba9831610bc4eec2a20f637e37209df6a9c","datavalue":{"value":{"time":"+2012-06-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":"Q57801069$AE67810E-4D78-4C68-9F83-E53B121BE771","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"85c4656cf461ad91eccaab5ffb164765c834a38e","datavalue":{"value":"Marie-Aude Esteve","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q57801069$6D286F1C-DEA9-4035-A0C0-69A40AD73822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"5c9b58c88a75acc15a5ca42e8f1dbe804dad5540","datavalue":{"value":"Viet Yen Nguyen","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":"Q57801069$7B0CA56A-0634-48B0-ADC9-8908FC2A923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"aa328ac48b0b3e1e95a66f368986095f529d98e7","datavalue":{"value":"Bart Postma","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":"Q57801069$655CE9E5-9CA5-46D2-8635-9697E8B10658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"66e5f8f6352dd0e28a96f21d95c6f9ff8c6e3b94","datavalue":{"value":"Yuri Yushtein","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":"Q57801069$EACF98F2-9B6F-4E68-B07A-DCA4429A6A70","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"b303df1acba4b86710c6aaaa83e3d5e10bda65f6","datavalue":{"value":{"entity-type":"item","numeric-id":52726456,"id":"Q52726456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"7cd050b36ed468665c2c536b16e6cee7678f0178","datavalue":{"value":"Joost-Pieter Katoen","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q57801069$EB4F3A9A-0913-4493-B184-FA39C64EDD01","rank":"normal"}]},"sitelinks":{}}}}