Login / Signup
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems.
Benjamin Przybocki
Guilherme Vicentin de Toledo
Yoni Zohar
Clark W. Barrett
Published in:
CoRR (2024)
Keyphrases
</>
first order logic
data mining
digital topology
databases
web pages
feature extraction
keywords