{“id”：“https://openalex.org/W1897674274“，”doi“：”https://doi.org/10.109/lics.1998.705640“，”title“：“字符串上的存在二阶逻辑”，”display_name“：”字符串上的现存二阶逻辑“，”publication_year“：2002，”publitation_date“：”2002-11-27“，”ids“：{”openalex“：”https://openalex.org/W1897674274“，”doi“：”https://doi.org/10.109/lics.1998.705640“，”mag“：”1897674274“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1998.705640“，”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”：“”http://geb.uni-giessen.de/geb/volltexte/1998/25/pdf/IfigReport9702.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5082178480“，”display_name“：”Thomas Eiter“，”orcid“：”https://orcid.org/0000-0001-6003-6345“}，”机构“：[]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”T.Eiter“，”raw_affiliation_strings“：[“德国吉本大学信息研究所”：[{“raw_affiliation _string”：“德国吉本吉本大学研究所”，”机构ID“：[]}，{“author_position”：“middle”，“作者“：{”id“：”https://openalex.org/A5050151740“，”display_name“：”Georg Gottlob“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145847075“，”display_name“：”TU Wien“，”ror“：”https://ror.org/04d836q62“，”country_code“：”AT“，”type“：“教育”，”世系“：[”https://openalex.org/I145847075“]}]，”国家“：[”AT“]，”is_corresponding“：false，”raw_author_name“：”G.Gottlob“，”raw _affiliation_strings“：[“维也纳理工大学，奥地利维也纳信息系统研究所”]，”affiliations“：[{”raw _affiliation_string“：”维也纳理工学院，奥地利维也纳资讯系统研究所“，”institution_ids“：[https://openalex.org/I145847075“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5065430432“，”display_name“：”Yuri Gurevich“，”orcid“：”https://orcid.org/0000-0001-7808-9293}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Y.Gurevich“，”raw _ afiliation_strings“：[“密歇根大学EECS系，密歇根州安娜堡”]，”affiliations“：[{”raw _affiliation_string“：”密歇根州立大学EECS部，密歇歇根州安娜堡”，“institution_ids”：[“https://openalex.org/I27837315“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：1.297、“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：6，”cited_by_percentile_year“：{”min“：78，”max“：79}，”biblio_year““：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9998，”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“：0.9998，”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/T10181“，”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.9976，“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/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.495475}]，”concepts“：[{”id“：”https://openalex.org/C141603448，“wikidata”：https://www.wikidata.org/wiki/Q134830“，”display_name“：”前缀“，”级别“：2，”分数“：0.8598783}，{”id“：”https://openalex.org/C90805587，“wikidata”：https://www.wikidata.org/wiki/Q10944557“，”display_name“：”Word（群论）“，”level“：2，”score“：0.52433926}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.50727147}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.44513944}，{”id“：”https://openalex.org/C144791301，“wikidata”：https://www.wikidata.org/wiki/Q1548746“，”display_name“：”二阶逻辑“，”level“：4，”score“：0.42731738}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.34859252}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33990338}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.32553083}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.3025416}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.20074594}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.09613654}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1998.705640“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://geb.uni-giessen.de/geb/voltext/1998/25/，“pdf_url”：http://geb.uni-giessen.de/geb/volltexte/1998/25/pdf/IfigReport9702.pdf，“源”：{“id”：https://openalex.org/S4306401439“，”display_name“：”Giessen大学Justus Liebig University的大学写入服务器（Justus-Liebig-Universit\u00e4t Gie\u00dfen）“，”issn_l“：null，”issn“：nully，”is_oa“：true，”isin_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I200763008“，”“host_organization_name”：“吉森大学”，“host_ordanization_lineage”：[“https://openalex.org/I200763008“]，”host_organization_lineage_names“：[”Giessen大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://geb.uni-giessen.de/geb/volltexte/1998/25/，“pdf_url”：http://geb.uni-giessen.de/geb/volltexte/1998/25/pdf/IfigReport9702.pdf，“源”：{“id”：https://openalex.org/S4306401439“，”display_name“：”Giessen大学Justus Liebig University的大学写入服务器（Justus-Liebig-Universit\u00e4t Gie\u00dfen）“，”issn_l“：null，”issn“：nully，”is_oa“：true，”isin_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I200763008“，”“host_organization_name”：“吉森大学”，“host_ordanization_lineage”：[“https://openalex.org/I200763008“]，”host_organization_lineage_names“：[”Giessen大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”score“：0.61，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：32，”referrenced_works“：【”https://openalex.org/W1516182147","https://openalex.org/W1533648993","https://openalex.org/W1549008998","https://openalex.org/W1578881602","https://openalex.org/W1588869192","https://openalex.org/W1598248880","https://openalex.org/W1889920293","https://openalex.org/W1968490853","https://openalex.org/W1975410968","https://openalex.org/W1980692207","https://openalex.org/W1986690595","https://openalex.org/W1989783863","https://openalex.org/W200063938","https://openalex.org/W2003895694","https://openalex.org/W2006484856","https://openalex.org/W2033743662","https://openalex.org/W2034586951","https://openalex.org/W2043214415","https://openalex.org/W2065251436","https://openalex.org/W2088094394","https://openalex.org/W2125362004","https://openalex.org/W2138856440","https://openalex.org/W2141111771","https://openalex.org/W2170743240","https://openalex.org/W2171280299","https://openalex.org/W4205178514","https://openalex.org/W4210487804","https://openalex.org/W4210596830","https://openalex.org/W4244088669","https://openalex.org/W596942210","https://openalex.org/W657835803","https://openalex.org/W87231157“]，”related_works“：[”https://openalex.org/W4387318785","https://openalex.org/W2178865018","https://openalex.org/W2142816242","https://openalex.org/W2035645574","https://openalex.org/W2006286500","https://openalex.org/W1981373951","https://openalex.org/W1603377159","https://openalex.org/W1580672106","https://openalex.org/W1518114393","https://openalex.org/W1005360155“]，”ngrams_url“：”https://api.openalex.org/works/W1897674274/ngrams“，”“abstract_inverted_index”：{“存在”：[0]，“二阶”：[1,6]，“逻辑”：[2,7,14,24]，“（ESO）”：[3]，“和”：[4,15,39,98]，“一元”：[5]，“”（MSO）“：[8]，“有”：[9]，“吸引”：[10]，“很多”：[11,21]，“兴趣”：[12]，“in”：[13]，“计算机”：[16]，”科学“：[17]，“ESO”：[18,60]，“is”：[19]，“a”：[20,84]，“more”：[22]，“expressive”：[23]，“over”：[25,61,75,96]，“word”：[26,65]，“结构“：[27]，”than“：[28]，”MSO。“：[29]，”然而，“：[30]，”小“：[31]，”是“：[32]，”已知“：[33]，”关于“：[34]，”the“：[35，56，70100]，”relationship“：[36，54]，”between“：[37]，”MSO“：[38，95]，”句法“：[40]，”片段“：[41]，”of“：[42，59，72，87，99]，”ESO。“：[43]，“We”：[44,81]，“shed”：[45]，“light”：[46]，“on”：[47108]，“this”：[48,53]，“issue”：[49]，“by”：[50]，“completely”：[51]，“charactering”：[52]，“for”：[55,77]，“prefix”：[57]，“classes”：58,90102]，“strings”，“：[62,76,97]，”（即“：[63]，“finited”：[24]，“structures”）。“：[66]，”“此外，”：[67]，“we”：[68]，“determine”：[69]，“complexity”：[71]，“model”：[73]，“checking”：[74]，“all”：[78]，“ESO-prefix”：[79,89101]，“classes”。“：[80]，”also“：[82]，”give“：[83]，”precise“：[85]，”characterized“：[86]，”these“：88]，”which“：[91103]，”are“：/92104]，”equivalent“：[93]，”to“：[94]，”closed“：[105]，”under“：[106]，”complementation“：[107]，”strings。“：[109]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1897674274“，”counts_by_year“：[]，”updated_date“：”2024-06-29T21:13:21.423842“，”创建日期“：”2016-06-24“}