leere
111Resolutionsverfahren — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
112Resolvent — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
113leer — frei; leer stehend; unausgefüllt; nichtssagend; trivial; seicht; abgedroschen; witzlos; platt; nichts sagend; geistlos; hohl; …
114Christi — Christus Darstellung in Sant Apollinare Nuovo, Ravenna, 6. Jahrhundert Jesus Christus (von griechisch Ἰησούς Χριστός Iēsous Christos, ɪɛːˈsoːs kʰrɪsˈtos, Jesus, der Gesalbte) war für …
115Christus — Darstellung in Sant Apollinare Nuovo, Ravenna, 6. Jahrhundert Jesus Christus (von griechisch Ἰησούς Χριστός Iēsous Christos, ɪɛːˈsoːs kʰrɪsˈtos, Jesus, der Gesalbte) war für …
116Hauptachsentransformation — Ein zweischaliges Hyperboloid. Die gefärbten Flächen sind eine Hyperfläche zweiter Ordnung (im dreidimensionalen Raum). Die Hauptachsentransformation (HAT) ist ein Verfahren aus der linearen Algebra, um Gleichungen für sogenannte Hyperflächen… …
117Iesús Christós — Christus Darstellung in Sant Apollinare Nuovo, Ravenna, 6. Jahrhundert Jesus Christus (von griechisch Ἰησούς Χριστός Iēsous Christos, ɪɛːˈsoːs kʰrɪsˈtos, Jesus, der Gesalbte) war für …
118Infix (Theoretische Informatik) — In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen (Zeichenkette) aus einem Alphabet. Die Anzahl der Symbole eines Wortes w ist ihre Länge und wird mit | w | bezeichnet. Ein besonderes Wort ist das leere Wort, welches… …
119Jesu Christi — Christus Darstellung in Sant Apollinare Nuovo, Ravenna, 6. Jahrhundert Jesus Christus (von griechisch Ἰησούς Χριστός Iēsous Christos, ɪɛːˈsoːs kʰrɪsˈtos, Jesus, der Gesalbte) war für …
120Jesus Christi — Christus Darstellung in Sant Apollinare Nuovo, Ravenna, 6. Jahrhundert Jesus Christus (von griechisch Ἰησούς Χριστός Iēsous Christos, ɪɛːˈsoːs kʰrɪsˈtos, Jesus, der Gesalbte) war für …