{“实体”：{“Q62041244”：{-“pageid”：61867617，“ns”：0，“title”：“Q620.41244”，“lastrevid”：1770421565，“modified”：“2022-11-13T02:22:46Z”，“type”：“item”，“id”：“QA2041244”：“使用浅层同步的混合系统的模型检查”}}，“描述”：{“el”:{“language”：“el”，“value”：“\u03b5\u03c0\u03b 9\u03c 3\u03c:u03b7\u03bc\u03bf\u03bd\u03b9 \u03ba\u03cc\u03ac\u03cl\u03b28\u03c-1\u03b f”}，“}，”en“：{”language“：”en“，”value“：”2010年发表的科学文章“}”，“zh”：{“language”：“zh”，“value”：“2010\u5e74\u5b66\u672f\u6587\u7ae0”}，“sr-ec”：{”language“：”sr-ec“，”value“：5b66\u672f\u6587\u7ae0“}，“vi”：{“language”：“vi”，“value”：“b\u00e0i b\u001o khoa h\u1ecdc”}，”sr-el“：{”language“：”sr-e1“，”value“：“nau\u010dni\u010dlanak”}，“it”：{“language”：“it”，“value”：“articolo scientifico”}064A\u0629\u0646\u0634\u0631\u062a\u0641\u064a 2010“}，“pt-br”：{“language”：“pt-br”，“value”：“artigo ient\u00edfico”}，“tg-cyrl”：{“language”：“tg-cyrl”，“value”：“\u043c\u0430\u049b\u043de\u0430\ u0438\u0438\ u043b\u0043c\u 04e3”}、“cs”：{“language:”cs“，”value“：”v\u011bdeck\u00fd\u010dl\u00e1nek“}，”et“：{”language“：”et“，”value“：”teaduslik artikkel“}，”gl“：{”language“：”gl”，“value”：“artigocient\u00edfico”}，“id”：{“language”：“id”，“value”：“artikel ilmiah”}，“es”：{“language”：“es”，“value”：“art\u00edculo-cient\u00edifico publicado en 2010”}4c\u044f“}，”他“：{”语言“：”他“，”值“：“\u05de\u05d0\u05de\u05e8\u05de\u05d3\u05e2\u05d9”｝，“nl”：｛“language”：“nl”，“value”：“wetenschapelijk 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“：7\u0e34\u0e 17\u0e\u0e22\u 0e 32\u 0e28\u 0e\u 0e25\u 0e-23\u 0E4c“}，“ro”：{“language”：“ro”，“value”：“articol\u0219tiin\u 021biic”}，”ca“：{“language”：“ca”，“value”：“article ient\u00edfic”}，“pl”：{”language“：”pl“，”value“：”artyku\u0142 naukowy“}，”fr“：{语言”：“fr”，“值”：“article scientifique”}0438\u044f“}，”ast“：{”language“：”ast”，“value”：“art\u00edculucient\u00edificu”}，“zh-sg”：{“language”：“zh-sg”，“value”：“2010\u5e74\u5b66\u672f\u6587\u7ae0”}，“bn”：\u09be\u09a8\u09bf\u0995\u09a 8\u09 bf\u 09ac\u 09a8\ u 09cd \u 09a 7“}，”de“：{”language“：”de“，”value“：”wissenschaftlicher Artikel“}”，”zh-my“：{“language”：“zh-my”，“value”：“2010\u5e74\u5b66\u672f\u6587\u7ae0”}，“ko”：{”language“：”ko“，”value“：“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“：”2010年发表的科学文章\u10dd\u10e1\u10e2\u10d0\ u10e2\u10d0“}，“nn”：{“language”：“nn“，“value”：“vitskapeleg artikkel”}，“zh-hans”：{“language”：“zh-hans”，“value”：“2010\u5e74\u5b66\u672f\u6587\u7ae0”}，“sr”：}“langue”：“sr“，”value“：”\u043d\u0430\u0443\u0447\u043d \u0438\u0447 \u043b\u0430 \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”}：“\u043d\u0430\u0443\u043a\u043Ge\u0432\u0430-u0441\u0442\u0430 \u0442 \u044f，\u043 e\u0.43f\u0443 \u0431\u0456\u043a\u043Ce \u0432\ u0430\ u043d\ u0430 \ u0443 2010”}，“粤语”：{“语言”：“粤语“，”值“2010\u5e74\u5b78 \u8853\u6587\u7ae0“}}，“别名”：：“bc8efb0d3ebdb1c88f9740cf3502ebc67af50b54”，“数据值”：{“值”：“10.1007/978-3642-13464-7_13”，“类型”：“字符串”}，“数据类型”：”external-id“}，”type“：”statement“，”id“：”Q62041244$77217F1D-6ED3-4F39-AA06-FE7D577593F5“，”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”：“Q62041244$FCBA350D-CD54-41B5-AFC0-F8D8546AE30C”，“rank”：“normal”}]，“P1476”：[{“mainsnak”：{“snaktype”“：”value“，”property“：”P1476“，”哈希“：”2e5aabe45974a08861e15bc419f99da7c3fea9b3“，”datavalue“：{”value“”：{“text”：“使用浅层同步的混合系统的模型检查”，“language”：“en”}，“type”：”monolingualtext“}，”datatype“：”monalingualtext“}”，“type”：“statement”，“id”：“Q62041244$0F0C8D1F-33F4-4259-92C5-927DBF67066E”，“rank”：“normal”}]，“P304”：[{“mainsnak”：{”snaktype“”：“value”，”property“P304“，”hash“：”bb68a97dee ff3b72a40cd73e48338fd9621c7e1e“，“datavalue”：{“value”（值）：“155-169”，“type”（类型）：“string”}，“datatype”：“string}，”type“：”statement“，”id“：”Q62041244$21D15461-C543-4D52-96E9-662670FC92CE“，”rank“：”normal“}”，“P577”：[{“mainsnak”（主snaktype）：“value“，”property“：”P577“，”hash“：”74f1480b151389c8a269bdf820487fb69be5f95e“，“数据值”：{“值”：}“时间”：“+2010-00-00T00:00:00Z”，“时区”：0，“之前”：0，“之后”：0，”精度“：9，”日历模型“：”http://www.wikidata.org/entity/Q1985727“}，”type“：”time“}”，“datatype”：“time”}，“type”“：”statement“，”id“：”Q62041244$A1164DB3-4B86-470F-A536-A93AB919B786“，”rank“：”normal“}]，”P1433“：[{”mainsnak“：“：{”entity-type“：”item“，”numeric-id“：924044，”id“：”Q924044“}，”type“：”wikibase-entityid“}”，“数据类型“：”wikibase-item“}，”type“：”statement“，”id“：”Q62041244$0008CBD2-3994-40F9-851D-E4042FF911DF“，”rank“：”normal“}]，”P2093“：[{“mainsnak”：{“snaktype”：“value”，“property”：“P2093”，“hash”：“b7143de5b369c26f223bd17ef56a13f1077c80a4”：“string”}，“datatype”：“string}”，“type”:“statement”，“qualifiers”：{“P1545”：[{“snaktype“：”value“，”property“：”P1545“，”hash“：”2a1ced1dca90648ea7e306acbaddd74fc81a10722“，”datavalue“：“snaktype”：“value”，“property”：“P2093”，“hash”：“afde753b0006af46f072ec822214f31c1f98bebf“，”datavalue“：{“value”：“Xuandong Li”，”type“：“string”}，”datatype“:”string“}，“type”：”statement“，”qualifiers“：”{“P1545”：[{“snaktype”“：”value“，”property“：”P1545“，”hash“：”0e979f28bf306fefdcd352b4eb8dee5da2153a6d“，”“datavalue”“type”：“字符串”}，“数据类型”：“string”}]}，”qualifiers-order“：[”P1545“]，”id“：”Q62041244$8CB6363A-6A27-418A-BAA5-89BD9AE69147“，”等级“：”正常“}，{“mainsnak”：{“snaktype”：“value”，“property”：“P2093”，“hash”：“5782411d3f9596b539d7dae53157074520a7d941”，“datavalue”：“P1545”：[{“snaktype”：“value”，“property”：“P154五”，“hash”：cbff8d4b3b7b35f905ef3147a7a6cb88845a774f“，”数据值“：{”值“：”4“，”类型“：”字符串“}，”数据类型“：“字符串”}]}，“限定符-顺序”：[“P1545”]，”id“：”Q62041244$46D0E11A-D2D5-49B0-BFCF-53F5BCB833BF“，”秩“：”正常“}”，{“mainsnak”：{“snaktype”：“”值“，”属性“：”P2093“，“散列”：“c2fce56bb48aebd60fb259195a541515149733fd”，“数据值”：{“值”：“Stefano Tonetta”，“type“：”string“}，“datatype”：“string”}，”type“:”statement“，”qualifiers“：{”P1545“：[{”snaktype“；”value“，”property“：”P154五“，”hash“：”ea4583c18f699186700d21642b477a2dc1d345c8“，”datavalue“：62041244$45853618-B007-4CA6-BDA9-E616DCCE09C1“，”等级“：”正常“}]，”P50“：[{”mainsnak“：{”snaktype“：”value“，”property“：”P50“，”hash“：”49b772becdb014ecb0ec8478e4255fc934b90f09“，”datavalue“：“：[{”snaktype“：”value“，”property“：”P1932“，”hash“：”6fba95f819accc8a4d5b22dc3329a8ad4b513e42“，”数据值“：{”值“：”Alessandro Cimatti“，”类型“：”字符串“}，”数据类型“：“字符串”}]，”P1545“：[{”snaktype“：”值“datatype”：“string”}]}，“qualifiers-order”：[“P1932”，“P1545”]，“id”：“Q62041244$8E246F1E-55B6-4D55-8CAC-6F384FFA2822“，”秩“：”正常“}]，“P407”：[｛”mainnak“：｛”snaktype“：”value“，”property“：”P407“，”hash“：”daf1c4fcb58181b02dff9cc89deb084004ddae4b“，”datavalue“：｛”value“：｛”entity type“：”item“，”numeric id“：1860，”id“：”Q1860“｝，”type“：”wikibase entityid“｝，”datatype“：”wikibase entityid“｝基本项“｝，”类型“：”语句“，”id“：”Q62041244$0EAC5B96-F50D-4CAD-85A5-139007947058“，”rank“：”normal“}]，”P8978“：[{”mainsnak“：{”snaktype“：”value“，”property“：”P8976“，”hash“：”fd962835343ac154f5bb4a140b0dce3e47d6170c“，”datavalue“：“conf/forte/BuCLMT10”，“type”：“string”}，“datatype”“：”external-id“}，”类型“：”statement“，”id“：”Q62041244$3096AF0F-8E25-4F96-B378-46CC78188725“，”等级“：”normal“，”references“：[{”hash“：”d88fbec0cac4521f90a250c57f1a64d2343d70bf“，”snaks“：{”P248“：[}”snaktype“：”value“，”property“：”P248”，“hash”：“bbb16bcda319d1e785962e87a501c58b95f0519d”，“datavalue”：{“value”:{“entity-type”：“item”，“numeric-id”：1051600373，“id”：“Q105160373”}，“类型”：“wikibase-entityid”}，“数据类型”：”wikibase-item“}]，“P813”：[{“snaktype”：“value”，“属性“：”P813“，”哈希“：”c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1“，”数据值“：http://www.wikidata.org/entity/Q1985727“}，”“type”“：”“time”“}”“，”“datatype”：”“time”“}]}，“snaks-order”：[”P248“，”P813“]}]}]，“P1104”：[{”mainsnak“：{”snaktype“：”value“，”property“：”P1104“，”hash“：”574187a46783e4cfb48de0e436403eb05bf45fda“，”类型“：”数量“}，”数据类型“：“数量”}，“类型”：“语句”，“id”：“Q62041244$BCDA6CDA-5008-4567-9095-9CAF2C5F4D14”，“rank“：”normal“，”references“：[{”hash“：”40fce3ab36b4480c47d9e8bc986521996506f2dc“，”snaks“：{”P887“：[}”snaktype“：”value“，“property”：“P887”，“hash”：“82cfe67f9f867837ae01ad53eb2ec999c910cc6f”，“datavalue”：{“value”:{“entity-type”：“item”，“numeric-id”：110768064，“id”：“Q110668064“}，”类型“：”wikibase-entityid“}”，”数据类型“：“wikibase-item”}]}，“snaks-order”：[“P887”]}]}]}，“网站链接”：｛｝｝｝