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 4401–4500 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Furry's theorem | YH9MYTHME2 | statement | open | mathlib_1000 Q26877569, Wikidata Q26877569, thousand_plus Q26877569, Wikipedia Furry's theorem |
| Furstenberg | QAEDB005WA | exercise | open | napkin tex/topology/top-more.tex#problem-4 |
| Furstenberg's theorem for the transfer matrices | FV3D2P7H2Q | 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.21268#BBTS |
| Furstenberg-Weiss 2003 | 2YWV8GMY5S | 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.28898#T7RL |
| Furstenberg-Weiss 2003 | 3V1VP6JVBS | 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.28898#TMPH |
| Further unipotence criteria | AK2PHX1FDM | 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#2NAV |
| fusion category | CY4XCKZMMY | unknown | open | Wikidata Q30672665, nLab fusion category |
| Futile game | 4CH7XC2DCJ | concept | open | Wikidata Q30681699, MathWorld FutileGame |
| future | NRJCBV0NBG | definition | open | Wikidata Q344, ProofWiki Definition:Future |
| Future obstruction and deletion | H6W6PEEJ63 | 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.28160#8SRM |
| Future obstruction module | MQFR74F0PD | 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.28160#67RF |
| Future-rank pruning | JA192H77A8 | 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.03353#E4J3 |
| fuzzy logic | VSVC673MC8 | topic | open | Wikidata Q224821, MathWorld FuzzyLogic |
| fuzzy sphere | TPCNY5XZJ7 | unknown | open | Wikidata Q5511135, nLab fuzzy sphere |
| FV0RSCA91H | FV0RSCA91H | 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.05730#R385 |
| FV1SDAJ2AD | FV1SDAJ2AD | 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.35229#LPAS |
| FV1SYT8GXT | FV1SYT8GXT | statement | open | lebl_scv scv.tex#prop-15 |
| FV1X78HM2Q | FV1X78HM2Q | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-48 |
| FV2003V5JZ | FV2003V5JZ | 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.11847#TCXK |
| FV26Q4X4N0 | FV26Q4X4N0 | 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.09390#76KS |
| FV28A2AFQK | FV28A2AFQK | 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.18246#QD2S |
| FV407AT6XH | FV407AT6XH | 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 2508.21045#BQ7Y |
| FV45JX2DXC | FV45JX2DXC | 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.40023#YVXS |
| FV49RF2FD9 | FV49RF2FD9 | 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.16554#1OWV |
| FV5Q75PY40 | FV5Q75PY40 | 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 2503.22636#LFVZ |
| FV6PRF9N8E | FV6PRF9N8E | example | open | lebl_diffyqs ch-power-ser.tex#example-10 |
| FV6Z9P2TNB | FV6Z9P2TNB | 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.09390#0PRW |
| FV725GTJB0 | FV725GTJB0 | 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.37520#GP1V |
| FV74BFZ247 | FV74BFZ247 | definition | open | napkin tex/set-theory/ordinal.tex#definition-5 |
| FV8JDB3RE6 | FV8JDB3RE6 | 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 0904.3493#Q3NK |
| FV8KS36KN4 | FV8KS36KN4 | 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.14217#BRSF |
| FV8N2TANPE | FV8N2TANPE | 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.20229#GA0B |
| FV8T7WT24M | FV8T7WT24M | 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.15517#3LIZ |
| FV8VV4ZCB0 | FV8VV4ZCB0 | unknown | open | arXiv 1804.05688#FO2O |
| FV906J2ZBY | FV906J2ZBY | exercise | open | open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#prob-2 |
| FV91SMJ3VE | FV91SMJ3VE | exercise | open | hott_book basics.tex#ex:strengthen-transport-is-ap |
| FV9933QX2K | FV9933QX2K | 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 2303.09207#1IFP |
| FV9BPSX59J | FV9BPSX59J | 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.38532#7TEA |
| FV9C4AYKQR | FV9C4AYKQR | 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.13685#OX2I |
| FV9M83GH5J | FV9M83GH5J | 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 2609.26114#0CGO |
| FV9MEMKJS5 | FV9MEMKJS5 | 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.34675#Z9QT |
| FVABKJYPA8 | FVABKJYPA8 | 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.22288#FN4X |
| FVB4VZRN9Z | FVB4VZRN9Z | 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.20316#4FM8 |
| FVB5YV65Z4 | FVB5YV65Z4 | 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.03661#HJJT |
| FVB6F0CYXW | FVB6F0CYXW | 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.12054#3407 |
| FVBQWNMC1N | FVBQWNMC1N | 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 2203.00606#9R5V |
| FVC7FGY8CX | FVC7FGY8CX | 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.27694#JQRI |
| FVCCH505MD | FVCCH505MD | 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.06746#ZNR5 |
| FVCDBZM0G3 | FVCDBZM0G3 | 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.27056#SQJY |
| FVCTJFYJZK | FVCTJFYJZK | 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.21337#MXIX |
| FVCWK9PT0W | FVCWK9PT0W | 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.04382#JXAX |
| FVD8FC0KFA | FVD8FC0KFA | 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.07963#3T5B |
| FVDBEPBFFD | FVDBEPBFFD | 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.15831#6MFX |
| FVDCVTWTA9 | FVDCVTWTA9 | exercise | open | austin_ula src/exercises/exercises6-2.xml#exercise-6 |
| FVDFBW2TDM | FVDFBW2TDM | 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.04844#8HSY |
| FVDT2DNC19 | FVDT2DNC19 | 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 math/0003117#MWE4 |
| FVE228N2SX | FVE228N2SX | 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 1810.06028#9SRT |
| FVF3JGGD4V | FVF3JGGD4V | 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 2208.05288#PVD8 |
| FVFRN7TEQD | FVFRN7TEQD | 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.12053#OXRS |
| FVG129NC5Q | FVG129NC5Q | 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.01273#NG9S |
| FVG58GV44Y | FVG58GV44Y | 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#AR9C |
| FVGHM9A5G9 | FVGHM9A5G9 | 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 2110.11143#OX0Q |
| FVGXTWVCFQ | FVGXTWVCFQ | 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 1512.06981#NWFD |
| FVHY9RCWTK | FVHY9RCWTK | 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.10925#LPER |
| FVHZF4WFMJ | FVHZF4WFMJ | 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.02669#T9F7 |
| FVJ5V605EZ | FVJ5V605EZ | 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.31527#0BPA |
| FVJ8CE3ABE | FVJ8CE3ABE | 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.05506#2B7L |
| FVJK6PNTEC | FVJK6PNTEC | unknown | open | arXiv 2404.06445#YFOT |
| FVJRQPMBN6 | FVJRQPMBN6 | 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.14838#CIN8 |
| FVJYG5ZFYK | FVJYG5ZFYK | 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 1512.06981#T02T |
| FVK2W4ECFV | FVK2W4ECFV | 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#IGGS |
| FVK5AYA1N9 | FVK5AYA1N9 | 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.29699#PKBG |
| FVKSM66F6H | FVKSM66F6H | 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.18503#0M8H |
| FVMB0C8ZWZ | FVMB0C8ZWZ | 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.12831#TQRJ |
| FVMKYJ2SMP | FVMKYJ2SMP | 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 2402.17852#H752 |
| FVN1M834PK | FVN1M834PK | 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.09840#E5M5 |
| FVN2059XKZ | FVN2059XKZ | 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 math/0008020#CVCP |
| FVN311R5Z1 | FVN311R5Z1 | 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.31768#9S1X |
| FVNFVMEP2C | FVNFVMEP2C | 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.13213#3PED |
| FVPK5P56Q8 | FVPK5P56Q8 | 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 2610.03730#CUDP |
| FVPP1BQ7JW | FVPP1BQ7JW | 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.19535#JAF8 |
| FVPQ2A466V | FVPQ2A466V | exercise | open | lebl_ra ch-der.tex#exercise-12 |
| FVPRYN8WJZ | FVPRYN8WJZ | 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 2509.10268#TCN0 |
| FVQA1K90H4 | FVQA1K90H4 | 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.39782#QLQI |
| FVQJ1GZW4H | FVQJ1GZW4H | 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#KEDH |
| FVQK71YH6W | FVQK71YH6W | 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.10736#0DZ1 |
| FVQTFVXT1E | FVQTFVXT1E | 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.07644#W4M0 |
| FVR6W0W7ZR | FVR6W0W7ZR | 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.30302#F138 |
| FVS1JQ6ZCM | FVS1JQ6ZCM | 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.04411#Z3GM |
| FVS92ZJC4F | FVS92ZJC4F | 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.00775#8OC7 |
| FVSGN4QZH4 | FVSGN4QZH4 | definition | open | napkin tex/rep-theory/rep-alg.tex#definition-7 |
| FVSWFY7CKV | FVSWFY7CKV | 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.04516#EU8Z |
| FVT7TDT175 | FVT7TDT175 | 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.04993#Z9AU |
| FVV0GZ8NAQ | FVV0GZ8NAQ | 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 2011.14561#HXNZ |
| FVV1KNRZCB | FVV1KNRZCB | 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 2112.10058#WDCM |
| FVV6QARD1H | FVV6QARD1H | 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.14838#L15Y |
| FVV93AAMN4 | FVV93AAMN4 | 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.09171#4XES |
| FVV9BENPBC | FVV9BENPBC | 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.14204#MNPZ |
| FVW17V2ZNP | FVW17V2ZNP | 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.18562#ES51 |
| FVW21PBMG9 | FVW21PBMG9 | 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.32104#TW1S |