{“id”：“https://openalex.org/W1566539263“，”doi“：”https://doi.org/10.1007/3-540-45620-1_37“，”title“：”Basic Syntax Mutation“，”display_name“：”基本句法突变“，”publication_year“：2002，”publitation_date“：”2002-01-01“，”ids“：{”openalex“：”https://openalex.org/W1566539263“，”doi“：”https://doi.org/10.1007/3-540-45620-1_37“，”mag“：”1566539263“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45620-1_37“，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5051586876“，”display_name“：”Gregory P.Carman“，”orcid“：”https://orcid.org/0000-0001-9989-7097}，“机构”：[{“id”：https://openalex.org/I16944753“，”display_name“：”克拉克森大学“，”ror“：”https://ror.org/03rwgpn18“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I16944753“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Christopher Lynch“，”raw _affiliation_strings“：[“克拉克森大学数学与计算机科学系，纽约波茨坦5815号信箱，13699-5815，美国”]，”从属关系“：[{”raw_affiliation_string“：”克拉克森大学数学与计算机科学系，美国纽约州波茨坦5815号信箱，13699-5815“，”institution_ids“：[”https://openalex.org/I16944753“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5079263331“，”display_name“：”Barbara Morawska“，”orcid“：”https://orcid.org/0000-0003-4724-7206}，“机构”：[{“id”：https://openalex.org/I16944753“，”display_name“：”克拉克森大学“，”ror“：”https://ror.org/03rwgpn18“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I16944753“]｝]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Barbara Morawska“，”raw_affiation_string“：[”克拉克森大学数学与计算机科学系，5815号信箱，纽约波茨坦，13699-5815，美国“]，”附属机构“：[{”raw_affiation_string“：”克拉克森大学数学与计算机科学系，美国纽约州波茨坦5815号信箱，13699-5815“，”institution_ids“：[”https://openalex.org/I16944753“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.973，“has_fulltext”：false，“cited_b y_count“：21，”引文规范化百分比“：{”value“：0.863144，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：86，”max“：87}，“biblio”：{“volume”：null，”issue“：null”，”first_page“：”471“，”last_page“：”485“}”，“is_retracted”：false、“is_paratext”：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“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.9991，“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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9808，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9655，”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/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.550241}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84616107}，{”id“：”https://openalex.org/C501734568，“wikidata”：https://www.wikidata.org/wiki/Q42918“，”display_name“：”突变“，”等级“：3，”分数“：0.5222279}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40187737｝，｛”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.3970698}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.37177324}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.09484044}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.057395697}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45620-1_37“，”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“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：19，”referenced_works“：[”https://openalex.org/W1513315908","https://openalex.org/W1551719154","https://openalex.org/W1569678193","https://openalex.org/W1583295953","https://openalex.org/W1602675124","https://openalex.org/W19055862","https://openalex.org/W1924375494","https://openalex.org/W1968386045","https://openalex.org/W1987324360","https://openalex.org/W2005822708","https://openalex.org/W2037085273","https://openalex.org/W2115857898","https://openalex.org/W2157030418","https://openalex.org/W2161219580","https://openalex.org/W2507006525","https://openalex.org/W2913209549","https://openalex.org/W2914834504","https://openalex.org/W4230919050","https://openalex.org/W53862558“]，”related_works“：[”https://openalex.org/W3204019825","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”abstract_inverted_index“：{”We“：[0]，”give“：[1]，”a“：[2]，”set“：[3]，”of“：[4]，”inference“：[5,12]，”rules“：[6,13]，”for“：[7,14,45]，”E-unified“：[8]，”similar“：[9]，”to“：[10]，”the“：[11,18,43]，”Syntal“：[15]，”Mutation.“：[16]，”If“：[17]，”E“：[19]，”is“：[20,36,41,70]，”finitely“：[21]，”saturated“：[22]，”by“：[23]，”paramodulation“：[24]，”then“：[25,54]，”we”：[26，50]，“can”：[27]，“block”：[28]，“certain”：[29]，“terms”：[30]，“from”：[31]，“further”：[32，51]，“推论。“：[33]，”因此，“：[34]，”E-unified“：[35]，”decitable“：[37]，”in“：[38,58]，”NP“：[39]，”as“：[40]，”also“：%42]，”case“：[44]，”Basic“：46,62]，”Narrowing“。“：[47]，”“然而，”“：[48]，”if“：[49]，”restrict“：[52]，”E“：[53]，”our“：55]，”algorithm“：56]，”runs“：[57]，”quadratic“：[59]，”time“：60]，”wherew“：[61]，”Narrowing“：[63]，”does“：[64]，”not“：65]，”become“：[66]，”多项式，“：[67]，”since“：[68]，”it“：[69]，”still“：[71]，”不确定性。“：[72]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1566539263“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：2}，{“年度”：2020，”“cited_by_cunt”：1}，}“年份“：2019，”：2014，“cited_by_count”：1}，{“年份”：2013，“ciped_by_cunt”：1}，}“年份“：2012，”cited_by_count“：1}]，“updated_date”：“2024-09-19T15:06:54.957267”，“创建日期”：“2016-06-24”}