{“id”：“https://openalex.org/W1605110536“，”doi“：”https://doi.org/10.109/lics.1988.5104“，”title“：“表征lambda-beta-Omega-演算中的X-可分离性和单侧可逆性”，”display_name“：”表征lambda-beta-Omega-clustics中的X--可分离度和单侧可可逆性“，”publication_year“：2003，”publitation_date“：”2003-01-06“，”ids“：{”openalex“：”https://openalex.org/W1605110536“，”doi“：”https://doi.org/10.1109/lics.19988.5104“，”mag“：”1605110536“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1988.5104“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5086377181“，”display_name“：”Corrado B\u00f6hm“，”orcid“：null}，”institutions“：[]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“”：“C.Bohm”，“raw_affiliation_strings”：[”Dipartitiono di Matematica，Rome Univ.，Italy“]，“affiliations”：[{”raw_affiliations_string“：”Dipartimento di Matematica，Rome Univ.，意大利“，”，“institution_ids”：[]}]}，{“author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“:”A.Piperno”，“raw_affiliation_strings”：[“意大利罗马大学马特马特马蒂亚学院”]，“afliations”：[{“raw_affiliation_string”：“意大利罗马学院马特马蒂亚学院学院”，“institution_ids”：[]}]，“institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：0，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：0.0，”has_fulltext“：false，”cited_by_count _percent“：false}，”cited_by_percentile_year“：{“min”：74，“max”：76}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9895，“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.9895，“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.987，”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.9345，”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/model-checking“，”display_name“：”模型检查“，”score“：0.50768}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.506872}]，”concepts“：[{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.7231289}，{”id“：”https://openalex.org/C2779557605，“wikidata”：https://www.wikidata.org/wiki/Q9890（网址：https://www.wikidata.org/wiki/Q9890）“，”display_name“：”Omega“，”level“：2，”score“：0.6014806}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.56555814}，{”id“：”https://openalex.org/C99138194，“wikidata”：https://www.wikidata.org/wiki/Q183427“，”display_name“：”哈希函数“，”level“：2，”score“：0.4734026}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.44567657}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.41266492}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.19845587}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.08012664}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”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.109/lics.1988.5104“，”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“：0，”referrenced_works“：〔]，”related_work“：[”https://openalex.org/W4292947165","https://openalex.org/W3201655533","https://openalex.org/W3134442314","https://openalex.org/W3045121788","https://openalex.org/W3016395638","https://openalex.org/W2951695430","https://openalex.org/W2734192830","https://openalex.org/W238609530","https://openalex.org/W2281248943","https://openalex.org/W1636163329“]，”abstract_inverted_index“：{”给定“：[0]，”a“：[1,23,55160]，”有限“：[2]，”集“：[3,24,68,99]，”T“：[4,65100]，”相同“：[5,27,70124]，”到“：[6,28,71,88125166182]，”（T/sub“：[7]，”1/，“：[8,30,73151]，”.“：[9,10,11,11,31,374,75,76129130131139140152153]，”，“，”[12]，“T/）”：[13,78]，“的”：[14,16,36,43,50,61,79,97162177]，“术语”：[1510218]，““：[17,41,48,59,67,98112117146]，”lambda“：[18104126]，”-“：[19105107]，”beta“：[20106]，”-K-calculation“：[21]，”and“：[22171]，”X/sub“：[25,45,62,83]，”T/“：/26,63]，”（X/sub”：[29]，“.，”：[33141154]，“X/sub”：[34127132]，“n/）”：[35]，“自由”：[37]，“变量“：[38]，”（occurring“：[39]，”in“：[40103]，”elements“：[42,60]，”T），“：[44]，”T/-可分性“：[46,84]，”是“：[47,86114180]，”问题“：[49,85]，”决定“：[51]，”是否“：[52]，”那里“：[53]，”存在“：[54]，”同时“：[56]，”替换“：[57]，”for“：[58,91]，”转换“：[64]，”到“：[66]，”Z“：[69]，”，“已证明”：[87181]，“be”：[89183]，“可解”：[90]，“任意”：[92]，“近似”：[93]，“T/sup“：[94119134148155]，”Hash“：[95121135149156]，”/“：[96]，”by“：[101]，”Omega“：[108]，”-normal“：[109]，”form.“：[110]，”Since“：[111]，”characterization“：[113]，”constructional“：[115]，”if“：[116]，”：[120]，“//sub”：[122136150157]，“i/”：[123137]，“1/”：[128]，”n/。“：[133]，”（i=1，“：[138]，”t）“：[142]，”are“：[143]，”closed“：[144]，”then“：[145]，”sequence“：[147]，”t/“：%158]，”induces“：[159]，”family“：[161179]，”mappings“：/163]，”from“：[164]，”n“：-165]，”dimensions“：[168]，”which“：[169]，”sujectivity“：[170]，”right不可兑换性“：[172]，”变为“：[173]，”可判定。“：[174]，”左不可变性“：[176]，”此“：[178]，”可判定“：[184]，”也是<":[185],">“：[188]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1605110536“，”counts_by_year“：[]，”updated_date“：”2024-09-19T23:43:11.623807“，”创建日期“：”2016-06-24“}