{“id”：“https://openalex.org/W2160478427“，”doi“：”https://doi.org/10.1016/j.entcs.2012.06.003“，”title“：”Interfacing Coq+SSReflect with GAP“，”display_name“：”Interfacing Coq+SSReflect withs GAP“（接口Coq+SS反射与GAP）“，”publication_year“：2012，”publiation_date“：”2012-09-01“，”ids“：{”openalex“（接口Coq+SS反映与GAP的接口）：”https://openalex.org/W2160478427“，”doi“：”https://doi.org/10.1016/j.entcs.2012.06.003“，”mag“：”2160478427“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2012.06.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：“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/j.entcs.2012.06.003“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5066283441“，”display_name“：”Vladimir Komendantsky“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I16835326“，”display_name“：”圣安德鲁斯大学“，”ror“：”https://ror.org/02wn5qz54“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I16835326“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Vladimir Komendantsky“，”raw _affiliation_strings“：[“圣安德鲁斯大学计算机科学学院，圣安德鲁斯，KY16 9SX，英国”]，”affiliations“：[{”raw _affiliation_string“：”圣安德鲁斯学院，圣安德斯，KY16 9SXhttps://openalex.org/I16835326“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5029169258“，”display_name“：”Alexander Konovalov“，”orcid“：”https://orcid.org/0000-0001-5299-3292}，“机构”：[{“id”：https://openalex.org/I16835326“，”display_name“：”圣安德鲁斯大学“，”ror“：”https://ror.org/02wn5qz54“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I16835326“]｝]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Alexander Konovalov“，”raw_affiation_strings“：[”圣安德鲁斯大学计算机科学学院，圣安德鲁斯，KY16 9SX，英国“]，”附属机构“：[｛”raw_affiation_string“：”圣安德鲁斯大学计算机科学学院，圣安德鲁斯，KY16 9SX，英国“，”institution_ids“：[”https://openalex.org/I16835326“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5090857578“，”display_name“：”Steve Linton“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I16835326“，”display_name“：”圣安德鲁斯大学“，”ror“：”https://ror.org/02wn5qz54“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I16835326“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Steve Linton“，”raw _affiliation_strings“：[“圣安德鲁斯大学计算机科学学院，圣安德鲁斯，KY16 9SX，英国”]，“affiliations”：[{“raw_affiliation _string”：“圣安德鲁大学计算机科学院，圣安德鲁，KY16SX，UK”，“institution_ids”：[”https://openalex.org/I16835326“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5066283441","https://openalex.org/A5029169258","https://openalex.org/A5090857578“]，”对应机构_ids“：[”https://openalex.org/I16835326","https://openalex.org/I16835326","https://openalex.org/I16835326“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.429，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：1，”citecd_by_percentile_year“：{”min“：68，”max“：75}，”biblio“：{volume“：285”，“issue”：null、“first_page”：“17”、“last_page”：“28”}，“is_retracted”：false，”is_paratext“：false”主主题“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9985，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.9982，”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/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.463426}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.76303416}，{”id“：”https://openalex.org/C2776303644，“wikidata”：https://www.wikidata.org/wiki/Q1020499网址“，”display_name“：”接口“，”level“：2，”score“：0.7257035}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.70643675}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6746685}，{”id“：”https://openalex.org/C113843644，“wikidata”：https://www.wikidata.org/wiki/Q901882“，”display_name“：”接口（物质）“，”level“：4，”score“：0.6193357}，{”id“：”https://openalex.org/C2778814252，“wikidata”：https://www.wikidata.org/wiki/Q5156715“，”display_name“：”Composability“，”level“：2，”score“：0.56022}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.5002923}，{”id“：”https://openalex.org/C110812573，“wikidata”：https://www.wikidata.org/wiki/Q175515“，”display_name“：”符号计算“，”level“：2，”score“：0.44813}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”级别“：1，”分数“：0.32558045｝，｛”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.26483953｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.12131515}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.07998592}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190（网址：https://www.wikidata.org/wiki/Q11190）“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C157915830，“wikidata”：https://www.wikidata.org/wiki/Q2928001“，”display_name“：”气泡“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C129307140，“wikidata”：https://www.wikidata.org/wiki/Q6795880“，”display_name“：”最大气泡压力法“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2012.06.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/10023/3175，“pdf_url”：https://research-repository.st-andrews.ac.uk/bitstream/10023/3175/1/uitp10.pdf，“源”：{“id”：https://openalex.org/S4306400230“，”display_name“：”St Andrews Research Repository（圣安德鲁斯研究库）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I16835326“，”“host_organization_name”：“圣安德鲁斯大学”，“host_organization_lineage”：[“https://openalex.org/I16835326“]，”host_organization_lineage_names“：[”St Andrews大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2012.06.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1486558830","https://openalex.org/W1525737662","https://openalex.org/W1574173592","https://openalex.org/W1580439254","https://openalex.org/W1847946916","https://openalex.org/W2006694281","https://openalex.org/W2053913724","https://openalex.org/W2134435552“]，”related_works“：[”https://openalex.org/W2787574132","https://openalex.org/W2630947271","https://openalex.org/W2542453320","https://openalex.org/W2388607015","https://openalex.org/W2383601311","https://openalex.org/W2159423485","https://openalex.org/W2136647108","https://openalex.org/W2116748648","https://openalex.org/W2114788260","https://openalex.org/W186132510“]，”ngrams_url“：”https://api.openalex.org/works/W2160478427/ngrams网站“，”abstract_inverted_index“：｛”We“：[0]，”report“：[1]，”on“：[2]，”an“：[3]，”可扩展“：[4]，”implementation“：[5]，”of“：[6]，”the“：[7，15，21]，”communication“：[8]，”interface“：[9]，”connecting“：[10]，”Coq“：[11,30,47]，”proof“：[12]，”assistant“：[13]，”to“：[14，31,35]，”computational“：[16]，“代数”：[17]，“系统”：[18]，“GAP”：[19,40]，“使用”：[20]，“符号”：[22]，“计算”：[23]，“软件”：[24]，“可组合性”：[25]，“协议”：[26]，“（SCSCP）。“：[27]，”It“：[28]，”allows“：[29]，”issue“：[32]，”OpenPath“：[33]，”requests“：[34]，”a“：[36]，”local“：[37]，”or“：[38]，”remote“：[39]，”instances“：%41]，”and“：[42]，”representation“：[43]，”server“：[44]，”responses“：[45]，”as“：[46]，”terms。“：[48]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2160478427“，”counts_by_year“：[{”年“：2013，”cited_by_count“：1}]，”更新日期“：”2024-06-27T03:20.684562“，”创建日期“：“2016-06-24”}