{"product_id":"automated-theorem-proving","title":"Automated Theorem Proving","description":"","brand":"American Mathematical Society","offers":[{"title":"Default Title","offer_id":54227182485848,"sku":"9780821850275","price":123.99,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/agendabookshop.com\/products\/automated-theorem-proving","provider":"Agenda Bookshop","version":"1.0","type":"link"}