{“id”：“https://openalex.org/W2026582161“，”doi“：”https://doi.org/10.1142/0129054190000230“，”title“：”REGULAR SYSTEMS OF EQUALTIONS IN \u03bb-CALCULUS“，”display_name“：”REGULAR SYSTEMS OF EQUALITIONS IN \u 03bb-CALCULUS“，”publication_year“：1990，”publiction_date“：”1990-09-01“，”ids“：{”openalex“：”https://openalex.org/W2026582161“，”doi“：”https://doi.org/10.1142/0129054190000230“，”mag“：”2026582161“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1142/0129054190000230“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S68047077“，”“display_name”：“国际计算机科学基础杂志”，“issn_l”：“0129-0541”，“isn”：[“0129-0.541”、“1793-6373”]，“is_oa”：false，“is.in_doaj”：false，“is_core”：true，“host_organization”：“”https://openalex.org/P4310318815“，”host_organization_name“：”World Scientific“，”host_organization _lineage“：[”https://openalex.org/P4310318815“]，”host_organization_lineage_names“：[”World Scientific“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”ADOLFO PIPERNO“，”raw_affiation_strings“：[”意大利罗马马泰马蒂卡本科\u201cG.Castelnuovo\u201d罗马大学\u00e0 degli Studi \u201cLa Sapienza\u201d Aldo Moro 5，I-00185“]，”附属机构“：[｛”raw_affiation_string“：”Matematica研究生院，Istituto\u201cG。Castelnuovo\u201d University\u00e0 degli Studi di Roma\u201cLa Sapienza\u201d-Piazzale Aldo Moro 5，I-00185 Rome，Italy“，“institution_ids”：[“https://openalex.org/I861853513“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5010524910“，”display_name“：”Enrico Tronci“，”orcid“：”https://orcid.org/0000-0002-0377-3119}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”ENRICO TRONCI“，”raw _affiliation_strings“：[“美国宾夕法尼亚州匹兹堡卡内基梅隆大学数学系，宾夕法尼亚州15213”]，”affiliations“：[{”raw _affiliation_string“：”美国宾夕法尼亚州匹兹堡卡内基梅隆大学，数学系，“institution_ids”：[“https://openalex.org/I74973139“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：0.991，”has_fulltext“：false，”cited_by_count%“：false}，”cited_by_percentile_year“：{“min”：75，“max”：77}，“biblio”：{”volume“：”01“，”issue“：”03“，”first_page“：”325“，”last_page“：“339”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9875，”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.9875，”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.9697，”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.9446，”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/undeditable-problem“，”display_name“：”无法确定问题“，”score“：0.9187107}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.498577}]，”concepts“：[{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法解决的问题“，”level“：3，”score“：0.9187107｝，｛”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”“display_name”“：”“可决定性”“，”级别“：2，”分数“：0.83957976}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.67380905}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.6659136}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.57342136}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.5367649}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.43879154}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.371337}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.27087575}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.22624779}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”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.1142/0129054190000230“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S68047077“，”“display_name”：“国际计算机科学基础杂志”，“issn_l”：“0129-0541”，“isn”：[“0129-0.541”、“1793-6373”]，“is_oa”：false，“is.in_doaj”：false，“is_core”：true，“host_organization”：“”https://openalex.org/P4310318815“，”host_organization_name“：”World Scientific“，”host_organization _lineage“：[”https://openalex.org/P4310318815“]，”host_organization_lineage_names“：[”World Scientific“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“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/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2962928105","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2170336571","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W2020140696","https://openalex.org/W1501430220“]，”abstract_inverted_index“：｛”Many“：[0]，”problems“：[1，62]，”increasing“：[2]，”in“：[3，33]，”equional“：[4]，”理论“：[5]，”like“：[6]，”Lambda微积分“：[7，67]，”and“：[8，56，63，72]，”Combinational“：[9]，”Logic“：[10]，”can“：[11，69]，”be“：[12，52，70，851100]，”expression“：[13]，”by“：[14,74]，“组合”：[15]，“方程”：[16]，“或”：[17]，“系统”：[18,31]，““：[19,30,48,66,76,81,92]”等式。“：[20]，”“然而，”：[21]，“the”：[22,94]，“solverability”：[23,95]，“problem”：[24,96]，“for”：[25,89]，“an”：[26]，“任意”：[27]，“given”：[28]，“class”：[29,47,83]，“is”：[32]，“general”：[34]，“undedidable”。“：[35101]，”In“：[36]，”this“：[37]，”paper“：[38]，”we“：[39,57]，”shall“：[40,58]，”focus“：%41]，”our“：+42]，”attention“：[43]，”on“：[44]，”a“：[45]，”decitable“：[46]，”systems“，”：[49,55]，”which“：[50]，”will“：[P1,84]，”call“：[53]，”regular“：[54,77]，”analysis“：[59]，”some“：[60]，”classical“：[61]，”known“：[64]，”properties“：[65]，”that“：[68，88]，”descripted“：[71]，”“：[73]”表示“：[75]”系统。“：[78]，“The”：[79]，“significance”：[80]，“such”：[82]，“impressized”：[86]，“showing”：[87]，“slight”：[90]，“extensions”：[91]，“it”：[93]，“turns”：[97]，“out”：[98]，“to”：[99]}，“cited_by_api_url”：”https://api.openalex.org/works？filter=cites:W2026582161“，”counts_by_year“：[]，”updated_date“：”2024-08-13T08:17:53.090758“，”创建日期“：”2016-06-24“}