{“id”：“https://openalex.org/W2059651327“，”doi“：”https://doi.org/10.1006/jsco.1996.0029“，”title“：“记录和分析基于知识的分布式扣减过程”，”display_name“：”记录和分析根据知识的分布式扣除过程“，”publication_year“：1996，”publiation_date“：”1996-04-01“，”ids“：{”openalex“：”https://openalex.org/W2059651327“，”doi“：”https://doi.org/10.1006/jsco.1996.0029“，”mag“：”2059651327“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0029“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/jsco.1996.0029“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“：[“Fachbereich Informatik，University \u00e4t Kaiserslautern，Germany#TAB#”]，“affiliations”：[{“raw_affiliation _string”：“Fachberich Informatikhttps://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“：[“德国慕尼黑理工大学信息研究所”]，“affiliations”：[{“raw_affiliation_string”：“德国慕尼大学信息研究院”，“institution_ids”：[”https://openalex.org/I62916508“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：2770，“currency”：“USD”，“value_USD”：2770'，“provenance”：“doaj”}，“apc_payd”：null，“fwci”：4.894，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cit”ed_by_count“：28，”引用标准化百分比“：{”value“：0.882159，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：87，”max“：88}，“biblio”：{“volume”：“21”，”issue“：”4-6“，”first_page“：”523“，”last_page“：”541“}https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9984，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9984，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9982，”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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.995，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/representation网站“，”display_name“：”Representation（politics）“，”score“：0.5989375}，{”id“：”https://openalex.org/keywords/temoral-reasoning网站“，”display_name“：”时序推理“，”score“：0.570553}，{”id“：”https://openalex.org/keywords/distributed-agorithms（https://openalex.org/keywords/distributed-agorithms）“，”display_name“：”分布式算法“，”score“：0.545015}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.540074}，{”id“：”https://openalex.org/keywords/spacial-reasoning网站“，”display_name“：”Spatial Reasoning“，”score“：0.537493}，{”id“：”https://openalex.org/keywords/knowledge-representation网站“，”display_name“：”知识表示“，”score“：0.535019}，{”id“：”https://openalex.org/关键词/概念验证“，”display_name“：”概念证明“，”score“：0.51598483}，{”id“：”https://openalex.org/keywords/proof-assistant网站“，”display_name“：”校对助理“，”score“：0.48681495}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.8542156}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.61364883}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.5989375}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.5304643}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5235778｝，｛”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019“，”display_name“：”概念证明“，”level“：2，”score“：0.51598483}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.48681495}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.37410045}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2744036}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748（网址：https://www.wikidata.org/wiki/Q7748）“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0029“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0029“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.49，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”refernced_works“：[”https://openalex.org/W1245452097","https://openalex.org/W1481693958","https://openalex.org/W1495433690","https://openalex.org/W1535660288","https://openalex.org/W1540822142","https://openalex.org/W1552713121","https://openalex.org/W1595374223","https://openalex.org/W1779780401","https://openalex.org/W181019280","https://openalex.org/W193086274","https://openalex.org/W2055696395","https://openalex.org/W2749479972","https://openalex.org/W420198791“]，”related_works“：[”https://openalex.org/W4385763783","https://openalex.org/W4295798319","https://openalex.org/W353523607","https://openalex.org/W3098927713","https://openalex.org/W3036179535","https://openalex.org/W2774311601","https://openalex.org/W1819460135","https://openalex.org/W1598473030","https://openalex.org/W1589866633","https://openalex.org/W1585401881“]，”abstract_inverted_index“：{”Distributed“：[0]，”models“：[1]，”for“：[2,5,64,94163]，”deduction“：[3,22]，”allow“：[4]，”more“：[6]，”powerful“：[7]，”proof“：[8127138146165]，”systems“：[9]，”but“：[10]，”alsor“：[111119155]，”lead“：[12,47]，”to“：[13,35,48104113152158]，”new“problems”“：[15,50]，”In“：[16,38,51]，”special，“：[17]，”“：[18,21,36,57,61,71,79,95108122153164]，“分析”：[19]，“的”：[20,29,78107124131]，“过程”：[23]，“变得”：[24]，“更难”，：[25]，“作为”：[26128]，“a”：[27,39,75,83129137]，“数字”：[28]，“基本上”：[30]，“独立”：[31]，“代理”：[32]，“可能”：[33]，“贡献”：[34]，“证明”。“：[37]，”系统“：[40,63,85]，”包括“：[41]，”合作“：[42]，”代理“：[43]，”定时“：[44]，”考虑因素“：[45]，”可以“：[46133]，”进一步“：[49]，”这个“：[52,99]，”论文“：[53]，”我们“：[54101]，”第一个“：[55]，”介绍“：[56]，”团队“：[58,96]，”方法“：[59]，”和“：[60,90]，”折扣“：[62110]，“分布式”：[65,84,88116]，“等式”：[66126]，“推理”。“：[67]，“我们”：[68118]，“点”：[69]，“外”：[70]，“困难”：[72]，“内”：[73115]，“获得”：[74]，“详细”：[76]，“表示”：[77123]，“证明”：[80]，“生成”：[81]，“by”：[82141]，“with”：[86]，“完全”：[87]，“记忆”：[89]，“当前”：[91]，“我的”：[92]，“解决方案”：[93100]，”方法。“：[97]，”“Using”“：[98]，”are“：[102]，”able“：[103112]，”explain“：[105]，”some“：[106]，”speed-up“：[109]，”was“：[111]，”get“：[114]，”mode。“：[117]，”show“：[120]，”how“：121]，”an“：[125]，”listing“：[130]，”inferences“：[132]，”be“：[134]，”transformed“：[135]，”into“：[136]，”easy“：[139]，”readable“：[140]，”human“：[142]，”bes。“：[143]，”最后，“：[144]，”修剪“：[145]，”协议“：[147]，”（包含“：[148]，”仅“：[149]，”事实“：[150]，”贡献“：[151]，”证明）“：[154]，”启用“：[156]，”我们“：[157]，”开发“：[159]，”新建“：[160]，”自适应“：[161]，”策略“：[162]，”搜索。“：[166]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2059651327“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年度”：2018，”ciped_by_cunt“：2}，”{“年”：2016，“cited_by_count”：1}，{”year“:2015，”citted_by_count？：2]，”年度“：2014，”citected_by-count“:1}]，”updated_date“：”2024-08-13T12:02:03.473625“，”created_date:“2016-06-24”}