Ich fände es ganz praktisch, wenn man Wörterbucheinträge selbst ändern könnte. Man findet doch hin und wieder fehlerhafte oder unvollständige Einträge.

Ich habe mich übrigens gerade selbst beim Erstellen eines Eintrages versehen. Die Übersetzung von 命題論理 soll "Aussagenlogik" heißen, nicht "Prädikatenlogik".