Solovay's Relative Consistency Proof for FIM and BI.

Joan Rand Moschovakis

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

Keyphrases

business intelligence
set intersection
theorem prover
database
theorem proving
global consistency
real time
data sets
real world
computer vision
decision trees
user interface
first order logic
natural deduction
mathematical proofs