PDL公司具有插值“，”display_name“：”PDL公司具有插值“，”publication_year“：2002，”publiation_date“：”2002-09-01“，”ids“：{”openalex“：”https://openalex.org/W1984616471“，”doi“：”https://doi.org/10.2178/jsl/1190150141“，”mag“：”1984616471“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1190150141“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5053842643“，”display_name“：”Tomasz Kowalski“，”orcid“：”https://orcid.org/0000-0003-3095-4043}，“机构”：[{“id”：https://openalex.org/I177738480“，”display_name“：”日本高级科学技术学院“，”ror“：”https://ror.org/03frj4r98“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I177738480“]}]，”国家“：[”JP“]，”is_corresponding“：true，”raw_author_name“：”Tomasz Kowalski“，”raw _ afiliation_strings“：[“日本高级科学技术学院，1-1 Asahidai，Tatsunokuchi，923-1292 Ishikawa，Japan”]，“afiliations”：[{“raw _ ffiliation_string”：“日本高级科学技术研究所，1-1 Asahidai，Tatsunokuchi，923-1292 Ishikawa，Japan“，”institution_ids“：[”https://openalex.org/I177738480“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5053842643“]，”对应的机构ID“：[”https://openalex.org/I177738480“]，”apc_list“：null，”apc_payed“：null，”fwci“：0.431，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”cited_by_percentle_year“：｛”min“：72，”max“：74｝，”biblio“：｛”volume“：”67“，”issue“：”3“，”first_page“：”933“，”last_page“：”946“｝，”is_retracted“：false，”is_paratext“：false，”primary _主题“：｛”id“：”https://openalex.org/T11727“，”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/T11727“，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9989，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.489613}]，”concepts“：[{”id“：”https://openalex.org/C137800194，“wikidata”：https://www.wikidata.org/wiki/Q11713455“，”display_name“：”插值（计算机图形）“，”level“：3，”score“：0.48082387}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.351385}，{”id“：”https://openalex.org/C121684516，“wikidata”：https://www.wikidata.org/wiki/Q7600677“，”display_name“：”计算机图形（图像）“，”level“：1，”score“：0.12949955}，{”id“：”https://openalex.org/C502989409，“wikidata”：https://www.wikidata.org/wiki/Q11425“，”display_name“：”Animation“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1190150141“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，”type“：”journal“}，”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“：5，”referenced_works“：[”https://openalex.org/W1557206079","https://openalex.org/W2011141803","https://openalex.org/W2022554132","https://openalex.org/W2914247088","https://openalex.org/W4251222677“]，”related_works“：[”https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W1984616471/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“It”：[1]，“is”：[2]，“proved”：[3]，“that”：[4]，“free”：[5]，“dynamic”：[6,13,21]，“algebras”：[7,22]，“supermalgamate.”：+8]，“Craig”：[9]，“interpolation”：[10]，“for”：[11,17]，“propostial”：[12]，“logic”：[14]，ation“：[16]，”the“：[18]，”variety“：[19]，”of“：[20]，”follow“：[23]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1984616471“，”counts_by_year“：[{“年份”：2020，”cited_by_count“：1}，{“年度”：2018，”cited_by_count”：1}]，”updated_date“：”2024-06-27T03:29:157938“，”created_date:“2016-06-24”}“