{"type": {"key": "/type/edition"}, "authors": [{"key": "/authors/OL958407A"}], "isbn_13": ["9781447115915"], "languages": [{"key": "/languages/eng"}], "lc_classifications": ["QA75.5-76.95"], "publish_date": "2012", "publishers": ["Springer"], "source_records": ["bwb:9781447115915"], "title": "Theorem Proving with the Real Numbers", "pagination": "186", "full_title": "Theorem Proving with the Real Numbers", "works": [{"key": "/works/OL25860753W"}], "key": "/books/OL34883281M", "latest_revision": 1, "revision": 1, "created": {"type": "/type/datetime", "value": "2021-10-08T23:38:10.058591"}, "last_modified": {"type": "/type/datetime", "value": "2021-10-08T23:38:10.058591"}}