Inventory: A
The rows of the inventory whose names start with A. 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 1401–1500 of 14276.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A6E2W3Y2J8 | A6E2W3Y2J8 | 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 2608.23797#DQIW |
| A6EN1S59MY | A6EN1S59MY | 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#7TD7 |
| A6FC59Z6SH | A6FC59Z6SH | statement | open | hott_book hlevels.tex#thm:truncn-ind |
| A6FG1KYRQZ | A6FG1KYRQZ | unknown | open | arXiv math/0507030#SI11 |
| A6FWACSP6Q | A6FWACSP6Q | statement | record (an 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.27918#JBVD |
| A6FZ3JMEPD | A6FZ3JMEPD | statement | record (an 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.11481#AAX8 |
| A6GDHB4W30 | A6GDHB4W30 | unknown | open | arXiv 2609.35404#IRAV |
| A6GPTEPCS0 | A6GPTEPCS0 | statement | record (an 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.05118#46VM |
| A6H1Q88GZC | A6H1Q88GZC | statement | record (an 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.10525#HSA3 |
| A6H5CF6K0R | A6H5CF6K0R | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-17 |
| A6HCMGPZVV | A6HCMGPZVV | statement | record (an 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.00657#EILS |
| A6HD4N4SPB | A6HD4N4SPB | 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.20273#JANQ |
| A6HFY2HE6R | A6HFY2HE6R | 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 2608.23797#PJDA |
| A6HWTVY34F | A6HWTVY34F | 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.20028#61LD |
| A6HXGV4M9W | A6HXGV4M9W | statement | record (an 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.00882#X2RJ |
| A6J4AFGH6W | A6J4AFGH6W | 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.21116#LQD7 |
| A6JDKD3E52 | A6JDKD3E52 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#F1VV |
| A6K7NZWFF8 | A6K7NZWFF8 | statement | record (an 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.04874#SC22 |
| A6KTQE7SVA | A6KTQE7SVA | statement | record (an 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.21005#UZOL |
| A6M7728RMN | A6M7728RMN | statement | record (an 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.33108#W3KO |
| A6MKFTX673 | A6MKFTX673 | statement | record (an 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#EW3H |
| A6NS4YME6S | A6NS4YME6S | statement | record (an 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.26041#NPSQ |
| A6P972HSWB | A6P972HSWB | statement | record (an 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#SQVE |
| A6Q43BYKVV | A6Q43BYKVV | statement | record (an 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.02961#QD07 |
| A6Q4QBZR3W | A6Q4QBZR3W | statement | record (an 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.22557#COSS |
| A6QA25YWJ6 | A6QA25YWJ6 | statement | record (an 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#4CN7 |
| A6QBMP4EGP | A6QBMP4EGP | statement | record (an 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.33313#A0UV |
| A6QM7C1XDG | A6QM7C1XDG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#9XYU |
| A6QZEDC368 | A6QZEDC368 | statement | record (an 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#45OP |
| A6R8CPN638 | A6R8CPN638 | statement | record (an 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.29023#6EU6 |
| A6RMRBY8D6 | A6RMRBY8D6 | 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.01888#RTZO |
| A6RPJQ7X0R | A6RPJQ7X0R | exercise | open | napkin tex/set-theory/zfc.tex#exercise-1 |
| A6RYWXM5S0 | A6RYWXM5S0 | statement | record (an 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.21475#VRSQ |
| A6T5A40X95 | A6T5A40X95 | statement | record (an 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#BG8N |
| A6T5YGSWCR | A6T5YGSWCR | 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.09900#736O |
| A6TCWR5PA0 | A6TCWR5PA0 | statement | record (an 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.01433#2SW4 |
| A6V6NC6GT1 | A6V6NC6GT1 | statement | record (an 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.36447#5JGA |
| A6VR4E0VAJ | A6VR4E0VAJ | statement | record (an 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.08583#S72S |
| A6WEA0NMBP | A6WEA0NMBP | statement | record (an 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.20207#XB6N |
| A6WTWG1123 | A6WTWG1123 | 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 2607.00146#MNXX |
| A6XSH61K5A | A6XSH61K5A | 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 2108.10246#QQP6 |
| A6XW62TJKK | A6XW62TJKK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.14762#WTAP |
| A6Y1NJQM24 | A6Y1NJQM24 | 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 1204.5958#OSKG |
| A6YDB6KHBJ | A6YDB6KHBJ | statement | open | hott_book reals.tex#thm:NO-unstrict-transitive |
| A6YYJVRY0W | A6YYJVRY0W | 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 2504.18390#52HJ |
| A7 lattice | QBCQ8DEJFE | unknown | open | Wikipedia 7-simplex honeycomb#VD0N |
| A7 polytope | JTN0YB8EK9 | definition | open | Wikipedia A7 polytope, Wikidata Q6560232 |
| A7041E2TMA | A7041E2TMA | statement | record (an 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.06438#0ZUD |
| A704S14211 | A704S14211 | 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.37815#DXI7 |
| A7075QF23Q | A7075QF23Q | statement | record (an 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.18223#X1E0 |
| A70CGSA2XE | A70CGSA2XE | statement | record (an 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#L702 |
| A70EE8914R | A70EE8914R | statement | record (an 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.39274#GDA6 |
| A70FBGTDQZ | A70FBGTDQZ | statement | record (an 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.21670#4HVP |
| A70MTJ2121 | A70MTJ2121 | statement | record (an 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.32829#GIVU |
| A719VX5RKX | A719VX5RKX | statement | record (an 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.10558#N287 |
| A71KYY94B9 | A71KYY94B9 | statement | record (an 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.06206#12U6 |
| A73P53MJRG | A73P53MJRG | statement | record (an 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.18302#OLYN |
| A73Y5WZ3XY | A73Y5WZ3XY | statement | record (an 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.26600#RX0Z |
| A75B0572T6 | A75B0572T6 | definition | open | napkin tex/rep-theory/rep-alg.tex#definition-6 |
| A75WBGHV5H | A75WBGHV5H | statement | record (an 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.28650#YO57 |
| A778E7W69V | A778E7W69V | definition | open | open_logic content/sets-functions-relations/arithmetization/rationals.tex#defn-1 |
| A77ATEX914 | A77ATEX914 | statement | record (an 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.10828#PU8K |
| A78ETW7XSR | A78ETW7XSR | statement | record (an 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.16505#X4ET |
| A79422YRJF | A79422YRJF | 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.37520#V2BN |
| A798YNM5ZC | A798YNM5ZC | 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 2110.11143#S2AE |
| A7A4D8802Q | A7A4D8802Q | 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.33469#88OE |
| A7AQ3SK30H | A7AQ3SK30H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#K6GY |
| A7B4M0Q7M3 | A7B4M0Q7M3 | statement | record (an 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.26769#09CK |
| A7B57KZM2J | A7B57KZM2J | statement | record (an 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.26357#JLTQ |
| A7B7DAMT2X | A7B7DAMT2X | statement | record (an 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.24297#7DUN |
| A7BA7NYMAX | A7BA7NYMAX | 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.37520#GDAD |
| A7BH0H5HR1 | A7BH0H5HR1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.05288#92ZQ |
| A7BSMN9DNE | A7BSMN9DNE | statement | record (an 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.15316#KQTD |
| A7C2JY04Z5 | A7C2JY04Z5 | statement | record (an 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.19658#S6LV |
| A7C776NR0F | A7C776NR0F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.01959#CKO5 |
| A7CMGRR2HA | A7CMGRR2HA | statement | record (an 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.09019#2HCP |
| A7CP4WDG5Z | A7CP4WDG5Z | statement | record (an 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.01599#FNSI |
| A7DDVE4JX4 | A7DDVE4JX4 | statement | record (an 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.21963#HZRX |
| A7DJCR2KHF | A7DJCR2KHF | statement | record (an 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.13392#4UKK |
| A7EMJJCQHC | A7EMJJCQHC | statement | record (an 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.19959#P8KK |
| A7EP0RG9DQ | A7EP0RG9DQ | statement | record (an 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.28076#5LP2 |
| A7FP6B4933 | A7FP6B4933 | statement | record (an 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.08193#NYJL |
| A7FQFSCXAG | A7FQFSCXAG | statement | record (an 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.31304#6JDM |
| A7GMT9HC2Z | A7GMT9HC2Z | proof | open | lebl_ra ch-der.tex#proof-8 |
| A7H0KRPDED | A7H0KRPDED | statement | record (an 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.05198#W9AE |
| A7HY1T903G | A7HY1T903G | proof | open | open_logic content/normal-modal-logic/filtrations/preliminaries.tex#proof-1 |
| A7JMV3B0D2 | A7JMV3B0D2 | statement | record (an 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.28020#4QZL |
| A7JXS15YZ8 | A7JXS15YZ8 | statement | record (an 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.09739#EVDM |
| A7JXY0VNS7 | A7JXY0VNS7 | statement | record (an 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.04069#VP89 |
| A7JY38P4E7 | A7JY38P4E7 | statement | record (an 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.29399#6THU |
| A7KDNF1HSH | A7KDNF1HSH | statement | record (an 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.31365#JZHA |
| A7KFY6A1GP | A7KFY6A1GP | statement | record (an 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.19455#HGT5 |
| A7KPM3ZJ7X | A7KPM3ZJ7X | statement | record (an 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.36877#1WEF |
| A7KYNVPWAX | A7KYNVPWAX | statement | record (an 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.24577#JDDK |
| A7M6X33P2R | A7M6X33P2R | statement | record (an 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.25960#S4IC |
| A7M8ENHD0K | A7M8ENHD0K | statement | record (an 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#2EVL |
| A7MT692R81 | A7MT692R81 | 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.25524#ML8P |
| A7N8Y59RAJ | A7N8Y59RAJ | 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.11031#4K97 |
| A7NNP260FC | A7NNP260FC | statement | record (an 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#HFKR |
| A7PA23NCWQ | A7PA23NCWQ | statement | record (an 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.23004#AFSD |