On Synthesizability of Skolem Functions in First-Order Theories

Round-16 hunt: picked; source: deeper uploads from a strong channel accepted this round; channel already live on Lumen; strict per-title check + final strict pass; title rules; oEmbed verified.

A 62-minute video from IFCPAR/ CEFIPRA: “On Synthesizability of Skolem Functions in First-Order Theories”.

Video by IFCPAR/ CEFIPRA, played through YouTube's embedded player.