combinatorics / Additive combinatorics
the model's contribution is one simplifying lemma; the authors state the main ideas are human
Temporal state
No reconciled state yet.
Append-only history
the model's contribution is one simplifying lemma; the authors state the main ideas are human
Research memory
the model's contribution is one simplifying lemma; the authors state the main ideas are human
the model's contribution is one simplifying lemma; the authors state the main ideas are human
Evidence graph
parent of · claim · counterexample
parent of · event · claim reported