{“id”：“https://openalex.org/W2038113785“，”doi“：”https://doi.org/10.1016/0304-3975（86）90097-6“，”title“：“算法理论的一阶近似”，”display_name“：“计算理论的一级近似”，“publication_year”：1986，”publication_date“：”1986-01-01“，”ids“：{”openalex“：”https://openalex.org/W2038113785“，”doi“：”https://doi.org/10.1016/0304-3975（86）90097-6“，”mag“：”2038113785“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90097-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5053450067“，”display_name“：”Wiktor Da\u0144ko“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I245364917“，”display_name“：”比亚大学\u0142ystok“，”ror“：”https://ror.org/01qaqcf60“，”country_code“：”PL“，”type“：“教育”，”世系“：[”https://openalex.org/I245364917“]}，{”id“：”https://openalex.org/I4654613“，”display_name“：”华沙大学“，”ror“：”https://ror.org/039bjqg32“，”country_code“：”PL“，”type“：“教育”，”世系“：[”https://openalex.org/I4654613“]}]，”国家“：[”PL“]，”is_corresponding“：true，”raw_author_name“：”W.Da\u0144ko“，”raw_affiliation_strings“：[“波兰比亚莱斯托克华沙大学”]，”affiliations“：[{”raw_affiliation_string“：”波兰比亚雷斯托克华萨大学”，“institution_ids”：[“https://openalex.org/I245364917","https://openalex.org/I4654613“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5053450067“]，”对应的机构ID“：[”https://openalex.org/I245364917","https://openalex.org/I4654613“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”citation_normalized_percentile“：{”value ile_year“：{“最小”：0，“最大”：53}，“书目”：{”卷“：”48”，“issue”：null，“first_page”：“257”，“last_page”：“272”｝，“is_retracted”：false，“is_paratext”：false，“primary_topic”：｛“id”：“https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9981，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9981，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9981，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9974，”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/reduce“，”display_name“：”Reduct“，”score“：0.5372963}，{”id“：”https://openalex.org/keywords/model-theory网站“，”display_name“：”模型理论“，”score“：0.5365842}，{”id“：”https://openalex.org/keywords/bisimulation网站“，”display_name“：”双向模拟“，”score“：0.5150566}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.482073}，{”id“：”https://openalex.org/keywords/first order逻辑“，”display_name“：”一阶逻辑“，”score“：0.43685782}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.7069371}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.58236974}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5455264}，{”id“：”https://openalex.org/C69177213，“wikidata”：https://www.wikidata.org/wiki/Q12880812“，”display_name“：”Reduct“，”level“：3，”score“：0.5372963}，{”id“：”https://openalex.org/C47030870，“wikidata”：https://www.wikidata.org/wiki/Q467606“，”display_name“：”模型理论“，”level“：2，”score“：0.5365842｝，｛”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.5150566}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.47690225}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44427162}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.43685782}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.35850638}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.34390938}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32400957}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15699643}，{”id“：”https://openalex.org/C111012933，“wikidata”：https://www.wikidata.org/wiki/Q3137210“，”display_name“：”Rough set“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90097-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：12，“referrenced_works”：https://openalex.org/W1450523622","https://openalex.org/W1480405493","https://openalex.org/W1490966766","https://openalex.org/W1510689388","https://openalex.org/W1567071047","https://openalex.org/W1571021997","https://openalex.org/W2530006810","https://openalex.org/W2988584482","https://openalex.org/W3161341476","https://openalex.org/W3161568912","https://openalex.org/W3162088377","https://openalex.org/W65053296“]，”related_works“：[”https://openalex.org/W2136485937","https://openalex.org/W2125768798","https://openalex.org/W2097832184","https://openalex.org/W1965551437","https://openalex.org/W1602107066","https://openalex.org/W1601172863","https://openalex.org/W1598641851","https://openalex.org/W1554045856","https://openalex.org/W1550244413","https://openalex.org/W1514211561“]，”abstract_inverted_index“：｛”For“：[0]，”a“：[1，8，12，57，81，955110122]，”language“：[2，15119]，”Lalg“：[3，41，62120]，”of“：[4，23，38，40，48，56，4105124136]，”多排序“：[5]，”算法“：[6，86，97]，”逻辑“：[7]，”翻译“：[9]，”Tr“：[10]，”到“：[11]，”合适“：[13]，”一阶“：[14，70 78]，“L\u2032”：[16,19,34]，“是”：[17,51,76,90121]，“已考虑”：[18]，“包含”：[20]，“附加”：[21]，“排序”：[22]，“变量”：[24]，“for”：[25,94]，“自然”：[26]，“数字”：[27]，“和”：[28]，“对象”：[29]，“编码”：[30]，“计算”：[31139]，“因此，”：[32]，“in”：[33,61100]，“语句”：[35]，“关于”：[36]，“属性”：[37,55]，“程序”：[39]，“可以”：[42130]，“be”：[43131]，“expressed”：[44]，“The”：[45]，“main”：[46]，“问题”：[47129]，“the”：[49,69,77,85118125134]，“paper”：[50]，“to”：[52,68117]，“investive”：[53]，“what”：[54]，“given”：[58,96]，“theory”：[P9,71,79,87,98126]，“T”：[60,99]，“（e.g.，”：[63]，“decidability”：[64]，“complete”：[65]，“etc.）”：[66]，“transfer”：[67]，“Tr（T）.“：[72]，”In“：[73]，”其他“：[74]，”单词，“：[75]，”Tr（T）“：[80108]，”良好“：[82]，”近似值“：[83]，“T？”：[88]，“It”：[89]，“also”：[91]，“investived”：[92]，“if”，“：[93]，“Lalg”，：[101]，“every”：[102]，“model”：[103123]，“M\u2032”：[104]，“T\u203二”：[106]，“=”：[107]，“has”：[109]，“submodel”：[111]，“some”：[112]，“that”：[113]，“its”：+114]，“reduction”：[115]，“M”：[116]，“T.”：[127]，“This”：[128]，“treated”：[132]，“as”：[133]，“question”：[135]，“removing”：[137]，“非标准”：[138]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2038113785“，”counts_by_year“：[]，”updated_date“：”2024-09-15T04:06:50.443652“，”created_dates“：”2016-06-24“}“