Algorithmische Eigenschaften von QK4.3 und QS4.3