{"product_id":"id-tr-a-theorem-prover-for-unity-in-higher-order-logic-flemming-andersen-haeftet-1419228","title":"ID-TR A theorem prover for UNITY in higher order logic","description":null,"brand":"Diverse kreditorer (bibi)","offers":[{"title":"Default Title","offer_id":53479995244808,"sku":"1419228","price":0.0,"currency_code":"DKK","in_stock":true}],"url":"https:\/\/mitir.indeksretail.dk\/products\/id-tr-a-theorem-prover-for-unity-in-higher-order-logic-flemming-andersen-haeftet-1419228","provider":"Ordreportal","version":"1.0","type":"link"}