{"isbn_13": ["9780387590479"], "subtitle": "Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-2 (Lecture Notes in Computer Science)", "last_modified": {"type": "/type/datetime", "value": "2008-04-29 13:35:46.87638"}, "languages": [{"key": "/l/eng"}], "publishers": ["Springer"], "number_of_pages": 303, "first_sentence": {"type": "/type/text", "value": "Although having many drawbacks, benchmark circuits allow a more succinct and direct comparison of different approaches for solving a certain problem."}, "isbn_10": ["0387590471"], "publish_date": "January 1995", "key": "/b/OL7447644M", "authors": [{"key": "/a/OL2682690A"}], "title": "Theorem Provers in Circuit Design: Theory, Practice, and Experience", "type": {"key": "/type/edition"}, "id": 10141919, "revision": 1}