{“id”：“https://openalex.org/W2492108655“，”doi“：”https://doi.org/10.1007/978-3-319-40418-9_11“，”title“：“生物系统的时序逻辑建模”，”display_name“：”生物系统的时态逻辑建模“，”publication_year“：2016，”publitation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2492108655“，”doi“：”https://doi.org/10.1007/978-3-319-40418-9_11“，”mag“：”2492108655“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-40418-9_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212400“，”display_name“：”智能系统参考库“，”issn_l“：”1868-4394“，”isn“：[”1868-43“，”1868-4408“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book-series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，“indexed_in”：[”crossref“]，，“any_repository_has_fulltext”：假}，“authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5049398591“，”display_name“：”Jean\u2010Marc Alliot“，”orcid“：”https://orcid.org/0000-0003-4858-3500}，“机构”：[{“id”：https://openalex.org/I4210088869“，”display_name“：”Institute National de Recherche en Sant\u00e9 Publique“，”ror“：”https://ror.org/005haay02“，”“country_code”“：”ML“，”type“：”government“，”seriance“：[”https://openalex.org/I4210088869“]}]，”国家“：[”ML“]，”is_corresponding“：false，”raw_author_name“：”Jean-Marc Alliot“，”raw _affiliation_strings“：[“Algorithmes Parall\u00e8les et Optimisation”，“Institute National de la Sant\u00e9 et de la Recherche M\u00e 9dicale”]，“afliations”：[{“raw_affiliation _string”：“Institution National der la Sant\u 00e9 set la Recherche M\u00 e9dical”le“，”机构ID“：[”https://openalex.org/I4210088869“]}，{”raw_affiliation_string“：”Algorithmes Parall\u00e8les et Optimisation“，”institution_ids“：[]}]}”，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5048471345“，”display_name“：”Robert Demolombe“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210088869“，”display_name“：”Institute National de Recherche en Sant\u00e9 Publique“，”ror“：”https://ror.org/005haay02“，”“country_code”“：”ML“，”type“：”government“，”seriance“：[”https://openalex.org/I4210088869“]}]，”国家“：[”ML“]，”is_corresponding“：false，”raw_author_name“：”Robert Demolombe“，”raw _ afiliation_strings“：[“Institute National de la Sant\u00e9 et de la Recherche M\u00e9dicale”，“Logique，Interaction，Langue et Calcul”]，“affiliations”：[{“raw_affiliation_string”：“Institution National der la Sant\u 00e9 te la Recherche M\u00 e9dicale”，“机构ID“：[”https://openalex.org/I4210088869“]}，{”raw_affiliation_string“：”Logique，Interaction，Langue et Calcul“，”institution_ids“：[]}]}”，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5032071461“，”display_name“：”Mart\u00edn Di\u00e9guez“，”orcid“：”https://orcid.org/0000-0003-3440-4348}，“机构”：[{“id”：https://openalex.org/I56067802“，”display_name“：”雷恩大学“，”ror“：”https://ror.org/015m7wh34“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I56067802“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Martin Dieguez“，”raw _ affiliation_strings“：[“逻辑，交互，语言与计算”，”University \u00e9 de Rennes“]，“从属关系”：[{”raw _affiliation_string“：”Logique，Interaction，Langue et Calcul“，”机构ID“：[”https://openalex.org/I56067802“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5001235333“，”display_name“：”Lu\u00eds Fari\u00f1as del Cerro“，”orcid“：”https://orcid.org/0000-0001-8752-8876}，“机构”：[{“id”：https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Luis Fari\u00f1as del Cerro“，”raw _ afiliation_strings“：[“国家科学研究中心”，“Logique，Interaction，Langue et Calcul”]，“afliations”：[{“raw_affiliation_string”：“Logiques，Interactions，Langue et Calcul”，“institution_ids”：[]}，{“ra _ afiliation _string”：“”国家科学研究中心“，“institution_ids”：[“https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5083669252“，”display_name“：”Gilles Favre“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210088869“，”display_name“：”Institut National de Recherche en Sant\u00e9 Publique“，”ror“：”https://ror.org/005haay02“，”“country_code”“：”ML“，”type“：”government“，”seriance“：[”https://openalex.org/I4210088869“]}]，”国家“：[”ML“]，”is_corresponding“：false，”raw_author_name“：”Gilles Favre“，”raw _ afiliation_strings“：[“Institute National de la Sant\u00e9 et de la Recherche M\u00e9dicale”]，“afliations”：[{“raw_affiliation_string”：“institution National dela Sant\u00 e9 et der la Recherche M\u00 e9dicele”，“institution_ids”：[”https://openalex.org/I4210088869“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5039540442“，”display_name“：”Jean\u2010Charles Faye“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I4210088869“，”display_name“：”Institute National de Recherche en Sant\u00e9 Publique“，”ror“：”https://ror.org/005haay02“，”“country_code”“：”ML“，”type“：”government“，”seriance“：[”https://openalex.org/I4210088869“]}]，”国家“：[”ML“]，”is_corresponding“：false，”raw_author_name“：”Jean-Charles Faye“，”raw _affiliation_strings“：[“Institute National de la Sant\u00e9 et de la Recherche M\u00e9dicale”]，“affiliations”：[{“raw_affilition_string”：“Institutation National de la Sant\u00 e9 et la Recherche M\u00 e9dicele”，“institution_ids”：[”https://openalex.org/I4210088869“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5017475589“，”display_name“：”Naji Obeid“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Naji-Obeid”，“raw_affiliation_strings”：[“Logique，Interaction，Langue et Calcul”]，“afliations”：[{“raw_affiliation_string”：“Logiques，Interactition，Langue-et Calcull”，”instITion_ids“：[]}，{“author_position”：“last”，“作者“：{”id“：”https://openalex.org/A5006775012“，”display_name“：”Olivier Sordet“，”orcid“：”https://orcid.org/0000-0001-6027-4925}，“机构”：[{“id”：https://openalex.org/I4210088869“，”display_name“：”Institute National de Recherche en Sant\u00e9 Publique“，”ror“：”https://ror.org/005haay02“，”“country_code”“：”ML“，”type“：”government“，”seriance“：[”https://openalex.org/I4210088869“]}]，”国家“：[”ML“]，”is_corresponding“：false，”raw_author_name“：”Olivier Sordet“，”raw _ afiliation_strings“：[“Institute National de la Sant\u00e9 et de la Recherche M\u00e9dicale”]，“affiliations”：[{“raw_affiliation_string”：“Institutation National de la Sant\u00 e9 et la Recherche M\u00 e9dicele”，“institution_ids”：[”https://openalex.org/I4210088869“]｝]｝]，”countries_destict_count“：2，”institutions_disict_count“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：0.853，”has_fulltext“：false，”cited_by_count“：3，”cited_by_percentle_year“：｛”min“：80，”max“：82｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”205”，“last_page”：“226”｝，“is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.999，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9925，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.565706}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.562671}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.521889}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5779525}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5602971}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47283325｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.13238469}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-40418-9_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212400“，”display_name“：”智能系统参考库“，”issn_l“：”1868-4394“，”isn“：[”1868-43“，”1868-4408“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01892974“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01892974“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：17，“referrenced_works”：https://openalex.org/W149544036","https://openalex.org/W1509545351","https://openalex.org/W1541359282","https://openalex.org/W1555256314","https://openalex.org/W1602903215","https://openalex.org/W1766332311","https://openalex.org/W1970594207","https://openalex.org/W1985387287","https://openalex.org/W2003015654","https://openalex.org/W2023808162","https://openalex.org/W2032619610","https://openalex.org/W2032890961","https://openalex.org/W2091138122","https://openalex.org/W2144078201","https://openalex.org/W2144198727","https://openalex.org/W2282901080","https://openalex.org/W98410192“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2359140296","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W2492108655/ngrams“，”“abstract_inverted_index”：{“代谢”：[0]，“网络”，：[1]，“形成”：[2,63]，“由”：[3,25,64]，“a”：[4,22,26,46,49,55,78,95110]，“系列”：[5]，“的”：[6,11,21,28,36,51,59,70]，“代谢”:[7,56]，“途径”：[8]，“是”：[9,62]，“制造”：[10]，“细胞内”：[12]，“和”：[13,22]4,32,67,73107133]，“细胞外”：[14]，“反应”：[15]，“那”：[16,30]，“决定”：[17]，“the”：[18,34,86]，“biochemic”：[19]，“properties”：[20]，“cell”：[23]，“set”：[27]，“interactions”：[29]，《guide》：[31]，“regulator”：[33]，“activity”：[35]，“these”：[37,60105]，“reactions.”：[38]，“Cancer”：[39]，“for”：[40]，“example”：[41]，“can”：[42,74125]，“seque时而”：[43]，“appearch”：[44]，“in”：[45,54,77]，“cell”：[47,87]，“as”：[48156]，“result”：[50]，“some”：[52]，“病理学”：[53]，“途径。”：[57]，“大多数”：[58]，“路径”：[61]，“an”：[65]，“复杂”：[66]，“复合物”：[68145]，“网络”：[69]，“链”：[71]，“反应”：[72]，“be”：[75126]，“代表”：[76]，“人类”：[79]，“可读”：[80]，“形式”：[81]，“使用”：[82149]，“图形”：[83106115148]，“其中”：[84]，“描述”：[85]，“信号”：[88]，“通路”：[89]，“In”：[90]，“this”：[91]，“论文”：[92]，“我们”：[93108120]，“定义”：[94]，“逻辑”：[96132]，“调用”：[97]，“分子”：[98]，“相互作用”：[99]，“逻辑学”：[100]，“（MIL），”：[101]，“能”：[102]，“to”：[103112143]，“表示”：[104]，“存在”：[109]，“方法”：[111]，“自动”：[113]，“翻译”：[114]，“转换为”：[116128136]，“MIL”：[117123]，“公式”：[118]，“Then”：[119]，“show”：[121]，“how”：[122]，“formulas”：[124]，“translated”：[127]，“linear”：[129]，“time”：[130]，“temporal”：[131]，“then”：[134]，“grounded”：[135]，“positional”：[137151]，“classic”：[138152]，“logic.”：[139]，“This”：[140]，“enables”：141]，“us”：[142]，“solve”：[144]，“queries”：%146]，“on”：[147]，“only”：[150]，“推理”：[153]，“工具”：[154]，“这样”：[155]，“SAT”：[157]，“求解器”：[158]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W2492108655”，“counts_by_year”：[｛“year”：2020，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：1｝，｛“year”：2016，“cited_by_count”：1｝]，“updated_date”：“2024-07-02T12:17:25.299203”，“created_date”：“2016-08-23”｝