{“id”：“https://openalex.org/W3210894027“，”doi“：”https://doi.org/10.1145/3470646“，”title“：“图解变量通用量化的形式系统”，”display_name“：“图示变量通用量化形式系统”、“publication_year”：2021，“publication_date”：“2021-10-22”，“ids”：{“openalex”：“https://openalex.org/W3210894027“，”doi“：”https://doi.org/10.1145/3470646“，”mag“：”3210894027“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3470646“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://arxiv.org/pdf/1911.12749“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5020479799“，”display_name“：”Ferruccio Guidi“，”orcid“：”https://orcid.org/0000-0003-3174-3248}，“机构”：[{“id”：https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Ferruccio Guidi“，”raw _ afiliation_strings“：[“意大利博洛尼亚博洛尼亚大学”]}]，”countries _ distinct_count“：1，”institutions _ disting_count”：1，“corresponding_author_ids”：[”https://openalex.org/A5020479799“]，”对应机构_ids“：[”https://openalex.org/I9360294“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：false，”cited_by_count“：1，”ciped_by_percentile_year“：{”min“：63，”max“：72}，”biblio“：{“volume”：“23”，”issue“：”1“，”first_page“：”“1”，”last_page“：”37“}，“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.9932，”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.9894，“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.511838｝]，”concepts“：[｛”id“：”https://openalex.org/C170320093，“wikidata”：https://www.wikidata.org/wiki/Q1953457“，”display_name“：”De Bruijn sequence“，”level“：2，”score“：0.7035946}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.58047026}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5759798}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.5690415}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.5586282}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.5495941}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5361331}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.5057919}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.48863965}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.452556}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.43810332}，{”id“：”https://openalex.org/C129131279，“wikidata”：https://www.wikidata.org/wiki/Q1931259“，”display_name“：”谓词表达式“，”level“：2，”score“：0.4299155}，{”id“：”https://openalex.org/C136886441，“wikidata”：https://www.wikidata.org/wiki/Q926129“，”display_name“：”规范化（社会学）“，”level“：2，”score“：0.4252938}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37358722}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37159616}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.2978785}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.26460868}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.24082986}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20946354}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：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/C144024400，“wikidata”：https://www.wikidata.org/wiki/Q21201“，”display_name“：”社会学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C19165224，“wikidata”：https://www.wikidata.org/wiki/Q23404（网址：https://www.wikidata.org/wiki/Q23404）“，”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}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3470646“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1911.12749，“pdf_url”：http://arxiv.org/pdf/1911.12749，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1911.12749，“pdf_url”：http://arxiv.org/pdf/1911.12749，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：29，“referrenced_works”：https://openalex.org/W126630044","https://openalex.org/W1560420247","https://openalex.org/W1595139175","https://openalex.org/W1830817982","https://openalex.org/W2005065769","https://openalex.org/W2018181305","https://openalex.org/W2062081760","https://openalex.org/W2087917645","https://openalex.org/W2101930352","https://openalex.org/W2109703800","https://openalex.org/W2110696178","https://openalex.org/W2132567419","https://openalex.org/W2149837936","https://openalex.org/W2150375692","https://openalex.org/W2151974412","https://openalex.org/W2153926566","https://openalex.org/W2155411851","https://openalex.org/W2232523289","https://openalex.org/W2358087223","https://openalex.org/W246269443","https://openalex.org/W2483114314","https://openalex.org/W2795088274","https://openalex.org/W2911921619","https://openalex.org/W3006524471","https://openalex.org/W3028421255","https://openalex.org/W3210894027","https://openalex.org/W4238693732","https://openalex.org/W4251033482","https://openalex.org/W990876026“]，”related_works“：[”https://openalex.org/W4313431260","https://openalex.org/W3210894027","https://openalex.org/W3095612356","https://openalex.org/W3027333920","https://openalex.org/W3021962464","https://openalex.org/W2964036001","https://openalex.org/W2615070270","https://openalex.org/W2058590458","https://openalex.org/W1915655540","https://openalex.org/W1608923249“]，”ngrams_url“：”https://api.openalex.org/works/W3210894027/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“advorite”：[1]，“the”：[2,14,20,32,6612139142]，“use”：[3]，“of”：[4,16,69,91,96101107111124141160167]，“de”：[5]，“Bruijn\u2019s”：[6]，“universal”：[7]，“abstration”：[8]，“\\lambda”：[9,28,34,70121]，“{\\mathord”：[10,35]，“\ \infty“：[11,36]，”}{}{}}“：[12,37]，”for“：[13]，”quantitation“：[15]，”schematic“：[17]，”变量“：[18]，”in“：[19]，”谓词“：[21]，”setting“，”：[22]，“and”：[23,47,61,64109136155]，“we”：[24]，“present”：[25]，“a”：[26,80164]，“typed”：[27]，“{}{}{{}”：[29]，“-calculates”：[30]，“feathering”：[31]，“quantifier”：[33]，“assisted”：[38]，“by”：[39,83103]，“其他“：[40]，”实际“：[41]，”有用“：[42]，”构造“：[43]，”类似“：[44]，”显式“：[45]，”替换“：[46]，”预期“：[48]，”类型“：[49102134]，”注释。“：[50]，“我们的”：[51]，“微积分”：[52117153]，“代表”：[53]，“just”：[54]，“on”：[55]，“two”：[56157]，“concepts”，“：[57]，“即，”：[58]，“bound”：[59]，“rt-reducation”：[60]，“parameteral”：[62]，“validity”：[63]，“has”：[65]，“expressivery”：[67]，“power”：68]，“\\mathord”：[71]，“\right”箭头“：[72]，”。“：[73]，”“South，”“：[74]，”while“：[75]，”not“：76]，”aiming“：[77]，”at“：[78]，”being“：[79]，”logical“：[81,92]，”framework“：+82]，”self“：[84]，”it“：[85]，”does“：[86]，”enjoy“：[87]，”many“：88]，”desired“：[89]，”不变量“：[90]，”框架“：[93]，”include“：[94]，”conflues影响力“：[95]，”还原“：[97104]，”强“：[98]，”归一化“：[99]，”保存“：[100]，”可判定性，“：[105]，”正确性：[106]，”类型“：[108112]，”唯一性“：[110]，”向上“：[113]，”到“：[114119]，”转换。“：[115]，“This”：[116]，“belies”：[118]，“\\delta”：[122]，“family”：[123]，“formal”：[125]，“systems”，“：[126]，“which”：[127]，“borrow”：[128]，“some”：[129137]，“features”：%130]，“from”：[13138]，“pure”：[133]，“系统”：[135159]，“languages”：+140]，“Automath”：%143]，“tradition”：[144]，“but”：[145]，“stand”：[146]，“outside”：[147]，“both”：[148]，“families”。“：[149]，”In“：[150]，”specific“：[151]，”our“：/152]，”includes“：[154]，”evolutions“：[156]，”earlier“：[158]，”this“：161]，”family。“：[162]，”此外，“：[163]，”机器检查“：[165]，”规范“：[166]，”其“：[168]，”理论“：[169]，”是“：[170]，”可用。“：[171]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3210894027“，”counts_by_year“：[{”年“：2021，”引用_by_count“：1}]，”更新日期“：”2024-05-14T08:30:57.933870“，”创建日期“：“2021-11-08”}