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 3401–3500 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FP7R5PEMKF | FP7R5PEMKF | exercise | open | hott_book logic.tex#ex:naive-lem-impl-ac |
| FP8 cannot win in \OzII even where its raw performance is highest | NZWT4KQ1PB | unknown | open | arXiv 2609.29554#P2XG |
| FP8BEHXCRC | FP8BEHXCRC | 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.31044#9AYA |
| FP8BEPSDPJ | FP8BEPSDPJ | 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.12576#SZLI |
| FP8VC0Y2FC | FP8VC0Y2FC | 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.08010#ZX3P |
| FP940PN69X | FP940PN69X | 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.13401#ZZHS |
| FP9AB0X5MH | FP9AB0X5MH | 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.07285#GC3Q |
| FP9KCF123P | FP9KCF123P | 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.19534#21C3 |
| FP9NQP6191 | FP9NQP6191 | 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#97MY |
| FPAXCRW727 | FPAXCRW727 | 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.11487#UZDU |
| FPB1YN1DP7 | FPB1YN1DP7 | definition | open | ernst_ibl MAAPressVersion/Counting.tex#definition-1 |
| FPBQENWHSH | FPBQENWHSH | 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.09084#2HEP |
| FPC2B031CX | FPC2B031CX | 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.30579#3K7Q |
| FPCM7WFWFY | FPCM7WFWFY | 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.37106#5178 |
| FPD88WN10J | FPD88WN10J | 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.00909#3T0L |
| FPDEFXP1B5 | FPDEFXP1B5 | 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.11301#REAZ |
| FPDSDKY6K2 | FPDSDKY6K2 | 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.01073#Y2TF |
| FPDSF8PMR1 | FPDSF8PMR1 | 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.16779#CSRO |
| FPESF525EF | FPESF525EF | 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.17240#6UMA |
| FPF0EYMZ36 | FPF0EYMZ36 | 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.36668#47XM |
| FPF4PHVNJV | FPF4PHVNJV | unknown | open | |
| FPFMFV59VQ | FPFMFV59VQ | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-9 |
| FPFXKGYZ8E | FPFXKGYZ8E | 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 2510.12502#AZUL |
| FPGAECXJ8W | FPGAECXJ8W | 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.24917#Z1VT |
| FPGP7CFTZ4 | FPGP7CFTZ4 | 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.29489#KFE4 |
| FPH9XXWXP5 | FPH9XXWXP5 | 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.01653#ZA38 |
| FPHG2TVAB4 | FPHG2TVAB4 | 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.31527#60ST |
| FPHTS1SAB8 | FPHTS1SAB8 | 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.35625#ZVGZ |
| FPJ44WX0G3 | FPJ44WX0G3 | 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.27458#HN4C |
| FPKD9NNZ07 | FPKD9NNZ07 | 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/9602216#NTJ1 |
| FPKEYMG98C | FPKEYMG98C | 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.10875#UVO3 |
| FPKVTA7AFN | FPKVTA7AFN | 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.07673#0DJN |
| FPN5PEHM18 | FPN5PEHM18 | 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.18929#96TQ |
| FPN7RSS20V | FPN7RSS20V | 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.33590#548X |
| FPNH2A9SA3 | FPNH2A9SA3 | 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.22074#8G5D |
| FPNNGSPJYP | FPNNGSPJYP | 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.33406#Q4C5 |
| FPNT1R2S80 | FPNT1R2S80 | 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.07770#7J9P |
| FPNV69KAPK | FPNV69KAPK | definition | open | napkin tex/set-theory/models.tex#definition-4 |
| FPNVPAEWXW | FPNVPAEWXW | 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.01073#TZX7 |
| FPP1B6MXQD | FPP1B6MXQD | example | open | active_calculus source/sec-2-3-prod-quot.xml#example-4 |
| FPP60AP9FV | FPP60AP9FV | 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 2408.13548#97F9 |
| FPPDM7ATBY | FPPDM7ATBY | 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.24412#8PLI |
| FPPZPYSKYJ | FPPZPYSKYJ | 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.33679#IERY |
| FPQ88FFAM5 | FPQ88FFAM5 | 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#4OM4 |
| FPQCFVXNMZ | FPQCFVXNMZ | 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.36884#MCF2 |
| FPQMPG7WAE | FPQMPG7WAE | 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.16931#MJXQ |
| FPQMSYXS9J | FPQMSYXS9J | 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 2210.11778#F46U |
| FPQPBQ94TF | FPQPBQ94TF | 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#7JH0 |
| FPQVN7YXA2 | FPQVN7YXA2 | 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.09882#SO8F |
| FPR8ZTD77B | FPR8ZTD77B | 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.10930#AGMH |
| FPRP03WNA0 | FPRP03WNA0 | 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.40207#Z89U |
| FPRTVQF4WR | FPRTVQF4WR | 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.13699#3IVX |
| FPT3WBAVAD | FPT3WBAVAD | 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.19707#56V5 |
| FPT8PN0MDZ | FPT8PN0MDZ | 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.09945#B0RZ |
| FPTEP95GPC | FPTEP95GPC | 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#AI6A |
| FPTX52WF06 | FPTX52WF06 | 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.01928#SYXL |
| FPV1WMNTVB | FPV1WMNTVB | 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.26074#1HCI |
| FPV5358EPT | FPV5358EPT | 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.34202#031D |
| FPW12ES6SM | FPW12ES6SM | 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.17258#AHDC |
| FPWBBA5DN6 | FPWBBA5DN6 | 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.13888#KVBU |
| FPWBC5GF2Q | FPWBC5GF2Q | 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.29903#PDRP |
| FPWQDQ8QCC | FPWQDQ8QCC | 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.21181#5O09 |
| FPX6J3197A | FPX6J3197A | 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.08288#FH5W |
| FPYABSJSND | FPYABSJSND | 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.30018#ZUNE |
| FPYFAVZJF2 | FPYFAVZJF2 | 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.35632#X52J |
| FPYJ7TKQ2K | FPYJ7TKQ2K | 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.26386#YB0V |
| FPZ2PBFC5Z | FPZ2PBFC5Z | 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 2605.17484#B27I |
| FPZBJFYDE8 | FPZBJFYDE8 | 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.10860#0U2Z |
| FQ0H42PD4E | FQ0H42PD4E | 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.13042#0HM8 |
| FQ0SVQ47VY | FQ0SVQ47VY | 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 2510.23812#XON3 |
| FQ13G1XT1D | FQ13G1XT1D | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-11 |
| FQ2X7JJGMC | FQ2X7JJGMC | 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.34845#DJQK |
| FQ2YXRDXY2 | FQ2YXRDXY2 | 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.39615#E7I7 |
| FQ32R9SJY7 | FQ32R9SJY7 | 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.06458#7P0Q |
| FQ36ZS8CRT | FQ36ZS8CRT | proof | open | open_logic content/incompleteness/theories-computability/oconsis-ext-of-q-undec.tex#proof-1 |
| FQ3AQSVKDF | FQ3AQSVKDF | 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.10221#G2GJ |
| FQ3HBW38XS | FQ3HBW38XS | exercise | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-8 |
| FQ3P00FNV5 | FQ3P00FNV5 | 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.36412#MW80 |
| FQ4CBM6FXQ | FQ4CBM6FXQ | 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.36725#4XJQ |
| FQ54J06234 | FQ54J06234 | 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.21005#3ATZ |
| FQ56WKP8GS | FQ56WKP8GS | 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.08357#0073 |
| FQ5J79X0HT | FQ5J79X0HT | 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 2211.10816#MIJ5 |
| FQ5QPP0V36 | FQ5QPP0V36 | definition | open | napkin tex/alg-NT/artin.tex#definition-4 |
| FQ7DSA7S52 | FQ7DSA7S52 | definition | open | open_logic content/set-theory/ordinals/vn.tex#defn-1 |
| FQ7DTCEQGV | FQ7DTCEQGV | proof | open | applied_combinatorics source/s_induction_recursion.ptx#proof-2 |
| FQ7TX6XN58 | FQ7TX6XN58 | 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 2207.11097#S7A6 |
| FQ8SMXXH9Y | FQ8SMXXH9Y | exercise | open | napkin tex/H113/ring-intro.tex#ques-1 |
| FQA2SVJ07M | FQA2SVJ07M | 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.07695#S2C4 |
| FQACFN2159 | FQACFN2159 | 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.20050#63T8 |
| FQAP15CQN0 | FQAP15CQN0 | 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/0512416#O87Y |
| FQAYJNAMWY | FQAYJNAMWY | 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 2605.16669#IDYB |
| FQB6ZMXNN1 | FQB6ZMXNN1 | 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 2104.04145#N85Q |
| FQB73DPWZK | FQB73DPWZK | 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 2304.02722#QJHV |
| FQBRM92B9A | FQBRM92B9A | 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.04165#TQGI |
| FQCV68G5GX | FQCV68G5GX | 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.04355#X9ZE |
| FQCWWVC08V | FQCWWVC08V | 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.19854#B0RZ |
| FQD6CBB8EE | FQD6CBB8EE | 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.16181#XHDG |
| FQDJQJ1WSD | FQDJQJ1WSD | 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.31615#PSI5 |
| FQDJV09GJ1 | FQDJV09GJ1 | 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.28814#A8BG |
| FQDKAST0RB | FQDKAST0RB | 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.26745#F3ET |