｛“id”：“https://openalex.org/W1964701185“，”doi“：”https://doi.org/10.1145/62678.62685“，”title“：”连续可能不合理“，”display_name“：”持续可能不合理”，“publication_year”：1988，“publiation_date”：“1988-01-01”，“ids”：{“openalex”：“https://openalex.org/W1964701185“，”doi“：”https://doi.org/10.1145/62678.62685“，”mag“：”1964701185“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/62678.62685“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5043105322“，”display_name“：”Albert R.Meyer“，”orcid“：”https://orcid.org/0000-0003-0753-4569“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Albert Meyer“，”raw _affiliation_strings“：[”麻省理工学院计算机科学实验室“]，”从属关系“：[{”raw _affiliation_string“：”麻省理工学院计算机实验室“，”机构id“：[]}，{”author_position“：”last“，”author“：”https://openalex.org/A5088632935“，”display_name“：”Jon G.Riecke“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Jon G.Rieck“，”raw _affiliation_string“：[”MIT Laboratory for Computer Science“]，”affiliations“：/[{”raw_affiliation_string“:”MIT Laboratory of Computer Science“，”instistation_ids“：[]}]，”countries_distiction_count“：0，”institutions_distinct_count“：0，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：null，“fwci”：2.852，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：17，“citected_by_percentile_year”：{“min”：86，“max”：87}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9965，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9853，”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/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.538018}，{”id“：”https://openalex.org/keywords/schema-matching“，”display_name“：”架构匹配“，”score“：0.527795｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.518928}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.509944}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.502545}]，”concepts“：[{”id“：”https://openalex.org/C88626702，“wikidata”：https://www.wikidata.org/wiki/Q1128903“，”display_name“：”Continuation“，”level“：2，”score“：0.83186257}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.60152656}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.591937}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.48048654}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.41754514}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.38780808}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.30925104}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.19626552}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128（网址：https://www.wikidata.org/wiki/Q12128）“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/62678.62685“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：12，“referrenced_works”：[”https://openalex.org/W1976711789","https://openalex.org/W2007270285","https://openalex.org/W2007759294","https://openalex.org/W2011001069","https://openalex.org/W2041945455","https://openalex.org/W2043416466","https://openalex.org/W2054299141","https://openalex.org/W2088735483","https://openalex.org/W2166822586","https://openalex.org/W3145454088","https://openalex.org/W4250738323","https://openalex.org/W4251033482“]，”related_works“：[”https://openalex.org/W4248087735","https://openalex.org/W4229560034","https://openalex.org/W4225310406","https://openalex.org/W2352275403","https://openalex.org/W2199313715","https://openalex.org/W2159885618","https://openalex.org/W2119636363","https://openalex.org/W2012352190","https://openalex.org/W1994937216","https://openalex.org/W1566334111“]，”ngrams_url“：”https://api.openalex.org/works/W1964701185/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,23,69]，“show”：[1,25]，“that”：[2,26]，“two”：[3,27]，“lambda”：[4]，“calculation”：[5,43]，“terms”：[6,28,52,58,76]，“can”：[7]，“be”：[8,30,39,54]，“observatively”：[9]，“conjustent”：[10,31,40]，“（即”：[11]，“agree”：[12]，“in”：[13,32,41]，“全部”：[14,33]，“上下文）”：[15]，“但是”：[16,36]，“他们的”：[17,78]，“继续通过”：[18]，“转换“：[19]，”may“：[20，29，53]，”not“：[21]，”be.“：[22]，”also“：[24]，”untyped“：[34]，”contexts“：[35]，”fail“：[37]，”to“：[38]，”a“：[42]，”with“：[44，77]，”call/cc“：[45]，”运算符。“：[46,68]，”因此，“：[47]，”熟悉“：[48]，”推理“：[49]，”关于“：[50]，”功能“：[51]，”不健全“：[55]，”如果“：[56]，”the“：[57,82]，”use“：[59]，”continuation“：[60]，”显式“：[61]，”or“：[62]，”access“：[63]，”them“：[64]，”隐式“：65]，”through“：[66]，”new“：[67]，“then”：[70]，“examine”：[71]，“one”：[72]，“method”：[73]，“of”：[74,84]，“connecting”：[75]续“：[79]，”形式“，：[80]，”延伸“：[81]，”工作“：[83]，”迈耶“：[85]，”和“：[86]，”魔杖“：[87]，”[8]。“：[88]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1964701185“，”counts_by_year“：[{”年“：2016，”cited_by_count“：2}]，”更新日期“：”2024-06-20T09:45:15.356575“，”创建日期“：“2016-06-24”}