{“id”：“https://openalex.org/W2106692345“，”doi“：”https://doi.org/10.109/lics.1999.782628“，”title“：”参数定量时态推理“，”display_name“：”参量定量时态推断“，”publication_year“：2003，”publiation_date“：”2003-01-20“，”ids“：{”openalex“：”https://openalex.org/W2106692345“，”doi“：”https://doi.org/10.109/lics.1999.782628“，”mag“：”2106692345“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1999.782628“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5022535511“，”display_name“：”E.Allen Emerson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I86519309“，”display_name“：”奥斯汀德克萨斯大学“，”ror“：”https://ror.org/00hj54h04“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I86519309“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”E.A.Emerson“，”raw _ afiliation_strings“：[“美国德克萨斯州奥斯汀理工大学计算机科学系和计算机工程研究中心”]，”affiliations“：”美国德克萨斯州奥斯汀理工大学计算机科学系和计算机工程研究中心“，”institution_ids“：[”https://openalex.org/I86519309“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5045700824“，”display_name“：”Richard Trefler“，”orcid“：”https://orcid.org/0009-0007-4235-9328}，“机构”：[{“id”：https://openalex.org/I86519309“，”display_name“：”奥斯汀德克萨斯大学“，”ror“：”https://ror.org/00hj54h04“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I86519309“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”R.J.Trefler“，”raw _ afiliation_strings“：[“美国德克萨斯州奥斯汀理工大学计算机科学系和计算机工程研究中心”]，”affiliations“：”美国德克萨斯州奥斯汀理工大学计算机科学系和计算机工程研究中心“，”institution_ids“：[”https://openalex.org/I86519309“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：3.106，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：28，”cited_by_percentle_year“：｛”min“：89，”max“：90｝，”biblio“：｛”volume“：null，”issue““：null，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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.9971，”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.9957，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.559677}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.554489}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.551392｝，｛”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.53336}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.500116}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6877572}，{”id“：”https://openalex.org/C117251300网址，“wikidata”：https://www.wikidata.org/wiki/Q1849855“，”display_name“：”参数统计“，”level“：2，”score“：0.57052624}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.4310974}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.1578773}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.12780955}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1999.782628“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：20，“referrenced_works”：[”https://openalex.org/W1512091132","https://openalex.org/W1546220007","https://openalex.org/W1590315663","https://openalex.org/W1612453857","https://openalex.org/W1847096943","https://openalex.org/W1885037678","https://openalex.org/W1986184086","https://openalex.org/W2023808162","https://openalex.org/W2025782239","https://openalex.org/W2034124289","https://openalex.org/W2051068608","https://openalex.org/W2056359803","https://openalex.org/W2058629773","https://openalex.org/W2124214533","https://openalex.org/W2131807912","https://openalex.org/W2138500680","https://openalex.org/W2153439859","https://openalex.org/W2160365857","https://openalex.org/W2752885492","https://openalex.org/W4235671167“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W2106692345/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“define”：[1]，“Parameterized”：[2,20]，“Real-Time”：[3]，“Computation”：[4]，“Tree”：[5]，“Logic”：[6]，“（PRTCTL），”：[7]，“which”：[8,27,68,84]，“allows”：[9,37]，“quantitatived”：[10,21,24,41107]，“temporal”：[11,45]，“specifications”：[12,22,25]，“to”：[13],39,51105]，“be”：[14]，“Parameterized”：[15]，“over”：[16]，““：[17,44,57,64,85,92,95100110]，”自然“：[18]，”数字。“：[19]，”are“：[23,81]，”in“：[26,91]，”concrete“：[28]，”timeing“：[29,54]，”information“：[30,55]，”has“：[31]，”been“：[32]，”abstracted“：[33]，”away。“：[34]，”这样“：[35]，”抽象“：[36]，”设计器“：[38]，”指定“：[40]，”限制“：[42]，”on“：[43]，”排序“：[46]，”of“：[47,75,79,94,99112114]，”events“：[48]，”without“：[49]，”having“：[50]，”use“：[52]，”specific“：[53]，”from“：[56]，”model。“：[58]，”A“：[59,77]，”模型“：[60,86]，”检查“：[61,87]，”算法“：[62]，”for“：[63,71,83]，”逻辑“：[65]，”is“：[66,69,89103]，”给定“：[67]，”多项式“：[70]，”any“：[72]，”fixed“：[73]，”number“：[74111]，”参数。“：[76]，”子类“：[78]，”公式“：[80]，”已识别“：[82]，”问题“：[88]，”线性“：[90]，”长度“：[93]，”配方“：[96]，”和“：[97]，”大小“：[98]，”结构。“：[101]，”PRTCTL“：[102]，”泛化“：[104]，”允许“：[106]，”推理“：[108]，”关于“：[109]，”发生“：[113]，”原子“：[115]，”事件。“：[116]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2106692345”，“counts_by_year”：[｛“year”：2016，“cited_by_count”：2｝，｛“year”：2014，“cited_by_count”：1｝，｛“year”：2013，“cited_by_count”：2｝]，“updated_date”：“2024-06-21T03:43:22.047247”，“created_date”：“2016-06-24”｝