Login / Signup

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality

Leszek PacholskiWieslaw Szwast
Published in: Inf. Comput. (1993)
Keyphrases
  • higher order
  • function symbols
  • natural language
  • query answering
  • social bookmarking
  • data sets
  • neural network
  • machine learning
  • high order
  • integrity constraints
  • minimal models