@phdthesis{ThesisPhDLeidinger2025,
TITLE = {{SCL(EQ)}: {S}imple Clause Learning in First-order Logic with Equality},
AUTHOR = {Leidinger, Hendrik},
LANGUAGE = {eng},
URL = {urn:nbn:de:bsz:291--ds-455521},
DOI = {10.22028/D291-45552},
SCHOOL = {Universit{\"a}t des Saarlandes},
ADDRESS = {Saarbr{\"u}cken},
YEAR = {2025},
MARGINALMARK = {$\bullet$},
DATE = {2025},
}