推論- 規則体系から生成された結論；情報学においては特に形式的体系から自動的に作成された帰結
aus einem Regelsystem erzeugte Schlussfolgerung; in der Informatik vor allem aus einem formalen System automatisiert erstellte Folgerung
