{“id”：“https://openalex.org/W3177401647“，”doi“：”https://doi.org/10.109/lics52264.2021.9470660“，”title“：”带邻域的一阶逻辑的代数特征“，”display_name“：”带有邻域的第一阶逻辑的数学特征“，“publication_year”：2021，“publitation_date”：“2021-06-29”，“ids”：{“openalex”：“https://openalex.org/W3177401647“，”doi“：”https://doi.org/10.109/lics52264.2021.9470660“，”mag“：”3177401647“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470660“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/2105.09368“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5072473577“，”display_name“：”Amaldev Manuel“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210112052“，”display_name“：”果阿印度理工学院“，”ror“：”网址：https://ror.org/02v7trd43“，”country_code“：”IN“，”type“：“教育”，”世系“：[”https://openalex.org/I4210112052“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”Amaldev Manuel“，”raw _ afiliation_strings“：[“印度果阿理工学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5067969358“，”display_name“：”Dhruv Nevatia“，”orcid“：”https://orcid.org/0009-0008-0845-6754}，“机构”：[{“id”：https://openalex.org/I19149307“，”display_name“：”钦奈数学学院“，”ror“：”https://ror.org/04zp24820“，”country_code“：”IN“，”type“：“教育”，”世系“：[”https://openalex.org/I19149307“]}]，”countries“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”Dhruv Nevatia“，”raw _affiliation_strings“：【”Chennai数学研究所“】}]，“countries_distict_count”：1，“institutions_disticenc_count”：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc paid”：null，“has_fulltext”：false ed_by_count“：0，”cited_by_percentile_year“：{“min”：0，“max”：63}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：1.0，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：1.0，”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.9959，”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/T10911“，”“display_name”：“肽合成与药物发现”，“score”：0.9823，“subfield”：{“id”：“https://openalex.org/subfields/1312“，”display_name“：”分子生物学“}，”字段“：{”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.52992}，{”id“：”https://openalex.org/keywords/modal-logics（https://openalex.org/keywords/modal-logics）“，”display_name“：”模态逻辑“，”score“：0.502777}]，”概念“：[{”id“：”https://openalex.org/C2781409172，“wikidata”：https://www.wikidata.org/wiki/Q17056802“，”display_name“：”内卷化（秘传）“，”level“：3，”score“：0.8135399}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.77513427}，{”id“：”https://openalex.org/C137212723，“wikidata”：https://www.wikidata.org/wiki/Q1948412“，”display_name“：”Morphism“，”level“：2，”score“：0.5272804}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.48023087}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.46796662}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.433191}，{”id“：”https://openalex.org/C2778508345，“wikidata”：https://www.wikidata.org/wiki/Q3022118“，”display_name“：”逆半群“，”level“：3，”score“：0.42420512}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.41894996}，{”id“：”https://openalex.org/C183778304，“wikidata”：https://www.wikidata.org/wiki/Q165474“，”display_name“：”交换属性“，”level“：2，”score“：0.41209432}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470660“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2105.09368，“pdf_url”：https://arxiv.org/pdf/2105.09368，“源”：{“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”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2105.09368，“pdf_url”：https://arxiv.org/pdf/2105.09368，“源”：{“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“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[｛”score“：0.57，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”referrenced_works“：【”https://openalex.org/W1533648993","https://openalex.org/W1560463521","https://openalex.org/W1576515432","https://openalex.org/W1994892604","https://openalex.org/W200063938","https://openalex.org/W2013085432","https://openalex.org/W2021552369","https://openalex.org/W2038638040","https://openalex.org/W2044010368","https://openalex.org/W2065599266","https://openalex.org/W2083946433","https://openalex.org/W2088352571","https://openalex.org/W2116250539","https://openalex.org/W2119414381","https://openalex.org/W2531234554","https://openalex.org/W2544418390","https://openalex.org/W2888836038","https://openalex.org/W2912319764","https://openalex.org/W2964950918","https://openalex.org/W4251535942","https://openalex.org/W4302612925“]，”related_works“：[”https://openalex.org/W856865640","https://openalex.org/W3153960211","https://openalex.org/W3113041692","https://openalex.org/W3100593643","https://openalex.org/W2952244080网址","https://openalex.org/W2768503191","https://openalex.org/W2620840829","https://openalex.org/W2139158010","https://openalex.org/W2083894684","https://openalex.org/W2074310945“]，”ngrams_url“：”https://api.openalex.org/works/W3177401647/ngrams“，”“abstract_inverted_index”：{“We”：[0,99]，“give”：[1]，“an”：[2,26,88]，“代数”：[3]，“特征化”：[4,60]，“of”：[5,20,48,51,87104107111122133137]，“一阶”：[6]，“逻辑”：[7,74]，“with”：[8,25,64]，“the”：[9,41,55,73102]，“neighbor”：[10,65]，“relation”：[11]，“on”：[12,28]，“有限”：[13,21]，“单词”：[14]，“For”：[15]，“this”：[16]，“We”：[17,43]，“考虑“：[18]，”语言“：[19,35112134]，”单词“：[22]，”超过“：[23]，”字母“：[24]，”对合“：[27,52,91,97105131138]，”它们。“：[29]，”The“：[30,59]，”natural“：[31]，”algebras“：[32]，”for“：[33,62]，”such“：[34]，”are“：[36]，”半群。“：[38139]，”To“：[39]，”characterie“：[40]，”logic“：[42]，”define“：[44101]，”a“：[45,68,83,94]，”special“：[46]，”kind“：[47]，”semidirect“：[49]，”product“：50,86]，”半群“：[53]，”called“：[P4]，”local“：[56,84,95]，”hermitian“：57,85]，”product“。“：[58]，”定理“：[61]，”FO“：[63]，”状态“：[66]，”that“：[67]，”语言“：[69]，”is“：[70,80128]，”可定义“：[71]，”in“：[72]，”if“：[75,78]，”and“：[76,9319135]，”only“：[77]，”it“：[79]，”已识别“：[81]，”by“：[82]，”非周期“：[89]，”可交换“：[90]，”半群，“：[92]，”平凡“：[96]，”半群。“：[98]，”then“：[100]，”concept“：[103]，”variates“：[106132]，”languages“：[108]，”即“：[109]，”class“：[110]，”closed“：[113]，”under“：[114]，”Boolean“：+115]，”operations“：[116]，”商“：[117]，”对合“：[118]，”inverse“：[120]，”images“:121]，”coveriory“：[123]，”morphism。“：[124]，”An“：[125]，”Eilenberg-type“：[126]，”通信“：[127]，”建立“：[129]，”介于“：[130]，”伪变种“：[136]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W3177401647“，”counts_by_year“：[]，”updated_date“：”2024-05-22T20:21:49.849926“，”created_date:“2021-07-05”}“