Kompakte Vorfahrentafel von Martin David Davis