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 1301–1400 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FC8XTFQ672 | FC8XTFQ672 | statement | record (an 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.13214#PF6M |
| FC9898NESP | FC9898NESP | statement | record (an 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.32090#UP1A |
| FC9918R06M | FC9918R06M | statement | record (an 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.06806#VEIF |
| FC9GF654PN | FC9GF654PN | statement | record (an 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.25823#4RGT |
| FC9VAG6BAT | FC9VAG6BAT | statement | record (an 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.20972#43Z1 |
| FC9YW1X0VT | FC9YW1X0VT | statement | record (an 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.12736#UP73 |
| FCA0Q6RZ0X | FCA0Q6RZ0X | statement | record (an 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.31607#RZ1B |
| FCA8CAZT2V | FCA8CAZT2V | statement | record (an 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.08231#MLL9 |
| FCAN431GVS | FCAN431GVS | statement | record (an 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.14455#SEUZ |
| FCB15G0M9Z | FCB15G0M9Z | proof | open | open_logic content/methods/proofs/reading-proofs.tex#proof-2 |
| FCB361Y1FM | FCB361Y1FM | 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.21600#F5N9 |
| FCCXE7Z1SB | FCCXE7Z1SB | 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.24623#OY3V |
| FCDATNX3TN | FCDATNX3TN | 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.32077#1HYW |
| FCDAYW68TG | FCDAYW68TG | statement | record (an 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.01958#0XRV |
| FCDE2MJZ1G | FCDE2MJZ1G | statement | record (an 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.28323#0SDG |
| FCDQZK1536 | FCDQZK1536 | definition | open | open_logic content/proof-theory/sequent-calculus/rules-proofs.tex#defn:proof |
| FCEEJ4Y7KR | FCEEJ4Y7KR | statement | record (an 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.02065#S1KY |
| FCEXK4JQNB | FCEXK4JQNB | statement | record (an 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.01899#46L8 |
| FCF7C1AQJ8 | FCF7C1AQJ8 | statement | record (an 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.14450#ZGU2 |
| FCFAM4VTWQ | FCFAM4VTWQ | statement | record (an 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.16606#WV72 |
| FCFBGFQGSB | FCFBGFQGSB | statement | record (an 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.09482#2HEO |
| FCFJEHTHFN | FCFJEHTHFN | definition | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#def:quantifiers |
| FCFXGPRRPE | FCFXGPRRPE | statement | record (an 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.05914#MPTT |
| FCG1CC9JXH | FCG1CC9JXH | statement | record (an 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.12291#NONP |
| FCG953JH9Q | FCG953JH9Q | 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 2004.12552#W66W |
| FCGTTVRBEK | FCGTTVRBEK | statement | record (an 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.06488#ANGH |
| FCH28JEBNX | FCH28JEBNX | statement | record (an 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.13423#8XRQ |
| FCHDNMSB17 | FCHDNMSB17 | statement | open | hott_book hlevels.tex#lem:hedberg-helper |
| FCHJVG7XEK | FCHJVG7XEK | statement | record (an 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.24325#GG8C |
| FCHVWDSR7S | FCHVWDSR7S | statement | record (an 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.29641#OH4Q |
| FCHWB7MRW0 | FCHWB7MRW0 | statement | record (an 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.26337#0YET |
| FCJ0MGDXPM | FCJ0MGDXPM | statement | record (an 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.38206#UZSU |
| FCJ1JRSMVN | FCJ1JRSMVN | 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.08253#2VCW |
| FCJ2BR095E | FCJ2BR095E | statement | record (an 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.08074#5W1Q |
| FCJGMBR0QD | FCJGMBR0QD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00518#06BK |
| FCJJHMYFD2 | FCJJHMYFD2 | statement | record (an 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.25111#YQB1 |
| FCK1JCMND5 | FCK1JCMND5 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-64 |
| FCK4MJQNZD | FCK4MJQNZD | proof | open | open_logic content/methods/proofs/reading-proofs.tex#proof-3 |
| FCKDCMGPX4 | FCKDCMGPX4 | statement | record (an 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.20891#TC5U |
| FCKG8R1MPM | FCKG8R1MPM | statement | record (an 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.15881#JW2L |
| FCKM426NZH | FCKM426NZH | statement | record (an 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.09765#RLWY |
| FCKSTNM6KP | FCKSTNM6KP | 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.13347#SRP2 |
| FCKW5DRK96 | FCKW5DRK96 | statement | record (an 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.38188#MGB1 |
| FCKXMBECT1 | FCKXMBECT1 | statement | record (an 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.08885#OUHM |
| FCM4CDFEEW | FCM4CDFEEW | 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.20025#1F9N |
| FCMHRC7FF4 | FCMHRC7FF4 | statement | record (an 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.20956#GFBC |
| FCMMYK9VD2 | FCMMYK9VD2 | statement | record (an 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#7BDZ |
| FCN526NT5D | FCN526NT5D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.07983#RLS0 |
| FCNF8PHK8G | FCNF8PHK8G | statement | record (an 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.16886#M75Q |
| FCNSJZ5DQ8 | FCNSJZ5DQ8 | statement | record (an 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.07828#1UE2 |
| FCPA7ZPX9P | FCPA7ZPX9P | statement | record (an 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.21258#CZR0 |
| FCPPMCDAYX | FCPPMCDAYX | statement | record (an 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#SAF0 |
| FCQ1B1XP9C | FCQ1B1XP9C | statement | record (an 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.18847#6UFR |
| FCQ8KRRP3K | FCQ8KRRP3K | statement | record (an 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.20991#LUPU |
| FCQCZBR32S | FCQCZBR32S | statement | record (an 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.21298#7MBP |
| FCQWDW1B16 | FCQWDW1B16 | statement | record (an 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.31373#ES0R |
| FCR1Y9GP9N | FCR1Y9GP9N | statement | record (an 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.20932#MWKB |
| FCR9SN7DDZ | FCR9SN7DDZ | statement | record (an 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.11336#3TBV |
| FCRDSPQXY6 | FCRDSPQXY6 | statement | record (an 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.19872#OS02 |
| FCRHJ3ZCNP | FCRHJ3ZCNP | statement | record (an 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.26434#70PR |
| FCSH0EBQZR | FCSH0EBQZR | statement | record (an 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.24424#O8A8 |
| FCSP0G2XRB | FCSP0G2XRB | 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.07695#6I9Y |
| FCT37SMRVZ | FCT37SMRVZ | statement | record (an 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.31445#G708 |
| FCT3PAB2DN | FCT3PAB2DN | statement | record (an 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.09882#FXUF |
| FCTBQWEJGW | FCTBQWEJGW | statement | record (an 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.30933#W1JE |
| FCTMBCDSND | FCTMBCDSND | statement | record (an 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.06419#A178 |
| FCTYJDARH2 | FCTYJDARH2 | statement | record (an 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.27751#4IFO |
| FCVARDAVVH | FCVARDAVVH | statement | record (an 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.27846#9ZHU |
| FCVNXT7JBZ | FCVNXT7JBZ | statement | record (an 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.16779#19HZ |
| FCWZWRRQSJ | FCWZWRRQSJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.01868#AA2F |
| FCX35MFZW4 | FCX35MFZW4 | statement | record (an 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.31276#CF3X |
| FCY9E57HHD | FCY9E57HHD | statement | record (an 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.38068#IORS |
| FCYK5MFFEZ | FCYK5MFFEZ | statement | record (an 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#LYZO |
| FCYKMFKF0R | FCYKMFKF0R | statement | record (an 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#6N1S |
| FCYSZR6N7T | FCYSZR6N7T | statement | record (an 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.02798#FCF2 |
| FCZ6TZNXKE | FCZ6TZNXKE | statement | record (an 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.12475#2NKE |
| FCZQE955EG | FCZQE955EG | statement | record (an 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.28323#VIR3 |
| FD0MRBDS82 | FD0MRBDS82 | 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.25539#ZIV7 |
| FD0RQR8VVM | FD0RQR8VVM | 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 0812.1600#GPRB |
| FD12T98SVK | FD12T98SVK | statement | record (an 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.02777#EC84 |
| FD1C30K5BZ | FD1C30K5BZ | 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.25289#UDG4 |
| FD1JBDGJN0 | FD1JBDGJN0 | statement | record (an 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#XFAJ |
| FD1Q2PKAJC | FD1Q2PKAJC | statement | open | open_logic content/set-theory/ordinals/replacement.tex#cor-1 |
| FD2VNBKFBM | FD2VNBKFBM | statement | record (an 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.08382#BVSP |
| FD32QNETVW | FD32QNETVW | statement | record (an 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.05451#DOBK |
| FD417M10QS | FD417M10QS | statement | record (an 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.15176#NAD4 |
| FD4K40D45A | FD4K40D45A | 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.08027#278P |
| FD4MAWJES3 | FD4MAWJES3 | statement | record (an 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.17897#FQEN |
| FD4RXZFSKX | FD4RXZFSKX | statement | record (an 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#Y6Q2 |
| FD50VB27JS | FD50VB27JS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#DSOZ |
| FD6HRGVKXJ | FD6HRGVKXJ | statement | record (an 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.29748#UPK9 |
| FD6SKDQ5MZ | FD6SKDQ5MZ | statement | record (an 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.39104#6QWV |
| FD6V94DC0J | FD6V94DC0J | statement | record (an 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.32599#WODD |
| FD84HQYWCP | FD84HQYWCP | 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.09333#2AXF |
| FD8BDTZ9T9 | FD8BDTZ9T9 | statement | record (an 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.30407#J203 |
| FD8M4D37VR | FD8M4D37VR | statement | record (an 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.40260#1Q1N |
| FD8TPWSM4K | FD8TPWSM4K | 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 1803.10042#NHO6 |
| FD91P9V8BQ | FD91P9V8BQ | statement | record (an 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.21093#DX4U |
| FD94NRCZ8N | FD94NRCZ8N | statement | record (an 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#GXMT |
| FDA5VNCEWH | FDA5VNCEWH | statement | record (an 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#WHBU |