｛“id”：“https://openalex.org/W4230982524“，”doi“：”https://doi.org/10.1007/3-540-56733-x_163“，”title“：“证明子系统”，”display_name“：”证明子系统“，”publication_year“：1993，”publiation_date“：”1993-01-01“，”ids“：{”openalex“：”https://openalex.org/W4230982524“，”doi“：”https://doi.org/10.1007/3-540-56733-x_163“}，”language“：null，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-56733-x_163“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5018917314“，”display_name“：”Owen Traynor“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I181647926“，”display_name“：”斯特拉斯克莱德大学“，”ror“：”https://ror.org/00n3w3b69“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I181647926“]｝]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Owen Traynor“，”raw_affiation_strings“：[”苏格兰斯特拉斯克莱德大学“]，”附属机构“：[｛”raw_affiation_string“：”苏格兰斯特拉斯克莱德大学“，”institution_ids“：[”https://openalex.org/I181647926“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5018917314“]，”对应的机构ID“：[”https://openalex.org/I181647926“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{“min”：0，“max”：57}，“biblio”：{“volume”：null、“issue”：null、“first_page”：“495”、“last_page”：“521”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.6387，“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/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.6387，“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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/numerical-verification-methods（https://openalex.org/keywords/numerical-verification-methods）“，”“display_name”：“数值验证方法”，“score”：0.541781}，{“id”：“https://openalex.org/keywords/高精度计算“，”display_name“：”高精度计算“，”score“：0.528826}，{”id“：”https://openalex.org/keywords/interval-uncertentity网站“，”display_name“：”间隔不确定性“，”score“：0.512732}，{”id“：”https://openalex.org/keywords/interval-analysis网站“，”display_name“：”区间分析“，”score“：0.50819}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8282994}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.43370438}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-56733-x_163“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：0，“referenced_works“：[]，”related_work“：[”https://openalex.org/W4391913857","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W4230982524/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4230982524“，”counts_by_year“：[]，”updated_date“：”2024-06-25T13:13:41.965954“，”created_date:“2022-05-11”}“