｛“id”：“https://openalex.org/W2051723391“，”doi“：”https://doi.org/10.1145/258726.258746“，”title“：”Presburger算术中消除的复杂性和一致性“，”display_name“：”Presburger算术中消除的复杂性和一致性“，”publication_year“：1997，”publication_date“：”1997-01-01“，”ids“：｛”openalex“：”https://openalex.org/W2051723391“，”doi“：”https://doi.org/10.1145/258726.258746“，”mag“：”2051723391“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/258726.258746“，”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/A5021163047“，”display_name“：”Volker Weispfenning“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：true，”raw_author_name“:”Volker weispfening“，”raw _affiliation_strings“：[/]，”affiliations“：[%]}]，”countries_distict_count“：0，”institutions _distiction_count“：0.，”corresponding_author_ids“：[”https://openalex.org/A5021163047“]，”“corresponding_institution_ids”：[]，“apc_list”：null，”“apc_payed”：null，“fwci”：1.237，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：38，“citted_by_percentile_year”：{“min”：91，“max”：92}，“biblio”：{“volume”：null，“issue”：nully，“first_page”：nulli，“last_page”：null}，”“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11435“，”“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/T11435“，”“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/T11245“，”“display_name”：“计算工程中的等几何分析”，“score”：0.9931，“subfield”：{“id”：“https://openalex.org/subfields/2206“，”display_name“：”计算力学“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.9914，“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/floating-point-arithmetic“，”display_name“：”浮点算术“，”score“：0.541339}，{”id“：”https://openalex.org/keywords/高精度计算“，”display_name“：”高精度计算“，”score“：0.53222}，{”id“：”https://openalex.org/keywords/numerical-algebraic-geometry网站“，”“display_name”：“数值代数几何”，“score”：0.512776}，{“id”：“https://openalex.org/keywords/结构分析“，”display_name“：”Structural Analysis“，”score“：0.507691}，{”id“：”https://openalex.org/keywords/symbolic-computing网站“，”display_name“：”符号计算“，”score“：0.504812}]，”concepts“：[{”id“：”https://openalex.org/C5852641，“wikidata”：https://www.wikidata.org/wiki/Q956059“，”display_name“：”Presburger算术“，”level“：3，”score“：0.9523407}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.73433924}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6302254}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.35553014}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.27671897}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.24006924}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.06569767}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/258726.258746“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：23，”referenced_works“：[”https://openalex.org/W1513644114","https://openalex.org/W1515448847","https://openalex.org/W1556844982","https://openalex.org/W1969335410","https://openalex.org/W1972603893","https://openalex.org/W1975885036","https://openalex.org/W1987803410网址","https://openalex.org/W1992963060","https://openalex.org/W1995317845","https://openalex.org/W1996325171","https://openalex.org/W1996539580","https://openalex.org/W2021592352","https://openalex.org/W2022070887","https://openalex.org/W2030406276","https://openalex.org/W2032951732","https://openalex.org/W2035981707","https://openalex.org/W2050426366","https://openalex.org/W2056964218","https://openalex.org/W2071228820","https://openalex.org/W2071859297","https://openalex.org/W2088191001","https://openalex.org/W2092518806","https://openalex.org/W2104715607“]，”related_works“：[”https://openalex.org/W99847340","https://openalex.org/W4233815414","https://openalex.org/W3047022145","https://openalex.org/W2372170743","https://openalex.org/W2358725432","https://openalex.org/W2117014006","https://openalex.org/W1987204888","https://openalex.org/W1984303163","https://openalex.org/W1558545464","https://openalex.org/W1509211761“]，”ngrams_url“：”https://api.openalex.org/works/W2051723391/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2051723391“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1'，{”“年份”“：2021，”“cited_by-count”“：1}.，{年”：2020，“cited_by_count“：2}，}”“年”：2017，“cited_ by_count.”updated_date“：”2024-06-22T16:23:02.997594“，”创建日期“：”2016-06-24“}