
inferentie- uit een regelsysteem voortgebrachte conclusie; in de informatica vooral automatisch uit een formeel systeem opgestelde gevolgtrekking
aus einem Regelsystem erzeugte Schlussfolgerung; in der Informatik vor allem aus einem formalen System automatisiert erstellte Folgerung