{“id”：“https://openalex.org/W2094951850“，”doi“：”https://doi.org/10.1016/0304-3975（79）90025-2“，”title“：“关于可交换DT0L系统”，”display_name“：”On communive-DT0L系统“，”publication_year“：1979，”publiation_date“：”1979-08-01“，”ids“：{”openalex“：”https://openalex.org/W2094951850“，”doi“：”https://doi.org/10.1016/0304-3975（79）90025-2“，”mag“：”2094951850“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（79）90025-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”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/A5085504322“，”display_name“：”Juhani Karhum\u00e4ki“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I155660961“，”display_name“：”Turku大学“，”ror“：”https://ror.org/05vghhr25“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I155660961“]}]，”国家“：[”FI“]，”is_corresponding“：true，”raw_author_name“：”Juhani Karhum\u00e4ki“，”raw _ afiliation_strings“：[“Turku大学数学系，SF-20500 Turku 50，芬兰”]，”affiliations“：[{”raw _affiliation_strong“：”Turku学院，SF-20050 Turku 500，芬兰”，“institution_ids”：[“https://openalex.org/I155660961“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5085504322“]，”对应的机构ID“：[”https://openalex.org/I155660961“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”cited_by_percentile_year“：”{“min”：67，“max”：71}，“biblio”：{“volume”：“9”，“issue”：“2”，“first_page”：“207”，“last”_page“：”220“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9993，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9993，”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.9888，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9886，“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/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.544788}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”Temporal Logic“，”score“：0.506033｝]，”concepts“：[｛”id“：”https://openalex.org/C183778304，“wikidata”：https://www.wikidata.org/wiki/Q165474“，”display_name“：”交换属性“，”level“：2，”score“：0.8150953}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6829387}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.662531}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.53083557}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4606682}，{”id“：”https://openalex.org/C90805587，“wikidata”：https://www.wikidata.org/wiki/Q10944557“，”display_name“：”Word（群论）“，”level“：2，”score“：0.43054432}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.42236248}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.4011145}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3419773｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.25574532}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.11368334}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.06678432}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（79）90025-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”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“：8，”referenced_works“：[”https://openalex.org/W1578332044","https://openalex.org/W1968427680","https://openalex.org/W2049608789","https://openalex.org/W2089343381","https://openalex.org/W2096478770","https://openalex.org/W3133519615","https://openalex.org/W4298368365","https://openalex.org/W607575729“]，”related_works“：[”https://openalex.org/W4387820098","https://openalex.org/W4236324517","https://openalex.org/W3196207352","https://openalex.org/W3084261076","https://openalex.org/W2963408011","https://openalex.org/W2951724202","https://openalex.org/W2808944898","https://openalex.org/W2576399385","https://openalex.org/W1996614773","https://openalex.org/W1586813864“]，”ngrams_url“：”https://api.openalex.org/works/W2094951850/ngrams（英文）“，”“abstract_inverted_index”：{“受限”：[0]，“版本”：[1]，“的”：[2,16,22,25,42]，“DT0L”：[3,7,68]，“系统”，：[4,8]，“所谓的”：[5]，“可交换”：[6]，“是”：[9,45]，“已考虑。”：[10]，“In”：[11]，“这些”：[12,48]，“系”：[13]，“the”：[14,23,40]，“length”：[15,34]，“a“：[17]，”单词“：[18]，”派生“：[19]，”是“：[20]，”独立“：[21]，”顺序“：[24]，”表格“：[26]，”已使用。“：[27]，“It”：[28]，“turns”：[29]，“out”：[30]，“that”：[31]，“many”：[32]，“interest”：[33]，“sets”：[35]，“or”：[36]，“languages，”：[37]，“such”：[38]，“as”：[39]，“set”：[41]，“composite”：[43]，“numbers，”：44]，“generated”：[46]，“by”：[47]，“systems”。“：[49]，”“此外，”“：[50]，”此“：[51]，”方法“：[52]，”使“：[53]，”它“：[54]，”可能“：[55]，”to“：[56]，”给定“：[57]，”新“：[58]，”（and“：[59]，”稍微“：[60]，”广义）“：[61]，”证明“：[62]，”for“：[63]，”some“：[64]，”不可判定性“：[65]，”results“：[66]，”关于“：[67]，”函数。“：[69]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2094951850“，”counts_by_year“：[]，”updated_date“：”2024-06-19T00:35:00.989631“，”创建日期“：”2016-06-24“}