Short Proofs for Slow Consistency.

Anton Freund Fedor Pakhomov

Published in: Notre Dame J. Formal Log. (2020)

Keyphrases

consistency checking
consistency constraints
data sets
databases
information retrieval
artificial intelligence
similarity measure
theorem proving
temporal consistency
natural deduction
maintaining consistency
formal proofs
equational theories