Login / Signup

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems.

Benjamin PrzybockiGuilherme Vicentin de ToledoYoni ZoharClark W. Barrett
Published in: CoRR (2024)
Keyphrases
  • first order logic
  • data mining
  • digital topology
  • databases
  • web pages
  • feature extraction
  • keywords