RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
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.
3,721 results for "type I superconductor" — page 4 of 187
B_4_01 — Solomon and the Jinn
The Islamic tradition preserves one of the most detailed and theologically developed accounts of a human ruler commanding non-human beings. In the Quran, Sulayman (Solomon) is granted divine authority over the jinn — int
B_2_24 — Wild Man: Feral Human Mythology and Bigfoot Traditions
The Wild Man — a large, hairy, human-like being living in the wilderness beyond civilization's edge — appears in mythologies, folklore, and claimed-sighting reports across every inhabited continent. The earliest fully de
B_1_24 — Earth Mother: Gaia, Pachamama, and the Mother Goddess Archetype
The Earth Mother — a divine feminine figure personifying the earth itself as a life-giving, nurturing, and sometimes devouring entity — is among the most ancient and widespread religious concepts in human history. In Gre
B_1_03 — Osiris — Death, Resurrection, and the Underworld Kingdom
Osiris (Egyptian: Wsjr, conventionally vocalized as Wesir/Usir) is one of the most important deities of ancient Egypt — the god who rules the underworld (Duat), judges the dead, and provides the template for resurrection
B_3_04 — Chimeric Beings — Centaurs, Sphinxes, Minotaurs, and Composite Entities
Composite beings — entities combining human and animal features — appear in the art and mythology of every major civilization. From the Egyptian Sphinx and Mesopotamian Lamassu to the Greek Centaur, Hindu Garuda, and Mes
ZD_1_08 — Lambda Calculus and Functional Programming
Lambda calculus, invented by Alonzo Church in the 1930s as a formal system for expressing computation via function abstraction and application, stands alongside Turing machines as a foundational model of computation. Chu
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
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
L_4_09 — Selective Sweeps and Positive Selection in Humans
A selective sweep occurs when a beneficial allele rises rapidly in frequency under positive natural selection, carrying nearby linked variants along with it (genetic hitchhiking) and reducing genetic variation across the
L_5_10 — Neandertal Introgression: Which Genes and Why They Persisted
When modern humans (Homo sapiens) migrated out of Africa ~60,000-70,000 years ago and encountered Neanderthals (Homo neanderthalensis) in western Asia and Europe, the two species interbred — and the genetic legacy of tha
Y_4_05 — Dreams, Dream Incubation, and Oneiric Knowledge
Dreams have been treated as a source of knowledge, prophecy, and divine communication in virtually every civilization. Ancient Mesopotamians maintained professional dream interpreters (šāʾilu) and compiled dream omen com
Y_2_03 — Reincarnation Research — Stevenson, Tucker, Past-Life Memories
Reincarnation research — the systematic, empirical investigation of claims that individuals (typically young children) possess verified memories of previous lives — represents one of the most methodologically rigorous pr
Y_2_06 — Dissociation, Depersonalization, and Derealization
Dissociation — the disruption of normally integrated functions of consciousness, memory, identity, emotion, perception, behavior, and sense of self — represents one of the most revealing natural experiments for understan
P_5_19 — Mircea Eliade: Sacred and Profane, Eternal Return, History of Religions
Mircea Eliade (1907–1986), Romanian-born historian of religions, was arguably the most influential scholar of comparative religion in the 20th century. His core concepts — hierophany (the manifestation of the sacred in o
S_4_19 — Dyson Sphere Engineering
A Dyson sphere is a hypothetical megastructure that encompasses an entire star to capture a substantial fraction of its energy output — representing the ultimate engineering achievement of a technologically advanced civi
S_3_13 — Nuclear Fusion Progress: ITER, NIF Ignition, and Compact Tokamaks
Nuclear fusion — the process powering stars, in which light atomic nuclei combine to form heavier nuclei and release enormous energy — has been pursued as a potential source of virtually unlimited, clean energy since the
ZA_4_20 — Topological Insulators: Quantum Materials with Protected Surface States
Topological insulators (TIs) are a revolutionary class of quantum materials that behave as electrical insulators in their bulk but possess conducting surface or edge states that are protected by the fundamental symmetrie
ZA_4_10 — Topological Phases of Matter
The discovery of topological phases of matter — states of matter that cannot be described by Landau's conventional symmetry-breaking paradigm but are instead characterized by topological invariants (mathematical quantiti
I_4_04 — UAP Propulsion Theories and Metamaterials
The observed performance characteristics attributed to UAP — instantaneous acceleration, hypersonic speed without sonic booms, apparent anti-gravity hover, and trans-medium travel — would require propulsion physics far b
V_4_15 — Formal Verification: Proving Programs Correct
Formal verification — the use of rigorous mathematical methods to prove that a software or hardware system satisfies its specification — aims to provide absolute correctness guarantees, going beyond testing (which can re
BROWSE BY SECTION — 3,721 documents across 34 fields