{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,5]],"date-time":"2022-12-05T23:30:06Z","timestamp":1670283006893},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[1970,4]]},"DOI":"10.1145\/321574.321591","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:26:10Z","timestamp":1027769170000},"page":"385-396","source":"Crossref","is-referenced-by-count":50,"title":["On Canonical Forms and Simplification"],"prefix":"10.1145","volume":"17","author":[{"given":"B. F.","family":"Caviness","sequence":"first","affiliation":[{"name":"Department of Mathematics, Duke University, Durham, N.C and Carnegie-Mellon University, Pitlsburgh, Pennsylvania"}]}],"member":"320","reference":[{"key":"e_1_2_1_1_2","unstructured":"BROWN P. J. Canonical forms and artificial languages. Mathematical Notes No. 19 Computation Center U. of North Carolina July 5 1963. BROWN P. J. Canonical forms and artificial languages. Mathematical Notes No. 19 Computation Center U. of North Carolina July 5 1963."},{"key":"e_1_2_1_2_2","first-page":"28","article-title":"Rational exponential expressions and a conjecture concerning v and e","volume":"76","author":"BROWN W. S","year":"1969","journal-title":"Amer. Math. Mon."},{"key":"e_1_2_1_3_2","volume-title":"Pa.","author":"CAV~NESS B .","year":"1967"},{"key":"e_1_2_1_4_2","first-page":"146","volume-title":"Academic Press","author":"DAVIS RTIN","year":"1966"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1215\/ijm\/1255644635","article-title":"Extensions and corollaries of recent work on Hilbert's tenth problem","volume":"7","author":"DAVIS RTIN","year":"1963","journal-title":"Ill. J. Math."},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2964397","article-title":"Reductions of Hilbert's tenth problem","volume":"23","author":"DAVIS RTIN","year":"1958","journal-title":"J. Symbolic Logic"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","first-page":"425","DOI":"10.2307\/1970289","article-title":"The decision problem for exponential diophantine equations","volume":"74","author":"ROBINSON ULIA","year":"1961","journal-title":"Ann. Math."},{"key":"e_1_2_1_8_2","volume-title":"Mass.","author":"FENICHEL R .","year":"1966"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1090\/S0002-9904-1902-00923-3","article-title":"Mathematische probleme","volume":"8","author":"HILBERT AVID","year":"1901","journal-title":"Bull. Amer. Math. Soc."},{"key":"e_1_2_1_10_2","volume-title":"Pa.","author":"ITURRIAGA R.","year":"1967"},{"key":"e_1_2_1_11_2","volume-title":"Mass.","author":"JOEL.","year":"1967"},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","unstructured":"NIVEN IVAN. Irrational Numbers. Wiley New York 1956. (Carus Mathematical Monographs No. 11 Mathematical Ass. of Amer.) NIVEN IVAN. Irrational Numbers. Wiley New York 1956. (Carus Mathematical Monographs No. 11 Mathematical Ass. of Amer.)","DOI":"10.5948\/9781614440116"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/363921.363943"},{"key":"e_1_2_1_14_2","volume-title":"Pa.","author":"STANDISH W.A.","year":"1966"},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2271358","article-title":"Some unsolvable problems involving elementary functions of a real variable","volume":"33","author":"RICHARDSON NIEL","year":"1968","journal-title":"J. Symbolic Logic"},{"key":"e_1_2_1_16_2","unstructured":"A solution of the identity problem for integral exponential functions. Z. Math. Logik Grundlagen Math. (to appear). A solution of the identity problem for integral exponential functions. Z. Math. Logik Grundlagen Math. (to appear)."},{"key":"e_1_2_1_17_2","doi-asserted-by":"crossref","unstructured":"ROVSSEAU G. A decidable class of number theoretic equations. J. London Math. Soc. 4il (1966) 737-741. ROVSSEAU G. A decidable class of number theoretic equations. J. London Math. Soc. 4il (1966) 737-741.","DOI":"10.1112\/jlms\/s1-41.1.737"},{"key":"e_1_2_1_18_2","first-page":"B1","article-title":"An annotated descriptor-based bibliography on the use of computers for non-numerical mathematics","volume":"7","author":"SAMMET J .","year":"1966","journal-title":"Comput. Rev."},{"key":"e_1_2_1_19_2","first-page":"1","volume-title":"Appendix","author":"SAMMET J ."},{"key":"e_1_2_1_20_2","first-page":"37","volume-title":"Proc. AFIPS 1965 Fall J o i n t Comput. Conf.","volume":"27","author":"TOBEY R. G."}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=321591&ftid=59460&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T13:10:55Z","timestamp":1599916255000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/321574.321591"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1970,4]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1970,4]]}},"alternative-id":["10.1145\/321574.321591"],"URL":"http:\/\/dx.doi.org\/10.1145\/321574.321591","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":["Artificial Intelligence","Hardware and Architecture","Information Systems","Control and Systems Engineering","Software"],"published":{"date-parts":[[1970,4]]}}}