{"product_id":"9781586031244","title":"Cooperation in Heterogeneous Theorem Prover Networks","description":null,"brand":"IOS Press, Incorporated","offers":[{"title":"Default Title","offer_id":49787663909104,"sku":"9781586031244","price":36.0,"currency_code":"USD","in_stock":true}],"url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781586031244","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}