｛“实体”：｛“Q62041424”：｛“pageid”：61867797，“ns”：0，“title”：“Q62041424”，“lastrevid”：1352189975，“modified”：“2021-01-31T21:02:24Z”，“type”：“item”，“id”：“Q62041424”，“labels”：｛“en”：｛“language”：“en”，“value”：“通过组合显式状态和符号模型检查搜索幂集自动机”｝，“nl”：｛“language”：“nl”，“value”：“通过结合显式状态和符号模型检查搜索Powerset Automata”}}，“描述”：{“el”：{“language”：“el”，“value”：“\u03b5\u03c0\u03b 9\u03c 3\u03c:u03b7\u03bc\u03bf\u03bd\u03b9\u03 ba\u03cc\u03ac\u03cl\u03b28\u03c-1\u03bf”}，“scienca artikolo”}，“en”：{“language”：“en”，“value”：“2001年发表的科学文章”}，“zh”：{“language”：“zh“，”value“：”2001\u5e74\u5b66\u672f\u6587\u7ae0“}，”sr-ec“：{”language“：”sr-ec“，”value“：“，”值“：”2001\u5e74\u5b66\u672f\u6587\u7ae0“}，”vi“：{”语言“：”vi“，”value“：“b\u00e0i b\u001o khoa h\u1ecdc”}，“sr-el”：{“language”：“sr-el”，“value”：“nau\u010dni\u010dlanak”}、“it”：{“language:”it“，”value“：”articolo scientifico“}，”zh-hk“：{”language“：”zh-hk“，”value“：”2001\u5e74\u5b78\u8853\u6587\u7ae0“}”，“ar”：{“language”：“ar”，“value”：“\u0645\u0642\u0627\u0644\u0629\u0639\u0644 \u0645 \u064a\u0629 \u0646 \u0634\u0631 \u062a\u0441 \u064 a 2001”}，“pt-br”：{“language”：“pt-br”，“value”：“artigo-cient\u00edfico”}、“tg-cyrl”：{“language:”tg-cyll“，”value“：”\u043c\u0430\u049b\u 043e\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“：”artigocient\u00edfico“}，”id“：{”language“：”id“，”value“：”artikel ilmiah“}”，“es”：{'language'：“es”，“value”：“art\u00edculo-cient\u 00edfico-publicado en 2001”}、“en-gb”：value“：”2001年发表的科学文章“}，”ru“：{”language“：”ru”，“value”：“\u043d\u0430\u0443\u0447\u043d \u0430-u044f\u0441\u0442\u0430 \u0442 \u044c\u044mf”}，“他”：{“语言”：“他”，“值”：“u05de\u05d0\u05de\ u05e8\u05de \u05d 3\u05e2\u05d9”}“}，”pt“：{”language“：”pt“，”value“：”artigocient\u00edfico“}：“2001\u5e74\u5b78\u8853\u6587\u7ae0”}，“nb”：{“language”：“nb“，“value”：“vitenskapelig artikkel”}、“tr”：}“langue”：“tr“，”value“：”bilimsel makale“}，”zh-cn“：{”language“：”zh-cn“，”value“：”2001\u5 e74\u 5b66\u672f\u6587 \u7aa0“}”，“tl”：tl“，”value“：”artikulong pang-agham“}，”th“：{”language“：”th“，”value“：“\u0e1a\u0e 17\u 0e 04\u 0e27\u 0e-32\u 0e\u 0e21\u 0E 17\u 0 e32\u 0 e 07\u 0es 27\u 0 e\u 0 e34\u 0电子17\u O e22\u 0E28\u 0e.32\u oe2a\u 0ey 15\u 0es23\u 0oe4c”}，“ro”：{“language”：“ro”，“value”：“articol\u 0219tiin\u 021biic”}“：”ca“，”value“：”article icient\u00edfic“}，”pl“：{”language“：”pl，“bg”：{“language”：“bg“，“value”：“\u043d\u0430\u0443\u0447\u043d \u0430-u0441\u0442\u0430 \u0442 \u0438\u044f”}，“ast”：{language：“ast \u6587\u7ae0“}，”bn“：{“语言”：”bn”，“值”：“\u09e8\u09e6\u09e\u09e6\u009e7-\u098f\u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09 bf\u09 a4\u09 ac\u09c8\u09 c8\u 099c\u 09cd\u 099 e\u 09be\u 09a8\u9 bf\u 0995\u 09a 8\u 09 bf\ u 09ac\u 09c8\ u 09cd\ u 09a7”}，“de”：{“language”：“de”，“value”：“wissenschaftlicher Artikel”}，“zh-my”：{“language”：“zh-my”，“values”：“2001\u5e74\u5b66\u672f\u6587\u7ae0”}：“2001\ub144\ub17c\ubb38”}，“da”：{“language”：“da”，“value”：“videnskabeli artikel”}e1nyos cikk“}，”ja“：{”language“：”ja”，“value”：“2001\u5e74\u306e\u8ad6\u6587”}，“en-ca”：{“language”：“en-ca”，“value”：“2001年发表的科学文章”}，“ka”：{“language”：“ka”，“value”：zh-hans“：{”language“：”zh-hans“，”value“：”2001\u5e74\u5b66\u672f\u6587\u7ae0“}，”sr“：：“\u043d\u0430\u0443\u0447\u043d \u0438\u0447 \u043b\u0430 \u043d \u0430-u043a”}，“sq”：{“language”：“sq“，”value“：”artikull shkencor“}，”nan“：{”language“：”nan”，“value”：“2001 n\u00ee l\u016bn-bn\u00fbbbn”}、“oc”：{“language:”oc“，”value“：”article scientific“}”，“”sv“：{”language“：”sv“，”value“：”vetenskaplig artikel“}，”zh-hant“：：“2001\u5e74\u5b78\u8853\u6587\u7ae0”}，“sk”：{“language”：“sk“，”value“：”vedeck\u00fd\u010dl\u00e1nok“}，”uk“：{”language“：“uk”，“value”：“\u043d\u0430\u04431\u043a\u0432\u0430-u0441\u0442\u0430 \u0442 \u044f，\u043e \ u043f\u0443\u0431\u043b\u0456\u043a\u043Ge\u0432\u0430\u043d\u0430-u0443 2001“}，“粤语”：{“语言”：“粤语“，”value“：“2001\u5e74\u5b78\u8853\u6587\u7ae0”}}，“别名”：{}，”权利要求“：{“P356”：[{“mainsnak”：{”snaktype“：”value“，”property“：”P356“，”hash“：”063b7e88e31168333ee9130ee4a4b952c0a1a“，”datavalue“：external-id“}，”type“：”statement“，”id“：”Q62041424$65A9D103-A06F-445E-BA84-52F8D1BCD72E“，”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”：“Q62041424$23452D29-767 CF-4330-9FB6-431CD5118C63“，“等级”：“正常”}]，“P1476”用法：[{“mainsnak”：{“snaktype”：“value”，“property”：“P1476”，“hash”：“43ce63676b991d0da1c7358fc41e32d8d516d448”，“datavalue”：{“value“：{”text“：”通过结合显式状态和符号模型检查搜索Powerset Automata“，”language“：”en“}：“Q62041424$DF456B13-D251-4D5C-9CF9-EF87FE5D3F34”，“秩”：“正常”}]，“P304”：[{“主snak”：{“快照类型”：“值”，“属性”：“P304“，”哈希“：”e655c9b82c1e7b22dd74f58887ae1d4973aea13e“，”数据值“：{”value“：”313-327“，”类型“：”string“}，”数据类型“：“string”}，“type”：”statement“”，“id”：“Q62041424$CAF2A62A-5B5C-4604-9EFD-4341D09A42BA”，“等级”：“正常”}]，“P577”：[{“mainsnak”：{“snaktype”：“value”，“property”：“P577”，“hash”：“79b14efd2a447f0485518bd1812b0840495615c7”，”数据值“：{”值“：http://www.wikidata.org/entity/Q1985727“}，”“type”：“time”}，“datatype”“：”time“}、”type“：”statement“，”id“：”Q6204124$7CCCBA5F-8053-4A6B-8F1A-D248592F51BF“，”rank“：”normal“}]，”P1433“：[{”mainsnak“：{”snaktype“:”value“，“property”：“P1433”，“hash”：“3015693f9abc71841adca0db9bc5206d5c0b4c”，“datavalue”：{“value”“：{”entity-type“：”item“，”numeric-id“：924044，”id“：”Q924044“}，”type“：”wikibase-entityid“}”，“数据类型“：”wikibase-item“}，”type“：”statement“，”id“：”Q6204124$43FDFE47-52B7-4E09-9A40-3EAC172C68A6“，”rank“：”normal“}]，”P2093“：[{”mainsnak“：{”snaktype“:”value“，”property“：”P209三“，”hash“：”bcd318ab1f0988de86fad002e05bbc16c44a59cb“，“”datavalue“：“Marco Roveri”，“类型“：”字符串“}，”数据类型“：“string”}，“type”：“statement”，“qualifiers”：{“P1545”：[{“snaktype“：”value“，”property“：”P1545“，”hash“：”7241753c62a310cf84895620ea82250dcea65835“，“datavalue”：{“value”:“2”，“type”：“string”}，“datatype”:”string“}]}，”qualifiers-order“：[”P154五“]，”id“：”Q6204124$AAEBC320-21A1-4F1C-A506-2945853371EC“，”rank“：”normal“}，{”mainsnak“：{”snakype“”：“value”，“property”：“P2093”，“hash”：“7687e1379c126c9cb63f6fd01a8d7554420b6500“，”数据值“：{”值“：”Piergiorgio Bertoli“，”类型“：”字符串“}，”数据类型“：“字符串”}，“类型”：“语句”，“限定符”：{“P1545”：[{”snaktype“：”值“，”属性“：”P1545“，”哈希“：”0e979f28bf306fefdcd352b4eb8dee5da2153a6d“，”“数据值“:{”：“3”，“类型”：“字符串”}，“数据类型”：id“：”Q62041424$0ADF4B44-E322-4AD5-B61F-9C297DC69AEB“，”rank“：”normal“}]，”P50“：[{”mainsnak“：{”snaktype“：”value“，”property“：”P50”，“hash”：“49b772becdb014ecb0ec8478e4255fc934b90f09”，“datavalue”：{“value”:{“entity-type”：“item”，“numeric-id”：62036606，“id”：“Q6203660606”}，“类型”：“wikibase-entityid”}，“数据类型”：”wikibase-item“}，”类型“：”语句“，”限定符“：{”P1932“：[{“snaktype”：“value”，“property”：“P1932”，“hash”：“6fba95f819accc8a4d5b22dc3329a8ad4b513e42”acbadd74fc81a10722“，”数据值“：{”值“：”1“，”类型“：”字符串“}，”数据类型“：“字符串”}]}，“限定符-order“：[”P1932“，”P1545“]，”id“：”Q6204124$0159A9FC-1A09-4D6D-9097-C02F93D0AD3F“，”rank“：”normal“}]，”P407“：[{”mainsnak“：{”snaktype“：”value“，”property“：”P407”，“hash”：“daf1c4fcb58181b02dff9cc89deb084004ddae4b”，“datavalue”：{“value”:{“entity-type”：“item”，“numeric4b”id“：1860，”id“：”Q1860“}，”type“：”wikibase-entityid“}”，“datatype”：“wikibase-item”}，“type“：”statement“，”id“：”Q62041424$AE3DB6C4-A371-4DF8-84A3-100BFB43D5D5“，”rank“：”normal“}]，”P8978“：[{”mainsnak“：{”snaktype“:”value“，”property“：”P8976“，”hash“：”144bb5b89b0a6bdda84623ce88aff764acfd8b49“，”datavalue“：{”value：“conf/tacas/CimatiRB01”，“type”：“string”}，“数据类型“：”external-id“}，”type“：”statement“，”id“：”Q6204124$E2B22C95-467A-4B02-8984-FD19A6AA83F8“，”秩“：”正常“，”引用“：[{”哈希“：”d88fbec0cac4521f90a250c57f1a64d2343d70bf“，”snaks“：{”P248“：[}”snaktype“：“value”，“property”：“P248”，“hash”：“bbb16bcda319d1e785962e87a501c58b95f0519d”，“datavalue”：{“entity-type”：“item”，“numeric-id”：105160373，“id”：“Q105160372”}，“type”：“wikibase-entityid”}数据类型“：”wikibase-item“}]，“P813”：[{“snaktype”：“value”，“property”：“P812”，“hash”：“c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1”，“datavalue”：{“value“：{”time“：”+2021-01-28T00:00:00Z“，”时区“：0，”之前“：0”，“之后”：0，“精度”：11，“calendarmodel”：“http://www.wikidata.org/entity/Q1985727“}，”类型“：”时间“}、”数据类型“：“时间”}]}、“蛇序”：[“P248”，“P813”]}]}]，“站点链接”：{}}}}