{“id”：“https://openalex.org/W2108857165“，”doi“：”https://doi.org/10.109/lics.1999.782617“，”title“：”涉及绑定器的抽象语法的新方法“，”display_name“：”涉及绑定器的抽象语法的新方法“，”publication_year“：2003，”publication_date“：”2003-01-20“，”ids“：｛”openalex“：”https://openalex.org/W2108857165“，”doi“：”https://doi.org/10.109/lics.1999.782617“，”mag“：”2108857165“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1999.782617“，”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/A5022313675“，”display_name“：”Murdoch J.Gabbay“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”M.Gabbey“，”raw _affiliation_strings“：]，”affiliations“：[/]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5035484728“，”display_name“：”Andrew M.Pitts“，”orcid“：”https://orcid.org/0000-0001-7775-3471“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”A.Pitts“，”raw _ afiliation_strings“：[]，“从属关系”：[]}]，”countries _ distinct_count“：0，”institutions _ disting_count has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：152，”cited_by_percentile_year“：{”min“：97，”max“：98}，”biblio“：{volume“：null，”issue“：null，”first_page“：nul，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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.9993，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9955，“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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.543271}，{”id“：”https://openalex.org/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.525288}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.511185}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.659688}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.61181194}，{”id“：”https://openalex.org/C65236422，“wikidata”：https://www.wikidata.org/wiki/Q173740“，”display_name“：”笛卡尔积“，”level“：2，”score“：0.56558883}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.56077796}，{”id“：”https://openalex.org/C2778220771，“wikidata”：https://www.wikidata.org/wiki/Q1522579“，”display_name“：”替换（逻辑）“，”level“：2，”score“：0.5454316}，{”id“：”https://openalex.org/C114408938，“wikidata”：https://www.wikidata.org/wiki/Q333373“，”display_name“：”抽象语法“，”level“：3，”score“：0.498497}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.49503368}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.48932335}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.47432536}，{”id“：”https://openalex.org/C118930307，“wikidata”：https://www.wikidata.org/wiki/Q600590“，”display_name“：”Tuple“，”level“：2，”score“：0.46285665}，{”id“：”https://openalex.org/C21308566，“wikidata”：https://www.wikidata.org/wiki/Q7169365“，”display_name“：”置换（音乐）“，”level“：2，”score“：0.4445549}，{”id“：”https://openalex.org/C153046414，“wikidata”：https://www.wikidata.org/wiki/Q12482“，”display_name“：”Set theory“，”level“：3，”score“：0.438707｝，｛”id“：”https://openalex.org/C45340560，“wikidata”：https://www.wikidata.org/wiki/Q215382“，”display_name“：”Disjoint sets“，”level“：2，”score“：0.43283582｝，｛”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.42690456}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.38109946}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.3779749}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26690087}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.24916863}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.20980051}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.12578478}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.11550403}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1999.782617“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：33，“referrenced_works”：[”https://openalex.org/W1415587708","https://openalex.org/W1496188934","https://openalex.org/W1514119099","https://openalex.org/W1517052937","https://openalex.org/W1531899789","https://openalex.org/W1534018603","https://openalex.org/W1550435668","https://openalex.org/W1593666219","https://openalex.org/W1815958522","https://openalex.org/W1829244603","https://openalex.org/W1949275316","https://openalex.org/W1992655849","https://openalex.org/W1996404651","https://openalex.org/W2054024574","https://openalex.org/W2061786858","https://openalex.org/W2101032471","https://openalex.org/W2104204098","https://openalex.org/W2116286972","https://openalex.org/W2140595120","https://openalex.org/W2143893379","https://openalex.org/W2145101842","https://openalex.org/W2151038558","https://openalex.org/W2151662544","https://openalex.org/W2159709550","https://openalex.org/W2163693197","https://openalex.org/W2166051945","https://openalex.org/W2324455841网址","https://openalex.org/W2568721247","https://openalex.org/W2913281688","https://openalex.org/W4210639184","https://openalex.org/W50704842","https://openalex.org/W569543113","https://openalex.org/W89881250“]，”related_works“：[”https://openalex.org/W4293743928","https://openalex.org/W4246531319","https://openalex.org/W3003081834","https://openalex.org/W2898994992","https://openalex.org/W2514398768","https://openalex.org/W2440748874","https://openalex.org/W2203405714","https://openalex.org/W2140443934网址","https://openalex.org/W2078334802","https://openalex.org/W2026889117“]，”ngrams_url“：”https://api.openalex.org/works/W2108857165/ngrams网站“，”abstract_inverted_index“：{”The“：[0]，”Fraenkel-Mostowski“：[1]，”permutation“：[2]，”model“：[3]，”of“：[4,16,60,92112125132138]，”set“：[5,70124]，”理论“：[6,41,91]，”with“：[7,73]，”atoms“：[8]，”（FM-sets）“：[9]，”can“：[10,43,79,96]，”serve“：[11]，”as“：[12120]，”The“：[13,89]，”语义“：[14]，”基础“：[15]，”元逻辑“：[17]，”用于“：[18115]，”指定“：[19]，”和“：[20,33,50,76129]，“推理”：[21]，“关于”：[22]，“形式”：[23]，“系统”：[24]，“涉及”：[25,66102]，“名称”：[26,61,68]，“绑定”：[27]，“/spl”：[28]，“alpha/-转换”：[29]，“捕获”：[30121]，“避免”：[31122]，“替换”：[32123]，“so”：[34]，“on。”：[35]，“We”：[36]，“show”：[37]，“that”：[38]，“in”：[39]，“FM-set”：[40]，“one”：[42]，“express”：[44]，“语句“：[45]，“量化”：[46]，“over”：[47]，“fresh”：[48]，“name”：[49]，“we”：[51]，“use”：[52]，“this”：[53,67,87]，“to”：[54,99143]，“give”：[55]，“a”：[56130]，“novel”：57]，“set-theoretic”：58]，“interpretation”：[59]，“abstraction”。“：[62]，”Inductively“：[63]，”defined“：[64]，”FM-sets“：[65]，”abstration“：[69]，”former“：[71]，“（together”：[72]，”cartesian“：[74]，”product“：[75]，”disjoint“：[77]，”union“）“：[78]，”correctly“：[80]，”encode“：+81]，”objectlevel“：[22]，”syntax“：/83]，”module“：[04]，”e-conversion“。“：[85]，”In“：[86105]，”way“，”：[88]，“standard”：[90]，“algebral”：[93]，“data”：/94]，“types”：[95]，“be”：[97]，“extended”：[98]，“enclosure”：[100]，“signatures”：[101]，“binding”：[103]，“operators”。“：[104]，”special“，”：[106]，”there“：[107]，”is“：[108]，”an“：[109]，”associated“：[110]，”concept“：[1111131]，”structural“：[11315]，”recursion“：[114]，”definiting“：[116]，”syntax-manipulating“：117]，”functions“：[118]，”（such“：[119]，”free“：[126]，”variables，“：[127]，”etc.）“：[128]，”proof“：[133]，”by“：[134]，“归纳法”：[136]，“两者”：[137]，“其中”：[139]，“保持“：[140]，“令人愉快”：[141]，“接近”：[142]，“非正式”：[144]，“练习”。“：[145]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2108857165“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：4]，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：1}，{“年份”:2016，“引用_by_counts”：5}，}“年份“：2015，”引用_ by-count“：6}，{“年份”：2014，“引用_ by_count”：4}，{”年份”：2013，“引用_by_counts”：7}，}”年份“：2012，“引用的_by_cunt”：4]，“更新日期”：“2024-06-29T02:39:48.479473”，“创建日期”：”2016-06-24“}