Englisch ⇄ Chinesisch Deutsch Dänisch Esperanto Finnisch Französisch Griechisch Italienisch Niederländisch Portugiesisch Russisch Schwedisch Spanisch Ukrainisch +

axiomatic semantics
IT	Floyd-Hoare-Semantik f; Hoarsche Semantik; axiomatische Semantik