{“id”：“https://openalex.org/W1973651354“，”doi“：”https://doi.org/10.1016/s0747-7171（89）80044-6“，”title“：”Smullyan的云雀组合词的单词问题是可判定的“，”display_name“：”The word problem for Smullyan's lark组合词的问题是可确定的“，“publication_year”：1989，“publitation_date”：“1989-02-01”，“ids”：{“openalex”：“https://openalex.org/W1973651354“，”doi“：”https://doi.org/10.1016/s0747-7171（89）80044-6“，”mag“：”1973651354“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0747-7171（89）80044-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://doi.org/10.1016/s0747-7171（89）80044-6“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]｝]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Rick Statman“，”raw_affiation_strings“：[”美国宾夕法尼亚州匹兹堡卡耐基梅隆大学“]｝]，”国家_地区_计数“：1，”机构_地区_计数“：1，”对应_作者_ ID“：[”https://openalex.org/A5051071400“]，”对应机构_ids“：[”https://openalex.org/I74973139“]，”apc_list“：{”value“：2770，”currency“：”USD“，”value_USD“：27700，”provenance“：”doaj“}，”apc _payed“：{”value”：2770、”current“：”美元“，”value_USD”：27700、“provenance”：“doaj”}、”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”citected_by_percentile_year“：{“min”：82，”max“：83}，“biblio”：{“volume”：“7”，“issue”：“2”，“first_page”：“103”，“last_page”：”112“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9959，”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.9959，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9829，”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/T10948“，”“display_name”：“组合数学与代数组合数学”，“score”：0.9711，“subfield”：{“id”：“https://openalex.org/subfields/2607“，”display_name“：”离散数学与组合数学“}，”field“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.489334}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.9713936}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7833393}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.6646551}，{”id“：”https://openalex.org/C90805587，“wikidata”：https://www.wikidata.org/wiki/Q10944557“，”display_name“：”Word（群论）“，”level“：2，”score“：0.46770972}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.34273416}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.32078224}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1775141}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.16999811}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.15230599}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.06298354}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0747-7171（89）80044-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算期刊“，”issn_l“：”0747-7171“，”issn“：[”0747-7171“，”1095-855X“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0747-7171（89）80044-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W2008359486","https://openalex.org/W2064236106“]，”related_works“：[”https://openalex.org/W4297670065","https://openalex.org/W4205250428","https://openalex.org/W2440791454","https://openalex.org/W2056142535","https://openalex.org/W2053762111","https://openalex.org/W1618267488","https://openalex.org/W1567962086","https://openalex.org/W1563786920","https://openalex.org/W1543051890","https://openalex.org/W1532360204“]，”ngrams_url“：”https://api.openalex.org/works/W1973651354/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“show”：[1]，“that”：[2]，“the”：[3]，“problem”：[4]，“of”：[5,11]，“deciming”：[6]，“when”：[7]，“two”：[8]，“applicative”：[9]，“combinations”：[10]，“Smullyan’s”：%12]，“L”：[13]，“composator”：[14]，[17]，“可解。”：[18]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=引用：W1973651354“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：1\n，{（年份）：2017，”“cited_by_count”“：1}，{”“年份”“：2014，”“引用_by_cont”“:1}]，”“updated_date”：“2024-05-21T14:46:18.615650”，”“创建日期”：“2016-06-24”}