RESEARCH BASE

Search 3,721 documents across 34 fields — every claim tier-rated by evidence

3,721 Documents 34 Sections 43,625 Citations 34,852 Keywords Indexed 4 Evidence Tiers

3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.

125 results for "early middle ages" — page 7 of 7

Q_1_19 Credible Cosmology & Physics

Q_1_19 — Cosmic Inflation Alternatives: Bouncing, Cyclic, and Variable Speed of Light Models

Cosmic inflation — the paradigm that the universe underwent exponential expansion in the first ~10⁻³⁶ to 10⁻³² seconds — has been the standard framework for explaining the horizon problem (why the cosmic microwave backgr

bouncing-cosmology cyclic-universe ekpyrotic variable-speed-of-light inflation-alternatives horizon-problem
Q_4_06 Verified Cosmology & Physics

Q_4_06 — Baryon Asymmetry and Matter-Antimatter

One of the deepest unsolved problems in physics is the baryon asymmetry of the universe — the observed predominance of matter over antimatter. For every ~10⁹ photons in the cosmic microwave background, there is approxima

baryon asymmetry matter antimatter baryogenesis Sakharov conditions CP violation baryon number violation
ZD_1_14 Verified Information & Computation

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

type theory lambda calculus dependent types Curry-Howard Coq Lean
ZD_3_05 Verified Information & Computation

ZD_3_05 — Compiler Theory and Parsing

Compiler theory — the science of translating high-level programming languages into machine-executable code — is one of the most mathematically rigorous and practically impactful subfields of computer science. Compilers b

compiler parsing lexical analysis syntax analysis code generation optimization
F_1_17 Verified Lost Connections

F_1_17 — Austronesian Expansion: From Taiwan to Madagascar and Easter Island

The Austronesian expansion is the largest maritime diaspora in human history, spanning from Taiwan (c. 3500–3000 BCE) across the Pacific and Indian Oceans to ultimately reach Madagascar (c. 500–800 CE) in the west and Ra

Austronesian Out of Taiwan Lapita Polynesian voyaging outrigger canoe Madagascar