Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik