{“id”：“https://openalex.org/W3102757572“，”doi“：”https://doi.org/10.1007/978-3-642-39799-8_27“，”title“：”Proving Termination Starting from the End“，”display_name“：”证明终止从End开始“，”publication_year“：2013，”publiation_date“：”2013-01-01“，”ids“：{”openalex“：”https://openalex.org/W3102757572“，”doi“：”https://doi.org/10.1007/978-3-642-39799-8_27“，”mag“：”3102757572“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-39799-8_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_27.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”丛书“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_27.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5030085363“，”display_name“：”Pierre Ganty“，”orcid“：”https://orcid.org/0000-0002-3625-6003}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Pierre Ganty“，”raw _affiliation_strings“：[“IMDEA Software Institute，Madrid，Spain”]，”affiliations“：[{”raw _affiliation_string“：”IMDEA软件institution，Marid，Spanish“，institution_ids”：[“https://openalex.org/I4210162154“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5014510097“，”display_name“：”Samir Genaim“，”orcid“：”https://orcid.org/0000-0002-7176-1881}，“机构”：[{“id”：https://openalex.org/I121748325“，”display_name“：”马德里Complutense大学“，”ror“：”https://ror.org/02p0gd045“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I121748325“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Samir Genaim“，”raw_affiliation_strings“：[西班牙马德里Complutense大学]，”affiliations“：[{”raw_affiliation_string“：”西班牙马德里Compultense大学“，”institution_ids“：[“https://openalex.org/I121748325“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：3.976，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_b”y_count“：21，”cited_by_percentile_year“：{”min“：91，”max“：92}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”397“，”last_page“：”412“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9997，”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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”Temporal Logic“，”score“：0.505265｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8086152}，{”id“：”https://openalex.org/C159333733，“wikidata”：https://www.wikidata.org/wiki/Q7051809“，”display_name“：”规范化属性“，”level“：2，”score“：0.7008382}，{”id“：”https://openalex.org/C2779478453，“wikidata”：https://www.wikidata.org/wiki/Q6889748“，”display_name“：”模块化（生物学）“，”level“：2，”score“：0.6552462}，{”id“：”https://openalex.org/C33676613，“wikidata”：https://www.wikidata.org/wiki/Q13415176“，”display_name“：”维度（图论）“，”级别“：2，”分数“：0.59041554}，{”id“：”https://openalex.org/C192465680，“wikidata”：https://www.wikidata.org/wiki/Q1413450“，”display_name“：”Precondition“，”level“：2，”score“：0.52419513｝，｛”id“：”https://openalex.org/C42812，“wikidata”：https://www.wikidata.org/wiki/Q1082910“，”display_name“：”分区（数论）“，”level“：2，”score“：0.5005088}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4813443}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47065344}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.46932027}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35248166}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.12667137}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”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“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-39799-8_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_27.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1302.4539，“pdf_url”：https://arxiv.org/pdf/1302.4539，“源”：{“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“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1302.4539“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3-642-39799-8_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_27.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：[/]，”datasets“：/[]，“versions”：[”https://openalex.org/W2102026074","https://openalex.org/W3102757572“]，”referenced_works_count“：20，”referenced_works“：[”https://openalex.org/W1497571013","https://openalex.org/W1503537039","https://openalex.org/W1505537169","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1585194019","https://openalex.org/W1596431623","https://openalex.org/W1888810575","https://openalex.org/W1925379677","https://openalex.org/W1956613073","https://openalex.org/W1996245589","https://openalex.org/W2043100293","https://openalex.org/W2093397547","https://openalex.org/W2110820023","https://openalex.org/W2129883154","https://openalex.org/W2130413583","https://openalex.org/W2963938058","https://openalex.org/W4232668957","https://openalex.org/W4233310630","https://openalex.org/W4248689402“]，”related_works“：[”https://openalex.org/W58099322","https://openalex.org/W4226162972","https://openalex.org/W2953046944","https://openalex.org/W2368102490","https://openalex.org/W2367100904","https://openalex.org/W2294916142","https://openalex.org/W2185407019","https://openalex.org/W2060305346","https://openalex.org/W1988458526","https://openalex.org/W1581362285“]，”ngrams_url“：”https://api.openalex.org/works/W3102757572/ngrams“，”“abstract_inverted_index”：{“We”：[0,43113]，“present”：[1]，“a”：[2,11,24,40,82109117]，“novel”：[3]，“technology”：[4,38]，“for”：[5108]，“proving”：[6]，“program”：[7,20,33,92]，“termination”：[8,251028]，127]，“模块化”：[15]，“现有”：[16]，“技术”：[17]，“使用”：[18,47]，“the”：[19,28,32,35,48,54,65,91122125]，“to”：[21,46,52,61103]，“incrementally”：[22]，“construct”：[23]，“proof.”：[26]，“While”：[2]，“proof”：[29,51]，“keeps”：[30]，“changing”：[31]，“remains”：[3]，“same”：[36]，“Our”：[37]，“gos”：39]，“step”：[41]，“further.”：[42]，“显示“：[44,97]，”如何“：[45]，”当前“：[49,66]，”部分“：[50]，”分区“：[53,80]，”转换“：[55]，“关系”：[56]，“进入”：[57]，“那些”：[58,69]，“行为”：[59]，“已知”：[60,77]，“是”：[62]，“终止”：[63]，“来自”：[64]，“证明”：[67]，“和”：[68,84129]，“其”：[70]，“状态”：[71]，“（终止”：[22]，“或”：[73]，“不”）：[74]，“不是”：[75]，“尚未”.“：[78]，“This”：[79]，“enables”：[81]，“unexplored”：[85]，“incremental”：[88]，“reasoning”：[89]，“on”：[90116124]，“侧面”：[93]，“In”：[94]，“addition”，：[95]，“we”：/96]，“that”：[98120]，“our”：99]，“approach”：[100]，“natural”：[101]，“应用”：[102]，“条件”：[104130]，“搜索”：[107]，“前提”：[110]，“确保”：[111]，“终止。”：[11211]，“进一步”：[114]，“报告”：[115]，“原型”：[118]，“实施”：[119]，“预付款”：[121]，“最先进”：[123]，“理由”：[126]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W3102757572”，“counts_by_year”：[｛“year”：2021，“cited_by_count”：5｝，｛“year”：2019，“cited_by_count”：3｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：3｝，｛“year”：2016，“cited_by_count”：2｝，｛“year”：2015，“cited_by_count”：3｝，｛“year”：2014，“cited_by_count”：3｝，｛“year”：2013，“cited_by_count unt“：1｝]，”updated_date“：”2024-06-22T17:31:34.623776“，”created_date“：”2020-11-23"}