Im Bereich Algorithmus werden Hypothesen mit der Relation spezieller/genereller verglichen, ohne auf eine Definition dieser einzugehen. Ohne die Metrik kommt leider nicht wirklich heraus, was den Algorithmus auszeichnet. Zusätzlich scheint S die speziellste vollstaendige Hypothese zu enthalten, anders als im Artikel angegeben. -- Martinalex000 14:48, 2. Nov. 2015 (CET)