{"first_sentence": {"type": "/type/text", "value": "The efficiency of a theorem prover is more directly influenced by the total number of inferences performed before a proof is found than by the size of the final proof."}, "physical_format": "Paperback", "subtitle": "A Comparative and Asymptotic Analysis (Computational Intelligence)", "last_modified": {"type": "/type/datetime", "value": "2008-04-30 09:38:13.731961"}, "weight": "10.6 ounces", "languages": [{"key": "/l/eng"}], "publishers": ["GWV-Vieweg"], "number_of_pages": 170, "isbn_13": ["9783528155742"], "id": 12252471, "edition_name": "2 edition", "isbn_10": ["3528155744"], "publish_date": "October 28, 1999", "key": "/b/OL9053179M", "authors": [{"key": "/a/OL261486A"}, {"key": "/a/OL1570006A"}], "title": "The Efficiency of Theorem Proving Strategies", "type": {"key": "/type/edition"}, "subjects": ["Applied mathematics", "Artificial intelligence", "Computers", "Automata", "Computer Logic", "Computers - General Information", "Computer Books: General", "Science/Mathematics", "Artificial Intelligence - General", "Computers / Artificial Intelligence", "Computer Science"], "physical_dimensions": "8.4 x 6 x 0.4 inches", "revision": 1}