{“id”：“https://openalex.org/W1598248880“，”doi“：”https://doi.org/10.1007/bfb0028025“，”title“：”不确定性线性时间的合取逻辑表征“，”display_name“：”非确定性线性时间合取逻辑刻画“，”publication_year“：1998，”publitation_date“：”1998-01-01“，”ids“：{”openalex“：”https://openalex.org/W1598248880“，”doi“：”https://doi.org/10.1007/bfb0028025“，”mag“：”1598248880“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0028025“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5025043872“，”display_name“：”Fr\u00e9d\u00e9 ric Olive“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210139483“，”display_name“：”GREYC“，”ror“：”https://ror.org/043749971“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I194210350","https://openalex.org/I4210105918","https://openalex.org/I4210139483","https://openalex.org/I4210159245","https://openalex.org/I98702875“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”FR\u00e9d\u00e9 ric Olive“，”raw _affiliation_strings“：[“GREYC，University \u00e 9 de Caen，France”]，”从属关系“：[{”raw _affiliation_string“：”GREYC，University\u00e_9 de Caan，France“，”institution_ids“：[https://openalex.org/I4210139483“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5025043872“]，”对应的机构ID“：[”https://openalex.org/I4210139483“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.645，”has_fulltext“：false，”cited_by_count“：8，”cited_by_percentile_year“：{“min”：78，”max“：79}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“360”，“last_page”：“372”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9966，“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.9966，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9943，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9906，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.521113}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.512898}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.50192}]，”concepts“：[{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”Unary operation“，”level“：2，”score“：0.8499931｝，｛”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.6716876}，{”id“：”https://openalex.org/C2780841128，“wikidata”：https://www.wikidata.org/wiki/Q5073781“，”display_name“：”表征（材料科学）“，”level“：2，”score“：0.61955065}，{”id“：”https://openalex.org/C2185349，“wikidata”：https://www.wikidata.org/wiki/Q190558“，”display_name“：”Negation“，”level“：2，”score“：0.61698115}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5784286}，{”id“：”https://openalex.org/C2778523021，“wikidata”：https://www.wikidata.org/wiki/Q5532504“，”display_name“：”量词（语言学）“，”level“：2，”score“：0.5692632}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.5524529}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848（网址：https://www.wikidata.org/wiki/Q5127848）“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.48792264}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.4817867}，{”id“：”https://openalex.org/C203264685，“wikidata”：https://www.wikidata.org/wiki/Q2328174“，”display_name“：”原子公式“，”level“：2，”score“：0.4344266}，{”id“：”https://openalex.org/C39637292，“wikidata”：https://www.wikidata.org/wiki/Q908207“，”display_name“：”复杂性类“，”level“：3，”score“：0.4165491}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.24221772}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.2357504}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.077908486}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.07270807}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”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｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0028025“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.66，“display_name”：“减少不平等”，“id”：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：1，”referrenced_works“：]”https://openalex.org/W2029100403“]，”related_works“：[”https://openalex.org/W80734134","https://openalex.org/W2125536734","https://openalex.org/W2105859078","https://openalex.org/W2074125075","https://openalex.org/W2024994589","https://openalex.org/W1989872731","https://openalex.org/W1981385397","https://openalex.org/W1945859206","https://openalex.org/W1629505938","https://openalex.org/W1499975475“]，”ngrams_url“：”https://api.openalex.org/works/W1598248880/ngrams“，”“abstract_inverted_index”：{“We”：[0,37]，“indicate”：[1]，“by”：[2]，“$$\\mathcal{G}$$”：[3,42]，“（f，0，s）”：[4]，“the”：[5,10,39,47,73,76,85,98]，“class”：[6,74]，“of”：[7,9,18,31,41,56,72,78,84,94,97112120123]，“formulas”：[8,57]，“form”：[11]，“\u2203g\u2200x\u03c6，”：[12]，“其中”：[13]，“G”：[14]，“是”：[15,23]，“a”：[16,24,64,68]，“元组”：[17]，“一元”：[19106]，“函数“：[20107]，”符号“：[21]，”u03c7“：[22]，”一阶“：[25]，”变量“：[26]，”和“：[27,81]，”\u03d5“：[28]，”无量词“：[29]，”公式“：[30]，”签名“：[32]，”{g，“：[33]，”f，“：[3]，”0，“：35,44,54]，”s}。“：[36]，”证明“：[38]，”减少“：[40]，”（f，“：[43,53]，”s）“：[45,55]，”到“：[46]，”子类“：[48]，”$$\\mathcal{希腊}_“：[49]，”\\wedge“：[50]，”^“：【51】，”+$$“：【52】，”writed“：【58】，”without“：【59】，”negation“：【60】，”nor“：【61】，”disjunction“。“：[62]，”As“：[63]，”推论“：[65]，”we“：66]，”获取“：[67]，”新“：[69]，”逻辑“：[70]，”特征描述“：[71]，”NTIMERAM（n）：“：[75]，”问题“：[77]，”this“：[79]，”class“：[80]，”显著“：[82]，”大多数“：[83]，”自然“：[86]，”NP-complete“：[87]，”难题“：[88]，”can“”：[89]，“be”：[90]，“considered”：[91]，“As”：[92]，“models”：[93]，“some”：[95118121]，“sence”：[96]类型“：[99]，”\u2203g“：[100]，”1…\u2203“：[101]，”p.…\u220x\u2227\u03c3（x）=\u03c 4（x）“：[102]，”（g“：/103]，”i“：[104]，”：“：“：[105]，”符号；“：[108]，”\ u03c 3，“：[109]，”\\u03c4:“：[110]，”组成“：[111]，”例如“：[113]，”函数），“：114]、“that”：[115]、“is”：[116]、“in”：[117]、“sense”：[119]、“system”：[122]、“functional”：[124]、“quations”。“：[125]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1598248880“，”counts_by_year“：[{”年“：2012，”cited_by_count“：1}]，”更新日期“：”2024-06-26T11:35:20.260003“，”创建日期“：“2016-06-24”}