source boundary
frontier-owneddeclared
A source record is provenance. It supports a finding only through evidence atoms, extraction spans, and reviewed finding bundles.
frontiers / frontier
Source record
back to sourcessource boundary
frontier-ownedA source record is provenance. It supports a finding only through evidence atoms, extraction spans, and reviewed finding bundles.
finding bindings
record contextFindings bound to this source through source ids, evidence atoms, provenance, or reviewed source-record slots.
evidence atoms
materializedEvidence atoms pin exact spans, measurements, selectors, or curation assertions to the source.
review context
inspectable1 reviewable changes and 0 evaluations are attached through this source or its findings.
Locator and citation
locator
title:Plunnecke-Ruzsa 1969-1989
imported
2026-05-09T22:52:52.449461+00:00
extraction mode
manual_curation
authors
agent:research-bot-2026-05-09
Caveats
No source-specific caveats are recorded.
theoretical · vf_8aa6c35eb4287a8f
Plunnecke-Ruzsa inequality: if |A+A| <= K|A|, then |kA - lA| <= K^{k+l} * |A| for all nonnegative integers k, l.
events
vev_5ab8907f7d2915f6finding.assertedManual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09
reviewable changes
vpr_db8d9ad870195994finding.addManual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09
evaluations
No evaluation rows are attached.