SkolemFC ist ein skalierbarer Algorithmus zur Approximation der Anzahl von Skolem-Funktionen, der beeindruckende Leistung auf praktischen Benchmarks zeigt.