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 4701–4800 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FXY693344V | FXY693344V | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-22 |
| FXYWG105F7 | FXYWG105F7 | statement | record (an 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.04124#HGVF |
| FY15HS4PMT | FY15HS4PMT | 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 2308.05715#HF8U |
| FY250T4Q7M | FY250T4Q7M | statement | record (an 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.17045#J2GV |
| FY2DHFBRQ4 | FY2DHFBRQ4 | statement | record (an 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.27181#IU37 |
| FY2JRZP0ZJ | FY2JRZP0ZJ | 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.01802#KPGR |
| FY2ZVX6CXT | FY2ZVX6CXT | 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 2601.15403#4HZP |
| FY34MF074K | FY34MF074K | statement | record (an 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.36818#NDTD |
| FY3M18V1NX | FY3M18V1NX | 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#MCRV |
| FY41FDKMGM | FY41FDKMGM | 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#DT1W |
| FY4M41B9V9 | FY4M41B9V9 | statement | record (an 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.14811#J63V |
| FY4RJ0XDB1 | FY4RJ0XDB1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.11125#MLYJ |
| FY5QY9JFYC | FY5QY9JFYC | statement | record (an 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.40156#1P3I |
| FY5TEEPHA4 | FY5TEEPHA4 | statement | record (an 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.35287#4CV7 |
| FY604C9TXX | FY604C9TXX | 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.13972#1F5P |
| FY728T0XCN | FY728T0XCN | 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.05652#F11Q |
| FY73AMAC35 | FY73AMAC35 | statement | record (an 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#GXGR |
| FY78TZP318 | FY78TZP318 | 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.35396#TGAE |
| FY7MTVCAGF | FY7MTVCAGF | statement | record (an 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.04895#S1VI |
| FY8FSW8MQ3 | FY8FSW8MQ3 | statement | record (an 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#HOKO |
| FY8JAAM6BZ | FY8JAAM6BZ | statement | record (an 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#ZDWU |
| FY8N297S9S | FY8N297S9S | exercise | open | lebl_scv scv.tex#exercise-14 |
| FY8X514B7B | FY8X514B7B | statement | record (an 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.17060#LLZ8 |
| FY94ZWKTQ3 | FY94ZWKTQ3 | statement | record (an 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.28189#A00I |
| FY9DSM6ZXR | FY9DSM6ZXR | statement | record (an 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.29925#PS1S |
| FYBBF2CQ2G | FYBBF2CQ2G | statement | record (an 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.36423#JIZA |
| FYBEANHNJT | FYBEANHNJT | statement | record (an 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.28203#LDPX |
| FYBRT9WXSF | FYBRT9WXSF | statement | open | lebl_ra ch-seq-ser.tex#subseqlimsupinf:thm |
| FYC6NNYS56 | FYC6NNYS56 | statement | record (an 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#32KK |
| FYCAF34N20 | FYCAF34N20 | statement | record (an 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.31604#YH0U |
| FYCFWK9VMV | FYCFWK9VMV | definition | open | austin_ula src/section4-3.xml#definition-2 |
| FYCVA3HE7V | FYCVA3HE7V | statement | record (an 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#450W |
| FYCX1WP4SD | FYCX1WP4SD | statement | record (an 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.20849#8E0I |
| FYDKXHKX7S | FYDKXHKX7S | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-8 |
| FYEE3N4H4Y | FYEE3N4H4Y | statement | record (an 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.30482#LGF1 |
| FYEECYFYJ3 | FYEECYFYJ3 | statement | record (an 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#FFTH |
| FYEY9XMKGY | FYEY9XMKGY | statement | record (an 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.16562#IYIL |
| FYF010HT8Q | FYF010HT8Q | 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.32816#TLQE |
| FYG8KP7Q5F | FYG8KP7Q5F | statement | record (an 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.10325#OCH0 |
| FYGS8513HD | FYGS8513HD | statement | record (an 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.17441#PLKW |
| FYGZ3MR17A | FYGZ3MR17A | 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 2505.05539#QDLY |
| FYH4R3XKW2 | FYH4R3XKW2 | statement | record (an 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.34295#XIOG |
| FYHWY0Z7Y5 | FYHWY0Z7Y5 | statement | record (an 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.12479#X9MX |
| FYHX64DK07 | FYHX64DK07 | statement | record (an 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.19469#MHME |
| FYKC9FY067 | FYKC9FY067 | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-16 |
| FYKYS4KHEM | FYKYS4KHEM | statement | record (an 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.18536#TWAY |
| FYMH6EHRBZ | FYMH6EHRBZ | statement | record (an 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.03517#GM83 |
| FYPGPPVE9D | FYPGPPVE9D | statement | record (an 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#AABS |
| FYPM2Q1NFK | FYPM2Q1NFK | statement | record (an 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.13799#OMEP |
| FYPR2498GW | FYPR2498GW | 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 1903.07030#3TPI |
| FYQMRW7R38 | FYQMRW7R38 | statement | record (an 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.20801#TJW5 |
| FYQQFD31RV | FYQQFD31RV | 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 2411.16655#7AJ4 |
| FYR8EAKHGC | FYR8EAKHGC | statement | record (an 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.17863#CULH |
| FYRHH2K3AZ | FYRHH2K3AZ | statement | record (an 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#7JM2 |
| FYRP24M2K3 | FYRP24M2K3 | 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.14310#TF2W |
| FYRXXTFJ65 | FYRXXTFJ65 | statement | record (an 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.16114#N0E8 |
| FYS0NYCJRD | FYS0NYCJRD | statement | record (an 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.37112#1AGM |
| FYS9NPBBRN | FYS9NPBBRN | exercise | open | levin_dmoi ptx/exercises/gt-trees.ptx#exercise-11 |
| FYSZZ02CY6 | FYSZZ02CY6 | statement | record (an 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.03424#M8XT |
| FYTXAQQDTP | FYTXAQQDTP | 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 2511.17751#3OTW |
| FYV1NN0FT8 | FYV1NN0FT8 | exercise | open | napkin tex/homology/long-exact.tex#sproblem-1 |
| FYVJ4ZA797 | FYVJ4ZA797 | 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.14435#7MO1 |
| FYVSR9P3FC | FYVSR9P3FC | statement | record (an 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.13746#3H1X |
| FYWSBTKDYH | FYWSBTKDYH | proof | open | open_logic content/proof-theory/natural-deduction/sequents.tex#proof-1 |
| FYX2ANYC0N | FYX2ANYC0N | statement | record (an 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.24638#DU3L |
| FYX80RH24W | FYX80RH24W | statement | open | austin_ula src/section6-2.xml#prop-orthog-dim |
| FYYYDQK88S | FYYYDQK88S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.07485#OC39 |
| FYZ1CKJ87Y | FYZ1CKJ87Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.05177#G1BF |
| FYZFZNAKV4 | FYZFZNAKV4 | statement | record (an 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.31983#DFFL |
| FYZHN3779Z | FYZHN3779Z | statement | record (an 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.17518#W12S |
| FYZMQHWCZD | FYZMQHWCZD | statement | record (an 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.13260#54W1 |
| FZ04T06T6R | FZ04T06T6R | statement | record (an 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.00560#I5RA |
| FZ081PSAY9 | FZ081PSAY9 | exercise | open | napkin tex/calculus/limits.tex#prob:geometric |
| FZ0AQKVPG9 | FZ0AQKVPG9 | statement | record (an 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.14555#78B8 |
| FZ0MDBPQ4Y | FZ0MDBPQ4Y | statement | record (an 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.22190#IGFQ |
| FZ15N2DHMV | FZ15N2DHMV | statement | record (an 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.05776#WXTN |
| FZ15YSW99J | FZ15YSW99J | statement | record (an 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#W0NL |
| FZ1D8F1V7A | FZ1D8F1V7A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05417#2342 |
| FZ1WKSCZ1C | FZ1WKSCZ1C | statement | record (an 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#0NRE |
| FZ1XJKZNHN | FZ1XJKZNHN | statement | record (an 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.15217#3JCK |
| FZ298F9K82 | FZ298F9K82 | statement | record (an 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.12484#NWYB |
| FZ33A5KJG7 | FZ33A5KJG7 | statement | record (an 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.11441#QP6R |
| FZ3EM4VR0K | FZ3EM4VR0K | example | open | levin_dmoi ptx/sec_counting-addmult.ptx#example-4 |
| FZ3H15TCWB | FZ3H15TCWB | statement | record (an 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.16241#MYJQ |
| FZ425AR42C | FZ425AR42C | 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.31269#5I86 |
| FZ5FHTQN33 | FZ5FHTQN33 | statement | record (an 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.27941#IQDL |
| FZ5WSBFHSX | FZ5WSBFHSX | statement | record (an 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.38741#Y2WT |
| FZ65YPQNQC | FZ65YPQNQC | statement | record (an 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.25391#DKBX |
| FZ6KVV7HFN | FZ6KVV7HFN | statement | record (an 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#TL04 |
| FZ6MJ9RCFT | FZ6MJ9RCFT | statement | record (an 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.10372#LO5E |
| FZ6NYVM97A | FZ6NYVM97A | 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 2308.05066#RAAJ |
| FZ6SFMZDSD | FZ6SFMZDSD | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop-2 |
| FZ6YG9QN7X | FZ6YG9QN7X | statement | open | lebl_scv scv.tex#claim-2 |
| FZ702DVENM | FZ702DVENM | 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.17045#IY1O |
| FZ728M8PQT | FZ728M8PQT | statement | record (an 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.03071#5KAL |
| FZ73TMHC1R | FZ73TMHC1R | statement | record (an 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.15472#07UP |
| FZ758ST4TS | FZ758ST4TS | statement | record (an 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.37897#VON0 |
| FZ77DDJG82 | FZ77DDJG82 | 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.11619#MK7H |
| FZ7WJMGWBD | FZ7WJMGWBD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#QMQA |
| FZ84RK812P | FZ84RK812P | statement | record (an 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.20422#D8C8 |