{“id”：“https://openalex.org/W1488636480“，”doi“：”https://doi.org/10.109/lics.2005.49“，”title“：“两变量一阶逻辑的小子结构和可判定性问题”，”display_name“：”二变量一阶逻辑学的小子结构与可判定性“，”publication_year“：2006，”publitation_date“：”2006-10-11“，”ids“：{”openalex“：”https://openalex.org/W1488636480“，”doi“：”https://doi.org/10.109/lics.2005.49“，”mag“：”1488636480“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.2005.49“，”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/A5090488658“，”display_name“：”Emanuel Kiero\u0144ski“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I219388962“，”display_name“：”Wroc\u0142aw大学“，”ror“：”https://ror.org/00yae6e25“，”country_code“：”PL“，”type“：“教育”，”世系“：[”https://openalex.org/I219388962“]}，{”id“：”https://openalex.org/I4210087266“，”display_name“：”计算机科学研究所“，”ror“：”https://ror.org/003fvp964“，”国家代码“：”PL“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I4210087266","https://openalex.org/I99542240“]}]，”国家“：[”PL“]，”is_corresponding“：false，”raw_author_name“：”E.Kieronski“，”raw _affiliation_strings“：[“沃克大学计算机科学研究所\u0142aw，Joliot-Curie 15，PL-50-383 Wroc\u0142 aw，波兰，电子邮件：kiero@cs.uni.wroc.pl“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5002705704“，”display_name“：”Martin Otto“，”orcid“：”https://orcid.org/0000-0001-6704-3468}，“机构”：[{“id”：https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”M.Otto“，”raw _ afiliation_strings“：[“[德国达姆施塔特理工大学数学系\u00e4t”]}]”，“countries _ distinct_count”：2，“institutions _ disting_count“apc_payd”：空，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：27，”cited_by_percentile_year“：{”min“：90，”max“：91}，”biblio“：”volume“：null，”issue“：null:”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“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/T10126“，”“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9982，”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/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.566822}，{“id”：“https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.514916}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.513924}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.7613989}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998“，”display_name“：”等价关系“，”level“：2，”score“：0.7541896}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法解决的问题“，”level“：3，”score“：0.7540214｝，｛”id“：”https://openalex.org/C65180967，“wikidata”：https://www.wikidata.org/wiki/Q130901“，”display_name“：”二进制关系“，”level“：2，”score“：0.6692481}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.6549135｝，｛”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等效（正式语言）“，”level“：2，”score“：0.61700994｝，｛”id“：”https://openalex.org/C99679407，“wikidata”：https://www.wikidata.org/wiki/Q56761637“，”display_name“：”子结构“，”level“：2，”score“：0.5989277}，{”id“：”https://openalex.org/C70846408，“wikidata”：https://www.wikidata.org/wiki/Q220433“，”display_name“：”逻辑等价“，”level“：3，”score“：0.5469265}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.5065888}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.50359577}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.5016682}，{”id“：”https://openalex.org/C151376022，“wikidata”：https://www.wikidata.org/wiki/Q168698“，”display_name“：”指数函数“，”level“：2，”score“：0.43606758}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.38765797}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C66938386，“wikidata”：https://www.wikidata.org/wiki/Q633538“，”display_name“：”结构工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.2005.49“，”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”：17，“referrenced_works”：[”https://openalex.org/W108850430","https://openalex.org/W1483892218","https://openalex.org/W1549008998","https://openalex.org/W1555563750","https://openalex.org/W1991981864","https://openalex.org/W1998044200","https://openalex.org/W2030359223","https://openalex.org/W2047674711","https://openalex.org/W2086470346","https://openalex.org/W2099081288","https://openalex.org/W2104419987","https://openalex.org/W2111302825","https://openalex.org/W2124580444","https://openalex.org/W2127363472","https://openalex.org/W2137935204","https://openalex.org/W2140992830","https://openalex.org/W2166108892“]，”related_works“：[”https://openalex.org/W4247436880","https://openalex.org/W2963991671","https://openalex.org/W2911544256","https://openalex.org/W278224532","https://openalex.org/W2378405769","https://openalex.org/W2350271179","https://openalex.org/W2271824796","https://openalex.org/W2096644947","https://openalex.org/W1598356149","https://openalex.org/W1556645209“]，”ngrams_url“：”https://api.openalex.org/works/W1488636480/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,43]，“study”：[1]，“一阶”：[2]，“逻辑”：[3]，“with”：[4]，“two”：[5,94]，“variables”：[6]，“FO/sup”：[7,22,53,73,91,97135]，“2/”：[8,23,54,74,98136]，“and”：[9,80]，“estimate”：[10]，“a”：[11,35,69113]，“small”：[12,18]，“子结构”：[13]，“属性”：[14]，“类似”：[15]，“to”：[16,34,47,62109]，“the”：[17,49,76102]，“模型“：[19,78104]，“属性”：[20,79]，“for”：[21,52,83,89]，“we”：[24]，“获取”：[25]，“an”：[26]，“指数”：[27,85]，“大小”：[28]，“绑定”：[29]，“on”：[30]，“嵌入”：[31]，“子结构”：[32]，“相对”：[33]，“固定”：[36]，“周围”：[37]，“结构”：[3]，“that”：[39,5]7118]，“可能”：[40125]，“成为”：[41,63110127]，“无限。“：[42128]，”应用“：[44]，”此“：[45]，”技术“：[46]，”分析“：[48]，”可满足性“：[50]，”问题“：[51]，”根据“：[55]，”约束“：[56]，”要求“：[58]，”多个“：[59]，”二进制“：[60]，”关系“：[61]，”解释“：[64]，”作为“：[65,88]，”等价“：[66,71,95133]，”关联。“：[67]，“With”：[68,93]，“single”：[70]，“relation”，“：[72]，“has”：[75]，“finited”：[77103120]，“is”：[81107137]，“complete”：[82]，“non-determinative”：[84]，“time”，“:[86]，“just”：[87]，“plain”：[90]，“2/。“：[92]，”关系“：[96134]，”做“：[99]，”不“：[100]，”有“：[101]，”属性“：[105]，”但“：[106]，”显示“：[108]，”可判定“：[111]，”通过“：[112]，”构造“：[114]，”的“：[115]，”常规“：[116]，”模型“：[117]，”承认“：[119]，”描述“：[121]，”即使“：[122]，”虽然“：[123]，”他们“：[124]，“必须”：[126]，“对于”：[129]，“三”：[130]，“或”：[131]，“更多”：[132]，“无法确定。“：[138]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1488636480“，”“counts_by_year”：[{“年份”：2019，”“cited_by_count”：1}，{“年度”：2018，”“cited_by_cunt”：2}，}“年”：2017，”“cited_by_count”“：1}，{”“年”“：2016，”“cuted_by-count”“:3}，”“年份”“：2015，”2012，“cited_by_count”：2}]，“updated_date”：“2024-06-04T09:01:52.260688”，“创建日期”：“2016-06-24"}