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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 3301–3400 of 9322.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Finite local exponents | E2PAF9S2ZG | 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.12387#3P91 |
| Finite local lifting | C7XP92NQ5G | 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.21388#7YGZ |
| Finite local likelihood ratio | M9KVEW1PQD | 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.39633#LRJ8 |
| Finite lower envelopes | DA3Z1KE8T9 | 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.10873#JXHV |
| Finite Mach number periodic waves | NEW0R2WA6C | 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.01883#7AH6 |
| finite map | N41DJG1Y37 | unknown | open | mathlib_overview Data structures > Maps > finite map, Mathlib Finmap |
| Finite map--adversary duality | R6HFRYRR1X | 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.04027#RM1A |
| Finite marked fibers | H3Y36M0RPN | 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.06081#JJ1P |
| Finite matching | PDWYWKXFW0 | 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.28220#3KAT |
| Finite mathematics | 5HEEQME0NH | definition | open | Wikipedia Finite mathematics, Wikidata Q5450402 |
| Finite matrix groupoids | 9B5VW3CGXZ | 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.00789#I7RM |
| Finite maximal smooth lifespan | X8N43RSTNR | 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.02509#G0XY |
| Finite maximum kernel | QD6F3DJRZT | 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.39700#3YF6 |
| finite measure | ZFWTY6TPAX | definition | open | Wikidata Q3307145, ProofWiki Definition:Finite_Measure, Wikipedia Finite measure |
| Finite metric spaces in the Gromov--Hausdorff space, \mycite{Theorem 2.1}{INT | ZBWT0121V6 | 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.17400#ML5A |
| Finite mixing time for a fixed policy | 4NXZ8K3V05 | 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.04117#1M5H |
| Finite model property | SP8BRWPKGE | definition | open | Wikipedia Finite model property, Wikidata Q5450401 |
| Finite model theory | 605CVV2BB7 | definition | open | Wikipedia Glossary of areas of mathematics#BOVQ |
| finite model theory | ENC58E8GA0 | definition | open | Wikipedia Glossary of logic#TQUS |
| Finite model theory | JJJWAS9EJP | topic | open | Wikipedia List of mathematical logic topics#8TTT |
| Finite model theory | Q3PN4Y9RRB | topic | open | Wikipedia Finite model theory, Wikidata Q5450405 |
| Finite modifications | S3MFK9ER1C | 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.37704#P8K7 |
| Finite modular classification | QDVZERMHX5 | 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.07092#A9EZ |
| finite moment detection | GHSG3AYYPK | 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.26286#ZOLI |
| Finite moment reduction for partial rigid alignment | E6X0KQE9MQ | 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.10408#Q49L |
| Finite morphism | 80SHGN4GSB | definition | open | Wikipedia Finite morphism, Wikidata Q2370289 |
| Finite morphism | B0YYWNP3M8 | definition | open | Wikipedia List of algebraic geometry topics#56BG |
| Finite natural inverse monoids | SXRS9P05YW | 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.12014#CDZL |
| Finite nonnegative measures | Y86RWPRX6E | 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.22296#1UW6 |
| Finite normal range | 5WKW8R3ZAP | 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.22027#XVTR |
| Finite obstruction bound | 8T9QSBW0FR | 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.40054#OSLH |
| Finite operator algorithm | V20JSY3D81 | 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.10828#87SG |
| Finite order of ramification | 8N2ZSX1BKM | 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.35102#VZLO |
| Finite ordinary Gaussian success bounds | JPEC2ZQ82Z | 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.30808#83E5 |
| Finite outer bounds | HBM04XVT3D | 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.28220#48NP |
| Finite outgoing matrix and determinantal parameters | G0H2C3H4GQ | 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.25925#J0OZ |
| Finite paths remain in one cloud | 9WK0EYZCBG | 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.17400#VHLR |
| Finite penalty stabilization | MKSD9JJEJ8 | 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.39736#PZMV |
| Finite permutations | EEGMVSPPGD | 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.04271#F11B |
| Finite perturbative stability | JTT2CRX07H | 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.14081#BW1H |
| Finite pointset method | 7SNA52YGEF | definition | open | Wikipedia Finite pointset method, Wikidata Q5450404 |
| Finite poles along a Cartier divisor | RRTKW98S20 | 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.00490#1EAV |
| Finite polyhedral geometry and Gaussian genericity | YVFNT653J8 | 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.32695#JJRP |
| Finite population correction | QYSEWHZFS7 | unknown | open | Wikipedia Standard error#HIFB |
| Finite posterior interfaces | SMS2B30AVA | 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.16248#XMVA |
| finite presentation | 8VC6XY00T9 | definition | open | Wikipedia Glossary of algebraic geometry#T9M8 |
| finite presentation | TQZY7BX24S | definition | open | Wikipedia Glossary of module theory#Q6VJ |
| Finite presentation | WXEHM80XXM | 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.04271#HEKW |
| Finite primitive spectra with neat generators | EYEYCXKJ9C | 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.27204#LHQW |
| finite product of metric spaces | 6ZRFR28Z2F | unknown | open | mathlib_undergrad Topology > Topology and Metric Spaces > finite product of metric spaces, Mathlib metricSpacePi |
| Finite product--Whitney conifold strictification | CCKFN666KW | 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#4FCO |
| Finite product-square logarithmic contraction | 4C25W8A3PY | 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#JXB5 |
| Finite products with a uniform positive density | M8RX2DJVXN | 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.22107#T2MQ |
| Finite profile allocation | 5FSPARBBYM | 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.20215#DX4H |
| finite progression parameters | YXFRRMH1BH | 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.04000#7FJR |
| Finite projected representation and elicitation | 9PT090YNKR | 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.25026#POSY |
| Finite projective plane | H9RQ562CPZ | unknown | open | Wikipedia Projective plane#XBX9 |
| Finite projective space | WA6B5EG144 | unknown | open | Wikipedia Projective space#QLWJ |
| Finite propagation | VFG23TQDKM | 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.25987#CO9B |
| Finite radial-window Gamma-limit | 9MS0E44MK4 | 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.20215#TOIM |
| Finite realization and nonvanishing | 979YA553SY | 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#HE3A |
| Finite represented CFOs | W2PD7YV7F3 | 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.28220#A517 |
| Finite resolved presentation | KTWVKVQQE7 | 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.20215#0IH1 |
| Finite resonance data recalled from previous work | 7M3GNP71V1 | 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.25925#Z7SK |
| Finite ring | QWT54ZJ97R | definition | open | Wikipedia Finite ring, Wikidata Q2354159 |
| Finite root formula for the resolvent | DFYB81D202 | 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.08568#9TRW |
| Finite satisfiability (logics) | YW56Q7JPY9 | unknown | open | Wikipedia Satisfiability#0YOJ |
| Finite scalar fluctuation bounds | TRQXYS5QCR | 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.18788#MM4U |
| Finite second moment | 8SX3KRH2BZ | 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.05388#01MR |
| Finite sequence | 3M9NFQ7777 | unknown | open | Wikipedia Sequence#SWYL |
| finite set | 36PHYPW1G8 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q272404, MathWorld Finite, MathWorld FiniteSet, nLab finite set, ProofWiki Definition:Finite_Set, Wikipedia Finite set |
| Finite set | 56QE3EWTCM | definition | open | Wikipedia List of forcing notions#HX6E |
| finite set | BER9NX2V0V | unknown | open | mathlib_overview Data structures > Sets > finite set, Mathlib Finset |
| Finite set | G2MYT5F9WW | definition | open | Wikipedia List of types of sets#9GX7 |
| finite simple group | 3M0JJP9ZRQ | unknown | open | Wikidata Q45033382, EoM Simple_finite_group, LMFDB knowl group.simple |
| Finite singular-factor identity | TT5XV7KDJK | 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.22305#IBWJ |
| Finite sphere packing | 9SCJXNS69G | definition | open | Wikipedia Finite sphere packing, Wikidata Q1735601 |
| Finite stabilization of the penalty parameter | Z8RDE6KRFW | 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.18428#D5VY |
| Finite stationary-phase duality | FHRZZ57G0Z | 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#PGHB |
| Finite Stein exponent | 9SNAG8DC2D | 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.03629#V6O1 |
| Finite Stone--von Neumann theorem | BYBK51YN4Y | 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.06699#4QMX |
| finite strain theory | Y00MTYT3SH | definition | open | Wikidata Q15300737, Wikipedia Finite strain theory |
| Finite subdivision rule | J7ZVQCHJJ5 | definition | open | Wikipedia Finite subdivision rule, Wikidata Q5450407 |
| finite subgroup of SU(2) | KR4BDRQ8J0 | definition | open | Wikidata Q123399538, nLab finite rotation group, Wikipedia Finite subgroups of SU(2) |
| Finite support and inactive tails | 165BRGHT8N | 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#SDVF |
| Finite support at the optimal factor | BKMAZTM19F | 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.15125#KLZE |
| Finite support kernel | 4Z4R9EH2VX | 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.32078#7CQE |
| Finite system | KWFJKDKWP9 | 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.13347#GEST |
| Finite telescoping | 9AYGV7Z2EW | 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.04189#VSRH |
| Finite termination at the global optimum | 3Q21HHST1V | 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.14656#KFVX |
| Finite termination of exact MPA | F694QEG06W | 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.31363#3NKU |
| Finite termination of the accuracy loop | DC5KVCF9TY | 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.33206#Y00A |
| Finite thickness | SHW4GTVHB6 | definition | open | Wikipedia Finite thickness, Wikidata Q5450408 |
| Finite time blow-up | X10BS1GG1J | 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.30821#KT02 |
| Finite Time Lyapunov Exponent | C16E84Z4P9 | unknown | open | Wikipedia Lagrangian coherent structure#0HNK |
| Finite tomography | VVDQZ08442 | 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.13951#ODT9 |
| Finite top Ricci mass | 9Y7G2921PK | 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.16563#X2XP |
| Finite topological space | 52QXZJKKNJ | definition | open | Wikipedia List of topologies#9ZWS, Wikipedia List of examples in general topology#8MGO |
| Finite topological space | V6XJ6R34WF | definition | open | Wikipedia Finite topological space, Wikidata Q4352436 |
| Finite topology | HE5M3RPDNE | definition | open | Wikipedia Finite topology, Wikidata Q5450410 |