{"created": {"type": "/type/datetime", "value": "2019-06-28T13:55:14.908021"}, "subjects": ["Automatic theorem proving"], "latest_revision": 1, "key": "/works/OL19829270W", "title": "The automation of reasoning with incomplete information", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL227113A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2019-06-28T13:55:14.908021"}, "covers": [8621017], "revision": 1}