{“id”：“https://openalex.org/W1987045953“，”doi“：”https://doi.org/10.109/sfcs.1977.2“，”title“：”A new decitable problem，with applications“，”display_name“：”A new dechitable project，with applications“，“publication_year”：1977，”publication_date“：”1977-09-01“，”ids“：{”openalex“：”https://openalex.org/W1987045953“，”doi“：”https://doi.org/10.109/sfcs.1977.2“，”mag“：”1987045953“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sfcs.1977.2“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5046018851“，”display_name“：”Harry R.Lewis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2801851002“，”display_name“：”哈佛大学出版社“，”ror“：”网址：https://ror.org/006v7bf86“，”country_code“：”US“，”type“：“other”，”seriance“：[”https://openalex.org/I136199984","https://openalex.org/I2801851002“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Harry R.Lewis“，”raw _ afiliation_strings“：[“爱肯计算实验室，哈佛大学，剑桥，马萨诸塞州，美国”]，”affiliations“：[{”raw_ afiliation _string“：”爱肯计算实验，哈佛大学https://openalex.org/I2801851002“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5046018851“]，”对应的机构ID“：[”https://openalex.org/I2801851002“]，”apc_list“：null，”apc _ paid“：null，”fwci“：0.866，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：6，”citecd_by_percentile_year“：{”min“：78，”max“：79}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9999，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9999，”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.9997，”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.9979，“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/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.503387}]，“concepts”：[{“id”：“https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”决定性“，”level“：2，”score“：0.9120298｝，｛”id“：”https://openalex.org/C115988155，“wikidata”：https://www.wikidata.org/wiki/Q3262192“，”display_name“：”决策问题“，”level“：2，”score“：0.6464796}，{”id“：”https://openalex.org/C72041958，“wikidata”：https://www.wikidata.org/wiki/Q185092“，”display_name“：”Flowchart“，”level“：2，”score“：0.6004467}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.59466916}，{”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q1729295“，”“display_name”“：”“多样性（控制论）”“，”级别“：2，”分数“：0.5405518}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.504252}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.49752524｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4765951}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.46976897}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4625603}，{”id“：”https://openalex.org/C184670325，“wikidata”：https://www.wikidata.org/wiki/Q512604“，”display_name“：”Loop（图论）“，”level“：2，”score“：0.45741504}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4315325}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3664932}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.357216}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.27621824}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.21158856}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.19164765}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.15212154}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.13386577}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sfcs.1977.2“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：nuld，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.81，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：15，”referrenced_works“：[”https://openalex.org/W1562775174","https://openalex.org/W1963804765","https://openalex.org/W1970045008","https://openalex.org/W19789955933","https://openalex.org/W1988826480","https://openalex.org/W1992425561","https://openalex.org/W2005456631","https://openalex.org/W2032543301","https://openalex.org/W2072088733","https://openalex.org/W2143439128","https://openalex.org/W2157390113","https://openalex.org/W2158448273","https://openalex.org/W2535066816","https://openalex.org/W2545100848","https://openalex.org/W2914936697“]，”related_works“：[”https://openalex.org/W4234189135","https://openalex.org/W3104737963","https://openalex.org/W3022248317","https://openalex.org/W2506746226","https://openalex.org/W2489809986","https://openalex.org/W2182252111","https://openalex.org/W2170336571","https://openalex.org/W2109489765","https://openalex.org/W1886746238","https://openalex.org/W1543051890“]，”ngrams_url“：”https://api.openalex.org/works/W1987045953/ngrams“，”“abstract_inverted_index”：{“A”：[0]，“number”：[1]，“of”：[2,22,40,54,57,59,64,67]，“decision”：[3,73]，“problems”：[4,24,28,74]，“that”：[5,49]，“are”：[6,10,25]，“unsolved”：[7]，“in”：[8,75]，“general”：[9]，“solveable”：[11,72]，“when”：[12]，“restricted”：[13]，“to”：[14]，“系统”：[15]，“具有”：[16,32]，“充分”：[17]，“简单”：[18]，“循环”：[19]，“结构”.“：[20]，”示例“：[21]，”suke“：[23]，”the“：[26,37,55]，”equivalence“：[27]，”for“：[29,36]，”flowd“：[30]，”schemata“：[31]，”nointersection“：[33]，”loops“：[34]，”and“：[35,42,62,70,79]，”LOOP（l）“：[38]，”programs“：[39]，”Meyer“：[41]，”Ritchie。“：[43]，“我们”：[44]，“这里”：[45]，“现在”：[46]，“a”：[47,51,65]，“定理”：[48]，“给定”：[50]，“统一”：[52]，“视图”：[53]，“可解性”：[56]，“两者”：[58]，“这些”：[60]，“问题”：[61]，“还”：[63]，“种类”：[66]，“其他”：[68]，“旧”：[69]，“新”：[71]，”自动机“：[76]，”理论“：[77]，”示意图“：[78]，”逻辑。“：[80]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1987045953“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-06-20T21:11:02.874093“，”创建日期“：“2016-06-24”}