Terms for subject Artificial intelligence containing formula

English	German
add formula	Ergänzungsformel
atomic formula	Atomformel
Barcan formula	Barcan-Formel (modale Logik)
equivalence of well-formed formulas	Äquivalenz wohldefinierter Formeln
equivalence of well-formed formulas	Formel-Äquivalenz
formula manipulation	Formelmanipulation
goal of a well-formed formula	Endziel einer Formel
ill-formed formula	falsche Formel
ill-formed formula	unrichtige Formel
simplification of a formula	Vereinfachung einer Formel
transformation formula	Transformationsformel
well-formed formula	wohlgeformte Formel
well-formed formula	wohldefinierte Formel
well-formed formula of the predicate calculus	Formel des Prädikatenkalküls