{“id”：“https://openalex.org/W1584954960“，”doi“：”https://doi.org/10.1007/11814771_7“，”title“：”Using the TPTP Language for Writing Derivations and Finite Interpretations“，”display_name“：”使用TPTP语言编写派生词和有限解释“，”publication_year“：2006，”publiation_date“：”2006-01-01“，”ids“：{”openalex“：”https://openalex.org/W1584954960“，”doi“：”https://doi.org/10.1007/11814771_7“，”mag“：”1584954960“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11814771_7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5051126529“，”display_name“：”Geoff Sutcliffe“，”orcid“：”https://orcid.org/0000-0001-9120-3927}，“机构”：[{“id”：https://openalex.org/I145608581“，”display_name“：”迈阿密大学“，”ror“：”https://ror.org/02dgjyy92“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I145608581“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Geoff Sutcliffe“，”raw _ afiliation_strings“：[“美国迈阿密大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5030305055“，”display_name“：”Stephan Schulz“，”orcid“：”https://orcid.org/0000-0001-6262-8555}，“机构”：[{“id”：https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stephan Schulz“，”raw_affiliation_strings“：[“德国理工大学\u00e4t M\u00fcnchen”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5058771102“，”display_name“：”科恩·克莱森“，”兽人“：”https://orcid.org/0000-0002-8113-4478}，“机构”：[{“id”：https://openalex.org/I66862912“，”display_name“：”Chalmers科技大学“，”ror“：”https://ror.org/040wg7k59“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I66862912“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Koen Claessen“，”raw_affiliation_strings“：[“Chalmers University of Technology，Sweden”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5031432252“，”display_name“：”Allen Van Gelder“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I185103710“，”display_name“：”加州大学圣克鲁斯分校“，”ror“：”https://ror.org/03s65by71“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I185103710“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Allen Van Gelder“，”raw _ afiliation_strings“：[“美国加州大学圣克鲁斯分校”]}]，”countries_distict_count“：3，”institutions _ distinct_count“：4，”corresponding_author_ids“：[]，”coresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_US d“：5392，”出处：“doaj”}，“apc_payed”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doadj”}.，“has_fulltext”：false，“cited_by_count”：48，“cited_by_percentile_year”：{.“min”：93，“max”：94}，《biblio》：{《volume》：null，“issue”：null、“first_page”：“67”，“last_page”：“81”}、“is_retracted”：假，“is_paratext”：假，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9974，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”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.9941，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.517617｝，｛”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.514896}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.883809}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.5593302}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.5489989}，{”id“：”https://openalex.org/C2776372474，“wikidata”：https://www.wikidata.org/wiki/Q508291“，”display_name“：”Simplicity“，”level“：2，”score“：0.53601456}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.45127243}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.44031015}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11814771_7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.83，“display_name”：“素质教育”，“id”：“https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：12，”referrenced_works“：【”https://openalex.org/W132163350","https://openalex.org/W1515554225","https://openalex.org/W1521083034","https://openalex.org/W1561007058","https://openalex.org/W1608341218","https://openalex.org/W1646117648","https://openalex.org/W1762277147","https://openalex.org/W1843822920","https://openalex.org/W2049222190","https://openalex.org/W2059651327","https://openalex.org/W2064800569","https://openalex.org/W4312092243“]，”related_works“：[”https://openalex.org/W4301122218","https://openalex.org/W3204019825","https://openalex.org/W2737356002","https://openalex.org/W2374150061网址","https://openalex.org/W2372323577","https://openalex.org/W2369703001","https://openalex.org/W2368019753","https://openalex.org/W2333930193","https://openalex.org/W2246241526","https://openalex.org/W2081340182“]，”ngrams_url“：”https://api.openalex.org/works/W1584954960/ngrams网站“，”“abstract_inverted_index”：{“One”：[0]，“of”：[1,7,17,23,39,57]，“the”：[2,5,8,18,24,37,40,58,64]，“keys”：[3]，“to”：[4,27,69]，“success”：[6]，“TPTP”：[9,25,59]，“and”：[10,61,72]，“related”：[11]，“projects”：[12]，“is”：[13]，“their”：[14]，“consistent”：[15]，“use”“：[16]，”语言“：[20]，”the“：[21]，”ability“：[22]，”language“：[26,65]，”express“：[28]，”solutions“：[29]，”如“：[30,32]，“well”：[31]，“problems”，：[33]，“in”：[34,49]，“conjunction”：[35]，“with”：[36]，“simpility”：[38]，“syntax”，“：[41]，“sets”：[42]，“it”：[43]，“partition”：【44]，“from”：[45]，“other”：【46】，“languages”：【47】，“used”：[48,68]，“ATP”。“：[50]，”This“：[51]，”论文“：[52]，”提供“：[53]，”a“：[54]，”完整“：[55]，”定义“：[56]，”语言“：[60]，”描述“：[62]，”如何“：[63]，”应该“：[66]，”be“：[67]，”书写“：[70]，”派生“：[71]，”有限“：[73]，”解释。“：[74]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1584954960“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，”“年份”“：2020，”“cited_by-count”“：1}，”“：2015，”cited_by_count“：1}，{“年份”：2014，”cited_by_count，{“年份”：2012，“引用_ by_count”：2}]，“更新日期”：“2024-05-13T09:17:27.370404”，“创建时间”：“2016-06-24”}