| FAN1R2BKWQ | FAN1R2BKWQ | definition | open | lebl_ra ch-metric.tex#defn-3 |
| FAN6ZAY6X0 | FAN6ZAY6X0 | 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.04874#AGFY |
| FAN7P2VXVC | FAN7P2VXVC | 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 2404.06445#CXIW |
| FANC5QWF3J | FANC5QWF3J | 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 2610.07828#KDXL |
| Fandaqumiya | NMCXVZSADZ | unknown | open | Wikipedia List of places with numeric names#MC99 |
| Fang Fuquan | WK4P5QGWT3 | topic | open | Wikipedia Fang Fuquan, Wikidata Q51103194 |
| Fang Kaitai | E9B4GR1QEK | topic | open | Wikipedia Fang Kaitai, Wikidata Q26923352 |
| Fang Kaitai | JD322M0S85 | topic | open | Wikipedia List of fellows of the American Statistical Association#ZLMF |
| Fang Liu | CRA7FNEKZM | topic | open | Wikipedia Fang Liu (statistician), Wikidata Q50978028 |
| Fang Liu | XR0211CDVC | topic | open | Wikipedia List of fellows of the American Statistical Association#X9OG |
| Fang--Li--Lin--Ma | DN15THXQ4A | 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.06038#J0JC |
| Fang--Li--Lin--Ma | ZFW6N8HZX3 | 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.06038#P0OZ |
| Fang--Ma | KX63VSSXXJ | 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.28411#IVXN |
| Fang-Hua Lin | A7JNM6KGXA | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D4UD |
| Fangcheng | 1ZAJBYR6FG | definition | open | Wikipedia Fangcheng (mathematics), Wikidata Q28224644 |
| Fanghua Lin | T4WQ4F4AEJ | topic | open | Wikipedia Fanghua Lin, Wikidata Q451738 |
| Fannes' inequality and Audenaert's refinement | 6EB08TVWZM | statement | open | Wikipedia Fannes–Audenaert inequality#XB5B |
| Fannes–Audenaert inequality | 6FX0Q801GH | statement | open | Wikipedia Fannes–Audenaert inequality, Wikidata Q5433917 |
| Fannes–Audenaert inequality | BZCC921RW0 | statement | open | Wikipedia List of inequalities#BGNK |
| Fanno flow | MBZQN5TJTA | object | open | Wikipedia Fanno flow, Wikidata Q3746868 |
| Fanny Kaplan | N8ZSP3KADT | unknown | open | Wikipedia List of Ukrainian Jews#28MW |
| Fanny Kassel | 1R33N696HH | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EEEH |
| Fanny Kassel | AKT5DJ3TAZ | topic | open | Wikipedia Fanny Kassel, Wikidata Q20198603 |
| Fano | 9PG0REGQZ1 | definition | open | Wikipedia Glossary of algebraic geometry#SRM3 |
| Fano factor | CHAY5JA8CN | definition | open | Wikipedia Fano factor, Wikidata Q638874 |
| Fano factor | QNGNTDCA10 | definition | open | Wikipedia List of statistics articles#ZP7S |
| Fano fibration | 2N9D7H3WJ2 | definition | open | Wikipedia Fano fibration, Wikidata Q5434075 |
| Fano for list decoding | QG1FDMSMX0 | 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.37368#T18S |
| Fano K3-29 | HMMPQRWXRW | 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 2609.21914#59AL |
| Fano matroid | KK9R8TSB2G | unknown | open | Wikipedia Fano plane#JJ2S |
| Fano metric | 39E0FXTC97 | unknown | open | Wikipedia Sequential decoding#WULZ |
| Fano plane | CTK0P2BZTE | definition | open | Wikipedia List of mathematical examples#NTR6 |
| Fano plane | N17DZMKW4V | definition | open | Wikidata Q1395814, MathWorld FanoPlane, nLab Fano plane, ProofWiki Definition:Fano_Plane, Wikipedia Fano plane |
| Fano surface | 4E1BYQY2TN | definition | open | Wikipedia List of complex and algebraic surfaces#N6YP |
| Fano surface | MFV2PQ2K5A | definition | open | Wikipedia Fano surface, Wikidata Q5434078 |
| Fano variety | 1WS444MWD0 | definition | open | Wikidata Q846881, EoM Fano_variety, Wikipedia Fano variety |
| Fano's inequality | HRM8CDGFMP | statement | open | Wikipedia List of inequalities#LTUG |
| Fano's Inequality | J991F6SN91 | 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.10840#NKM7 |
| Fano's inequality | RPVAKSYYRC | statement | open | Wikipedia Fano's inequality, Wikidata Q1624376 |
| Fano's inequality with list decoding | WGF93RRAB1 | 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.33291#Q6KI |
| Fantasia Mathematica | FDXMS9159H | definition | open | Wikipedia Fantasia Mathematica, Wikidata Q5434137 |
| FAP041D4SH | FAP041D4SH | 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.22825#EEZA |
| FAP2Q1V0Z3 | FAP2Q1V0Z3 | 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.14236#S7IR |
| FAP6GP85GR | FAP6GP85GR | 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.24569#E26O |
| FAPH6R14JB | FAPH6R14JB | 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 2506.16491#HBMA |
| FAQ3128157 | FAQ3128157 | 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.01802#YOC4 |
| FAQ9SP9X40 | FAQ9SP9X40 | example | open | levin_dmoi ptx/sec_seq-basics.ptx#example-3 |
| FAQF3BNVMT | FAQF3BNVMT | exercise | open | levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-3 |
| FAQTH7ZW6Y | FAQTH7ZW6Y | 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.08935#8O1J |
| FAQVJXC1R2 | FAQVJXC1R2 | 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.08885#2BIP |
| Far regime | D1K0YFBR5T | 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.32977#3GY0 |
| Far regime | FGWTPTS43V | 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.32977#6G5R |
| Far-field bound | SMJAHCJZXW | 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#ZBGA |
| Far-field bound for the dipole | KXXPEKG8KC | 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.33805#44ZS |
| Far-field range and the 2D2 / λ criterion | 2370SJ7JEA | statement | open | Wikipedia Fourier optics#V43F |
| Far-out point | M5YVQYDP5K | unknown | open | Wikidata Q130305967, MathWorld Far-OutPoint |
| FAR7MFM66D | FAR7MFM66D | 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.29531#NOHN |
| farad | VSX1B9SK9X | definition | open | Wikidata Q131255, ProofWiki Definition:Farad |
| faraday | Q7RV6V6522 | definition | open | Wikidata Q1396128, ProofWiki Definition:Faraday_(Unit) |
| Faraday constant | MXCWJ76XXP | unknown | open | Wikipedia List of scientific constants named after people#DK90 |
| Faraday effect | 9T5XP5FZD4 | definition | open | Wikipedia Faraday effect, Wikidata Q848501 |
| Faraday's law | C6J91458W3 | statement | open | Wikipedia Maxwell's equations#BOLF |
| Faraday's law of induction | AQPX71YS06 | statement | open | Wikipedia Faraday's law of induction, Wikidata Q181465 |
| Farber--Grant--Lupton--Oprea, Farber--Oprea | B3NJ0MPP2F | 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.30579#GPWY |
| Farey formula mod $24$ for $L^mR^m$ | DA00ZG91EY | 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.18512#RDKF |
| Farey formula mod $24$ for every hyperbolic word | R0WGEH1D6Y | 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.18512#N1MM |
| Farey pair | SG3VGKD6G7 | unknown | open | Wikipedia Farey sequence#OX0C |
| Farey parents and first violations | 1737SXE5HP | 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.09912#8I70 |
| Farey sequence | DFVYT29HH5 | definition | open | Wikipedia List of number theory topics#4K0H |
| Farey sequence | E7QKTFFSQH | statement | node (a node has the same name as the row) | mathlib_1000 Q1396592, Wikidata Q1396592, thousand_plus Q1396592, MathWorld FareySequence, ProofWiki Definition:Farey_Sequence, Wikipedia Farey sequence |
| Farey sequence | HF29WCRH98 | definition | open | Wikipedia List of real analysis topics#SGBH |
| Farey sunburst | 4ASFFTS9T3 | unknown | open | Wikipedia Farey sequence#6LBM |
| FARGEW4566 | FARGEW4566 | 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 2204.00678#GM0U |
| Fariba Fahroo | D5MC64JENY | topic | open | Wikipedia Fariba Fahroo, Wikidata Q5435217 |
| Farid Abboud | VK5J1G60HS | unknown | open | Wikipedia List of University of California, Los Angeles people#2OI3 |
| Farideh Firoozbakht | R32M7D2SW3 | topic | open | Wikipedia Farideh Firoozbakht, Wikidata Q16051284 |
| Farkas Bolyai | WDHYTNZ8BJ | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q252311, ProofWiki Mathematician:Farkas_Wolfgang_Bolyai, Wikipedia Farkas Bolyai |
| Farkas' Lemma | NP8C7G1Q8W | 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.09634#PQMU |
| Farkas' lemma | V4XHB02P25 | statement | open | Wikipedia Farkas' lemma, Wikidata Q606254 |
| Farkas' lemma | WZG3WY8AAZ | statement | open | Wikipedia List of numerical analysis topics#0IVH |
| Farkas' lemma | ZJY4DV3CBH | statement | open | Wikipedia Farkas' lemma#ZB4F |
| Farkas's lemma | HTPRPY70F7 | statement | open | Wikipedia List of lemmas#MN2L |
| Farkas, Gyula | BQTVYRW1BY | topic | open | Wikipedia List of Hungarian mathematicians#TU2S |
| Farm income | 2C43PWM4XM | definition | open | Wikipedia Farm income, Wikidata Q5435555 |
| Faro shuffle | NH1ZMT8543 | definition | open | Wikipedia List of permutation topics#563N |
| Faro shuffle | T890W7NAZX | definition | open | Wikipedia Faro shuffle, Wikidata Q5436074 |
| Faron Moller | BQAMXR27ST | unknown | open | Wikipedia List of people by Erdős number#43C0 |
| Farr, William | A3AGQ6GZ48 | topic | open | Wikipedia List of statisticians#ARVZ |
| Farrell–Jones conjecture | 4T35ZWAMEM | conjecture | open | Wikipedia List of unsolved problems in mathematics#XJDA |
| Farrell–Jones conjecture | CZPEVMF8D3 | conjecture | open | Wikipedia Farrell–Jones conjecture, Wikidata Q5436273 |
| Farrell–Markushevich theorem | QG5KXY7JTP | statement | open | Wikipedia List of theorems#1HEP |
| Farrell–Markushevich theorem | QH1AC6WC49 | statement | open | mathlib_1000 Q5436274, Wikidata Q5436274, thousand_plus Q5436274, Wikipedia Farrell–Markushevich theorem |
| Farrer, Thomas | C2NM2TK7T6 | topic | open | Wikipedia List of statisticians#ND3Z |
| Farrukh Mukhamedov | ZMTBPCCQDB | topic | open | Wikipedia Farrukh Mukhamedov, Wikidata Q102354695 |
| Farsightedness | CWC7SCE074 | definition | open | Wikipedia Farsightedness (game theory), Wikidata Q133252321 |
| FARTHY9W1W | FARTHY9W1W | proof | open | hott_book equivalences.tex#proof-14 |
| Faruk Fuad Abi-Khuzam | VSFSWS9N3T | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102176338, ProofWiki Mathematician:Faruk_Fuad_Abi-Khuzam |
| FAS1JND2WN | FAS1JND2WN | 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.04434#8SSC |
| FAS6A6T9DD | FAS6A6T9DD | 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.05459#JJ5H |
| FASA800N4E | FASA800N4E | 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.00135#JLC5 |