Inventory: F
The rows of the inventory whose names start with F. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3101–3200 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FNRFQJJS2A | FNRFQJJS2A | 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 0906.2853#OMK2 |
| FNS3P3JEHH | FNS3P3JEHH | 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.16583#1SSD |
| FNSE04MRNW | FNSE04MRNW | 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.17045#IN1P |
| FNSEGAT036 | FNSEGAT036 | 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.35030#K6X0 |
| FNSR8W3F9F | FNSR8W3F9F | 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.27872#L2IH |
| FNSV1M2QBR | FNSV1M2QBR | 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 2310.02073#SGKH |
| FNT1GEDE1Y | FNT1GEDE1Y | 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.35577#3J2T |
| FNT83F4RA7 | FNT83F4RA7 | 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.07679#UZXW |
| FNTSG0BNMA | FNTSG0BNMA | definition | open | ernst_ibl MAAPressVersion/Topology.tex#def:open |
| FNTTDK32QT | FNTTDK32QT | exercise | open | austin_ula src/section6-4.xml#activity-gram-schmidt |
| FNV6AGF01C | FNV6AGF01C | 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.26477#SAAG |
| FNV80JDN1B | FNV80JDN1B | 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.17565#PWVL |
| FNVBY9M4Q9 | FNVBY9M4Q9 | 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.11545#4R4N |
| FNVBZ2PGK6 | FNVBZ2PGK6 | 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.03081#ZCEV |
| FNVKRD8X0R | FNVKRD8X0R | 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.14060#FV0P |
| FNW6CE8F5Z | FNW6CE8F5Z | 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 2508.19709#GPUA |
| FNW6QF12CM | FNW6QF12CM | 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.09812#F2IF |
| FNWEQDJHS1 | FNWEQDJHS1 | 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.01473#F0C0 |
| FNX8BPMMBB | FNX8BPMMBB | 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.28993#X7DH |
| FNXATHC5RM | FNXATHC5RM | 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 2412.01742#8CWO |
| FNXG4ZQRMB | FNXG4ZQRMB | 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.34852#EQER |
| FNY2VWRVYJ | FNY2VWRVYJ | 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.33766#8NX6 |
| FNY5D23ZTN | FNY5D23ZTN | 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.17476#412M |
| FNYKM0KBTD | FNYKM0KBTD | 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.09900#N6L5 |
| FNYXPBF46D | FNYXPBF46D | 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.31781#YP29 |
| FNZ28VMNVC | FNZ28VMNVC | 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.31445#9BPD |
| FNZFPAFT80 | FNZFPAFT80 | 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.21365#90VR |
| FNZQ35VDJ3 | FNZQ35VDJ3 | 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#WSCP |
| focal parameter | K0JS2FF5TG | unknown | open | Wikidata Q78150959, MathWorld FocalParameter |
| Focal subgroup theorem | K4M219FTVG | statement | open | mathlib_1000 Q5463860, Mathlib Subgroup.commutator_inf_eq_focalSubgroup, Wikidata Q5463860, thousand_plus Q5463860, Wikipedia Focal subgroup theorem |
| Fock space | RCXW5XJVPR | concept | open | Wikidata Q899044, nLab Fock space |
| focus | 7Q1R89AAJ5 | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > Application of quadratic forms to study proper conic sections of the affine Euclidean plane > focus |
| focus of a conic section | E0FAYRP92D | unknown | open | Wikidata Q78150425, MathWorld Focus |
| Foias constant | 84EN7GR135 | object | open | Wikidata Q15634948, MathWorld FoiasConstant, OEIS A085848, ProofWiki Definition:Foiaș_Constant/Second |
| folded cube graph | 2G2E6C3ETS | concept | open | Wikidata Q8564192, MathWorld FoldedCubeGraph |
| Folded dependent-pair bound | XQMBQC97WD | 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.40252#E65I |
| Folded exact-row-space count | EDCG5SQMAN | 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.40252#NYD1 |
| Folded fixed-map probability | 5Q3CFZRVBE | 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.40252#2LL3 |
| Folded fixed-type threshold | GRG97HYEQ4 | 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.40252#4HEB |
| Folded LCL pair | C44JPF5X6V | 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.40252#KUFN |
| Folded one-flag expectation | FZQCXGKEQS | 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.40252#U81Z |
| Folded pair submodularity | JX4BXW59RG | 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.40252#FCXB |
| Folded parity-check and uniform ensembles | YKM0G5CB8E | 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.40252#DFMW |
| Folded quotient-minor identity | D0YX62R334 | 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.40252#OKFW |
| Folded subband lower bound | CN8TM7STAR | 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.19416#HZRX |
| Folded subcritical direction | P8F0QJ2ZFB | 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.40252#Z1X7 |
| Folded threshold theorems and the uniform ensemble | D4RYJXMBHT | 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.40252#W1WO |
| Folding | 4TWCQGNKNH | 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.09167#10J6 |
| Foldwise target and oracle | GQSNBW59NG | 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 2102.11076#KC9X |
| Foliated incidence datum | E0RYE6F9ZD | 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 2501.09848#OY0P |
| Foliated triple | S3FZ05TPHT | 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 2103.12669#POZV |
| foliation | JJZRDB3SDM | concept | open | Wikidata Q684220, EoM Foliation, MathWorld Foliation, nLab foliation |
| Foliation | MQRN6JHBP1 | 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.18078#F4DP |
| folium | XJ12XZ6PDS | unknown | open | Wikidata Q12794951, MathWorld Folium |
| folium of Descartes | HTRS9EGCH9 | unknown | open | Wikidata Q837771, MathWorld FoliumofDescartes |
| folium of Descartes | YHNGZ4BPFA | concept | open | active_calculus index/2.7.1/folium-of-descartes |
| folk theorem | X6HZWF2EE7 | statement | open | mathlib_1000 Q650738, Wikidata Q650738, thousand_plus Q650738, Wikipedia Folk theorem (game theory), nLab folk theorem |
| Folk theorem for no-regret dynamics | YN922VKVA5 | 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.26265#3OSP |
| Folklore | FKDNR39P8M | 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.31331#VHAX |
| Folklore | MPTN60E5QV | conjecture | 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.35766#B0VD |
| Folklore | X8NSV8ZRBD | 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.06300#9GF4, arXiv 2610.06340#PJ7F |
| Folkman graph | NGAYP21MJ9 | unknown | open | Wikidata Q3115489, House of Graphs 1079, MathWorld FolkmanGraph |
| Fomin et al. | T4A0KWTTNP | 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.01441#JBYV |
| font | 99T0X16J5C | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q4868296, ProofWiki Symbols:Fonts |
| Fontaine--Messing criterion in adjacent degrees | 4BQ2RT26Z8 | 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.35467#LE9H |
| Fontené theorems | 9M8HZ69CKF | statement | open | Wikidata Q24957222, MathWorld FonteneTheorems, ProofWiki Fontené_Theorems |
| foot | RE862JJDX8 | definition | open | Wikidata Q3710, ProofWiki Definition:FPS/Length/Foot |
| foot per second | WD97T4AWQ9 | definition | open | Wikidata Q748716, ProofWiki Definition:Velocity/Unit/Foot_per_Second |
| foot-pound | WTYXBFSAP4 | concept | open | active_calculus index/6.4.1/foot-pound |
| foot–pound–second system | P9NDM61TBH | definition | open | Wikidata Q5466615, ProofWiki Definition:FPS |
| Forbidden algebra types | Q7VT498ZHP | 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.40054#QJ4D |
| Forbidden classes mod $7$ | G2229S155V | 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 2606.18859#ULNI |
| Forbidden induced subgraphs | RXFPD7TK3F | problem | 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.14681#I0ZT |
| Forbidding $H_1$ and $H_2$ | B7HXKWV1YB | 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.31331#CDQC |
| Forbidding $H_3$ | S20E4RXMSV | 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.31331#W5IP |
| Forbidding $H_4$ and $H_5$ | KXFR3FDJPR | 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.31331#A7VR |
| Forbidding $H_6$ | 4ZA1MEJPP5 | 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.31331#UHM3 |
| Forbidding $H_7$ | EBMH2DBV8D | 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.31331#9OZ1 |
| Forbidding $H_8$ | BKSRWW6XBR | 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.31331#ZIS0 |
| Forbidding $H_9$ | HKJ3V53J0E | 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.31331#LUB6 |
| force | 60GNSTZ11F | definition | open | Wikidata Q11402, ProofWiki Definition:Force |
| force field | VD43D5VZC4 | definition | open | Wikidata Q991239, ProofWiki Definition:Force_Field |
| Forced decoupling | V5TBNRAY39 | 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.03638#8KA4 |
| Forced distance distribution | RG4WX1AC7H | 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.31689#47HL |
| forced motion | DNKSXHSARQ | concept | open | lebl_diffyqs index/6.4.1/forced-motion |
| forced motion, systems | DMKSMVPAZR | concept | open | lebl_diffyqs index/10.6.3/forced-motion-systems |
| Forced quadratic socle | 1YZ2DBSY6X | 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.31689#H70I |
| Forced spectral Galerkin solutions | QNSM3B1ZH0 | 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.33033#WUH4 |
| Forced two-dimensional Leray--Hopf solution | V4Z30CZYEY | 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.33033#G7KL |
| Forcing | H83Z95YMDE | 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.07905#23OF |
| forcing | JGRSDM661Z | unknown | open | Wikidata Q1003136, MathWorld Forcing |
| forcing | Z8E6ZRDDV2 | 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.32733#2CJW |
| forcing, graded | DRKKFYRDXZ | 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.32733#LBJC |
| Ford circle | FDFEK5XF4B | unknown | open | Wikidata Q1436714, MathWorld FordCircle |
| Ford-Fulkerson labeling algorithm | 2WVBBH0RHW | concept | open | applied_combinatorics index/13.4/ford-fulkerson-labeling-algorithm |
| Foreman-Magidor | BTNH4122XA | 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 2208.05288#J750 |
| forest | B40HC2RFMJ | definition | open | Wikidata Q1506875, MathWorld Forest, ProofWiki Definition:Forest |
| forest | DJ8CYZ480C | concept | open | levin_dmoi index/5.2/forest |
| forest | W00ZJSFMYV | concept | open | applied_combinatorics index/16.1/forest |
| forest | Z0TKSWX89N | concept | open | applied_combinatorics index/5.1/forest |