{“id”：“https://openalex.org/W2095539565“，”doi“：”https://doi.org/10.1016/s1571-0661（05）80146-x“，”title“：“Smyth powerdomain中的解析”，”display_name“：”Smyth powerdomain的解析“，”publication_year“：1997，”publiation_date“：”1997-01-01“，”ids“：{”openalex“：”https://openalex.org/W2095539565“，”doi“：”https://doi.org/10.1016/s1571-0661（05）80146-x“，”mag“：”2095539565“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（05）80146-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/s1571-0661（05）80146-x“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5030855657“，”display_name“：”Guo\u2010Qiang Zhang“，”orcid“：”https://orcid.org/0000-0002-3663-1109“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”张国强“，”raw_affiliation_strings“：[]，“隶属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5019204872“，”“display_name”“：”William C.Rounds“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”“William C.Rounds”，”“raw_affiliation_strings”“：[]]，”affiliations“：【]}】，“countries_distiction_count”：0，“institutions_distinclunt”：空，“apc_payd“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：59}，”biblio“：{“volume”：“6”，“issue”：null、“first_page”：“409”}、“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9972，“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.9972，“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.9939，”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.9906，”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/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.4835｝]，”concepts“：[｛”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083（网址：https://www.wikidata.org/wiki/Q693083）“，”display_name“：”健全“，”级别“：2，”得分“：0.8273462｝，｛”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.7512921}，{”id“：”https://openalex.org/C138268822，“wikidata”：https://www.wikidata.org/wiki/Q1051925“，”display_name“：”分辨率（逻辑）“，”级别“：2，”分数“：0.66285634}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.6247173}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.56852293}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37102824}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3617617}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.311878}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.14263448}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.058211803}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（05）80146-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/s1571-0661（05）80146-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”score“：0.63，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W958050847","https://openalex.org/W56937029","https://openalex.org/W4250462479","https://openalex.org/W3163509751","https://openalex.org/W2396405675","https://openalex.org/W1994524667","https://openalex.org/W175051304","https://openalex.org/W1549730417","https://openalex.org/W1548499332","https://openalex.org/W13634261“]，”ngrams_url“：”https://api.openalex.org/works/W2095539565/ngrams网站“，”“abstract_inverted_index”：{“The”：[0,52]，“purposes”：[1]，“of”：[2,13,23,31,49,54,65,76,83]，“this”：[3,32,50]，“paper”：[4]，“are”：[5,69]，“（i）”：[6,55]，“to”：[7,26,72]，“give”：[8]，“a”：[9,29,34,66]，“new，”：[10]，“efficient”：[11]，“representation”：[12]，“Sm”yth“：[14,41,67]，“powerdomains”：[15]，“as”：[16,28,78]，“0-有人居住”：[17]，“information”：[18]，“systems”，“：[19]，”以下“：[20]，”the“：[21,45,60,63,73,81]，”style“：[22]，”Scott；“：[24]，”（ii）“：[25,57]，”引入“：[27]，”结果“：[30]，”表示“：[33]，”广义“：[35]，”分辨率“：[36]，”方法“：[37]，”for“：[38]，”an“：[39]，”任意“：[40]，”powerdomain“：[42,68]，”and“：[43,47]，”show“：[44]，”健全“：[46]，”完整性“：[48]，”method。“：[51]，”connection“：[53]，”with“：[56]，”come“：[58]，”from“：[59]，”observation“：[61]，”that“：[62]，”elements“：[64]，”语义上“：[70]，”equivalent“：[71]，”basic“：[74]，”concept“：[75]，”\“clause'”：[77]，”used“：[79]，”in“：[80]，”area“：[82]，”logic“：[84]，”programming“：[85]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2095539565“，”counts_by_year“：[]，”updated_date“：”2024-06-20T01:03:46.729900“，”created_date“：”2016-06-24“｝