{"entities":{"Q62047472":{"pageid":61873838,"ns":0,"title":"Q62047472","lastrevid":2231186627,"modified":"2024-08-19T07:50:13Z","type":"item","id":"Q62047472","labels":{"en":{"language":"en","value":"From POOSL to UPPAAL: Transformation and Quantitative Analysis"},"nl":{"language":"nl","value":"From POOSL to UPPAAL: Transformation and Quantitative Analysis"}},"descriptions":{"el":{"language":"el","value":"\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03cc \u03ac\u03c1\u03b8\u03c1\u03bf"},"eo":{"language":"eo","value":"scienca artikolo"},"en":{"language":"en","value":"scientific article published in 2010"},"zh":{"language":"zh","value":"2010\u5e74\u5b66\u672f\u6587\u7ae0"},"sr-ec":{"language":"sr-ec","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"wuu":{"language":"wuu","value":"2010\u5e74\u5b66\u672f\u6587\u7ae0"},"vi":{"language":"vi","value":"b\u00e0i b\u00e1o khoa h\u1ecdc"},"sr-el":{"language":"sr-el","value":"nau\u010dni \u010dlanak"},"it":{"language":"it","value":"articolo scientifico"},"zh-hk":{"language":"zh-hk","value":"2010\u5e74\u5b78\u8853\u6587\u7ae0"},"ar":{"language":"ar","value":"\u0645\u0642\u0627\u0644\u0629 \u0639\u0644\u0645\u064a\u0629 \u0646\u0634\u0631\u062a \u0641\u064a 2010"},"pt-br":{"language":"pt-br","value":"artigo cient\u00edfico"},"tg-cyrl":{"language":"tg-cyrl","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"cs":{"language":"cs","value":"v\u011bdeck\u00fd \u010dl\u00e1nek"},"et":{"language":"et","value":"teaduslik artikkel"},"gl":{"language":"gl","value":"artigo cient\u00edfico"},"id":{"language":"id","value":"artikel ilmiah"},"es":{"language":"es","value":"art\u00edculo cient\u00edfico publicado en 2010"},"en-gb":{"language":"en-gb","value":"scientific article published in 2010"},"ru":{"language":"ru","value":"\u043d\u0430\u0443\u0447\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f"},"he":{"language":"he","value":"\u05de\u05d0\u05de\u05e8 \u05de\u05d3\u05e2\u05d9"},"nl":{"language":"nl","value":"wetenschappelijk artikel"},"pt":{"language":"pt","value":"artigo cient\u00edfico"},"zh-tw":{"language":"zh-tw","value":"2010\u5e74\u5b78\u8853\u6587\u7ae0"},"nb":{"language":"nb","value":"vitenskapelig artikkel"},"tr":{"language":"tr","value":"bilimsel makale"},"zh-cn":{"language":"zh-cn","value":"2010\u5e74\u5b66\u672f\u6587\u7ae0"},"tl":{"language":"tl","value":"artikulong pang-agham"},"th":{"language":"th","value":"\u0e1a\u0e17\u0e04\u0e27\u0e32\u0e21\u0e17\u0e32\u0e07\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c"},"ro":{"language":"ro","value":"articol \u0219tiin\u021bific"},"ca":{"language":"ca","value":"article cient\u00edfic"},"pl":{"language":"pl","value":"artyku\u0142 naukowy"},"fr":{"language":"fr","value":"article scientifique"},"bg":{"language":"bg","value":"\u043d\u0430\u0443\u0447\u043d\u0430 \u0441\u0442\u0430\u0442\u0438\u044f"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"},"zh-sg":{"language":"zh-sg","value":"2010\u5e74\u5b66\u672f\u6587\u7ae0"},"bn":{"language":"bn","value":"\u09e8\u09e6\u09e7\u09e6-\u098f \u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09bf\u09a4 \u09ac\u09c8\u099c\u09cd\u099e\u09be\u09a8\u09bf\u0995 \u09a8\u09bf\u09ac\u09a8\u09cd\u09a7"},"de":{"language":"de","value":"wissenschaftlicher Artikel"},"zh-my":{"language":"zh-my","value":"2010\u5e74\u5b66\u672f\u6587\u7ae0"},"ko":{"language":"ko","value":"2010\ub144 \ub17c\ubb38"},"da":{"language":"da","value":"videnskabelig artikel"},"fi":{"language":"fi","value":"tieteellinen artikkeli"},"zh-mo":{"language":"zh-mo","value":"2010\u5e74\u5b78\u8853\u6587\u7ae0"},"hu":{"language":"hu","value":"tudom\u00e1nyos cikk"},"ja":{"language":"ja","value":"2010\u5e74\u306e\u8ad6\u6587"},"en-ca":{"language":"en-ca","value":"scientific article published in 2010"},"ka":{"language":"ka","value":"\u10e1\u10d0\u10db\u10d4\u10ea\u10dc\u10d8\u10d4\u10e0\u10dd \u10e1\u10e2\u10d0\u10e2\u10d8\u10d0"},"nn":{"language":"nn","value":"vitskapeleg artikkel"},"zh-hans":{"language":"zh-hans","value":"2010\u5e74\u5b66\u672f\u6587\u7ae0"},"sr":{"language":"sr","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sq":{"language":"sq","value":"artikull shkencor"},"nan":{"language":"nan","value":"2010 n\u00ee l\u016bn-b\u00fbn"},"oc":{"language":"oc","value":"article scientific"},"sv":{"language":"sv","value":"vetenskaplig artikel"},"zh-hant":{"language":"zh-hant","value":"2010\u5e74\u5b78\u8853\u6587\u7ae0"},"sk":{"language":"sk","value":"vedeck\u00fd \u010dl\u00e1nok"},"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 2010"},"yue":{"language":"yue","value":"2010\u5e74\u5b78\u8853\u6587\u7ae0"},"hy":{"language":"hy","value":"\u0563\u056b\u057f\u0561\u056f\u0561\u0576 \u0570\u0578\u0564\u057e\u0561\u056e \u0570\u0580\u0561\u057f\u0561\u0580\u0561\u056f\u057e\u0561\u056e 2010 \u0569\u057e\u0561\u056f\u0561\u0576\u056b\u0576"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"c6e10cb0cb91d1362765efaafbdc3fd52729d9ef","datavalue":{"value":"10.1109/ACSD.2010.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62047472$FC75258B-CE8B-4D2C-A517-A9212A8BB3C6","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":"Q62047472$922AE0E2-560C-497D-BBF0-0A124AB0D32D","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"9b37d4d29cc2704823b2fd8df465f2f6bf7c5a97","datavalue":{"value":{"text":"From POOSL to UPPAAL: Transformation and Quantitative Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q62047472$C47DBCD8-4B6E-45A8-86D8-98626EC00DE2","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"74f1480b151389c8a269bdf820487fb69be5f95e","datavalue":{"value":{"time":"+2010-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q62047472$7654AF3A-7391-4960-9DBD-4282DB35D03C","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a5104a73c8fd8e4a95457cac89df7a2e1315951d","datavalue":{"value":"Jiansheng Xing","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":"Q62047472$6779DF0A-4A78-4E81-B36D-46456EE66448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"8437dddfff6bb78fc2f6c309e5a02b66b261aed5","datavalue":{"value":"B.D. Theelen","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":"Q62047472$C8D80B8C-CC8D-405E-8B0B-07CE61A43046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9b07990d7b0b9c354867fdbf43d0397b5deadaef","datavalue":{"value":"Rom Langerak","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":"Q62047472$71CD5A52-B9B2-4ED1-9EE3-D232FF6D1504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"558a9e580624cf9e19d454f5616a4eb61c9aaf30","datavalue":{"value":"Jan Tretmans","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":"Q62047472$DAF0CD7D-FBE6-465E-88FD-1094E83E4AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"f3ec0fd4ef5c7bf7a46fe6501400bfee7168e0e0","datavalue":{"value":"J.P.M. Voeten","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"32387bd293902a2430b5bb680033d36ecea00dd0","datavalue":{"value":"6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q62047472$C7F5E0F1-C20A-4696-97CE-160784F7CC16","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"6ea4b173d6fd53bec9568d5447ac3a25c42269c2","datavalue":{"value":{"entity-type":"item","numeric-id":62036897,"id":"Q62036897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"15a0dc911af786cc07e63a89c586fc377a476a03","datavalue":{"value":"Jaco van de Pol","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q62047472$BD83F2F8-CC5C-4349-A38B-3E16A695E6F7","rank":"normal"}]},"sitelinks":{}}}}