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.

3,665 results for "P vs NP" — page 147 of 184

I_2_15 Speculative UAP Disclosure

I_2_15 — Bob Lazar Claims — Critical Evidence Review

Robert Scott Lazar (born January 26, 1959) is the most prominent and controversial figure in the history of alleged UFO reverse engineering claims, having come forward in 1989 through investigative journalist George Knap

Bob Lazar Area 51 S-4 Element 115 moscovium reverse engineering
I_3_18 Credible UAP Disclosure

I_3_18 — JAL Flight 1628 Alaska Encounter

On November 17, 1986, Japan Air Lines (JAL) cargo Flight 1628, a Boeing 747 freighter en route from Paris to Narita via Anchorage, encountered unidentified aerial objects over eastern Alaska. Captain Kenju Terauchi, a ve

JAL Flight 1628 Japan Air Lines Captain Terauchi Alaska FAA John Callahan
I_3_06 Verified UAP Disclosure

I_3_06 — Nimitz Tic-Tac Encounter (2004) — Case Study

The USS Nimitz "Tic-Tac" encounter of November 14, 2004, is arguably the most evidentiarily robust UAP case in recorded history. During routine carrier strike group exercises approximately 100 miles southwest of San Dieg

Nimitz Tic-Tac USS Nimitz USS Princeton Commander David Fravor FLIR1
I_3_04 Verified UAP Disclosure

I_3_04 — Rendlesham Forest Incident (1980)

The Rendlesham Forest Incident (December 26–28, 1980) is the best-documented military UAP encounter in European history and one of the most investigated cases worldwide. Over two consecutive nights, United States Air For

Rendlesham Forest RAF Woodbridge RAF Bentwaters Colonel Charles Halt Jim Penniston John Burroughs
I_3_09 Verified UAP Disclosure

I_3_09 — Foo Fighters and World War II Anomalous Observations

"Foo fighters" — a term coined by American military aircrews during World War II — refers to unexplained luminous phenomena observed by Allied (and reportedly Axis) pilots in both the European and Pacific Theaters from a

foo fighter World War II WWII anomalous lights strange aerial phenomena 415th Night Fighter Squadron
I_3_08 Credible UAP Disclosure

I_3_08 — Roswell Incident: Historical Analysis

The Roswell incident (early July 1947) is the most culturally significant and extensively investigated event in UAP history. The core facts are not disputed: in early July 1947, rancher W.W. "Mack" Brazel discovered unus

Roswell 1947 New Mexico Marcel Brazel Project Mogul
I_3_11 Credible UAP Disclosure

I_3_11 — The Brazilian Night of UFOs: Official Military Encounters

On the night of May 19, 1986, multiple unidentified objects were tracked on military and civilian radar across southeastern Brazil — primarily over São Paulo, Rio de Janeiro, and surrounding areas — and the Brazilian Air

Brazil UFO Night of UFOs military FAB intercept
I_3_14 Credible UAP Disclosure

I_3_14 — The Tehran 1976 Incident: A Military Engagement Case

On September 19, 1976, Iranian Air Force F-4 Phantom II jets were scrambled from Shahrokhi Air Base (now Hamadan Air Base) to intercept a brilliant unidentified object reported over Tehran. The incident — documented in a

Tehran Iran 1976 F-4 Phantom intercept
I_3_13 Credible UAP Disclosure

I_3_13 — The Zimbabwe Ariel School Encounter

On September 16, 1994, approximately 62 schoolchildren (ages 5-12) at the Ariel School in Ruwa, Zimbabwe (a small farming community ~20 km from Harare), reported witnessing one or more unusual craft land or hover near th

Ariel Zimbabwe Ruwa children school encounter
I_3_20 Speculative UAP Disclosure

I_3_20 — USO Underwater Base Claims & Evidence

Unidentified Submerged Objects (USOs) — anomalous craft or phenomena observed entering, exiting, or operating beneath bodies of water — represent a distinct subcategory of UAP reports that gained significant official att

USO unidentified submerged object transmedium underwater UFO ocean submarine
I_1_03 Verified UAP Disclosure

I_1_03 — Close Encounters Classification System and Case Study Methodology

The systematic classification of UFO/UAP encounters provides the methodological backbone for anomaly research. J. Allen Hynek's Close Encounter scale (1972) — ranging from CE-I (visual sighting within 150 meters) through

close encounters Hynek classification Vallée classification GEIPAN Project Blue Book CE-I
I_5_01 Credible UAP Disclosure

I_5_01 — Whistleblowers & Key Figures

This document profiles 12 key individuals whose testimony, research, or institutional positions have shaped the UAP disclosure landscape. Each figure is rated independently using the tier system, with emphasis on verifia

Grusch Elizondo Fravor Graves Nell Gallaudet
I_4_01 Credible UAP Disclosure

I_4_01 — Historic UFO Crashes & Retrieval Allegations

This document catalogs the most significant alleged UFO crash retrieval events from 1933 to the present, individually rated using the 5-tier system. Nine primary cases are profiled alongside the Grusch congressional test

Roswell crash retrieval reverse engineering Grusch MJ-12 Magenta Italy
V_4_13 Credible Mathematics & Information

V_4_13 — Mathematics of Voting: Arrow's Theorem, Fairness, and Electoral Systems

The mathematics of voting — a branch of social choice theory — applies rigorous mathematical analysis to the problem of aggregating individual preferences into collective decisions, revealing deep impossibility results t

voting theory social choice Arrow's theorem Condorcet paradox Gibbard-Satterthwaite electoral system
V_4_02 Verified Mathematics & Information

V_4_02 — Mathematical Economics

Mathematical economics applies formal mathematical methods — optimization, fixed-point theorems, measure theory, stochastic processes, and game theory — to model economic phenomena with the rigor of a mathematical scienc

mathematical economics game theory Nash equilibrium general equilibrium Arrow-Debreu welfare theorems
V_4_28 Verified Mathematics & Information

V_4_28 — Game Theory: Strategic Decision-Making and Evolutionary Dynamics

Game theory — the mathematical study of strategic interaction among rational agents — was formalized by John von Neumann and Oskar Morgenstern in Theory of Games and Economic Behavior (1944) and transformed by John Nash'

game theory nash equilibrium prisoner's dilemma evolutionary game theory john von neumann john nash
V_4_24 Verified Mathematics & Information

V_4_24 — Chaos Theory: Nonlinear Dynamics, Strange Attractors, and the Butterfly Effect

Chaos theory — the study of deterministic systems exhibiting sensitive dependence on initial conditions — emerged in the 1960s–70s as a revolutionary insight: simple mathematical equations can produce behavior so complex

chaos theory nonlinear dynamics butterfly effect strange attractor lorenz mandelbrot
V_3_20 Verified Mathematics & Information

V_3_20 — Fibonacci Sequences in Nature

The Fibonacci sequence (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...), in which each number is the sum of the two preceding ones, was introduced to European mathematics by Leonardo of Pisa (known as Fibonacci) in his 1

Fibonacci golden ratio phyllotaxis sunflower spirals phi Lucas numbers
V_3_21 Verified Mathematics & Information

V_3_21 — Bayesian Statistics Revolution

Bayesian statistics — the framework for updating probability estimates as new evidence is acquired, grounded in Bayes' theorem — has undergone a dramatic resurgence since the late 20th century, transforming from a margin

Bayesian statistics Bayes theorem prior probability posterior Thomas Bayes Laplace
V_3_19 Verified Mathematics & Information

V_3_19 — Mathematical Biology and Biomathematics

Mathematical biology — the application of mathematical models, statistical methods, and computational tools to biological systems — has become indispensable for understanding phenomena from molecular interactions to glob

mathematical-biology population-dynamics epidemiological-modeling lotka-volterra reaction-diffusion turing-patterns