{"product_id":"bibel-wolfgang-automated-theorem-proving-9783322901033","title":"Automated Theorem Proving","description":null,"brand":"Vieweg+Teubner Verlag","offers":[{"title":"Default Title","offer_id":53797660950870,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/bibel-wolfgang-automated-theorem-proving-9783322901033","provider":"momoxbooks","version":"1.0","type":"link"}