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 701–800 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| F8NWN7QX69 | F8NWN7QX69 | statement | record (an 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.16339#91OA |
| F8PBB058MH | F8PBB058MH | statement | record (an 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#IJTS |
| F8PW2P7TGE | F8PW2P7TGE | statement | record (an 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.10963#QCIR |
| F8PWG1BG33 | F8PWG1BG33 | statement | open | lebl_scv scv.tex#prop-19 |
| F8PZ5Q342Z | F8PZ5Q342Z | 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.31910#QTNG |
| F8Q2R5EP2X | F8Q2R5EP2X | 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.21501#K8NJ |
| F8QJ1KBYBT | F8QJ1KBYBT | statement | record (an 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.16431#ZI0X |
| F8QJKFJGN3 | F8QJKFJGN3 | 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.28803#FMZ5 |
| F8QPJF8E11 | F8QPJF8E11 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#GNR0 |
| F8R1FGAJ5A | F8R1FGAJ5A | statement | record (an 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.01208#1HUV |
| F8R2EBAVSY | F8R2EBAVSY | statement | record (an 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.29699#DJHQ |
| F8R66YJWS5 | F8R66YJWS5 | exercise | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#prob-1 |
| F8RASP53WG | F8RASP53WG | exercise | open | ernst_ibl MAAPressVersion/CountableSets.tex#problem-1 |
| F8RD307AAA | F8RD307AAA | 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 2508.21045#2ZMS |
| F8RF70K0Y8 | F8RF70K0Y8 | 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.17875#724B |
| F8RVHB92WK | F8RVHB92WK | statement | record (an 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.01498#1FI0 |
| F8SBQ7G99A | F8SBQ7G99A | statement | record (an 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#7HS4 |