{"created": {"type": "/type/datetime", "value": "2009-12-10T05:18:03.824717"}, "subjects": ["Automatic theorem proving"], "latest_revision": 3, "key": "/works/OL4075747W", "title": "Analogieschlu\u0308sse beim automatischen Beweisen", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL762758A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2010-12-04T12:22:31.596929"}, "covers": [2248691], "revision": 3}