{“id”：“https://openalex.org/W1542742023“，”doi“：”https://doi.org/10.1007/978-3-642-11486-1_35“，”title“：”反统一算法及其在程序分析中的应用“，”display_name“：”程序分析中反统一算法及应用“，“publication_year”：2010，”publication_date“：”2010-01-01“，”ids“：{”openalex“：”https://openalex.org/W1542742023“，”doi“：”https://doi.org/10.1007/978-3-642-11486-1_35“，”mag“：”1542742023“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-11486-1_35“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1abb45a43/files/m0cf49603695a570cefa25f57f7ee4000“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5060540851“，”display_name“：”Peter Bulychev“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I19880235“，”display_name“：”罗蒙诺索夫莫斯科州立大学“，”ror“：”https://ror.org/010pmpe69“，”country_code“：”RU“，”type“：“教育”，”世系“：[”https://openalex.org/I19880235“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Peter E.Bulychev“，”raw _ afiliation_strings“：[“俄罗斯莫斯科国立大学计算数学与控制学院#TAB#”]，”affiliations“：”俄罗斯莫斯科国立大学计算数学与控制论学院#TAB#“，”institution_ids“：[”https://openalex.org/I19880235“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5071446856“，”display_name“：”Egor V.Kostylev“，”orcid“：”https://orcid.org/0000-0002-8886-6129}，“机构”：[{“id”：https://openalex.org/I19880235“，”display_name“：”罗蒙诺索夫莫斯科州立大学“，”ror“：”https://ror.org/010pmpe69“，”country_code“：”RU“，”type“：“教育”，”世系“：[”https://openalex.org/I19880235“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Egor V.Kostylev“，”raw _affiliation_strings“：[“俄罗斯莫斯科国立大学计算数学与控制论学院#TAB#”]，”affiliations“：”俄罗斯莫斯科国立大学计算数学与控制论学院#TAB#“，”institution_ids“：[”https://openalex.org/I19880235“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5062447638“，”display_name“：”\u0412。\u0410.\u0417\u0430\u0445\u0430-u0440\u043e\u0432“，”兽人“：”https://orcid.org/0000-0002-3794-9565}，“机构”：[{“id”：https://openalex.org/I19880235“，”display_name“：”罗蒙诺索夫莫斯科州立大学“，”ror“：”https://ror.org/010pmpe69“，”country_code“：”RU“，”type“：“教育”，”世系“：[”https://openalex.org/I19880235“]｝]，”countries“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Vladimir A.Zakharov“，”raw_affiation_string“：[”莫斯科国立大学计算数学与控制论学院，俄罗斯莫斯科#TAB#“]，”affiliations“：[｛”raw_affiation_string“：”俄罗斯莫斯科国立大学计算数学与控制论学院#TAB#“，”institution_ids“：[”https://openalex.org/I19880235“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：1.877，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：89，“最大”：90}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”413“，”last_page“：”423“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10260“，”display_name“：”软件工程实证研究“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10260“，”display_name“：”软件工程实证研究“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9972，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/source-code-analysis网站“，”display_name“：”源代码分析“，”score“：0.488721}]，”concepts“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.924747｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.67138743}，{”id“：”https://openalex.org/C82714645，“wikidata”：https://www.wikidata.org/wiki/Q438331“，”display_name“：”Template“，”level“：2，”score“：0.61158746}，{”id“：”https://openalex.org/C7051814，“wikidata”：https://www.wikidata.org/wiki/Q1051282“，”display_name“：”通用编程“，”level“：2，”score“：0.56479573}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.48909932}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44376966}，{”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.4395937}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.4350343}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.42168042}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.38389075}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3411895}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28609154}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.12534723}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-11486-1_35“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1aabb45a43“，”pdf_url“：”https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1aabb45a43/files/m0cf49603695a570cefa25f57f7ee4000“，”源“：{“id”：“https://openalex.org/S4306402636“，”display_name“：”牛津大学研究档案馆（ORA）（牛津大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I40120149“，”“host_organization_name”：“牛津大学”，“host_ordanization_lineage”：[“https://openalex.org/I40120149“]，”host_organization_lineage_names“：[”牛津大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1aabb45a43“，”pdf_url“：”https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1aabb45a43/files/m0cf49603695a570cefa25f57f7ee4000“，”源“：{“id”：“https://openalex.org/S4306402636“，”display_name“：”牛津大学研究档案馆（ORA）（牛津大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I40120149“，”“host_organization_name”：“牛津大学”，“host_ordanization_lineage”：[“https://openalex.org/I40120149“]，”host_organization_lineage_names“：[”牛津大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，“versions”：【】；“referenced_works_count”：12，“reference d_works”：【”https://openalex.org/W1553894716","https://openalex.org/W1562307676","https://openalex.org/W1599897266","https://openalex.org/W1978478796","https://openalex.org/W1989130222","https://openalex.org/W2038945974","https://openalex.org/W2048382152","https://openalex.org/W2107464569","https://openalex.org/W2118362509","https://openalex.org/W2157532207","https://openalex.org/W2339224764","https://openalex.org/W3022449549“]，”related_works“：[”https://openalex.org/W643389110","https://openalex.org/W2898037052","https://openalex.org/W2140774049","https://openalex.org/W2126107294","https://openalex.org/W2088006200","https://openalex.org/W2027798793","https://openalex.org/W2021229780","https://openalex.org/W1775126135","https://openalex.org/W1579499855","https://openalex.org/W1530078320“]，”ngrams_url“：”https://api.openalex.org/works/W1542742023/ngrams网站“，”“abstract_inverted_index”：{“A”：[0,34]，“term”：[1]，“t”：[2,9,12,15,21,36,38,41,54,57,66]，“is”：[3,43,72,86,94105]，“called”：[4,44]，“A”：[5,61]，“template”：[6,35,51,79]，“of”：[7,37,53,74,80,97102141153172]，“terms”：[8142]，“1”：[10,16,19,30,39,55]，“and”：[11,20,31,40,56112149164177]，“2”：[13,22,42,58]，“iff”：[14,48]，“=”：[17,23,67]，“t\u03b7”：[18,24]，“2，“：[25]，”代表“：[26,49135161]，“一些”：[27]，“替换”：[28]，“\u03b7”：[29,32]，“2.”：[33]，“the”：[45,76,89,95,98137151154170173]，“most”：[46,77,99138174]，“specific”：[47,78139175]，“any”：[50]，“t\u2032”：[52]，“there”：[59]，“exists”：[60]，“substitution”：[62]，“\u03be”：[63]，“such”：[64]，“that”：[65,73117]，“t\u2032\u03be。“：[68]，”The“：[69]，”anti-unified“：[70118155]，”problem“：[71,85]，”computing“：[75,96136]，”two“：[81]，”given“：[82]，”terms。“：[83103]，“This”：[84]，“dual”：[87]，“to”：[88]，“knowled”：[90]，“unified”：[91]，“problem”：[92]，“which”：[93]，“general”：[100]，“instance”：[101]，“unification”：[104]，“used”：[106]，“extensively”：[107]，“in”：[108124]，“automatic”：[109]，“定理”：[110]，“证明”：[111]，“逻辑”：[113]，“编程”。“：[114]，“我们”：[115157]，“相信”：[116]，“算法”：[119]，“可能”：[120]，“有”：[121]，“宽”：[122]，“应用”：[123]，“程序”：[125]，“分析”。“：[126]，”In“：[127]，”this“：[128]，”paper“：[129]，”we“：[130]，”present“：[131]，”an“：[132]，”efficient“：[133]，”algorithm“：[134]，”templates“：[140176]，”represent“：[143]，”by“：[144]，”labeled“：[145]，”directed“：[146]，”非循环“：[147]，”graph“：[148]，”estimate“：[150]，”complexity“：[152]，”problem“。“：[156]，”also“：[158]，”describe“：[159]，”technologies“：[160]，”invariant“：[162]，”generation“：[163]，”software“：[165]，”clone“：[166]，”detection“：[167]，”based“：[168]，”on“：[169]，”conceptions“：[171]，”anti-unified“。“：[178]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1542742023“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：2}，}“年份“：2020，”“cited_by-count”“：1}，{”“年份”“：2018，”“cuted_by_count”（引用_计数）：2}，“年份”“：2013，”cited_by_count“：1}，{“年份”：2012，”cited_by_count”：2}]，”updated_date“：”2024-07-01T19:19:12.684394“，”创建日期“：”2016-06-24“}