{“id”：“https://openalex.org/W2966236458“，”doi“：”https://doi.org/10.109/lics.2019.8785661“，”title“：”同伦类型理论中的高等归纳类型的路径空间“，”display_name“：”同伦类型理论的高等归纳型的路径空间”，“publication_year”：2019，“publiciation_date”：“2019-06-01”，“ids”：{“openalex”：“https://openalex.org/W2966236458“，”doi“：”https://doi.org/10.109/lics.2019.8785661“，”mag“：”2966236458“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.2019.8785661“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://pure-oai.bham.ac.uk/ws/files/84880431/Path_Spaces.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5017779744“，”display_name“：”Nicolai Kraus“，”orcid“：”https://orcid.org/0000-0002-8729-4077“｝，”机构“：[｛”id“：”https://openalex.org/I106118109“，”display_name“：”E\u00f6tv\u00f 6s Lor\u00e1第二大学“，”ror“：”https://ror.org/01jsq2704“，”country_code“：”HU“，”type“：“教育”，”世系“：[”https://openalex.org/I106118109“]}，{”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“，”HU“]，”is_corresponding“：false，”raw_author_name“：”Nicolai Kraus“，”raw _ afiliation_strings“：[“诺丁汉大学E\u00f6tv\u00f 6s，诺丁汉大学”]，”affiliations“：[{”raw _affiliation_string“：”诺丁汉学院E\u00 f6tv \u00 f 6s“，诺丁汉大学”，”institution_ids“：[https://openalex.org/I106118109","https://openalex.org/I142263535“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5068312876“，”display_name“：”Jakob von Raumer“，”orcid“：”https://orcid.org/0000-0003-2671-1620“｝，”机构“：[｛”id“：”https://openalex.org/I106118109“，”display_name“：”E\u00f6tv\u00f 6s Lor\u00e1第二大学“，”ror“：”https://ror.org/01jsq2704“，”country_code“：”HU“，”type“：“教育”，”世系“：[”https://openalex.org/I106118109“]}，{”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“，”HU“]，”is_corresponding“：false，”raw_author_name“：”Jakob von Raumer“，”raw _ afiliation_strings“：[“诺丁汉大学E\u00f6tv\u00f 6s，诺丁汉学院”]，”affiliations“：[{”raw _affiliation_string“：”诺丁汉高校E\u00 f6tv \u00 f 6shttps://openalex.org/I106118109","https://openalex.org/I142263535“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：0.584，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：10，”citation_normalized_percentile“：{”value“：0.736447，”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，“cited_by_percentle_year”：｛“min”：86，“max”：87｝，“biblio”：｛“volume”：null，“issue”：null，“first_page”：null，“last_page”：null｝，“is_retracted”：false，“is_paratext”：false，“primary_topic”：｛“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9956，“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.9956，“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/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9929，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10304“，”display_name“：”辛拓扑和结不变量“，”score“：0.9908，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/type-theory网站“，”display_name“：”类型理论“，”score“：0.63988614}，{”id“：”https://openalex.org/keywords/hometopy-theory“，”display_name“：”同伦理论“，”score“：0.551284}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.524232}，{”id“：”https://openalex.org/关键字/参数“，”display_name“：”Argument（complex analysis）“，”score“：0.50546837}，{”id“：”https://openalex.org/keywords/operator网站“，”display_name“：”运算符（生物学）“，”score“：0.4959291}，{”id“：”https://openalex.org/keywords/truption网站“，”display_name“：”截断（统计）“，”score“：0.47304863}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.8349844}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.641791}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.63988614}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.6308886}，{”id“：”https://openalex.org/C5961521，“wikidata”：https://www.wikidata.org/wiki/Q746083“，”display_name“：”同伦“，”level“：2，”score“：0.6301623}，{”id“：”https://openalex.org/C2777735758，“wikidata”：https://www.wikidata.org/wiki/Q817765“，”display_name“：”Path（computing）“，”level“：2，”score“：0.54771733}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.5129861}，{”id“：”https://openalex.org/C98184364，“wikidata”：https://www.wikidata.org/wiki/Q1780131网址“，”display_name“：”Argument（complex analysis）“，”level“：2，”score“：0.50546837}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.4959291}，{”id“：”https://openalex.org/C106195933，“wikidata”：https://www.wikidata.org/wiki/Q7847935“，”display_name“：”截断（统计）“，”level“：2，”score“：0.47304863}，{”id“：”https://openalex.org/C2776542497，“wikidata”：https://www.wikidata.org/wiki/Q5266672“，”display_name“：”开发（拓扑）“，”级别“：2，”分数“：0.45843726}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.45237103}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4344264}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3898117}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.15568063}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.15508631}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.2019.8785661“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://research.birmingham.ac.uk/portal/en/publications/path-spaces-of-higher-inductive-types-in-homotopy-type-theory（d5f8be6f-02bc-4f71-82f2-eba58c68c975）.html“，”pdf_url“：”http://pure-oai.bham.ac.uk/ws/files/84880431/Path_Spaces.pdf，“源”：{“id”：https://openalex.org/S4306402634“，”display_name“：”伯明翰大学研究门户“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I79619799“，”“host_organization_name”：“伯明翰大学”，“host_organization_lineage”：[“https://openalex.org/I79619799“]，”host_organization_lineage_names“：[”伯明翰大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://nottingham-repository.worktribe.com/output/2461875，“pdf_url”：https://nottingham-repository.worktribe.com/review/4786052/kraus_vonRaumer.pdf，“源”：{“id”：https://openalex.org/S4306402483“，”display_name“：”诺丁汉仓库（诺丁汉大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I142263535“，”“host_organization_name”：“诺丁汉大学”，“host_organization_lineage”：[“https://openalex.org/I142263535“]，”host_organization_lineage_names“：[”诺丁汉大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://nottingham-repository.work部落.com/file/2461875/1/Kraus%20VonRaumer，“pdf_url”：https://nottingham-repository.work部落.com/file/2461875/1/Kraus%20VonRaumer，“源”：{“id”：https://openalex.org/S4306402482“，”display_name“：”诺丁汉仓库（诺丁汉大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I142263535“，”“host_organization_name”：“诺丁汉大学”，“host_organization_lineage”：[“https://openalex.org/I142263535“]，”host_organization_lineage_names“：[”诺丁汉大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1901.06022，“pdf_url”：https://arxiv.org/pdf/1901.06022，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：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，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://research.birmingham.ac.uk/portal/en/publications/path-spaces-of-higher-inductive-types-in-homotopy-type-theory（d5f8be6f-02bc-4f71-82f2-eba58c68c975）.html“，”pdf_url“：”http://pure-oai.bham.ac.uk/ws/files/84880431/Path_Spaces.pdf，“源”：{“id”：https://openalex.org/S4306402634“，”display_name“：”伯明翰大学研究门户“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I79619799“，”“host_organization_name”：“伯明翰大学”，“host_organization_lineage”：[“https://openalex.org/I79619799“]，”host_organization_lineage_names“：[”伯明翰大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.43}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：31，”referrenced_works“：【”https://openalex.org/W1464569014","https://openalex.org/W1610343241","https://openalex.org/W1804414602","https://openalex.org/W1949275316","https://openalex.org/W2052183597","https://openalex.org/W2054195362","https://openalex.org/W2062764235","https://openalex.org/W2098691999","https://openalex.org/W2153583112","https://openalex.org/W2194904877","https://openalex.org/W2238631904","https://openalex.org/W2467476450","https://openalex.org/W2528748953","https://openalex.org/W2553710686","https://openalex.org/W2585148194","https://openalex.org/W2608452728网址","https://openalex.org/W2608494448","https://openalex.org/W2885792094","https://openalex.org/W2900323387","https://openalex.org/W2914814133","https://openalex.org/W2963024429","https://openalex.org/W2963483416","https://openalex.org/W2964029175","https://openalex.org/W2964125890","https://openalex.org/W2964185027","https://openalex.org/W3032285962","https://openalex.org/W3106463532","https://openalex.org/W4230309943","https://openalex.org/W4240072532","https://openalex.org/W4287749248","https://openalex.org/W4310911627“]，”related_works“：[”https://openalex.org/W4300573393","https://openalex.org/W4300523750","https://openalex.org/W4300009321","https://openalex.org/W4290963582","https://openalex.org/W2953133466","https://openalex.org/W2950712050","https://openalex.org/W2236593899","https://openalex.org/W2220627548","https://openalex.org/W2125274893","https://openalex.org/W1976278597“]，”abstract_inverted_index“：{”The“：[0]，”study“：[1]，”of“：[2,35,40,73,88,92114141]，”equality“：[3,33,62]，”types“：[4,13,34,63]，”is“：[5,14]，”central“：[6]，”to“：[7,57,65132]，”同伦“：[8]，”类型“：[9]，”theory.“：[10]，”Characterizing“：[11]，”this“：[12]，”commery“：[15]，“棘手”，“：[16]，”和“：[17,37,44,64,96,99119134]，“各种”：[18]，“策略”，：[19]，“这样的“：[20]，”如“：[21]，”the“：[22,49,71,86,89,93101115120126142147]，”encode-decode“：[23]，”method，“：[24]，”have“：[25]，”been“：[26]，”developed。“：[27]，”We“：[28137]，”prove“：[29]，”a“：[30,81111139]，”定理“：[31130]，”about“：[32,60]，”coequalizers“：[36]，”pushouts“，”：[38]，”recomment“：[39]，”an“：[41]，”induction“：[42]，”principal“：[43]，”without“：%45]，”any“：[46]，”restrictions“：47]，”on“：[48]，”截断“：[50]，”级别。“：[51]，“This”：[52]，“result”：[53]，“makes”：[54]，“it”：[55124]，“possible”：[56]，“reason”：[58]，“directive”：[59]，“sequent”：[61]，“streamline”：[66]，“existing”：[67]，“proof”：[68]，“by”：[69]，“elimination”：[70]，“necessary”：[72]，“auxiliary”：[74]，“constructions”。“：[75]，”To“：[76]，”demove“：[77]，”this“：[78]，”we“：/79]，”give“：+80]，”very“：+82]，”short“：[83]，”argument“：[84]，”for“：[85100]，”calculation“：[87]，”basic“：[90]，”group“：/91]，”circle“（Licata“：[95]，”Shulman“：[97135]，”[1]），“：[98]，”fact“：[102]，“that”：[103]，“pushouts”：[104]，“preserve”：[105]，“embeddings”。“：[106]，”“进一步，”：[107]，“我们的”：[108]，“发展”：[109]，“建议”：[110]，“更高”：[112]，“版本”：[113]，“塞弗特凡”：[116128]，“坎彭”：[117129]，“定理”：[118]，“集合运行”：[121]，“运算符”：[122]，“映射”：[123]，“标准”：[127]，“（到期”：[131]，“法沃尼亚”：[133]，“[2]）。“：[136]，”提供“：[138]，”形式化“：[140]，”主要“：[143]，”技术“：[144]，”结果“：[145]，”in“：[146]，”证明“：[148]，”助手“：[149]，”精益。“：[150]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2966236458“，”counts_by_year“：[{“年”：2024，”cited_by_count“：1}，{“年份”：2022，”ciped_by_cunt“：1}，”{“年度”：2021，“cited_by_count”：3}，“年份”:2020，”cited_by_count？：4}，}“年份“：2019，”citted_by-count“:1}]，”updated_date“：”2024-09-08T06:42:10.458217“，”created_date:“2019-08-13”}