Claims atlas
Query claims
Try
Query syntax
selection "rate of growth" | Words or quoted phrases, matched in the label, statement, quote, chapter and work |
p>=0.8 t<0.4 gap>0.3 year<1900 | Numbers with > >= < <= =. p = truth probability, t = testability, conf = assessor confidence, gap = disagreement between the truth assessors |
thinker:darwin,thompson | Field match (substring, any of the comma-separated values). Fields: thinker work chapter status verification kind verdict id |
status:proved verification:lean | Status is one of proved partial untested refuted; verification splits proved into lean literature |
is:theorem is:math is:lean | Theorem (math claim that is proved); math claim (formal statement, Lean formalization or mathematical kind); machine-checked in Lean 4 |
is:live is:draft has:t has:p | Published to production; unverified draft; has a testability or truth score |
-thinker:wolfram -is:live | A leading - negates any term. All terms must hold. |
sort:-p sort:year | Sort (- = descending). Clicking a column header does the same. |