| Theorems | 8J4MSJ3QTB | definition | open | open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-4 |
| Theorems | 936Y508G0Q | statement | open | Wikipedia Intuitionistic logic#NI2B |
| Theorems | ACXYN19HWZ | statement | open | Wikipedia Subsequence#DFQ2 |
| Theorems | AK75GJHB21 | statement | open | Wikipedia Base (topology)#WMXA |
| Theorems | CCF36F3AFJ | statement | open | Wikipedia Matrix variate beta distribution#O53M |
| Theorems | E5KNR4T7R1 | statement | open | Wikipedia List of things named after Alfred Tarski#7T1Q |
| Theorems | E5ZD5NW0FX | statement | open | Wikipedia Lie algebra extension#9YM8 |
| Theorems | E87R1J1BVY | statement | open | Wikipedia Discrete tomography#RQT6 |
| Theorems | F47CGG218Y | statement | open | Wikipedia Discrepancy theory#ILZF |
| Theorems | FXJBWRHYNR | statement | open | Wikipedia Quasiperfect number#TBFD |
| Theorems | GST6EW45H3 | definition | open | open_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-3 |
| Theorems | H3S7KA8YSE | statement | open | Wikipedia Accessible category#PLBQ |
| Theorems | HHMYANJ392 | statement | open | Wikipedia List of topics named after Leonhard Euler#BA1R |
| Theorems | HNSHWCNQFZ | statement | open | Wikipedia Heegaard splitting#U1JQ |
| Theorems | HQC60KE295 | statement | open | Wikipedia Cut point#2Y1Y |
| Theorems | HX2XAP0SPF | statement | open | Wikipedia Word metric#93IU |
| Theorems | J72ADZEFW9 | statement | open | Wikipedia Inverse-Wishart distribution#YC93 |
| Theorems | JCX6668X39 | statement | open | Wikipedia Minimal logic#SN2V |
| Theorems | KAJC3DRGK3 | statement | open | Wikipedia Heyting arithmetic#4T7M |
| Theorems | KHG4E4T78Q | statement | open | Wikipedia Function of a real variable#OKN1 |
| Theorems | KXXPGQPC4J | statement | open | Wikipedia Rokhlin lemma#9N70 |
| Theorems | MQBNW2X7ZS | statement | open | Wikipedia Initial algebra#LKYY |
| Theorems | MX1QTEK839 | statement | open | Wikipedia Basic theorems in algebraic K-theory#71LN |
| Theorems | N49DGMVXDF | definition | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#defn-1 |
| Theorems | NP4DGKP124 | statement | open | Wikipedia Transversal plane#MPEB |
| Theorems | P09HPKY2AX | statement | open | Wikipedia Shehu transform#QSJA |
| Theorems | P46ZSN17S0 | statement | open | Wikipedia Function of several real variables#DO20 |
| Theorems | PBPYY506R4 | statement | open | Wikipedia Stokes flow#ZUBU |
| Theorems | PEKTBYWWHR | statement | open | Wikipedia Global field#MYV0 |
| Theorems | PFYK7D2RGW | statement | open | Wikipedia Inhabited set#KDCB |
| Theorems | QG3S5ZH13F | definition | open | open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#defn-1 |
| Theorems | QPAJH9ZHW0 | statement | open | Wikipedia Computable isomorphism#BI37 |
| Theorems | SXXW68RW88 | statement | open | Wikipedia Kripke–Platek set theory#9RGD |
| Theorems | TETY3FA0AD | statement | open | Wikipedia Riesz sequence#XIRI |
| Theorems | VN049E6V17 | statement | open | Wikipedia Rectangle#FJ42 |
| Theorems | VTC9NDQEMG | statement | open | Wikipedia Control-Lyapunov function#NPVL |
| Theorems | WBHSZQ2HHJ | statement | open | Wikipedia Linear span#URSB |
| Theorems | XPP96KWFSZ | definition | open | open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#defn-1 |
| Theorems | Y976PMN8TX | statement | open | Wikipedia Discrete Laplace operator#V35T |
| Theorems | YG6T75SPM8 | statement | open | Wikipedia Skew apeirohedron#PM5D |
| Theorems | ZATJDYNTZM | statement | open | Wikipedia No free lunch in search and optimization#V93Z |
| Theorems | ZJJEZ2ZYW5 | statement | open | Wikipedia Constructive analysis#JR38 |
| Theorems | ZXBW5AWDR7 | statement | open | Wikipedia Heap (mathematics)#M1WL |
| Theorems 1.19 and 1.26 , Theorems 1.4.7 and 1.4.8 | DKYZQNB00X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#A4E4 |
| Theorems 2 and 3, including their proofs | QHV1N2P4DG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23128#TL6Q |
| Theorems about Mersenne numbers | J6ZJVP81QQ | statement | open | Wikipedia Mersenne prime#R3SU |
| Theorems about relations | KB8AJTB0RE | statement | open | Wikipedia Relation (mathematics)#R14T |
| Theorems and Identities | 9CFN287DXD | statement | open | Wikipedia Nome (mathematics)#X2R1 |
| Theorems and theories | 6WT022NX93 | statement | open | Wikipedia Theorem#WDFE |
| Theorems concerning special cases | A0A1M6JANE | statement | open | Wikipedia Mordell–Weil group#VE8O |
| Theorems in logic | HSFSK36D6Y | statement | open | Wikipedia Theorem#ZNUT |
| Theorems involving prevalence and shyness | JGC8E0VFG8 | statement | open | Wikipedia Prevalent and shy sets#EU88 |
| Theorems involving Serre quotients | D653ABKTXR | statement | open | Wikipedia Quotient of an abelian category#3OPV |
| Theorems involving surface integrals | D6ESMAKJC7 | statement | open | Wikipedia Surface integral#MIZE |
| Theorems of Erdős–Fuchs type | DJCTXDGKAJ | statement | open | Wikipedia Erdős–Fuchs theorem#YALX |
| Theorems of Tannaka and Krein | RBD9S3WCQQ | statement | open | Wikipedia Tannaka–Krein duality#MKWX |
| Theorems of uniform multicommodity flow problems | WH3YP0MDRY | problem | open | Wikipedia Approximate max-flow min-cut theorem#VCKN |
| Theorems on books | DFHGGK87A5 | statement | open | Wikipedia Book (graph theory)#XU42 |
| Theorems on Cardinal utility | RT1J0S98HB | statement | open | Wikipedia Debreu's representation theorems#7FGV |
| Theorems on methods for summing divergent series | 3GR6965M2S | statement | open | Wikipedia Divergent series#LS8Z |
| Theorems on the differentiation of integrals | DBAX71DMCN | statement | open | Wikipedia Differentiation of integrals#X33C |
| Theorems proved with the help of computer programs | P99FYSHXHG | statement | open | Wikipedia Computer-assisted proof#NEB5 |
| Theorems regarding multivariate limits and continuity | Q72DDRVTVZ | statement | open | Wikipedia Multivariable calculus#ZCDB |
| Theoretical computer science | Q42SDYJG9H | topic | open | Wikipedia Theoretical computer science, Wikidata Q2878974 |
| Theoretical definition | SS09W7PHWM | definition | open | Wikipedia Theoretical definition, Wikidata Q7782363 |
| Theoretical gravity | TED63KSNGV | definition | open | Wikipedia Theoretical gravity, Wikidata Q1795097 |
| Theoretical philosophy | FWFB5Z7MKB | topic | open | Wikipedia Theoretical philosophy, Wikidata Q2166096 |
| theoretical physics | 2E6ZQAVNKQ | definition | open | Wikidata Q18362, ProofWiki Definition:Theoretical_Physics, Wikipedia Theoretical physics |
| Theoretical physics | X6FZ3KHGP9 | definition | open | Wikipedia Glossary of areas of mathematics#1BS3 |
| Theoretical probability | 8PV7Y6JA8T | unknown | open | Wikipedia Probability#A34T |
| Theoretical rationality | KPMWA1R8Q1 | unknown | open | Wikipedia Rationality#ZX3Y |
| Theoria (journal) | 9PQV32N50P | unknown | open | Wikipedia List of logic journals#SZ7K |
| Theorie der vielfachen Kontinuität | C9CHR7FJEJ | unknown | open | Wikipedia Ludwig Schläfli#D1J6 |
| Theories of iterated inductive definitions | 7QJKEPVE9T | definition | open | Wikipedia Theories of iterated inductive definitions, Wikidata Q108377893 |
| Theories of semantics | F2DN7ACHFJ | unknown | open | Wikipedia Semantics#VALC |
| Theories of truth | VJ33V8GZP2 | definition | open | Wikipedia Theories of truth, Wikidata Q118930683 |
| Theories where the theorem is inapplicable | BFDD9KRHDK | statement | open | Wikipedia Weinberg–Witten theorem#53I8 |
| theory | 9T3FEXKHSV | definition | open | Wikipedia Glossary of logic#LTEE |
| Theory | DG5FQ59FEC | definition | open | Wikipedia Theory, Wikidata Q17737 |
| Theory | HB9PRA38F3 | definition | open | Wikipedia Theory (mathematical logic), Wikidata Q10859910 |
| Theory (mathematical logic) | NQDY9FKA0M | definition | open | Wikipedia List of mathematical logic topics#0HFV |
| Theory and Applications of Categories | T8P687M2ZF | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q15755584, nLab Theory and Applications of Categories |
| Theory and Decision | K5TKV1628P | unknown | open | Wikipedia List of logic journals#MDR2 |
| Theory and Practice of Logic Programming | 5DGQY4755K | unknown | open | Wikipedia List of logic journals#YBSD |
| theory of algebraic curves | 9JBPN5ZRTM | topic | open | Wikidata Q114682712 |
| theory of algebraic field extensions | BRHRY56MVY | topic | open | Wikidata Q114682716 |
| theory of algebraic numbers | W3XZXGFBYS | topic | open | Wikidata Q114498250 |
| theory of commutative rings | FM1METZMHC | topic | open | Wikidata Q114705197 |
| theory of computation | 9N21CWKEZC | topic | open | Wikidata Q844718, EoM Algorithms,_theory_of, EoM Mathematical_theory_of_computation, Wikipedia Theory of computation |
| Theory of computation | X9S375J509 | definition | open | Wikipedia Glossary of areas of mathematics#AG51 |
| Theory of conjoint measurement | XTEAFAH9P4 | definition | open | Wikipedia List of statistics articles#XC6S |
| Theory of conjoint measurement | ZF79GPHZY5 | definition | open | Wikipedia Theory of conjoint measurement, Wikidata Q7782433 |
| theory of differentiable manifolds | H7SEF5GQ5G | topic | open | Wikidata Q114702107 |
| theory of differentiable maps between manifolds | JY9N760ZBD | topic | open | Wikidata Q114702083 |
| theory of eigenspaces | 4JGPKM8GQ5 | topic | open | Wikidata Q114702204 |
| theory of entire functions | VFGDCTN2WM | topic | open | Wikidata Q114703799 |
| Theory of equations | 192FSGJ3EV | topic | open | Wikipedia Theory of equations, Wikidata Q2551226 |
| theory of everything | WK14PBEZHR | unknown | open | Wikidata Q18359, nLab theory of everything |
| Theory of everything | ZY41KDQNF4 | unknown | open | Wikipedia List of mathematical topics in quantum theory#MMCI |
| theory of finite fields | T879B76GAZ | topic | open | Wikidata Q114703089 |