{“id”：“https://openalex.org/W2982268650“，”doi“：”https://doi.org/10.3233/fi-2019-1864“，”title“：”交叉点类型的简单子类型“，”display_name“：”交叉点类型的简单子类型“，”publication_year“：2019，”publication_date“：”2019-10-18“，”ids“：｛”openalex“：”https://openalex.org/W2982268650“，”doi“：”https://doi.org/10.3233/fi-2019-1864“，”mag“：”2982268650“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2019-1864“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S39012697“，”“display_name”“：”“Fundamental informaticae”“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“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”：nul，“any_repository”_has_fulltext“：false}，”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“：true，”raw_author_name“：”Rick Statman“，”raw _affiliation_strings“：[“卡内基梅隆大学数学科学系，匹兹堡，PA 15213，美国。rs31@andrew.cmu.edu。“]｝]，”countries_distict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[”https://openalex.org/A5051071400“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：0，”ciped_by_percentile_year“：{”min“：0”max“：66}，”biblio“：{“volume”：“170”，”issue“：”1-3“，”first_page“：”307“，”last_page“：”324https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9696，”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.9696，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9658，”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/T12504“，”display_name“：”几何数学基础“，”score“：0.956，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.47443}]，”concepts“：[{”id“：”https://openalex.org/C70388272，“wikidata”：https://www.wikidata.org/wiki/Q5968558“，”display_name“：”IBM“，”level“：2，”score“：0.7866477}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.75225616}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.6191093}，{”id“：”https://openalex.org/C2780495726，“wikidata”：https://www.wikidata.org/wiki/Q2186896“，”display_name“：”Estate“，”level“：2，”score“：0.54516584}，{”id“：”https://openalex.org/C2776608531，“wikidata”：https://www.wikidata.org/wiki/Q12253“，”display_name“：”Watson“，”level“：2，”score“：0.4533857}，{”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534网址“，”display_name“：”数理经济学“，”level“：1，”score“：0.4069826}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3788861}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.37789464}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.33094406}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.32139906}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.23565713}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.21341786}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.19877437}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1775819｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.17124027}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.1686635}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.09074074}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.07372463}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190（网址：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“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2019-1864“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S39012697“，”“display_name”“：”“Fundamental informaticae”“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_ordanization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nul，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[].[“https://openalex.org/W4281622825","https://openalex.org/W4232759540","https://openalex.org/W3174693904","https://openalex.org/W2967949125","https://openalex.org/W2902037120","https://openalex.org/W2313409890","https://openalex.org/W2244083488","https://openalex.org/W2151363515","https://openalex.org/W1986704677","https://openalex.org/W1035030678“]，”ngrams_url“：”https://api.openalex.org/works/W2982268650/ngrams网站“，”“abstract_inverted_index”：{“求解”：[0]，“the”：[1,20,78,81,93,99147150]，“Entscheidungsproblem”：[2]，“was”：[3,80102]，“a”：[4,29,89143]，“challenge”：[5]，“first”：[6]，“possed”：[7]，“by”：[8,97]，“David”：/9]，“Hilbert”：[10]，“in”：[11,24,73103]，“1928，”：[12]，“and”：[13,65,77]，“解决方案”：[14]，“到”：[15,57,75113]，“决定”：[16,67136]，“问题”：[17,68]，“是“：[18]，”也许“：[19]，”大多数“：[21]，”有价值“：[22]，”命题“：[23]，”逻辑。“：[25]，”Pawel“：[26]，”Urzyczyn“：[27]，”has“：[28]，”number“：[30]，”of“：[31,34,45105135146149]，”these“：[32]，”one“：[33]，”which“：[35]，”I“：[36]，”will“：[37]，”discusse“：[38]，”如下。“：[39]，”“然而，”：[40]，“让”：[41]，“我”：[42]，“提醒”：[43]，“你”：[44]，“迈克尔”：[46]，“拉宾”：[47]，“描述”：[48]，“他的”：[49]，“时间”：[50]，“with”：[51]，“达纳”：[52]，“斯科特”：[53]，“at”：[54]，“IBM”：[55,76133]，“previous”：[56]，“他们的”：[58,66]，“图灵”：[59]，“奖项”：[60]，“获奖”：[61]，“论文”：[62]，“有限”：[63]，“自动机”：[64]，“\u201cSo”：[69]，“我们”：[70141]，“both“：[71]，”go“，”：[72]，”1957“：[74]，”location“：[79]，”所谓的“：[82]，”Lamb“：[83,87108]，”Estate“：[84]，”Robert“：[85]，”S.“：+86]，”Estate]，“：[88]，”wood“：[90]，”place“：[91]，”while“：/92]，”Princeton“：[94]，”Laboratory“：[95]，”designed“：[96]，”Sarason“：[98]，”Watson“：[100]，”实验室“：[101]，”阶段“：[104]，”施工。“：[106]，“The”：[107]，“Estate”：[109]，“very”：[110]，“appropriate”：[111]，“used”：[112]，“be”：[114]，“before”：[115]，“that”：[116]，“an”：[117]，“Insane”：+118]，“Asylum”。“：[119]，“所有”：[120]，“那些”：[121]，“建筑物”：[122]，“是”：[123127]，“建筑”：[124]，“其中”：[125]，“怪人”：[126]，“居住。。。\u201d“：[128]，”[1]。“：[129]，”这个“：[130]，”是“：[131]，”什么“：[132]，”思想“：[134]，”问题。“：[137]，”In“：[138]，”this“：[139]，”note“：[140]，”give“：[142]，”new“：/144]，”proof“：[145]，”不可判定性“：[148]，”居民“：[151]，”问题“：[152]，”for“：[153]，”交集“：[154]，”types。“：[155]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2982268650“，”counts_by_year“：[]，”updated_date“：”2024-05-20T17:29:24.400143“，”创建日期“：”2019-11-01“}