{"type": {"key": "/type/edition"}, "authors": [{"key": "/authors/OL12311339A"}, {"key": "/authors/OL220206A"}], "dewey_decimal_class": ["512.942"], "isbn_13": ["9781638284048"], "languages": [{"key": "/languages/eng"}], "lc_classifications": ["QA161.P59M3 2024"], "number_of_pages": 86, "publish_date": "2024", "publishers": ["Now Publishers"], "source_records": ["bwb:9781638284048"], "subjects": ["Mathematics"], "title": "Polynomial Formal Verification of Arithmetic Circuits", "weight": "0.135", "full_title": "Polynomial Formal Verification of Arithmetic Circuits", "works": [{"key": "/works/OL44581582W"}], "key": "/books/OL60892188M", "latest_revision": 1, "revision": 1, "created": {"type": "/type/datetime", "value": "2025-12-13T01:42:10.318785"}, "last_modified": {"type": "/type/datetime", "value": "2025-12-13T01:42:10.318785"}}