{“id”：“https://openalex.org/W1972300923“，”doi“：”https://doi.org/10.1016/020-0190（92）90093-b“，”title“：“线性函数应用程序的批检查”，”display_name“：”线性函数应用的批检查“，”publication_year“：1992，”publiation_date“：”1992-05-01“，“ids”：{“openalex”：“https://openalex.org/W1972300923“，”doi“：”https://doi.org/10.1016/020-0190（92）90093-b“，”mag“：”1972300923“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/020-0190（92）90093-b“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S147953040“，”display_name“：”Information Processing Letters“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”is_oa“：false，”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5041567023“，”display_name“：”Ronitt Rubinfeld“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I20089843“，”display_name“：”普林斯顿大学“，”ror“：”https://ror.org/00hx57361“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I20089843“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Ronitt Rubinfeld“，”raw _ afiliation_strings“：[“普林斯顿大学计算机科学系，普林斯顿，新泽西08544，美国”]，”affiliations“：[{”raw _affiliation_strong“：”普林斯顿大学计算科学系，美国新泽西0854，“institution_ids”：[”https://openalex.org/I20089843“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5041567023“]，”对应的机构ID“：[”https://openalex.org/I20089843“]，”apc_list“：{”value“：2200，”currency“：”USD“，”value_USD“：2200'，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：9，”citation_normalized_percentile“：{”value _by_percentile_year“：{”最小“：77，”最大“：78}，”书目“：{”volume“：”42“，”issue“：”2“，”first_page“：”77“，”last_page“：“80”}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9956，“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.9956，“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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9942，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9927，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/model-checking“，”display_name“：”模型检查“，”score“：0.609475}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.527556}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.521049}，{”id“：”https://openalex.org/keywords/并行计算“，”display_name“：”并行计算“，”score“：0.505628}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5474582}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.40703923}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39328557}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.3539558}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33492225}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.32754207}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/020-0190（92）90093-b“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S147953040“，”display_name“：”Information Processing Letters“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”is_oa“：false，”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，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”数据集“：[]，”version“：[]，”referenced_works_count“：5，”referenced_works“：[”https://openalex.org/W1506921193","https://openalex.org/W1594335079","https://openalex.org/W2002032317","https://openalex.org/W2033361557","https://openalex.org/W2107561538“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2042127053","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694网址“]，”abstract_inverted_index“：{”abstract“：[0]，”We“：[3,25]，”introduce“：[4]，”the“：[5,15,41]，”model“：[6]，”of“：[7,17]，”batch“：+8,30]，”checking“：[9]，”which“：[10]，”allows“：[11]，”one“：[12,28]，”to“：[13]，”check“：[14,31]，”result“：%16]，“a”：[18]，”program“：[19]，“on”：[20]，“many”：[21]，“inputs”：[22]，“at”：[23]，“once.”：[24]，“show”：[26]，“that”：[2]，“can”：[29]程序“：[32]，”for“：[33]，”linear“：[34]，”functions“：[35]，”with“：[36]，”very“：[3]，”little“：38]，”开销“：[39]，”in“：[40]，”running“：[42]，”time。“：[43]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1972300923“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-09-19T20:55:39.558394“，”创建日期“：“2016-06-24”}