{“id”：“https://openalex.org/W2015774734“，”doi“：”https://doi.org/10.1145/41625.41639“，”title“：”部分指定数据结构的逻辑“，”display_name“：”局部指定数据结构逻辑“，“publication_year”：1987，”publication_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2015774734“，”doi“：”https://doi.org/10.1145/41625.41639“，”mag“：”2015774734“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41639“，”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/A5044323269“，”display_name“：”M.Andrew Moshier“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”M.D.Moshier“，”raw _ afiliation_strings“：[“密歇根州安娜堡密歇根大学电气工程与计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”密歇根大学电气工程与计算机科学系，密歇根州安阿伯。“，”institution_id“：[”https://openalex.org/I27837315“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5019204872“，”display_name“：”William C.Rounds“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”W.C.Rounds“，”raw_affiation_string“：[”密歇根大学安娜堡分校电气工程与计算机科学系“]，”附属机构“：[｛”raw_affiation_string“：”密歇根大学电气工程与计算机科学系，密歇根州安阿伯。“，”institution_id“：[”https://openalex.org/I27837315“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]、”correspounding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nul，”fwci“：3.954，”has_fulltext“：false，”cited_by_count：40，”citation_normalized_percentile“：{”value“：0.831615，”is_in_top_1_percent“：false，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：91，”max“：92}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，，“is_retracted”：false，“is_paratext”：false，“primary_topic”:{“id”：“https://openalex.org/T10142“，”“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/T10142“，”“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.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.9985，”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/description-logics网站“，”display_name“：”描述逻辑“，”score“：0.672355｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.664508}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.658923}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.649305}，{”id“：”https://openalex.org/keywords/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.642356}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6638905}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41639“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：8，“referrenced_works”：[”https://openalex.org/W144946664","https://openalex.org/W1590315663","https://openalex.org/W1991670662","https://openalex.org/W2099859391","https://openalex.org/W2147350240","https://openalex.org/W2156720842","https://openalex.org/W2166822586","https://openalex.org/W2246800293“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2015774734“，”counts_by_year“：[]，”updated_date“：”2024-09-14T19:04:48.958089“，”创建日期“：”2016-06-24“}