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 201–300 of 9322.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| F1CE5ERE04 | F1CE5ERE04 | statement | record (an 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.13745#KNGC |
| F1CPHNHQNP | F1CPHNHQNP | statement | record (an 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.12326#KS5O |
| F1DC5HZBFR | F1DC5HZBFR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16252#M68H |
| F1DN08900R | F1DN08900R | 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.33250#8OZ1 |
| F1DSKC75PV | F1DSKC75PV | definition | open | open_logic content/model-theory/lindstrom/abstract-logics.tex#defn-3 |
| F1E076PHS0 | F1E076PHS0 | statement | record (an 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.35466#RS7M |
| F1E2D70JHD | F1E2D70JHD | statement | record (an 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.13877#N67C |
| F1E4K5D92E | F1E4K5D92E | 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.18929#BZ2D |
| F1E622ZJQS | F1E622ZJQS | statement | record (an 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.15982#KGR1 |
| F1EXE5SFZ6 | F1EXE5SFZ6 | statement | record (an 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.25129#CWFT |
| F1F5GWQJ3T | F1F5GWQJ3T | statement | record (an 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.09544#P3DJ |
| F1FC9FQY41 | F1FC9FQY41 | statement | record (an 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#LH4D |
| F1FGF5G5H7 | F1FGF5G5H7 | statement | record (an 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.10881#KUF9 |
| F1FM2TWBJ8 | F1FM2TWBJ8 | statement | record (an 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.18740#DI2F |
| F1FZ2G1EX5 | F1FZ2G1EX5 | 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.21752#IJ02 |
| F1G1AHKBG7 | F1G1AHKBG7 | statement | record (an 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.25004#TG3H |
| F1GTD1ZM2M | F1GTD1ZM2M | 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.13580#360S |
| F1GVSG63HG | F1GVSG63HG | statement | record (an 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.11829#EIZJ |
| F1H15J3MZ8 | F1H15J3MZ8 | 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#NHY5 |
| F1HFZE5864 | F1HFZE5864 | statement | record (an 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.33771#SULN |
| F1JCNBVE85 | F1JCNBVE85 | statement | record (an 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.21322#WP5V |
| F1K4TX8GH1 | F1K4TX8GH1 | statement | record (an 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.02901#ITYN |
| F1KFWFZ2BC | F1KFWFZ2BC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#RGAW |
| F1MDF7WBVB | F1MDF7WBVB | statement | record (an 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.11679#PECQ |
| F1MDWMWXTK | F1MDWMWXTK | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-12 |
| F1MQY8MVMF | F1MQY8MVMF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1012.0963#PJH2 |
| F1N73N5B7H | F1N73N5B7H | statement | record (an 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.36922#WP03 |
| F1NEME9VSH | F1NEME9VSH | statement | record (an 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.36411#ZEQ9 |
| F1NT29J6G3 | F1NT29J6G3 | statement | record (an 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.07461#GEDN |
| F1P4FPQSCW | F1P4FPQSCW | statement | record (an 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.30113#O5IQ |
| F1P9C3C5CV | F1P9C3C5CV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.12552#0MK4 |
| F1PC6G2M84 | F1PC6G2M84 | statement | record (an 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.25367#QGLM |
| F1PW5CN2R4 | F1PW5CN2R4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.26169#8L4R |
| F1Q65BMB8K | F1Q65BMB8K | statement | record (an 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.21892#B472 |
| F1QAYX794F | F1QAYX794F | statement | record (an 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.23464#SFTG |
| F1QD6VTFA6 | F1QD6VTFA6 | statement | record (an 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.35204#1ZGV |
| F1QGC23K2B | F1QGC23K2B | statement | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:ImplicationAsDisjuction |
| F1QTBN7JWM | F1QTBN7JWM | 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 2502.08738#38P9 |
| F1RK13F9P4 | F1RK13F9P4 | statement | record (an 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#Y5Y0 |
| F1RM69ZFEX | F1RM69ZFEX | statement | record (an 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.26191#TB4V |
| F1RPNCZ86G | F1RPNCZ86G | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-51 |
| F1RS2DQNJX | F1RS2DQNJX | statement | record (an 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#PQQI |
| F1SAAE3579 | F1SAAE3579 | statement | open | napkin tex/riemann-surface/riemann-roch.tex#proposition-1 |
| F1SZ73MH6R | F1SZ73MH6R | statement | record (an 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#MVIQ |
| F1T54FHTP6 | F1T54FHTP6 | statement | record (an 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#T5V2 |
| F1TBN2WJJ4 | F1TBN2WJJ4 | statement | record (an 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#G0UV |
| F1THV1E6Z2 | F1THV1E6Z2 | statement | record (an 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.23332#9MDC |
| F1V9AT2P4H | F1V9AT2P4H | proof | open | napkin tex/alg-geom/spec-sheaf.tex#proof-3 |
| F1VAKNZC5F | F1VAKNZC5F | 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 2210.17066#1KFI |
| F1VN3S3GHX | F1VN3S3GHX | statement | record (an 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.07114#BKI5 |
| F1VYDVCXD8 | F1VYDVCXD8 | statement | record (an 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#GY5O |
| F1VZ8V7GJX | F1VZ8V7GJX | statement | record (an 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.27270#27H6 |
| F1X3J880Y9 | F1X3J880Y9 | exercise | open | napkin tex/homology/singular.tex#ques-3 |
| F1X8VEPGKN | F1X8VEPGKN | proof | open | hott_book logic.tex#proof-8 |
| F1XKQB3F12 | F1XKQB3F12 | 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 1810.06028#6RCZ |
| F1XR829RJD | F1XR829RJD | statement | record (an 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.17482#X02O |
| F1XVC51Q69 | F1XVC51Q69 | statement | record (an 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.27366#4AO7 |
| F1XW1EGPF5 | F1XW1EGPF5 | statement | record (an 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.14189#86ZE |
| F1Y036B5E1 | F1Y036B5E1 | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-3 |
| F1Y2WW4JWT | F1Y2WW4JWT | statement | record (an 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.24465#Y027 |
| F1YBTC5SGM | F1YBTC5SGM | unknown | open | arXiv 1804.06366#0KA1 |
| F1YEXR76HC | F1YEXR76HC | statement | record (an 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#Q87B |
| F1YS6M164V | F1YS6M164V | statement | record (an 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.31104#7ZRK |
| F1ZC0HETP2 | F1ZC0HETP2 | 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.20376#V2IH |
| F1ZMD68TRK | F1ZMD68TRK | statement | record (an 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#49P0 |
| F1ZQ7CKJ88 | F1ZQ7CKJ88 | statement | record (an 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.40345#DZQG |
| F2021802ZK | F2021802ZK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.07409#GH40 |
| F207N3P6Q9 | F207N3P6Q9 | statement | record (an 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.18358#PGB4 |
| F2096W3JGP | F2096W3JGP | statement | record (an 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.26308#IIPF |
| F20D9FTECQ | F20D9FTECQ | statement | record (an 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.12034#I800 |
| F20J0Y1CQK | F20J0Y1CQK | statement | record (an 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.24374#6K0D |
| F20JR3AMJD | F20JR3AMJD | statement | record (an 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.31220#5Y03 |
| F211G74Z2A | F211G74Z2A | 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 2506.07061#XSSS |
| F21NAXPH8A | F21NAXPH8A | 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.09422#IHKH |
| F21Y9EBAQH | F21Y9EBAQH | example | open | napkin tex/alg-NT/norm-trace.tex#example-4 |
| F226XVD85M | F226XVD85M | 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.22326#79B0 |
| F22C9AW5XV | F22C9AW5XV | statement | record (an 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.36613#EBS3 |
| F22H98KGR9 | F22H98KGR9 | statement | record (an 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.05204#F34Z |
| F2310PDANM | F2310PDANM | statement | record (an 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.33015#ABO6 |
| F248QDYS6J | F248QDYS6J | statement | record (an 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.08599#DANP |
| F24M6ATKTH | F24M6ATKTH | 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.26948#O3SM |
| F24W3DWF4S | F24W3DWF4S | statement | record (an 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.27420#ID0Q |
| F25M9ZDEVJ | F25M9ZDEVJ | statement | record (an 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.06747#VGLX |
| F261B714XN | F261B714XN | definition | open | hott_book categories.tex#ct:precategory |
| F264EBXX57 | F264EBXX57 | example | open | open_logic content/first-order-logic/syntax-and-semantics/first-order-languages.tex#ex-2 |
| F264NR743N | F264NR743N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.23797#D618 |
| F268VYAC3H | F268VYAC3H | 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.18287#UICW |
| F26A graph | JBSP44E8PA | definition | open | Wikidata Q5424189, House of Graphs 36342, Wikipedia F26A graph |
| F273N8DB0Q | F273N8DB0Q | 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.20588#ATIH |
| F27YQRFR3H | F27YQRFR3H | statement | record (an 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.40017#LFJ7 |
| F292CEKXX7 | F292CEKXX7 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-58 |
| F29GAN3SMD | F29GAN3SMD | statement | record (an 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.26058#5OXO |
| F2AN6W4GFS | F2AN6W4GFS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.04559#5WWM |
| F2ATAYFSG8 | F2ATAYFSG8 | statement | record (an 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.01087#ARXG |
| F2B3XP9BQA | F2B3XP9BQA | statement | record (an 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.20466#42BI |
| F2BW3Z5NEE | F2BW3Z5NEE | definition | open | napkin tex/alg-geom/sheaves.tex#definition-1 |
| F2D3A26ER2 | F2D3A26ER2 | 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.25168#A2NQ |
| F2EAAD9D1R | F2EAAD9D1R | 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.00625#TDQ1 |
| F2EDFEEAE9 | F2EDFEEAE9 | statement | record (an 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#L9AZ |
| F2EPG42Q9W | F2EPG42Q9W | statement | record (an 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.26701#KKM5 |