{"last_modified": {"type": "/type/datetime", "value": "2010-12-04T11:11:49.287762"}, "title": "Tableau, Tableauresolution, und Tableaugraphresolution", "created": {"type": "/type/datetime", "value": "2009-12-10T04:34:27.656602"}, "subjects": ["Automatic theorem proving"], "latest_revision": 2, "key": "/works/OL3821628W", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL680041A"}}], "type": {"key": "/type/work"}, "revision": 2}