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 801–900 of 9322.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| F7JGDXXYP9 | F7JGDXXYP9 | 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.05391#TPFK |
| F7K71S749E | F7K71S749E | statement | record (an 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.38567#F8Y5 |
| F7KHN8GTCX | F7KHN8GTCX | statement | record (an 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.11047#UMBO |
| F7KHN9GQWY | F7KHN9GQWY | statement | record (an 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#43AL |
| F7KTRG3G9H | F7KTRG3G9H | 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.02901#WDN2 |
| F7KYXAA3FW | F7KYXAA3FW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.03672#2ED4 |
| F7M636HMZA | F7M636HMZA | statement | record (an 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.10233#QHRO |
| F7M7T11SB4 | F7M7T11SB4 | statement | record (an 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#TUS8 |
| F7MERPQYM7 | F7MERPQYM7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1304.4839#OHVX |
| F7N2QV9XP8 | F7N2QV9XP8 | statement | record (an 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.33957#FV48 |
| F7N3R142KA | F7N3R142KA | 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.03763#MAXR |
| F7N9NG556H | F7N9NG556H | 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.09201#6G1Y |
| F7NE9WPGFS | F7NE9WPGFS | statement | record (an 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.00048#HNFW |
| F7NWRFQ7V7 | F7NWRFQ7V7 | statement | record (an 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.18562#R3QY |
| F7P3MNDZZN | F7P3MNDZZN | statement | record (an 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.15723#B22D |
| F7P6ZA0VBE | F7P6ZA0VBE | statement | record (an 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.13142#ZCHG |
| F7PC505M7C | F7PC505M7C | 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.19311#78IY |
| F7PQMB18KJ | F7PQMB18KJ | proof | open | napkin tex/homology/singular.tex#proof-1 |
| F7PZ8WRFRJ | F7PZ8WRFRJ | 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.12612#RXK2 |
| F7QAFKNZEB | F7QAFKNZEB | statement | record (an 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#MYYI |
| F7QBRSP026 | F7QBRSP026 | exercise | open | austin_ula src/section3-4.xml#ula-preview-3-4 |
| F7QW7MQNDG | F7QW7MQNDG | statement | record (an 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.01015#VXK8 |
| F7QWCR4Q7K | F7QWCR4Q7K | statement | record (an 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.17411#0295 |
| F7RR138PQR | F7RR138PQR | statement | record (an 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#KPM5 |
| F7SPN8JHCH | F7SPN8JHCH | proof | open | open_logic content/proof-theory/propositions-as-types/type-preservation.tex#proof-1 |
| F7SYM05K9J | F7SYM05K9J | statement | record (an 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#ODFE |
| F7T7NTPCBB | F7T7NTPCBB | statement | record (an 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.14204#PNVL |
| F7TAY0GQRP | F7TAY0GQRP | statement | record (an 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.07280#Q7CH |
| F7TKTTS5M3 | F7TKTTS5M3 | statement | record (an 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.05703#3Q11 |
| F7TSMN70E5 | F7TSMN70E5 | statement | record (an 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.15720#VESB |
| F7VNMBGG7W | F7VNMBGG7W | 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.31523#W9P5 |
| F7WBPGMRPC | F7WBPGMRPC | exercise | open | lebl_scv scv.tex#exercise-184 |
| F7WM51WSVT | F7WM51WSVT | 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 1002.0879#M1PA |
| F7XPEFKRF2 | F7XPEFKRF2 | statement | record (an 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.07573#O6MD |
| F7XPTFDFY0 | F7XPTFDFY0 | statement | record (an 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.03138#OGUR |
| F7XZE0RRGV | F7XZE0RRGV | statement | record (an 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.39430#05WM |
| F7Y947QX98 | F7Y947QX98 | statement | record (an 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.36509#AUX9 |
| F7YBKG8QBZ | F7YBKG8QBZ | statement | record (an 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.14236#UAZZ |
| F7YC96K091 | F7YC96K091 | statement | record (an 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.21976#OUIC |
| F7YGCTXQ50 | F7YGCTXQ50 | statement | record (an 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.33018#3GI8 |
| F7YKXME21W | F7YKXME21W | statement | record (an 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.34081#OOLX |
| F7ZTYB3F9K | F7ZTYB3F9K | statement | record (an 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.03674#S4ZZ |
| F80AQ5WWRP | F80AQ5WWRP | statement | record (an 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.20421#PYDY |
| F80FYP747R | F80FYP747R | statement | record (an 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.27715#KD8W |
| F81DM426ER | F81DM426ER | 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.05259#XZ4O |
| F81HV4B664 | F81HV4B664 | statement | record (an 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.27965#YZ1N |
| F82BEW7VVK | F82BEW7VVK | statement | record (an 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#M9JY |
| F82NGGGYAX | F82NGGGYAX | 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#8HLF |
| F830HM2DBP | F830HM2DBP | statement | record (an 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#29VN |
| F834ZBADH2 | F834ZBADH2 | statement | record (an 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.07370#WKPS |
| F83A8VRGGX | F83A8VRGGX | 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.36411#P8A8 |
| F83JBA30FY | F83JBA30FY | statement | record (an 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.39706#X4RK |
| F84CZZPXC6 | F84CZZPXC6 | 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 1308.2487#9K22 |
| F851GJ008C | F851GJ008C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.06338#IQP0 |
| F85SPTQKBR | F85SPTQKBR | statement | record (an 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.25973#5MC1 |
| F8616F3JR9 | F8616F3JR9 | statement | record (an 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.03081#D1C5 |
| F86M7Y7PH7 | F86M7Y7PH7 | statement | record (an 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.08610#IS8S |
| F87NR0EZM2 | F87NR0EZM2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#GC69 |
| F87VBGGAQH | F87VBGGAQH | exercise | open | open_logic content/many-valued-logic/three-valued-logics/kleene.tex#prob-1 |
| F87VKV34E9 | F87VKV34E9 | statement | record (an 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.04099#PLXR |
| F88578FBAJ | F88578FBAJ | statement | record (an 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.07092#RLMF |
| F88EEH7N1A | F88EEH7N1A | statement | record (an 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.32981#IZTZ |
| F88KA0FYWE | F88KA0FYWE | 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.10262#NYBK |
| F88QAS49MC | F88QAS49MC | 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.21339#V33U |
| F89PPHV80N | F89PPHV80N | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-9 |
| F8A4FXYGPD | F8A4FXYGPD | proof | open | open_logic content/lambda-calculus/introduction/church-rosser.tex#proof-1 |
| F8AVT70XVV | F8AVT70XVV | 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.31783#00K3 |
| F8AWW1SXHX | F8AWW1SXHX | statement | record (an 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.01888#AP0C |
| F8B1W31XQS | F8B1W31XQS | statement | record (an 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.06645#K1G0 |
| F8BQMKAY4Q | F8BQMKAY4Q | 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.24545#40NZ |
| F8CDEYEPZA | F8CDEYEPZA | statement | record (an 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.00875#3S0Q |
| F8CQ3968PV | F8CQ3968PV | exercise | open | hott_book hlevels.tex#ex:fiber-map-not-conn |
| F8DEGBRB50 | F8DEGBRB50 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#GUSC |
| F8DR5YYJAX | F8DR5YYJAX | statement | record (an 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#C74B |
| F8DS0ADW5X | F8DS0ADW5X | statement | record (an 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.10469#CU11 |
| F8FEKWNKWM | F8FEKWNKWM | statement | record (an 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.20495#52VZ |
| F8G1GGRXT4 | F8G1GGRXT4 | proof | open | open_logic content/set-theory/ord-arithmetic/addition.tex#proof-5 |
| F8GJ0YJ7T8 | F8GJ0YJ7T8 | statement | record (an 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.28046#VW6R |
| F8HMY781WN | F8HMY781WN | statement | record (an 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.29478#VY2K |
| F8HPH3Q2J5 | F8HPH3Q2J5 | statement | record (an 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.09561#5TSF |
| F8HTD6RC1Y | F8HTD6RC1Y | 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.28295#V0C1 |
| F8HYGFTZES | F8HYGFTZES | definition | open | napkin tex/diffgeo/stokes.tex#definition-4 |
| F8J52XH75V | F8J52XH75V | statement | record (an 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.05471#8MX9 |
| F8J8F4KPJ9 | F8J8F4KPJ9 | statement | record (an 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#SAOI |
| F8JG17H1EW | F8JG17H1EW | statement | record (an 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#W3GJ |
| F8JNW5PPQG | F8JNW5PPQG | 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.36884#LQEN |
| F8JT8MYW9C | F8JT8MYW9C | example | open | napkin tex/homology/singular.tex#example-1 |
| F8JYMGQYN6 | F8JYMGQYN6 | statement | record (an 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#MWRA |
| F8JYMK17HF | F8JYMK17HF | statement | open | open_logic content/incompleteness/representability-in-q/minimization-representable.tex#lem:less-nsucc |
| F8K5D1PRVQ | F8K5D1PRVQ | statement | record (an 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#V7DY |
| F8K9DMV6C7 | F8K9DMV6C7 | statement | record (an 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.21969#LUHO |
| F8KNJNCC7J | F8KNJNCC7J | statement | record (an 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.36321#NAL2 |
| F8KP2677F0 | F8KP2677F0 | example | open | austin_ula src/section7-1.xml#example-1 |
| F8M93YEW9T | F8M93YEW9T | statement | record (an 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.21929#YK4F |
| F8MKEXDGD1 | F8MKEXDGD1 | statement | record (an 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#874Z |
| F8MPN3ZN4H | F8MPN3ZN4H | statement | record (an 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.18673#AC3O |
| F8MRY41GSK | F8MRY41GSK | statement | record (an 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.14841#37VI |
| F8N9816Z0A | F8N9816Z0A | statement | record (an 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.29723#B0RA |
| F8N9PJZ0WF | F8N9PJZ0WF | 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.19260#VS24 |
| F8NBA5HAHV | F8NBA5HAHV | statement | record (an 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.00789#YM8C |