Existenzquantoren entfernen mit Skolemfunktionen

Поділитися
Вставка
  • Опубліковано 30 січ 2025

КОМЕНТАРІ • 1

  • @LarsL-qy7pj
    @LarsL-qy7pj 2 роки тому +1

    Wirklich gut erklärendes video, und auch sehr toll, dass es den kram über git gibt. In Kiel macht man momentan parallel Prolog, und die Technik am Ende um Funktionen über Prädikate zu implementieren hat in meinem Gehirn eine tolle Brücke dazu geschaffen. Danke :)