 |
| German | English |
| a-priori-Theorem | antecedent theorem |
| Bayessches Theorem | Bayes decision rule |
| Bayessches Theorem | Bayes rule |
| Bayessches Theorem | Bayes decision method |
| Church-Gödel-Theorem | Church-Gödel theorem (Berechnungskomplexität) |
| Church-Rosser-Theorem | Church-Rosser theorem (Lambda-Kalkül) |
| Gold-Theorem | Gold's theorem |
| Gold-Theorem | Gold theorem |
| Hart-Nilsson-Raphael-Theorem | Hart-Nilsson-Raphael theorem (bei der heuristischen Suche) |
| Herbrand-Theorem | Herbrand theorem (beim Theorembeweisen) |
| Maschine zum Beweisen geometrischer Theoreme | geometry theorem-proving machine |
| Theorem der positiven Normalform | positive normal-form theorem |
| Theorem der Strukturgewinnung aus der Bewegung | structure-from-motion theorem |
| Theorem von Gold | Gold's theorem (grammatische Inferenz) |
| Theorem von Gold | Gold theorem (grammatische Inferenz) |