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 301–400 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| F3B77GYK0M | F3B77GYK0M | statement | record (an 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.07162#MJC0 |
| F3CKXSE6ZZ | F3CKXSE6ZZ | unknown | open | arXiv 1408.1555#JE2L |
| F3CZHKSSBG | F3CZHKSSBG | statement | record (an 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.16203#B9R9 |
| F3D68CCMEV | F3D68CCMEV | 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.14044#PK3T |
| F3E001W06X | F3E001W06X | statement | record (an 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/0406514#QK31 |
| F3EP8S94CP | F3EP8S94CP | 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 1008.4946#Y4VE |
| F3F2NF27QB | F3F2NF27QB | statement | record (an 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.12803#IA1U |
| F3FYVYJ8SE | F3FYVYJ8SE | definition | open | napkin tex/alg-geom/proj-var.tex#definition-11 |
| F3GGWTGZRA | F3GGWTGZRA | example | open | austin_ula src/section2-3.xml#example-span-linear-dep |
| F3GRTC2C2H | F3GRTC2C2H | statement | record (an 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.22040#PR7S |
| F3H42B0KXV | F3H42B0KXV | statement | record (an 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.11968#G9YL |
| F3J2WT5PPR | F3J2WT5PPR | statement | open | napkin tex/calculus/differentiate.tex#corollary-1 |
| F3JH9HH57G | F3JH9HH57G | 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.03477#J2OH |
| F3JPMMF36T | F3JPMMF36T | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-6 |
| F3K66MFQV6 | F3K66MFQV6 | 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 2401.15490#9I1N |
| F3KDM27JC8 | F3KDM27JC8 | 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 2207.12181#K19I |
| F3KJ5WFXWC | F3KJ5WFXWC | 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.31276#F8OM |
| F3M0D4GG4Z | F3M0D4GG4Z | statement | record (an 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.39531#ND2Z |
| F3N5FQCX8N | F3N5FQCX8N | statement | record (an 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.02790#1913 |
| F3PX09CEJ1 | F3PX09CEJ1 | statement | record (an 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#RFWU |
| F3QH9WGWBY | F3QH9WGWBY | 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.12108#T0JG |
| F3QMFFS6YS | F3QMFFS6YS | example | open | open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-1 |
| F3REEJ476Q | F3REEJ476Q | statement | record (an 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.24185#IH8T |
| F3RFJ3VMGB | F3RFJ3VMGB | example | open | austin_ula src/section6-2.xml#example-orthog-comp-gen |
| F3RSJX00WT | F3RSJX00WT | statement | record (an 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#BH5M |
| F3SA3JP12R | F3SA3JP12R | statement | record (an 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.00312#HD6I |
| F3SAWREMF3 | F3SAWREMF3 | 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.06440#KSTE |
| F3SC83C3GH | F3SC83C3GH | statement | record (an 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#N9RK |
| F3SQ924PCB | F3SQ924PCB | statement | record (an 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#VIS2 |
| F3V144X7FV | F3V144X7FV | statement | record (an 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#ANP6 |
| F3V72T176E | F3V72T176E | statement | record (an 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.15525#R70A |
| F3VFMG1Z6K | F3VFMG1Z6K | 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 alg-geom/9506022#DHNJ |
| F3WPYG6E17 | F3WPYG6E17 | statement | record (an 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#66CT |
| F3WT5Z2TZ6 | F3WT5Z2TZ6 | statement | record (an 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.14783#PQK0 |
| F3WX6X3G34 | F3WX6X3G34 | statement | record (an 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#RCAW |
| F3X0BFXNJA | F3X0BFXNJA | statement | record (an 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.18580#FMKJ |
| F3XA68MEXM | F3XA68MEXM | statement | record (an 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.09599#KLV5 |
| F3XDHVKZMA | F3XDHVKZMA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.14383#M5YB |
| F3XF67Z7ZX | F3XF67Z7ZX | statement | record (an 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#UNSQ |
| F3XG1K9WGG | F3XG1K9WGG | statement | record (an 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.17325#59EN |
| F3XT3MTMH4 | F3XT3MTMH4 | 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.36135#5W5G |
| F3Y18XHHV9 | F3Y18XHHV9 | statement | record (an 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.16875#VOMR |
| F3Y8967HRJ | F3Y8967HRJ | statement | record (an 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.07728#1DA8 |
| F3YFMN43QV | F3YFMN43QV | statement | record (an 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.39260#EMPQ |
| F3YPDSCZD8 | F3YPDSCZD8 | statement | record (an 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#6407 |
| F3Z1ACCS38 | F3Z1ACCS38 | statement | record (an 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.06669#6NM5 |
| F3Z2E75ZVV | F3Z2E75ZVV | statement | record (an 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.03422#5TZN |
| F3ZEMYWJC8 | F3ZEMYWJC8 | statement | record (an 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.15771#2V9D |
| F4 | RRB5Q7YD0W | unknown | open | Wikidata Q869077, nLab F4 |
| F40BCWEK56 | F40BCWEK56 | statement | record (an 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.01737#LDDA |
| F40DA5Y7CW | F40DA5Y7CW | 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.18632#NAF8 |
| F40TE6GT07 | F40TE6GT07 | statement | record (an 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.14278#QCCW |
| F40Y6BBBZ9 | F40Y6BBBZ9 | 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.08382#0L0B |
| F413RNW5CX | F413RNW5CX | statement | record (an 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.26996#HDHB |
| F41B3D5DBH | F41B3D5DBH | statement | record (an 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.28141#2I2Q |
| F41GJVVZHK | F41GJVVZHK | statement | record (an 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.4245#S11W |
| F41ZRH4ZDT | F41ZRH4ZDT | statement | record (an 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#8IB5 |
| F424FKDTWR | F424FKDTWR | statement | record (an 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#H3N4 |
| F42YECPSZF | F42YECPSZF | statement | record (an 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.29631#Q59R |
| F43FEZF5N0 | F43FEZF5N0 | statement | record (an 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.11902#VN84 |
| F43FTZWK7V | F43FTZWK7V | statement | record (an 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.02395#NQ35 |
| F445N8HVF2 | F445N8HVF2 | statement | open | hott_book categories.tex#ct:weq-iso-precat-cat |
| F44AZY9A1H | F44AZY9A1H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#CCVL |
| F44JNB5R8W | F44JNB5R8W | statement | record (an 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.04730#Y1OT |
| F44M8H8QJN | F44M8H8QJN | 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.13475#46X8 |
| F44TRQ1NE1 | F44TRQ1NE1 | statement | record (an 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.28649#2SB9 |
| F453XBH76N | F453XBH76N | statement | record (an 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.26896#KRG8 |
| F45KZZC431 | F45KZZC431 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#NXIK |
| F45S5BDC3T | F45S5BDC3T | exercise | open | lebl_scv scv.tex#exercise-264 |
| F461WVHK07 | F461WVHK07 | 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.07963#PJND |
| F4627ATHEP | F4627ATHEP | statement | record (an 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.39517#ON1W |
| F46E08FTF6 | F46E08FTF6 | statement | record (an 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#QN5N |
| F46ZXN2N42 | F46ZXN2N42 | exercise | open | austin_ula src/exercises/exercises6-3.xml#exercise-1 |
| F47N45JYZC | F47N45JYZC | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-2 |
| F483NMHYBN | F483NMHYBN | statement | record (an 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.33124#N7EQ |
| F48XVKA067 | F48XVKA067 | statement | record (an 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.05617#QX0D |
| F48YKG47XF | F48YKG47XF | statement | record (an 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.32033#NEYZ |
| F48YPVX9BE | F48YPVX9BE | statement | record (an 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.16060#P5T3 |
| F499RD63B0 | F499RD63B0 | statement | record (an 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.26401#N7R4 |
| F49KPZTMPQ | F49KPZTMPQ | statement | record (an 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.10051#5P4R |
| F4A0DTEJBJ | F4A0DTEJBJ | 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.20758#IG3G |
| F4A6NV1MSN | F4A6NV1MSN | 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 2406.06762#4LUP |
| F4APTRPM8P | F4APTRPM8P | statement | record (an 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.03255#GKNI |
| F4AQCDV0WY | F4AQCDV0WY | statement | record (an 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.05179#P4G3 |
| F4AWVR8GGY | F4AWVR8GGY | statement | record (an 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.25106#001Z |
| F4B29FNJ7T | F4B29FNJ7T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.05158#LSD3 |
| F4B76ZNBW7 | F4B76ZNBW7 | statement | record (an 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.12353#S79C |
| F4BFZYVGP8 | F4BFZYVGP8 | statement | record (an 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.04317#UBVF |
| F4BJYWGSVC | F4BJYWGSVC | statement | record (an 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.08500#B3O8 |
| F4C7XJWCK6 | F4C7XJWCK6 | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-38 |
| F4DVYHZBKA | F4DVYHZBKA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.11898#K14P |
| F4DXFG7H0T | F4DXFG7H0T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#MEVQ |
| F4E338HFGY | F4E338HFGY | statement | record (an 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.03449#R21C |
| F4EDFNDV9V | F4EDFNDV9V | statement | record (an 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#HGEY |
| F4EJ0CJGZG | F4EJ0CJGZG | proof | open | open_logic content/normal-modal-logic/filtrations/finite.tex#proof-1 |
| F4FZV7DRR0 | F4FZV7DRR0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#TFBU |
| F4FZWVXP9A | F4FZWVXP9A | statement | record (an 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.07718#WO8O |
| F4G8FCJR9W | F4G8FCJR9W | exercise | open | lebl_ra ch-seq-ser.tex#exercise-69 |
| F4GZ9PNZVN | F4GZ9PNZVN | 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.36622#7RUL |
| F4HJKDPMQ5 | F4HJKDPMQ5 | statement | record (an 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.30067#U8AU |