{"created": {"type": "/type/datetime", "value": "2019-06-28T13:49:43.974931"}, "subjects": ["Mathematical Logic and Formal Languages", "Software engineering", "Electronic data processing", "Logic design", "Logics and Meanings of Programs", "Computer science", "Numeric Computing", "Mathematics of Computing", "Artificial intelligence", "Artificial Intelligence (incl. Robotics)"], "latest_revision": 1, "key": "/works/OL19829220W", "title": "Automated Reasoning", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL7556211A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2019-06-28T13:49:43.974931"}, "covers": [8620959], "revision": 1}