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 101–200 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| F14HN3KTEX | F14HN3KTEX | statement | record (an 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.13556#XUTM |
| F14MCN89JT | F14MCN89JT | statement | record (an 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.17002#PI5G |
| F14N45SFXT | F14N45SFXT | statement | record (an 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.37520#NIHM |
| F14XBYRADK | F14XBYRADK | statement | record (an 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.16931#OC6O |
| F154D5W3WZ | F154D5W3WZ | statement | open | hott_book setmath.tex#thm:zfc |
| F154W8M55T | F154W8M55T | statement | record (an 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#IP01 |
| F15Z4DQ0GK | F15Z4DQ0GK | statement | record (an 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.06466#QNT5 |
| F164J4FAMQ | F164J4FAMQ | statement | record (an 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.30544#7YSA |
| F165ERX75G | F165ERX75G | statement | record (an 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.26723#CQ2G |
| F16AJ6HJGA | F16AJ6HJGA | statement | record (an 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.28993#T358 |
| F16J30C6X4 | F16J30C6X4 | statement | record (an 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.20077#DNY5 |
| F16KCNCJN0 | F16KCNCJN0 | statement | record (an 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.12371#H4PT |
| F17K9367JK | F17K9367JK | statement | record (an 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#DQIJ |
| F17XQ52PG7 | F17XQ52PG7 | statement | record (an 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.26152#Q7D3 |
| F18AZ9C0SM | F18AZ9C0SM | statement | record (an 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.34876#KW1T |
| F18DTNCSBK | F18DTNCSBK | 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.14377#RX72 |
| F18KS4M24M | F18KS4M24M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#I6LD |
| F1964MKAPF | F1964MKAPF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv dg-ga/9612010#24S9 |
| F19HHMSVHP | F19HHMSVHP | statement | open | open_logic content/set-theory/ordinals/iso.tex#lemordsegments |
| F1A2PWA9XA | F1A2PWA9XA | 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.18101#GNEK |
| F1AB4KT2GF | F1AB4KT2GF | statement | record (an 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.35180#1AZH |
| F1AK0K477A | F1AK0K477A | statement | record (an 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.03754#US5P |
| F1APNZDWFS | F1APNZDWFS | statement | record (an 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.30746#7A3Q |
| F1AR0GS8G9 | F1AR0GS8G9 | statement | record (an 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.00409#4DRO |
| F1AR7DK5RX | F1AR7DK5RX | statement | record (an 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#FMK0 |
| F1ARWCVKZ7 | F1ARWCVKZ7 | statement | record (an 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.22081#OIJY |
| F1B9A4XA4X | F1B9A4XA4X | statement | record (an 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.26262#IOZY |
| F1BPMGAD8B | F1BPMGAD8B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07340#41NL |
| F1BTYE0YQS | F1BTYE0YQS | 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.27694#RF8J |
| F1C4JAKQXX | F1C4JAKQXX | statement | record (an 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.04772#5UHA |
| 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 |
| 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 |
| 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 |