{"product_id":"automated-theorem-proving-9780821850275","title":"Automated Theorem Proving","description":"\u003cp\u003e  • Publisher: American Mathematical Society\u003cbr\u003e • Publisher Imprint: American Mathematical Society\u003cbr\u003e\u003c\/p\u003e","brand":"American Mathematical Society","offers":[{"title":"Paperback","offer_id":45050162217111,"sku":"9780821850275","price":6124.0,"currency_code":"INR","in_stock":false}],"url":"https:\/\/atlanticbooks.com\/products\/automated-theorem-proving-9780821850275","provider":"Atlantic Books","version":"1.0","type":"link"}