The Hales-Jewett Theorem.

Ujkan Sulejmani Manuel Eberl Katharina Kreuzer

Published in: Arch. Formal Proofs (2022)

Keyphrases

intuitionistic logic
von neumann
data sets
artificial intelligence
multi agent systems
pairwise
mobile robot
information extraction