{"entities":{"Q60173553":{"pageid":60051334,"ns":0,"title":"Q60173553","lastrevid":2000545913,"modified":"2023-10-30T08:40:13Z","type":"item","id":"Q60173553","labels":{"en":{"language":"en","value":"Special issue on Automated Verification of Critical Systems (AVoCS 2013)"},"nl":{"language":"nl","value":"Special issue on Automated Verification of Critical 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 \u0432 \u043b\u0438\u0441\u0442\u043e\u043f\u0430\u0434\u0456 2015"},"de":{"language":"de","value":"im November 2015 ver\u00f6ffentlichter wissenschaftlicher Artikel"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2015"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"cd79e864fa312e4629e3b0eede66e19749a473a6","datavalue":{"value":"10.1016/J.SCICO.2015.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q60173553$98F7E47E-EB34-4E6C-AEAF-58FD26919732","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":"Q60173553$D294F6DA-1BB5-4804-A8A9-5BB2F75DDD4A","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"b4ac5b9d5ee11984948f56c9eff9db9c0ef36488","datavalue":{"value":{"text":"Special issue on Automated Verification of Critical Systems (AVoCS 2013)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q60173553$14CEF2BC-2A61-43E8-8CE7-5120BF1CCF6E","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"03de386f0cef09458011fd74a5100ec7303c46ca","datavalue":{"value":"213","type":"string"},"datatype":"string"},"type":"statement","id":"Q60173553$2949CAAF-90A8-4843-9886-97BFB92DA110","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"f66ecd6a6c93d709fffedea6d5cd3dd1bdea70b7","datavalue":{"value":"111","type":"string"},"datatype":"string"},"type":"statement","id":"Q60173553$9219BAA6-E472-4598-B7CA-6E1196DB8D1A","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"87f6065a0c471e4336033025b35420708c0bea5d","datavalue":{"value":{"time":"+2015-11-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":"Q60173553$7EAB4AF4-7571-4D78-A9E3-909A7F7D17C8","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"738de0ce15502ef8281380bc92771c9d09e97fca","datavalue":{"value":{"entity-type":"item","numeric-id":15752614,"id":"Q15752614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q60173553$F3AAFD3E-F6E0-4D5A-8B76-98841B7857A6","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"8eb1de2af9c9d321b45601f542e836d25334007f","datavalue":{"value":{"entity-type":"item","numeric-id":59396532,"id":"Q59396532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"c08083d8d0febf1fab0c8acbefbf801f725dfa87","datavalue":{"value":"Helen Treharne","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q60173553$DA1F2387-6FE2-4F46-B957-A892E8892427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"6236251c10d97e32749a57a31553520ac31d2694","datavalue":{"value":{"entity-type":"item","numeric-id":27983493,"id":"Q27983493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"52fb46931c16f60496b80b08c67c33df0f5b4fbf","datavalue":{"value":"Steve Schneider","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q60173553$4B793B69-4352-4A5F-B822-9AA9F331A694","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"609186c34f60b98e8a71efbce6f296594a2a3158","datavalue":{"value":{"entity-type":"item","numeric-id":184199,"id":"Q184199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q60173553$2EBC97F6-F8AB-4FAC-927F-DF3EEBE4C588","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"9ff5765c9e17fcc9af8451f3392c710b2ae92372","datavalue":{"value":"journals/scp/SchneiderT15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q60173553$0D71FE8B-6C34-4E6D-88B7-30433984D371","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}