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 201–300 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 | unknown | open | Wikidata Q5424189, House of Graphs 36342 |
| 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 |
| F2EQW83BT6 | F2EQW83BT6 | statement | record (an 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.07546#QVYE |
| F2EZBQZ7N7 | F2EZBQZ7N7 | statement | record (an 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.21092#I2ET |
| F2F1PM8TET | F2F1PM8TET | 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.36412#782K |
| F2FAJ66QXF | F2FAJ66QXF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#BQ86 |
| F2G3HKAQ2Q | F2G3HKAQ2Q | definition | open | lebl_ra ch-vol1-intro.tex#defn-9 |
| F2G96T8BGM | F2G96T8BGM | statement | record (an 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.13076#1G0E |
| F2GFR9Y7CT | F2GFR9Y7CT | statement | record (an 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.01924#FAO5 |
| F2GZD8CRVQ | F2GZD8CRVQ | statement | record (an 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.07927#EA6B |
| F2HRX5F1G5 | F2HRX5F1G5 | statement | record (an 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.29449#806H |
| F2HXED2BFA | F2HXED2BFA | statement | record (an 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.20165#JPID |
| F2J4RDVZ03 | F2J4RDVZ03 | statement | record (an 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.24206#8T3Z |
| F2JW9S90W9 | F2JW9S90W9 | statement | record (an 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.27641#5FZK |
| F2K54YFB6S | F2K54YFB6S | statement | record (an 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.14985#KGKQ |
| F2KF4KDP3S | F2KF4KDP3S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08976#9GWN |
| F2KF9JRJD9 | F2KF9JRJD9 | statement | record (an 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.28357#ADLS |
| F2KREMJ341 | F2KREMJ341 | statement | record (an 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.14616#1ZEH |
| F2KY415Z6X | F2KY415Z6X | statement | record (an 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.11481#N0JI |
| F2M497S71Y | F2M497S71Y | statement | record (an 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.10505#GGS5 |
| F2M506GMYT | F2M506GMYT | statement | record (an 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.14837#XIXR |
| F2MC3FQZYB | F2MC3FQZYB | statement | record (an 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.25190#16LX |
| F2MFC9RB9S | F2MFC9RB9S | statement | record (an 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#O9NV |
| F2MG4C406Z | F2MG4C406Z | statement | record (an 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#5Y4D |
| F2MKVZ00HB | F2MKVZ00HB | 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.02961#G3RH |
| F2N7JQ775K | F2N7JQ775K | statement | record (an 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#K7RH |
| F2N9GXZ1P1 | F2N9GXZ1P1 | 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.05259#DTDL |
| F2N9X8J67G | F2N9X8J67G | 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 math/0406514#WG1C |
| F2NTRPFBDH | F2NTRPFBDH | 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 math/0512416#CK58 |
| F2P3WZEJDG | F2P3WZEJDG | exercise | open | austin_ula src/section2-5.xml#activity-mt-intro |
| F2P7607VFS | F2P7607VFS | statement | record (an 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.36717#PC6X |
| F2P8MCMEY2 | F2P8MCMEY2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.09374#XCZG |
| F2Q1JYADN1 | F2Q1JYADN1 | statement | open | napkin tex/calculus/p-adic.tex#theorem-5 |
| F2QANC7MJ9 | F2QANC7MJ9 | statement | record (an 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.40138#PS0M |
| F2QJ29M0CH | F2QJ29M0CH | statement | record (an 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.28848#ROI5 |
| F2RCN0PMEV | F2RCN0PMEV | statement | record (an 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.1990#NJOP |
| F2RHM1VDBT | F2RHM1VDBT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#C1WJ |
| F2S02RNYQS | F2S02RNYQS | statement | record (an 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#SRFK |
| F2SG807H54 | F2SG807H54 | 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 2311.00585#5PAD |
| F2SMSEXFWN | F2SMSEXFWN | 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.21921#HQNN |
| F2TY4JAJWM | F2TY4JAJWM | statement | record (an 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#LCLN |
| F2VEK61TYN | F2VEK61TYN | definition | open | lebl_ra ch-seq-ser.tex#defn-5 |
| F2WGZ8XE23 | F2WGZ8XE23 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q134661, EoM Boole,_George, nLab George Boole, ProofWiki Mathematician:George_Boole |
| F2XB5M5A9P | F2XB5M5A9P | proof | open | open_logic content/set-theory/choice/countablechoice.tex#proof-3 |
| F2XR3W96JE | F2XR3W96JE | statement | record (an 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.39218#Q4KI |
| F2YA8C1T4S | F2YA8C1T4S | statement | record (an 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#QB9A |
| F2YWZEWTTJ | F2YWZEWTTJ | statement | record (an 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.03728#BQZ4 |
| F2ZCEYP65Y | F2ZCEYP65Y | statement | record (an 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.18101#MZAP |
| F2ZEWHVH4S | F2ZEWHVH4S | 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.12513#XI0Q |
| F30DFN5GBF | F30DFN5GBF | statement | record (an 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.34289#Y3DI |
| F30W7KRPGT | F30W7KRPGT | statement | record (an 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.08658#XNS3 |
| F318DAZFPP | F318DAZFPP | statement | record (an 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#S88Z |
| F31B3Y4JQ5 | F31B3Y4JQ5 | statement | record (an 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.25275#1MIE |
| F32ZJSEZF5 | F32ZJSEZF5 | statement | record (an 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.17553#GZ68 |
| F33E8JVKV8 | F33E8JVKV8 | statement | record (an 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#O9DL |
| F33HZTT2WZ | F33HZTT2WZ | statement | record (an 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.07260#8RZB |
| F34GX8MA73 | F34GX8MA73 | statement | record (an 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.03327#6DMV |
| F34H30D0MX | F34H30D0MX | statement | record (an 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#S06K |
| F34HDHR406 | F34HDHR406 | statement | record (an 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.13518#RSJU |
| F34M264DPQ | F34M264DPQ | example | open | applied_combinatorics source/s_probability_intro.ptx#example-1 |
| F355G3QGTR | F355G3QGTR | statement | record (an 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#ABR8 |
| F359547KT8 | F359547KT8 | 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 1002.0879#8WVO |
| F35K9W33H8 | F35K9W33H8 | statement | record (an 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.35360#8HLO |
| F35WQ3G1H2 | F35WQ3G1H2 | statement | record (an 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.04264#TD2L |
| F366R3TZE9 | F366R3TZE9 | 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.13931#ALO2 |
| F36BV5N8R8 | F36BV5N8R8 | statement | record (an 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.27931#J9DZ |
| F36S8EX5X1 | F36S8EX5X1 | 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.32338#9OTS |
| F37E0TJD87 | F37E0TJD87 | exercise | open | levin_dmoi ptx/sec_seq-recurrence.ptx#investigation-1 |
| F37JSBG07J | F37JSBG07J | statement | record (an 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.26479#JMJJ |
| F38JGW06XZ | F38JGW06XZ | statement | record (an 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.25100#8F8M |
| F38JTXFHW3 | F38JTXFHW3 | statement | record (an 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.09809#G1CR |
| F38VE14CMT | F38VE14CMT | statement | record (an 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#7BM7 |
| F391E9CDRH | F391E9CDRH | statement | record (an 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.26808#ITVJ |
| F3931NKY54 | F3931NKY54 | statement | record (an 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.25314#6Z66 |
| F396KFNQP2 | F396KFNQP2 | 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.27628#SRU2 |
| F3A5R639AC | F3A5R639AC | statement | record (an 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.08633#T5MN |