{“id”：“https://openalex.org/W1523376837“，”doi“：”https://doi.org/10.1023/a:1005879229581“，”title“：null，”display_name“：nul，”publication_year“：1997，”publiciation_date“：”1997-01-01“，”ids“：{”openalex“：”https://openalex.org/W1523376837“，”doi“：”https://doi.org/10.1023/a:1005879229581“，”mag“：”1523376837“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1023/a:1005879229581“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”issn“：[”0168-7433“，”1573-0670“]，”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”：“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/A5026928710“，”display_name“：”J\u00f6rg-Denzinger“，”orcid“：”https://orcid.org/0000-0002-1450-8230}，“机构”：[{“id”：https://openalex.org/I153267046“，”display_name“：”凯泽斯劳滕大学“，”ror“：”https://ror.org/04zrf7b53“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I153267046“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”J\u00f6rg Denzinger“，”raw _affiliation_strings“：[“FB Informatik，University \u00e4t Kaiserslautern，Kaisersalutern，Germany”]，“affiliations”：[{“raw_affilition_string”：“FB Infoatik，university \u 00e4t-Kaiserselslauter，German”，“institution_ids”：[”https://openalex.org/I153267046“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5032242613“，”display_name“：”Martin Kronenburg“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I153267046“，”display_name“：”凯泽斯劳滕大学“，”ror“：”https://ror.org/04zrf7b53“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I153267046“]｝]，”countries“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Martin Kronenburg“，”raw_affiation_strings“：[”FB Informatik，Universit \u00e4t Kaiserslautern，Kaiserslautern，Germany“]，”affiliations“：[｛”raw_affiation_string“：”FB Informatik，Universit \u00e4t Kaiserslautern，Kaiserslautern，Germany“，”institution_ids“：[”https://openalex.org/I153267046“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5030305055“，”display_name“：”Stephan Schulz“，”orcid“：”https://orcid.org/0000-0001-6262-8555}，“机构”：[{“id”：https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stephan Schulz“，”raw _ afiliation_strings“：[“德国慕尼黑理工大学信息研究所\u00e4t M\u00fcnchen”]，”从属关系“：[{”raw _affiliation_string“：”德国慕尼西理工大学信息化研究所\u00fcnchen，德国“，”机构ID“：[”https://openalex.org/I62916508“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：2290，“currency”：“EUR”，“value_usd”：2890，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：9.399，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count“：62，”引用规范化百分比“：{”value“：0.945388，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：93，”max“：94}，“biblio”：{“volume”：“18”，“issue”：“2”，“first_page”：“189”，“last_page”：”198“}，‘is_retracted”：false、“is_paratext”：false，“primary_topic”：“{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9975，”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.9975，”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/T11106“，”display_name“：”轨迹数据挖掘与分析“，”score“：0.9934，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”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/T10586“，”“display_name”：“基于采样的运动规划算法”，“score”：0.9925，“subfield”：{“id”：“https://openalex.org/subfields/1707“，”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/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.515751｝，｛”id“：”https://openalex.org/keywords/工作站“，”display_name“：”Workstation“，”score“：0.5141254}]，”concepts“：[{”id“：”https://openalex.org/C111226992，“wikidata”：https://www.wikidata.org/wiki/Q626225“，”display_name“：”Teamwork“，”level“：2，”score“：0.73940074}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.6615226}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6002998}，{”id“：”https://openalex.org/C2164484，“wikidata”：https://www.wikidata.org/wiki/Q5170150“，”display_name“：”芯（光纤）“，”level“：2，”score“：0.5700602}，{”id“：”https://openalex.org/C91306197，“wikidata”：https://www.wikidata.org/wiki/Q45767“，”display_name“：”比赛（生物）“，”等级“：2，”分数“：0.5364023}，{”id“：”https://openalex.org/C67953723，“wikidata”：https://www.wikidata.org/wiki/Q192525“，”display_name“：”Workstation“，”level“：2，”score“：0.5141254}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.4860845}，{”id“：”https://openalex.org/C139807058，“wikidata”：https://www.wikidata.org/wiki/Q352374“，”display_name“：”适应（眼睛）“，”级别“：2，”分数“：0.47690296}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.30903006}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.26265985｝，｛”id“：”https://openalex.org/C187736073，“wikidata”：https://www.wikidata.org/wiki/Q2920921“，”display_name“：”管理“，”级别“：1，”分数“：0.082297206}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1023/a:1005879229581“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”isn“：[“0168-7443”，”1573-0670“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/17“，”display_name“：”目标伙伴关系“，”score“：0.5｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：10，”referenced_works“：[”https://openalex.org/W1245452097","https://openalex.org/W1481693958","https://openalex.org/W1535660288","https://openalex.org/W1540822142","https://openalex.org/W1548261674","https://openalex.org/W1779780401","https://openalex.org/W1881432009","https://openalex.org/W193086274","https://openalex.org/W2059651327","https://openalex.org/W2749479972“]，”related_works“：[”https://openalex.org/W4229549622","https://openalex.org/W3196207352","https://openalex.org/W3100311625","https://openalex.org/W3084261076","https://openalex.org/W2951724202","https://openalex.org/W2808944898","https://openalex.org/W2357960062","https://openalex.org/W2346864368","https://openalex.org/W2161212821","https://openalex.org/W1502903923“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1523376837”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：2｝，｛“year”：2023，“cited_by_count”：2｝，｛“year”：2022，“cited_by_count”：3｝，｛“year”：2021，“cited_by_count”：5｝，｛“year”：2020，“cited_by_count”：2｝，｛“year”：2019，“cited_by_count”：5｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”by_count“：1｝，｛“年份”：2016，“cited_by_count”：1｝，｛“年份”：2015，“cited_by_count”：2｝，{“年份”：2014，“引用_ by_count”：1}，{”年份“：2013，”引用_ by-count“：5}]，”更新日期“：“2024-09-10T12:09:09.288819”，“创建日期”：“2016-06-24”}