{"product_id":"9781852336097","title":"Automated Theory Formation in Pure Mathematics : Diss. (Distinguished Dissertations) (2002. XVI, 380 p. w. figs. 24 cm)","description":"","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":48763318632683,"sku":"00000_00000_00000_00000","price":201.41,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9781852336097","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}