{“id”：“https://openalex.org/W1981208316“，”doi“：”https://doi.org/10.1007/s10009-005-0214-9“，”title“：”On the expressiveity of MTL in the pointwise and continuous semantics“，”display_name“：”On the expressibility of MTL On the pointwise and cont连语义“，”publication_year“：2006，”publitation_date“：”2006-04-12“，”ids“：{”openalex“：”https://openalex.org/W1981208316“，”doi“：”https://doi.org/10.1007/s10009-005-0214-9“，”mag“：”1981208316“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-005-0214-9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”“display_name”“：”《国际技术转让软件工具杂志》“，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5045349712“，”display_name“：”Deepak D\u2019Souza“，”orcid“：”https://orcid.org/0000-0002-6629-6604“｝，”机构“：[｛”id“：”https://openalex.org/I59270414“，”display_name“：”班加罗尔印度科学研究所“，”ror“：”https://ror.org/04dese585“，”country_code“：”IN“，”type“：“教育”，”世系“：[”https://openalex.org/I59270414“]}]，”国家“：[”IN“]，”is_corresponding“：true，”raw_author_name“：”Deepak D\u2019Souza“，”raw_affiliation_strings“：[“印度班加罗尔印度科学院计算机科学与自动化系”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5068080537“，”display_name“：”Pavithra Prabhakar“，”orcid“：”https://orcid.org/0000-0002-5368-3234“｝，”机构“：[｛”id“：”https://openalex.org/I59270414“，”display_name“：”班加罗尔印度科学院“，”ror“：”https://ror.org/04dese585“，”country_code“：”IN“，”type“：“教育”，”世系“：[”https://openalex.org/I59270414“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”Pavithra Prabhakar“，”raw _ afiliation_strings“：[“印度班加罗尔印度科学院计算机科学与自动化系”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5045349712“]，”对应的机构ID“：[”https://openalex.org/I59270414“]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}，”apc _payed“：”{“value”：2390、”current“：”欧元“，”value_usd”：2990、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“ngrams”、“cited_by_count”：44、“citecd_by_percentile_year”：{“min”：93、“max”：94}，“biblio”：{“volume”：“9”，“issue”：“1”，“first_page”：“0”，“last_page”：：“4”}，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9977，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9947，”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.511911}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.501187}]，”concepts“：[{”id“：”https://openalex.org/C2777984123，“wikidata”：https://www.wikidata.org/wiki/Q9248237“，”display_name“：”Pointwise“，”level“：2，”score“：0.8822988}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.7332411}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.65702605}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”建设性“，”level“：3，”score“：0.61193514｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6011553}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.529021}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.36424583}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35483184}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.27988636}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.08923}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-005-0214-9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”“display_name”“：”《国际技术转让软件工具杂志》“，”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”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“score”：0.46，“id”：“https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：6，”referrenced_works“：【”https://openalex.org/W2026629052","https://openalex.org/W2049696538","https://openalex.org/W2101508170","https://openalex.org/W2166612569","https://openalex.org/W2224093492","https://openalex.org/W4245034461“]，”related_works“：[”https://openalex.org/W82829784","https://openalex.org/W42113618","https://openalex.org/W3197542402","https://openalex.org/W2971527398","https://openalex.org/W2480115405","https://openalex.org/W2140020064","https://openalex.org/W2103468410","https://openalex.org/W1856228368","https://openalex.org/W143502885","https://openalex.org/W1025150868“]，”ngrams_url“：”https://api.openalex.org/works/W1981、208316/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1981208316“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：2}，“年”：2021，“年份”：2017，“引用_ by_count”：5}，{“年份”:2016，“引用_by_counts”：4}，}“年份“：2015，”引用_ by-count“：3}，{“年份”：2014，“引用_by_count”：1}，{”年份“：2013，”引用_by-count