Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis.

Lawrence C. Paulson

Published in: CoRR (2022)

Keyphrases

sufficient conditions
data sets
artificial intelligence
np complete
real time
real world
information systems
case study
database systems
digital libraries
probabilistic model
datalog programs