Definitions

[1] adj. durch Beweisführung unterstützt, mit einem Beispiel unterstrichen

[2] adj. objektorientiert programmiert (Computer)