| first assertion | RNV2KG9ZQA | 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.32174#PPKZ |
| First axiom | SSYND2WCKT | statement | open | Wikipedia Probability axioms#54PH |
| First Bianchi contractions | 745MDK58CS | 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.25762#6UZK |
| first Blanuša snark | A12DR8XP80 | unknown | open | Wikidata Q50874255, House of Graphs 19669 |
| First Borel–Cantelli lemma | 8AD4BS2MQJ | statement | open | Wikipedia Set-theoretic limit#GMM3 |
| First case of Fermat's Last Theorem | KTXPW9GM4F | statement | open | Wikipedia Eisenstein reciprocity#FH5X |
| First case of Fermat's Last Theorem | XN6MXT7T1H | unknown | open | Wikipedia Fermat's Last Theorem#4RQT |
| First category | 3XH277SHB9 | definition | open | Wikipedia Glossary of general topology#4S7R |
| first Celmins–Swart snark | 9ZYS6A5WA9 | unknown | open | Wikidata Q3401797, House of Graphs 968 |
| first Chang graph | HB1B82C56A | unknown | open | Wikidata Q3401710, House of Graphs 6624 |
| First Chern classes | G3PS2FNERS | example | 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 2110.14727#KMQG |
| first class constraint | YE50R0D5ZW | definition | open | Wikidata Q5454146, nLab first class constraint, Wikipedia First-class constraint |
| First Coast | JE6E43675B | unknown | open | Wikipedia List of places with numeric names#RHT7 |
| First Colony | 8EYH58X4X8 | unknown | open | Wikipedia List of places with numeric names#PFA8 |
| First contact | EEZB0GRPWW | 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.00337#J5AW |
| First contact principle | QQC8WM59T5 | 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#YT4M |
| First Cousin problem | BJH29P5S32 | concept | open | lebl_scv index/4.6/first-cousin-problem |
| first cousins | 4HQGEETJHM | unknown | open | Wikipedia List of common misconceptions about science, technology, and mathematics#J8E2 |
| first derivative test | E2VEB1HJ0H | concept | open | active_calculus index/3.3.2/first-derivative-test |
| first derivative test | KTPBBZ2BSG | definition | open | Wikipedia Glossary of calculus#80UY |
| First differential | S2EG2Y5645 | 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.21093#3X89 |
| First digits of pi | R7HND76TSP | unknown | open | Wikipedia Six nines in pi#W6HT |
| First Domination Banhatti Index | YRK21NXREW | definition | 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.10221#5IWJ |
| first entry into the layer | V55PW49N00 | 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 2608.24606#APFZ |
| First example (mental and written multiplication) | GEC89KASZ0 | definition | open | Wikipedia Distributive property#ZNAT |
| first Feigenbaum constant | TYQ7C3CKYM | object | open | Wikidata Q120336524, OEIS A006890 |
| First few levels of the name hierarchy | KW09TP0C5K | example | open | napkin tex/set-theory/forcing.tex#example-7 |
| first fundamental form | C7JH8ZWY13 | definition | open | Wikidata Q939725, EoM First_fundamental_form, MathWorld FirstFundamentalForm, ProofWiki Definition:First_Fundamental_Form, Wikipedia First fundamental form |
| First fundamental form | XDY7Y67P61 | definition | open | Wikipedia List of differential geometry topics#SV90 |
| First fundamental theorem | FN7N4QREFE | statement | open | Wikipedia Nevanlinna theory#CB3D |
| First Fundamental Theorem | K3WEYAEVM8 | statement | open | Wikipedia Fundamental theorems of welfare economics#06ZR |
| First fundamental theorem for \operatorname{GL}(V) | RGKHK0QTR6 | statement | open | Wikipedia First and second fundamental theorems of invariant theory#0JWU |
| first fundamental theorem of calculus | FKZDJPCKC5 | unknown | node (a node has the same name as the row) | Wikidata Q116450161, MathWorld FirstFundamentalTheoremofCalculus |
| First fundamental theorem of calculus | FPZSSMX5AS | unknown | open | Wikipedia Fundamental theorem of calculus#DFFV |
| First Fundamental Theorem of Invariant Theory | VZABE15PQZ | statement | open | Wikipedia Transvectant#AGVD |
| First Fundamental Theorem of Welfare Economics | 78MHX7CFH4 | statement | open | Wikipedia General equilibrium theory#SC2E |
| First fundamental theorem of welfare economics | AE0NG9R3K4 | statement | open | Wikipedia Arrow–Debreu model#7APX |
| First Griffiths inequality | VPWC068PW9 | statement | open | Wikipedia Griffiths inequality#ODSH |
| First Hardy–Littlewood conjecture | F5XBSGC10V | statement | open | Wikidata Q18450813, MathWorld k-TupleConjecture, Wikipedia First Hardy–Littlewood conjecture |
| First Hardy–Littlewood conjecture | Q7B0H27QFC | statement | open | Wikipedia First Hardy–Littlewood conjecture#I7OY |
| First Hardy–Littlewood conjecture | QMZ0K3JST1 | statement | open | Wikipedia Twin prime#SV0S |
| First Hill, Seattle | BKFZ9FZSAD | unknown | open | Wikipedia List of places with numeric names#VRPD |
| First Hurwitz triplet | 1J9GWS9W7W | definition | open | Wikipedia First Hurwitz triplet, Wikidata Q5453087 |
| First Hurwitz triplet | MD2JV42TNG | definition | open | Wikipedia List of differential geometry topics#NYPS |
| First improved estimates | 879MD2S8AR | 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.32829#MOZU |
| First incompleteness theorem | QNSTYGWFB4 | statement | open | Wikipedia Gödel's incompleteness theorems#4FOG |
| First integrability gain | 5GH68SKX2C | 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.00339#LM42 |
| First integral | AQM3DK837V | unknown | open | Wikipedia Constant of motion#KULY |
| First integrals | 2Z3V6S4MPE | 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.22058#D8YV |
| First International Topological Conference | PFW88095ZX | definition | open | Wikipedia First International Topological Conference, Wikidata Q65057116 |
| First intersection point | 9CXZ4SSVFV | definition | 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 1905.02785#TSQ5 |
| first isodynamic center | FXPTHZQTZM | unknown | open | Wikidata Q24818805, MathWorld FirstIsodynamicPoint |
| First Isomorphism Theorem | QQ8HDC9JP2 | statement | open | Wikipedia Quotient space (linear algebra)#IEWC |
| first isomorphism theorem for commutative rings | TFE6JWT8FY | unknown | open | mathlib_overview General algebra > Ideals and quotients > first isomorphism theorem for commutative rings, Mathlib RingHom.quotientKerEquivOfSurjective |
| first kind | H3ZXW266M8 | definition | open | Wikipedia Glossary of classical algebraic geometry#QD66 |
| First Kronecker limit formula | TQH991MP94 | statement | open | Wikipedia Kronecker limit formula#7ZIF |
| First law | 6FZRS4P7PP | statement | open | Wikipedia Laws of thermodynamics#NTDO |
| First law | CN0FYJTS6V | statement | open | Wikipedia Kepler's laws of planetary motion#IMSK |
| First law | R0QZDAJYA6 | statement | open | Wikipedia Black hole thermodynamics#U4VS |
| First law | WZR0KPKQ8C | statement | open | Wikipedia Newton's laws of motion#SNEU |
| First law | X116T7ZD1J | statement | open | Wikipedia Thermodynamics#6LQW |
| First law of thermodynamics | 9EPQ8Q9DZQ | statement | open | Wikipedia Conservation of energy#GEOT |
| First law of thermodynamics | AAWTHN0C19 | statement | open | Wikipedia First law of thermodynamics, Wikidata Q179380 |
| First law of thermodynamics for open systems | 2WCNNRZNW3 | statement | open | Wikipedia First law of thermodynamics#XQIT |
| First Lemma | K30TGDY97T | statement | open | Wikipedia Sprague–Grundy theorem#8B4E |
| First level | TAS88XRT70 | 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 1806.05002#UZTE |
| First Main Lemma | GYAF9KEYV8 | 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.30301#BPNZ |
| First Main Lemma | MEJYD2F5XC | 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.10583#FP9O |
| First main theorem | G8KBV7036R | statement | open | Wikipedia Ahlfors theory#2A4Q |
| First Main Theorem | J8F83M0RQC | 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.14502#U9H5 |
| First Main Theorem of Value Distribution Theory | 7WHAAFR5CR | unknown | open | mathlib_overview Analysis > Complex analysis > First Main Theorem of Value Distribution Theory, Mathlib ValueDistribution.characteristic_sub_characteristic_inv_le |
| First material identities | XPE4C4TYY3 | 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.04894#140E |
| First mean value theorem for definite integrals | KQ8KD9RF3P | statement | open | Wikipedia Mean value theorem#HMVM |
| First Mesa, Arizona | TKEVMC8G9T | unknown | open | Wikipedia List of places with numeric names#MNDV |
| First model system | 61564SDT2A | 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 2411.16655#ZZMS |
| First moment | 2GQCS5P606 | 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.37479#W21Y |
| First moment and positivity diagnostic | 3W77HHVZJT | 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.27744#OCME |
| First moment density | NMABZC2G11 | definition | 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.05064#LGN3 |
| First moment of area | 4AVSSRC2T4 | definition | open | Wikipedia First moment of area, Wikidata Q920601 |
| First moment on a tangent circle | 5BR0YCX4Q3 | 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.20042#2MF1 |
| First nonconstant even eigenvalue | DEADMRC8Q7 | definition | 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.21670#SE2Z |
| First nonlinear transfer diagnostic | 86PPAYTRDE | 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.27799#8FYX |
| First number class | 8Y1XR5CNGF | unknown | open | Wikipedia Ordinal number#NW23 |
| first order | WXRMJG8KM4 | definition | open | Wikipedia Glossary of graph theory#8J0N |
| First order approximation is Gram's law | Q726JG92EV | 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 2406.06548#I43R |
| First order arithmetic | 9MAAY38ZM4 | definition | open | Wikipedia Glossary of areas of mathematics#JNP9 |
| First order Cauchy–Kovalevskaya theorem | F86F7VHWV0 | statement | open | Wikipedia Cauchy–Kovalevskaya theorem#YEMT |
| First order condition | GC52PMB7XE | definition | open | Wikipedia List of mathematical abbreviations#EGJP |
| First order condition | R8M7AE8C3K | 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 2102.11076#SA33 |
| First order formulas | 3JXC1TJ93H | statement | open | Wikipedia Tarski–Seidenberg theorem#0LXX |
| First order kinetics | 7D1AQF1ATT | unknown | open | Wikipedia Rate equation#ORYA |
| first order theories | RF09RE39TM | definition | open | Wikipedia List of unsolved problems in mathematics#EY7Y |
| First Orthogonality Relation | EVSKH3VAA8 | 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.13429#VHGS |
| First part of König's theorem | 7NE0W7MAN3 | statement | open | Wikipedia König's theorem (kinetics)#4CM9 |
| First passage percolation | XST2G85KRY | definition | open | Wikipedia First passage percolation, Wikidata Q3375164 |
| First passage time | XYJ299CG7F | definition | open | Wikipedia List of stochastic processes topics#7ESW |
| First physical weights | Z2KYCZ4A73 | 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.20492#H2C1 |
| First principle: arousal | K0CD8FBJ53 | statement | open | Wikipedia Mathematical principles of reinforcement#MYB1 |
| First principles | 22XN8HGG5E | statement | open | Wikipedia Convergence proof techniques#P5VF |
| First proof | 87FX9NY1DF | proof | open | hott_book basics.tex#proof-1 |