{“id”：“https://openalex.org/W1525126490“，”doi“：”https://doi.org/10.2168/lmcs-11（1:16）2015“，”title“：”Linear Loops排名模板“，”display_name“：”Lanear Loop排名模板“、”publication_year“：2015，”publication_date“：”2015-03-31“，”ids“：{”openalex“：”https://openalex.org/W1525126490“，”doi“：”https://doi.org/10.2168/lmcs-11（1:16）2015“，”mag“：”1525126490“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-11（1:16）2015年“，”pdf_url“：”https://lmcs.episciences.org/797/pdf，“源”：{“id”：https://openalex.org/S114379355“，”display_name“：”计算机科学中的逻辑方法“，”issn_l“：”1860-5974“，”issn“：[”1860-5974“]，”is_oa“：true，”is_in_doaj“：true，”host_organization“：”https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”期刊文章“，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：｛”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://lmcs.episciences.org/797/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5090592321“，”display_name“：”Jan Leike“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]}]，”countries“：[”AU“]，”is_corresponding“：true，”raw_author_name“：”Jan Leike“，”raw _affiliation_strings“：【”The Australian National University“】，”affiliations“：[{”raw _affiliation_string“：”The Austrian National Unity“，”institution_ids“：[“https://openalex.org/I118347636“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077581460“，”display_name“：”Matthias Heizmann“，”orcid“：”https://orcid.org/0000-0003-4252-3558}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Matthias Heizmann“，”raw _ afiliation_strings“：[“弗莱堡大学”]，”affiliations“：[{”raw_ afiliation _string“：”弗莱堡学院“，”institution_ids“：[https://openalex.org/I161046081“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5090592321“]，”对应的机构ID“：[”https://openalex.org/I118347636“]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：{”value“：0”，“currench”：“USD”，“value_USD:0”，“provance”：“doaj”{，“fwci”：1.318，“has_fulltext”：false，“cited_by_count”：23，“cited_by_percentile_year”：{“min”：92，“max”：93}，”biblio“：{“volume”：“第11卷，第1期”，“Issue”：null，“first_page”：nul，“last_page”：null}，“is_retracted“：false，”is_paratext“：fase，”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.9998，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9968，”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/feature-models网站“，”display_name“：”功能模型“，”score“：0.524835}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.504749}]，”concepts“：[{”id“：”https://openalex.org/C82714645，“wikidata”：https://www.wikidata.org/wiki/Q438331“，”display_name“：”Template“，”level“：2，”score“：0.86091757}，{”id“：”https://openalex.org/C189430467，“wikidata”：https://www.wikidata.org/wiki/Q7293293“，”display_name“：”排名（信息检索）“，”级别“：2，”分数“：0.7662033}，{”id“：”https://openalex.org/C159254197，“wikidata”：https://www.wikidata.org/wiki/Q1144915“，”display_name“：”词汇顺序“，”level“：2，”score“：0.58802485}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.53430235}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.53063315}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5165345｝，｛”id“：”https://openalex.org/C124975894，“wikidata”：https://www.wikidata.org/wiki/Q7293290（网址：https://www.wikidata.org/wiki/Q7293290）“，”display_name“：”Ranking SVM“，”level“：3，”score“：0.44333965}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42711902}，{”id“：”https://openalex.org/C41045048，“wikidata”：https://www.wikidata.org/wiki/Q202843“，”display_name“：”线性规划“，”level“：2，”score“：0.4179149}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37956122}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15519607}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.15254316}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.10813668}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：6，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-11（1:16）2015年“，”pdf_url“：”https://lmcs.episciences.org/797/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”“：”“计算机科学中的逻辑方法”“，”https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1503.00193，“pdf_url”：https://arxiv.org/pdf/1503.00193，“源”：{“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://doaj.org/article/15ee21a7df1d441a95f45f61d6f1b9ab“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，“type”：“repository”}，“license”：null、“license_id”：null、“version”：null.、“is_accepted”：false、“is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1401.5338，“pdf_url”：https://arxiv.org/pdf/1401.5338，“源”：{“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”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/1401.5338.pdf，“源”：{“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.1503.00193“，”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.2168/lmcs-11（1:16）2015年“，”pdf_url“：”https://lmcs.episciences.org/797/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”“：”“计算机科学中的逻辑方法”“，”https://openalex.org/P4310313916“，”host_organization_name“：”计算机科学中的逻辑方法e.V.“，”host_organization_lineage“：[”https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”Logical Methods in Computer Science e.V.“]，”type“：”journal“｝，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.4，”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W1525126490","https://openalex.org/W3102371072“]，”referenced_works_count“：38，”referrenced_works“：[”https://openalex.org/W1482912566","https://openalex.org/W1493060511","https://openalex.org/W1497058589","https://openalex.org/W1505135855","https://openalex.org/W1505537169","https://openalex.org/W1520007244","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1542502949","https://openalex.org/W1561261246","https://openalex.org/W1563374593","https://openalex.org/W1575647584","https://openalex.org/W1585194019","https://openalex.org/W1589106570","https://openalex.org/W1589297860","https://openalex.org/W1592840252","https://openalex.org/W1600009974","https://openalex.org/W1608799719","https://openalex.org/W1701051220","https://openalex.org/W188927585","https://openalex.org/W1989813138","https://openalex.org/W2071969326","https://openalex.org/W2082387287","https://openalex.org/W2096096565","https://openalex.org/W2111366004","https://openalex.org/W2114695797","https://openalex.org/W2115198108","https://openalex.org/W2122917953","https://openalex.org/W2129883154","https://openalex.org/W2230306527","https://openalex.org/W2230554596","https://openalex.org/W2293708017","https://openalex.org/W2573816347","https://openalex.org/W286513891","https://openalex.org/W2950005533","https://openalex.org/W3101466097","https://openalex.org/W45151810","https://openalex.org/W77406878网址“]，”related_works“：[”https://openalex.org/W4300518170","https://openalex.org/W3125614403","https://openalex.org/W2476923378","https://openalex.org/W2177546144","https://openalex.org/W2089608799","https://openalex.org/W2051058708","https://openalex.org/W1993634787","https://openalex.org/W1983207144","https://openalex.org/W154868527","https://openalex.org/W1494268238“]，”ngrams_url“：”https://api.openalex.org/works/W1525126490/ngrams网站“，”abstract_inverted_index“：{”We“：[0,60]，”present“：[1]，”a“：[2,38]，”new“：[3]，”方法“：[4]，”for“：[5,12,52,63]，”the“：[6,33104]，”constraint-based“：[7]，”synthesis“：[8]，”of“：[9,99]，”termination“：[10]，”arguments“：[11]，”linear“：[13,18]，“loop”：[14]，“programs”：[15]，”based“”：[16]，“on”：[17]，“ranking”：[19,22,39,55,70,73,85]，“templates.”：[20,82]，“linear”：[21]，“模板“：[23,51,62,74,86]，”是“：[24]，”参数化，“：[25]，”基础充分“：[26]，”关系“：[27]，”这样“：[28]，”那样“：[29]，”an“：[30108]，”赋值“：[31]，”to“：[32,37,49,78102]，”parameters“：[34]，”gives“：[35]，”rise“：[36]，”function。“：[40]，”我们的“：[41]，”方法“：[42]，”泛化“：[43]，”现有“：[44]，”方式“：[45]，”和“：[46,68,90]，”启用“：[47]，”us“：[48]，”使用“：[50,94]，”许多“：[53]，”不同“：[54]，”函数“：[56]，”with“：[57]，”仿射线性“：[58]，”组件。“：[59]，”讨论“：[61]，”多阶段“：[64]，”嵌套“：[65]，”分段“：[66]，”并行“：[67]，”词典“：[69]，”函数。“：[71]，“这些”：[72]，“可以”：[75]，“是”：[76]，“组合”：[77]，“形式”：[79]，“更多”：[80]，“强大”：[81]，“因为”：[83]，“这类”：[84]，“需要”：[87]，“两者”：[88]，“严格”：[89]，“非严格”：[C1]，“不等式”：[92]，“我们”：[93]，“莫茨金的”：[95]，“换位”：[96]，“定理”：[97]，“代替”：[98]，“Farkas”：[100]，“引理”：[101]，“变换”：[103]，“生成”：[105]对于所有$-constraint“：[106]，”into“：[107]，”$\\exists\\存在$-construction。“：[109]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1525126490“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：2%n，{“年份”：2022，“cited_by_count”：4}“年份”：2017，“cited_by_count”：1}，{“年”：2016，“cited_by_count“：1}]，“updated_date”：“2024-06-23T05:29:13.927603“，”创建日期“：”2016-06-24“}