{"entities":{"Q112268312":{"pageid":107171170,"ns":0,"title":"Q112268312","lastrevid":2058017482,"modified":"2024-01-20T10:08:25Z","type":"item","id":"Q112268312","labels":{"en":{"language":"en","value":"Verification of linear duration properties over continuous-time markov chains"}},"descriptions":{"ar":{"language":"ar","value":"\u0645\u0642\u0627\u0644\u0629 \u0639\u0644\u0645\u064a\u0629 \u0646\u0634\u0631\u062a \u0641\u064a \u0646\u0648\u0641\u0645\u0628\u0631 2013"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"},"bn":{"language":"bn","value":"\u09a8\u09ad\u09c7\u09ae\u09cd\u09ac\u09b0 \u09e8\u09e6\u09e7\u09e9-\u098f \u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09bf\u09a4 \u09ac\u09c8\u099c\u09cd\u099e\u09be\u09a8\u09bf\u0995 \u09a8\u09bf\u09ac\u09a8\u09cd\u09a7"},"bg":{"language":"bg","value":"\u043d\u0430\u0443\u0447\u043d\u0430 \u0441\u0442\u0430\u0442\u0438\u044f"},"de":{"language":"de","value":"wissenschaftlicher Artikel"},"da":{"language":"da","value":"videnskabelig artikel udgivet november 2013"},"ca":{"language":"ca","value":"article cient\u00edfic"},"en":{"language":"en","value":"scientific article published in November 2013"},"eo":{"language":"eo","value":"scienca artikolo"},"es":{"language":"es","value":"art\u00edculo cient\u00edfico publicado en 2013"},"fr":{"language":"fr","value":"article scientifique"},"he":{"language":"he","value":"\u05de\u05d0\u05de\u05e8 \u05de\u05d3\u05e2\u05d9"},"gl":{"language":"gl","value":"artigo cient\u00edfico"},"id":{"language":"id","value":"artikel ilmiah"},"it":{"language":"it","value":"articolo scientifico"},"vi":{"language":"vi","value":"b\u00e0i b\u00e1o khoa h\u1ecdc"},"ka":{"language":"ka","value":"\u10e1\u10d0\u10db\u10d4\u10ea\u10dc\u10d8\u10d4\u10e0\u10dd \u10e1\u10e2\u10d0\u10e2\u10d8\u10d0"},"sr-ec":{"language":"sr-ec","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sr-el":{"language":"sr-el","value":"nau\u010dni \u010dlanak"},"hu":{"language":"hu","value":"tudom\u00e1nyos cikk"},"et":{"language":"et","value":"teaduslik artikkel"},"oc":{"language":"oc","value":"article scientific"},"el":{"language":"el","value":"\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03cc \u03ac\u03c1\u03b8\u03c1\u03bf"},"pl":{"language":"pl","value":"artyku\u0142 naukowy"},"th":{"language":"th","value":"\u0e1a\u0e17\u0e04\u0e27\u0e32\u0e21\u0e17\u0e32\u0e07\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c"},"tl":{"language":"tl","value":"artikulong pang-agham"},"fi":{"language":"fi","value":"tieteellinen artikkeli"},"nb":{"language":"nb","value":"vitenskapelig artikkel"},"nl":{"language":"nl","value":"wetenschappelijk artikel"},"nn":{"language":"nn","value":"vitskapeleg artikkel"},"pt":{"language":"pt","value":"artigo cient\u00edfico"},"pt-br":{"language":"pt-br","value":"artigo cient\u00edfico"},"ro":{"language":"ro","value":"articol \u0219tiin\u021bific"},"ru":{"language":"ru","value":"\u043d\u0430\u0443\u0447\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f"},"sq":{"language":"sq","value":"artikull shkencor"},"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 2013"},"sr":{"language":"sr","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sv":{"language":"sv","value":"vetenskaplig artikel"},"tr":{"language":"tr","value":"bilimsel makale"},"cs":{"language":"cs","value":"v\u011bdeck\u00fd \u010dl\u00e1nek"},"sk":{"language":"sk","value":"vedeck\u00fd \u010dl\u00e1nok"},"tg-cyrl":{"language":"tg-cyrl","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"zh":{"language":"zh","value":"2013\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-hant":{"language":"zh-hant","value":"2013\u5e74\u5b78\u8853\u6587\u7ae0"},"ja":{"language":"ja","value":"2013\u5e74\u306e\u8ad6\u6587"},"ko":{"language":"ko","value":"2013\ub144 \ub17c\ubb38"},"nan":{"language":"nan","value":"2013 n\u00ee l\u016bn-b\u00fbn"},"en-gb":{"language":"en-gb","value":"scientific article published in November 2013"},"en-ca":{"language":"en-ca","value":"scientific article published in November 2013"},"zh-hk":{"language":"zh-hk","value":"2013\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-mo":{"language":"zh-mo","value":"2013\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-tw":{"language":"zh-tw","value":"2013\u5e74\u5b78\u8853\u6587\u7ae0"},"yue":{"language":"yue","value":"2013\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-hans":{"language":"zh-hans","value":"2013\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-cn":{"language":"zh-cn","value":"2013\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-sg":{"language":"zh-sg","value":"2013\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-my":{"language":"zh-my","value":"2013\u5e74\u5b66\u672f\u6587\u7ae0"},"wuu":{"language":"wuu","value":"2013\u5e74\u5b66\u672f\u6587\u7ae0"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"4570961f16452a786c4befc830eb3709c32c7f8c","datavalue":{"value":"10.1145/2528935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q112268312$31A40849-6FBB-47D0-921B-FEDA47053048","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":"Q112268312$B6BDCE4F-E84E-4E72-890D-63A5D48E6694","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"700abe0ca37f7faed433316f4d7ae57549ee6f90","datavalue":{"value":{"text":"Verification of linear duration properties over continuous-time markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q112268312$4C2957DF-87EC-4CCC-BC9A-459DCBD615BA","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"185b1ffb37513a089fc3a779d6838b5e7f5330c6","datavalue":{"value":"4","type":"string"},"datatype":"string"},"type":"statement","id":"Q112268312$790D6897-C3FE-4905-907E-EC1D8B81BEB5","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"680696196574c3091bb11288c9d1f742b4a0889a","datavalue":{"value":"1-35","type":"string"},"datatype":"string"},"type":"statement","id":"Q112268312$F852A6E9-8777-44FA-9541-6418996C3EB6","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"0bdefc24093be37e93b797269a255d93d0572d0a","datavalue":{"value":"14","type":"string"},"datatype":"string"},"type":"statement","id":"Q112268312$F85F02A2-A409-479E-AD27-CAD36AF3E04B","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"5f911a95ef8612240f3c6fc01f9189511d0b976d","datavalue":{"value":{"time":"+2013-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":"Q112268312$5DFE4CA2-9739-4EC3-9CB9-D49899A168DF","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"22784f65109f03cf52f169f842da37140a76fcf0","datavalue":{"value":{"entity-type":"item","numeric-id":1122491,"id":"Q1122491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112268312$B02E40C3-4300-4238-8809-9B21055B183E","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"8a90cebd4fa8ce4678ec86c3393af176f05d333a","datavalue":{"value":{"entity-type":"item","numeric-id":4650732,"id":"Q4650732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112268312$9D0A0F09-7D2C-49E3-A0EE-95293D3A2041","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"56de350cba8b5940a9419ff4773982b72e01eabb","datavalue":{"value":"Marco Diciolla","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":"Q112268312$DC8A8C59-91C7-43BF-B6F1-3FC3DD9EBE93","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"3734121a1316fbfd97d856830779b02559d5d15b","datavalue":{"value":{"entity-type":"item","numeric-id":11760,"id":"Q11760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"32a0ab7100032ded031f79e23f159683f3e396f4","datavalue":{"value":"Marta Kwiatkowska","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q112268312$497A77E7-717A-4896-8924-9E189E159401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"c78f6aa55557175f102618240d8d5502f633e649","datavalue":{"value":{"entity-type":"item","numeric-id":102355052,"id":"Q102355052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"9da3bb2dd12775113f4d3a1437a9f7e185b236e4","datavalue":{"value":"Taolue Chen","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q112268312$21D14669-0C01-4771-981B-AB7565CFCFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"4f1016a8a38fca2eca995b82f8e57700c4063eab","datavalue":{"value":{"entity-type":"item","numeric-id":102926213,"id":"Q102926213"},"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":"38c3b33d92cb00a75c112309d25fc37eac3c3ef1","datavalue":{"value":"Alexandru Mereacre","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q112268312$9C5835E8-0B59-435C-839F-D114D0354432","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"13c0f942620fab623b34687b0f8da89c265eaab6","datavalue":{"value":"1353.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q112268312$027DC802-345E-4BC5-98B8-C86826E8B862","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112268312$BBA1DF2C-4C0E-4350-9832-31AA109D497E","rank":"normal"}]},"sitelinks":{}}}}