{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,9,13]]，“日期-时间”：“2023-09-13T07:26:00Z”，“时间戳”：1694589960827}，“引用-计数”：10，“发布者”：“计算机协会（ACM）”，“问题”：“1-2”，“内容-域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“short-container-title”：[“ACM Commun.Comput.Algebra”]，“published-print”：{“date-parts”：[[2008,7,25]]}，“abstract”：“我讨论了包括类比在内的一些数学推理风格的符号。这些符号扩展了我最近在《符号计算杂志》上报道的数学包mathscape的约定。本文介绍了我称之为“前兆”和“结果列表”的推理对象<\/jats:p>“，”DOI“：”10.1145\/1394042.1394043“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,7,29]]，”date-time“：”2008-07-29T13:22:19Z“，”timestamp“：1217337739000}，”page“：“：2，”title“：[”符号计算中的推理“]，”prefix“：”10.1145“，”卷“：”42“，”作者“：[{”给定“：”迈克尔·P“，”家族“：”巴内特“，”序列“：”第一“，”从属关系“：[}”名称“：”新泽西州Hightstown Meadow Lakes“}]}]，”成员“：”320“，”在线发布“：{”date-parts“：[[2008,7,25]]}，”引用“：[[{“key”：“e_1_1_1”，“doi-asserted-by”：“publisher”，“doi”：“”10.1016\/j.jsc.2006.07.002“}，{”键“：”e_1_1_2_1“，”非结构化“：”http://www.princeton.edu\/~allengrp\/ms.http:\/\/www.princeton.edu\/~alengrp\/ms.“}，{”key“：”e_1_2_1_3_1“，”doi-asserted-by“：”crossref“，“unstructured”：“G.P\u00f3lya Mathematics and Plausible Reasoning。普林斯顿大学出版社，1954年。G.P\u00f3lya数学和合理推理。普林斯顿大学出版社1954.“，”DOI“：”10.1515\/9780691218304“}，{“key”：“e_1_1_4_1”，“unstructured”：“http://www.Princeton.edu\/~allengrp\/ms\/rsc.http:\/\/www.Princeton.edu\/~alengrp\/ms\/rsc.”}，“key“：”e_1_i_1_5_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1021\/ci0256539”}，{“key”：“e_1_2_1_6_1”，“volume-title”：“芝加哥大学出版社”，“author“：”Warwick“，”year“：”2003“}，{”key“：”e_1_2_1_7_1“，”first page“：“334”，“volume-title”：“数学教学研究手册，ed.D.A.Grouws”，“author”：“Schoenfeld”，“year”：“2006”}，“key”：“e_1_i_1_8_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/jmathb.2007.05.002“}”，{“issue”：“2”，“key”：“e_1_2_9_1”，“doi-asserted-by”：“crossref“，”first page“：“188”，”DOI“：“10.54870\/1551-3440.1070”，”volume“：”14“，”author“：”de Villiers“，”year“：”2007“，”journal-title“：”Montana Mathematics Enthusiast“}，{“issue”：“1”，“key”：“e_1_2_1_10_1”，“first-page”：“907”，“author”：“Ball C.”，“year”：“2002”，“journal-title”：“国际数学大会”}]，“container-title”:[“”ACM Communications in Computer Algebra“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1394042.1394043“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,12,29]]，”date-time“：“2022-12-29T07:35:14Z”“，”timestamp“：1672299314000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/1394042.1394043“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2008,7,25]]}，7,25]]}}，“alternative-id”：[“10.1145\/1394042.1394043”]，“URL”：“http:\/\/dx.doi.org\/10.1145\/1394042.1394043“，”关系“：{}，”ISSN“：[”1932-2240“]，”ISSN-type“：[{”值“：”1932-224“，”类型“：”打印“}]，”主题“：[]，”已发布“：{”日期部分“：[[2008,7,25]]}，“断言”：[{“值”：“2008-07-25”，“顺序”：2，“名称”：“已发布”，“标签”：“发布”，”组：{“name”：“publication_history”，“label”：“publication history”}}]}}