Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.

Dominik Kirst Marc Hermes

Published in: J. Autom. Reason. (2023)

Keyphrases

real world
expert systems
management system
higher order
case study
information retrieval systems
intelligent systems
incomplete information
formal methods