Report - Pradikatenlogik¨ - uni-ulm.de · Falls F eine atomare Formel ist, also die Form F = P(t1,...,tk)hat, so sind zu diesem Zeitpunkt bereits alle in den Termen vorkommenden Variablen

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form