{“id”：“https://openalex.org/W2171375973“，”doi“：”https://doi.org/10.1007/978-3-540-78499-9_15“，”title“：”本地推理中的足迹“，”display_name“：”本地推理中的足迹“，”publication_year“：2008，”publication_date“：”2008-04-01“，”ids“：｛”openalex“：”https://openalex.org/W2171375973“，”doi“：”https://doi.org/10.1007/978-3-540-78499-9_15“，”mag“：”2171375973“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-78499-9_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-78499-9_15.pdf“，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5023425558“，”display_name“：”Mohammad Raza“，”orcid“：”https://orcid.org/0000-0002-2948-7532}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Mohammad Raza“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院计算系”]，”affiliations“：[{”raw _affiliation_string“：”英国伦敦帝国学院计算系“，”institution_ids“：[https://openalex.org/I47508984“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院计算系”]，”affiliations“：[{”raw_ afiliation _string“：”英国伦敦帝国学院计算系https://openalex.org/I47508984“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：0.327，”has_fulltext“：false，”cited_by_count%“：false}，”cited_by_percentile_year“：{“min”：74，“max”：77}，“biblio”：{卷：null，“问题”：null、“first_page”：“201”，“last_page”：“215”}、“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9979，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/keywords/fotprint“，”display_name“：”Footprint“，”score“：0.68160903｝，｛”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.491713}]，”concepts“：[{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.80832845}，{”id“：”https://openalex.org/C132943942，“wikidata”：https://www.wikidata.org/wiki/Q2562511“，”display_name“：”Footprint“，”level“：2，”score“：0.68160903}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6208753}，{”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”Exploit“，”level“：2，”score“：0.6146323}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848（网址：https://www.wikidata.org/wiki/Q5127848）“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.5982865}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.53396565}，{”id“：”https://openalex.org/C206345919，“wikidata”：https://www.wikidata.org/wiki/Q20380951“，”display_name“：”Resource（disambiguation）“，”level“：2，”score“：0.49861073}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38885212}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.32526788}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3207087}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26045907}，{”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”地理“，”级别“：0，”分数“：0.20849916}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.07138765}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-78499-9_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-78499-9_15.pdf“，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，”type“：”电子书平台“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：null，”sustainable_development_goals“：[｛”id“：”https://metadata.un.org/sdg/15“，”score“：0.42，”display_name“：”Life on land“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：27，”referrenced_works“：[”https://openalex.org/W1495368328","https://openalex.org/W1511487092","https://openalex.org/W1562865234","https://openalex.org/W1591716390","https://openalex.org/W1608869910","https://openalex.org/W1974265510","https://openalex.org/W1981382949网址","https://openalex.org/W2008132476","https://openalex.org/W2011444209","https://openalex.org/W2013474929","https://openalex.org/W2061341742","https://openalex.org/W2074457838","https://openalex.org/W2096553703","https://openalex.org/W2121405115","https://openalex.org/W2125398300","https://openalex.org/W2132761501","https://openalex.org/W2137628566","https://openalex.org/W2148687959","https://openalex.org/W2152686702","https://openalex.org/W2156374980","https://openalex.org/W2478146632","https://openalex.org/W2561675875","https://openalex.org/W2602645338","https://openalex.org/W3098880932","https://openalex.org/W4249768014","https://openalex.org/W4256027310","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W3207760230","https://openalex.org/W2536018345","https://openalex.org/W2358353312","https://openalex.org/W2353836703","https://openalex.org/W2296488620","https://openalex.org/W17155033","https://openalex.org/W1590307681","https://openalex.org/W1496222301“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2171375973“，”counts_by_year“：[]，”updated_date“：”2024-08-14T18:41:54.688553“，”创建日期“：”2016-06-24“}