{"identifier":"nobleid:/w1/20260521/ACECCCCF","arkIdentifier":"ark:/48914/w1/20260521/ACECCCCF","version":1,"workTitle":"A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving","workType":"Journal Article","authors":"Harvey J. Greenberg","description":null,"workUrl":null,"existingDoi":"10.1023/a:1018935718357","createdAt":"2026-05-21T19:19:52.709263Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/ACECCCCF.v1"}