A complete, nonredundant algorithm for reversed Skolemization

DOI10.1016/0304-3975(83)90022-1zbMath0566.03005OpenAlexW2088833815MaRDI QIDQ1059063

Could not fetch data.

Publication date: 1984

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90022-1

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.