| Fundamental --- \textsc{U-Wf | ZJ3GQY02EE | 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 2610.21131#V86Y |
| Fundamental --- \textsc{Var | 6S8QK80TDH | 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 2610.21131#USRU |
| Fundamental --- \textsc{Ze-I | TBBE12Y2GR | 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 2610.21131#OAOQ |
| Fundamental anthropology | WT33T3WTMG | unknown | open | Wikipedia René Girard#LZJR |
| Fundamental assumption of statistical mechanics | 50CJ872TCZ | unknown | open | Wikipedia Statistical mechanics#CE78 |
| Fundamental attribution error | MBV4BWXQ9V | unknown | open | Wikipedia List of cognitive biases#QYIQ |
| Fundamental axiom | NPNP3XH3HJ | statement | open | Wikipedia Paravector#DOE6 |
| Fundamental axiom of analysis | Y47DSYSPG9 | definition | open | Wikipedia List of axioms#K0BP |
| fundamental category | F903P349MC | definition | open | Wikipedia Glossary of category theory#SFKC |
| fundamental class | 7MSYJWX66Z | definition | open | Wikidata Q4493388, EoM Fundamental_class, MathWorld FundamentalClass, nLab fundamental class, Wikipedia Fundamental class |
| fundamental class | EG0KZ22X8F | definition | open | Wikipedia Glossary of algebraic topology#VADJ |
| Fundamental class | H6GTWHZECD | definition | open | Wikipedia List of algebraic topology topics#FYDG |
| Fundamental conjecture of birational geometry | Q2D06H7HMG | statement | open | Wikipedia Canonical ring#Q8VO |
| Fundamental discriminant | 6BYAD3SVFS | unknown | open | Wikipedia Discriminant#EIR3 |
| fundamental discriminant | V8DWQM3DFQ | unknown | open | Wikidata Q5508954, MathWorld FundamentalDiscriminant |
| fundamental domain | M9G3HGHW96 | definition | open | Wikidata Q1474108, MathWorld FundamentalDomain, Wikipedia Fundamental domain |
| Fundamental ephemeris | AAKA90BJ3H | definition | open | Wikipedia Fundamental ephemeris, Wikidata Q5508955 |
| Fundamental equations of thermodynamics | 6QWP7TAQC3 | definition | open | Wikipedia List of theorems called fundamental#165N |
| Fundamental functions of propositions | 90SG2H7R2C | statement | open | Wikipedia Peano–Russell notation#VPBR |
| Fundamental gap estimate | MNHGJXZN7B | 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.22659#CADP |
| Fundamental group | GW3SQXQEA7 | definition | open | Wikipedia List of group theory topics#LNHA, Wikipedia List of algebraic topology topics#V5D3, Wikipedia List of abstract algebra topics#FE1B |
| Fundamental group | VJK126H8T5 | definition | open | Wikipedia List of undecidable problems#O66P |
| fundamental group | W3MSQZHJAB | definition | open | Wikidata Q662830, EoM Fundamental_group, MathWorld FundamentalGroup, nLab fundamental group, ProofWiki Definition:Fundamental_Group, Wikipedia Fundamental group |
| fundamental group | WW4B4NT8X3 | definition | open | Wikipedia Glossary of algebraic topology#1M91 |
| Fundamental group of $S^1$ | 18285QG503 | example | open | napkin tex/topology/cover-project.tex#example-6 |
| Fundamental group scheme | 7KW39MXNVP | definition | open | Wikipedia Fundamental group scheme, Wikidata Q5508957 |
| fundamental groupoid | 5YCS3H2028 | definition | open | Wikipedia Glossary of algebraic topology#OYMR |
| fundamental groupoid | D76J2PTWA2 | definition | open | Wikipedia Glossary of category theory#3PAE |
| fundamental groupoid | R8F4PK51GS | definition | open | Wikidata Q85174068, nLab fundamental groupoid, Wikipedia Fundamental groupoid |
| Fundamental groups don't depend on basepoint | KW4V8YE2VQ | statement | open | napkin tex/topology/fundamental-group.tex#theorem-1 |
| Fundamental identity | 83PZPG50R9 | statement | open | Wikipedia Telescoping product#V9MB |
| Fundamental Identity | ENWSX1KFDH | 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.29393#3XEE |
| Fundamental identity I | ZB4HNEQ0MC | statement | open | Wikipedia Quadratic Jordan algebra#8QU3 |
| Fundamental identity II | X1F6YYV2AR | statement | open | Wikipedia Quadratic Jordan algebra#O4FN |
| Fundamental infinity groupoid | 2297FE3NA6 | unknown | open | Wikipedia ∞-groupoid#J9MG |
| Fundamental lemma | 596BC7P49M | statement | open | Wikipedia Fundamental lemma (Langlands program), Wikidata Q57510 |
| Fundamental lemma | JW11MVQQXQ | statement | open | Wikipedia Langlands program#7VQS |
| Fundamental lemma (Langlands program) | G6MT1BVP2R | statement | open | Wikipedia List of lemmas#7T99 |
| Fundamental lemma of interpolation theory | RKE9TR9Q6N | statement | open | Wikipedia Fundamental lemma of interpolation theory, Wikidata Q132775387 |
| Fundamental lemma of Langlands and Shelstad | 3YJ3AAMCTC | statement | open | Wikipedia List of theorems called fundamental#UCGC |
| Fundamental lemma of sieve theory | B0GR83HCWP | statement | open | Wikipedia Fundamental lemma of sieve theory, Wikidata Q5508962 |
| Fundamental lemma of sieve theory | W0ZH6WR0GX | statement | open | Wikipedia List of theorems called fundamental#NXCS, Wikipedia List of lemmas#VB46 |
| Fundamental lemma of the calculus of variations | E0KWNBA6P4 | statement | open | Wikipedia Fundamental lemma of the calculus of variations, Wikidata Q2474925 |
| Fundamental lemma of the calculus of variations | RQYAP4JV3T | statement | open | Wikipedia List of theorems called fundamental#JZPS, Wikipedia List of lemmas#HE6H |
| Fundamental lemma of the combinatorial sieve | RD75CH431S | statement | open | Wikipedia Fundamental lemma of sieve theory#XYK6 |
| Fundamental lemma of the Selberg sieve | MHVDPFN3YV | statement | open | Wikipedia Fundamental lemma of sieve theory#AG2H |
| Fundamental lemma, input--output | C6VZWAYC1Y | 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.25431#LO1R |
| Fundamental matrix | F8VWFYVF3Z | definition | open | Wikipedia Fundamental matrix (linear differential equation), Wikidata Q17014996 |
| Fundamental matrix (absorbing Markov chain) | NP3N3VHVKY | unknown | open | Wikipedia Absorbing Markov chain#W46M |
| Fundamental matrix (computer vision) | QAG9Q4SRF1 | unknown | open | Wikipedia List of named matrices#3KIU |
| Fundamental matrix (linear differential equation) | TWP5X94CRM | definition | open | Wikipedia List of dynamical systems and differential equations topics#5VXW |
| Fundamental mean-field laws | QP65YG3M11 | 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 2610.09356#6VAD |
| Fundamental monomial identity | JSHXMY6SB0 | 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 2610.20593#JEL3 |
| Fundamental normality test | 9Z48Y8NKA8 | definition | open | Wikipedia Fundamental normality test, Wikidata Q5508964 |
| Fundamental pair of periods | 1XV8MAQ3T8 | definition | open | Wikipedia Fundamental pair of periods, Wikidata Q5508966 |
| Fundamental plane | RE6ZCQA7DJ | definition | open | Wikipedia Fundamental plane (spherical coordinates), Wikidata Q2986043 |
| Fundamental polygon | MDVT1SM4VT | definition | open | Wikipedia Fundamental polygon, Wikidata Q444931 |
| Fundamental principles | 5ND6QXJR88 | statement | open | Wikipedia Thermal radiation#9CL6 |
| Fundamental principles | EP9XF4AQP5 | statement | open | Wikipedia Magnetic reconnection#WN51 |
| Fundamental Principles of Official Statistics | NEEX858YZC | statement | open | Wikipedia Fundamental Principles of Official Statistics, Wikidata Q138755191 |
| Fundamental recurrence formulas | F96R9KDDWG | statement | open | Wikipedia Continued fraction#MW5N |
| Fundamental representation | GASK62NWW1 | definition | open | Wikipedia List of representation theory topics#4M2O |
| fundamental representation | QART3X19WN | definition | open | Wikidata Q3427416, nLab fundamental representation, Wikipedia Fundamental representation |
| Fundamental sequence | FM6Y2Q10F9 | definition | open | Wikipedia Fundamental sequence (set theory), Wikidata Q118218208 |
| fundamental sequences | ERHDS3SBDE | unknown | open | mathlib_overview Logic and computation > Set theory > Ordinals > fundamental sequences, Mathlib Ordinal.IsFundamentalSeq |
| fundamental solution | FGNGAW3K46 | definition | open | Wikidata Q1474123, EoM Fundamental_solution, nLab fundamental solution, Wikipedia Fundamental solution |
| fundamental solution of the Laplacian | V4PV6D5GNZ | unknown | open | mathlib_undergrad Distribution calculus > Applications > fundamental solution of the Laplacian |
| Fundamental system of neighborhoods | NG5PMSS67W | unknown | open | Wikipedia Neighbourhood system#C5TT |
| fundamental system of solutions | 4NZM4AFMRV | unknown | node (a node has the same name as the row) | Wikidata Q15936047, EoM Fundamental_system_of_solutions |
| Fundamental theorem | 4MV5R5RDFP | statement | open | Wikipedia Gaussian quadrature#Q9CB |
| Fundamental theorem | 9B1EEDPVW9 | statement | open | Wikipedia Fundamental theorem of Hilbert spaces#EM8O |
| Fundamental theorem | G2JW6EQBAM | statement | open | Wikipedia Dimension theory (algebra)#LV4G |
| Fundamental theorem | K0FCW8K7QH | statement | open | Wikipedia Signed graph#9W3L |
| Fundamental Theorem | S96J625HKP | 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 2610.21131#4I78 |
| Fundamental theorem | TVA8ET84BM | statement | open | Wikipedia Calculus#DV7J |
| Fundamental Theorem | Y4NF05BQ83 | 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 1904.09810#835R |
| Fundamental Theorem (Soundness | 7TMT8XTE7Q | 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 2610.21131#KBIP |
| Fundamental theorem for complex line integrals | D73BDPRKD0 | statement | open | Wikipedia Cauchy's integral theorem#2CL0 |
| Fundamental theorem for toric geometry | 79Q9N9P67W | statement | open | Wikipedia Toric variety#YXL6 |
| fundamental theorem of $\Gamma$-convergence | BNNJ6AZ9V3 | 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 2204.07227#S3BX |
| Fundamental theorem of (pseudo-)Riemannian geometry | 4X75ARH4WW | statement | open | Wikipedia Levi-Civita connection#LI4P |
| Fundamental theorem of algebra | 2A31VC5VE7 | statement | open | Wikipedia List of incomplete proofs#QKOS |
| Fundamental theorem of algebra | 5KGEV6N76S | statement | open | Wikipedia Rouché's theorem#3N9R |
| Fundamental theorem of algebra | 6FCF7QK9DF | statement | open | Wikipedia List of theorems called fundamental#KL2R, Wikipedia List of mathematical proofs#PCZW, Wikipedia List of complex analysis topics#HWM1, Wikipedia List of polynomial topics#Q7LI |
| Fundamental theorem of algebra | 6QHTYZYRZG | statement | open | Wikipedia List of probabilistic proofs of non-probabilistic theorems#M2Q9 |
| Fundamental theorem of algebra | 7XDX4RRHPF | statement | open | Wikipedia Complex number#XQDO |
| Fundamental theorem of algebra | 81EN2Y9117 | statement | open | Wikipedia Carl Friedrich Gauss#9RTM |
| Fundamental Theorem of Algebra | 9AJKHXZN96 | statement | open | mathlib_100 2, Mathlib Complex.exists_root, mathlib_overview General algebra > Field theory > $\C$ is algebraically closed, mathlib_undergrad Ring Theory > Field Theory > $\C$ is algebraically closed |
| Fundamental theorem of algebra | KHAYT50W5P | statement | open | Wikipedia Liouville's theorem (complex analysis)#O77S |
| Fundamental theorem of algebra | RD9WQDYNG5 | statement | open | Wikipedia Zero of a function#KBBQ |
| fundamental theorem of algebra | SGAE0NNXPH | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q192760, Mathlib Complex.isAlgClosed, Wikidata Q192760, mathlib_overview Analysis > Complex analysis > fundamental theorem of algebra, thousand_plus Q192760, Wikipedia Fundamental theorem of algebra, EoM Algebra,_fundamental_theorem_of, MathWorld FundamentalTheoremofAlgebra |
| fundamental theorem of algebra | SNZ9V8VD8X | concept | open | lebl_ra index/1.5/fundamental-theorem-of-algebra |
| Fundamental theorem of algebra | VXQR69EBED | statement | open | Wikipedia List of theorems#W19U |
| Fundamental theorem of algebra | YK2VZ5W5XM | statement | open | lebl_ra ch-approximate.tex#thm-1 |
| fundamental theorem of algebra | YZ7AS6EZKH | concept | open | lebl_scv index/B/fundamental-theorem-of-algebra |
| Fundamental theorem of algebra | Z6VNBKJEYP | statement | open | lebl_scv scv.tex#thm:fundamentalthmalg |
| Fundamental theorem of algebraic K-theory | CTZ2WF4P4Z | statement | open | Wikipedia Fundamental theorem of algebraic K-theory, Wikidata Q17015004 |
| Fundamental theorem of algebraic K-theory | VHA2N6Y8DJ | statement | open | Wikipedia List of theorems called fundamental#26RM |
| Fundamental theorem of arbitrage-free pricing | BDK1FVQK3M | statement | open | Wikipedia List of theorems#A5ZU |
| Fundamental theorem of arbitrage-free pricing | GA2PR52EGJ | statement | open | Wikipedia List of theorems called fundamental#NZ64 |