{“id”：“https://openalex.org/W4386555149“，”doi“：”https://doi.org/10.48550/arxiv.2309.03602“，”title“：”On Statman’s Finited Completiness Therme“，”display_name“：”On Statman’s Finited completiness定理“，”publication_year“：2023，”publitation_date“：”2023-01-01“，”ids“：{”openalex“：”https://openalex.org/W4386555149“，”doi“：”https://doi.org/10.48550/arxiv.2309.03602“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2309.03602“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“posted-content”，”indexed_in“：[”arxiv“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”bronen“，”oa_url“：”https://arxiv.org/abs/2309.03602“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”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“：false，”raw_author_name“：”Statman，Richard“，”raw _ afiliation_strings“：[“卡内基梅隆大学[匹兹堡]”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5073164575“，”display_name“：”Gilles Dowek“，”orcid“：”https://orcid.org/0000-0001-6253-935X}，“机构”：[{“id”：https://openalex.org/I4210126360“，”display_name“：”Inria Saclay-\u00cele-de-France研究中心“，”ror“：”网址：https://ror.org/0315e5x55“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283","https://openalex.org/I4210126360“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Dowek，Gilles“，”raw _ afiliation_strings“：[“Inria Saclay-Ile de France”]}]，”countries _ distinct_count“：2，”institutions _ disting_count false，“cited_by_count”：0，“cited_by_percentile_year“：{“min”：0，“max”：78}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.8396，”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/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.8396，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.8225，”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/T10991“，”“display_name”：“经济学中的机制设计与匹配理论”，“score”：0.8097，“subfield”：{“id”：“https://openalex.org/subfields/2002“，”display_name“：”经济学与计量经济学“}，”字段“：{”id“：”https://openalex.org/fields/20网站“，”display_name“：”经济学、计量经济学和金融“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/matching-theory网站“，”display_name“：”匹配理论“，”score“：0.509457}]，”concepts“：[{”id“：”https://openalex.org/C2780012671，“wikidata”：https://www.wikidata.org/wiki/Q1343870“，”display_name“：”推论“，”level“：2，”score“：0.86384976}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.7942139}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.71406174}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.50459063}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.48585698}，{”id“：”https://openalex.org/C165064840，“wikidata”：https://www.wikidata.org/wiki/Q1321061“，”display_name“：”匹配（统计）“，”级别“：2，”分数“：0.46274737}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.4416822}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.38452792}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.36062756｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.22613278}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.16023153}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.04916075｝，｛”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”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“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2309.03602“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/hal-04198324，“pdf_url”：https://inria.hal.science/hal-04198324/document（英文）“，”source“：null，”license“：”cc-by“，”licence_id“：”https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.2309.03602“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2309.03602“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”display_name“：”Reduced不等式“，”score“：0.47}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W4281257855","https://openalex.org/W3195376785","https://openalex.org/W3013941779","https://openalex.org/W2953122955","https://openalex.org/W2951185269","https://openalex.org/W2388301251","https://openalex.org/W2376029318","https://openalex.org/W2013770701","https://openalex.org/W1998659141","https://openalex.org/W1581373162“]，”ngrams_url“：”https://api.openalex.org/works/W4386555149/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“give”：[1]，“a”：[2,13]，“complete”：[3]，“inventive”：[4]，“proof”：[5]，“of”：“：[6,12,15]，“Statman’s”：[7]，“finited”：[8]，“completive”：[9]，“定理”：[10,17]，“：[20,24]，”$\\lambda$-definitibility“：[21]，”猜想“：[22]，”暗示“：[23]，”高阶“：[25]，”匹配“：[26]，”推测。“：[27]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4386555149“，”counts_by_year“：[]，”updated_date“：”2024-05-26T00:34:05.874137“，”created_date:“2023-09-09”}“