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 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 1201–1300 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A80EVEB4ZR | A80EVEB4ZR | 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.32338#XNO9 |
| A80W8DGNQ6 | A80W8DGNQ6 | statement | record (an 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.27908#0LY2 |
| A81G19FZ34 | A81G19FZ34 | statement | record (an 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#G6O0 |
| A81HHA5E52 | A81HHA5E52 | statement | record (an 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.20126#RI69 |
| A81M5ZZY5Y | A81M5ZZY5Y | statement | record (an 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#GSTD |
| A81P4D4RJJ | A81P4D4RJJ | statement | record (an 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#OLIX |
| A8210ZSWN6 | A8210ZSWN6 | statement | record (an 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#J8BB |
| A8262K4E9V | A8262K4E9V | statement | record (an 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.21365#TQWG |
| A82J44JNXD | A82J44JNXD | statement | open | open_logic content/proof-theory/proof-search/completeness.tex#cor:complete |
| A835A1G8KM | A835A1G8KM | statement | record (an 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.34011#ITN4 |
| A83HPA3GJV | A83HPA3GJV | 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 2108.03672#V2F7 |
| A83KCMPZ2F | A83KCMPZ2F | statement | record (an 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#CG5H |
| A847T1D34T | A847T1D34T | statement | record (an 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.04833#GVLQ |
| A847WAD088 | A847WAD088 | statement | record (an 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.15877#8KUQ |
| A84869D39G | A84869D39G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.14678#5VJ0 |
| A84PD538A5 | A84PD538A5 | statement | record (an 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.07508#UJVI |
| A84YC8VSN3 | A84YC8VSN3 | definition | open | napkin tex/H113/structure.tex#definition-1 |
| A88DYFZ1YY | A88DYFZ1YY | statement | record (an 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.17276#RDVH |
| A88P342BKY | A88P342BKY | statement | record (an 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.39293#5L4L |
| A88VF6GZJG | A88VF6GZJG | statement | open | hott_book basics.tex#thm:apd-const |
| A8992VN13R | A8992VN13R | statement | record (an 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.07021#DBYX |
| A89N1EW10K | A89N1EW10K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#GLWQ |
| A8ACCQGCJ3 | A8ACCQGCJ3 | 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 1904.08413#6BRB |
| A8AYC84XM4 | A8AYC84XM4 | statement | record (an 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.36204#SG2B |
| A8AZECGDD1 | A8AZECGDD1 | 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 1904.08413#8ZM5 |
| A8BEJ9EWB4 | A8BEJ9EWB4 | statement | record (an 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.09319#P3M5 |
| A8BRQ7REMR | A8BRQ7REMR | statement | record (an 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#G74T |
| A8BYA7J3VP | A8BYA7J3VP | statement | record (an 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.30090#AR47 |
| A8C83G2MQ7 | A8C83G2MQ7 | exercise | open | napkin tex/set-theory/ordinal.tex#exercise-4 |
| A8CEDXT12D | A8CEDXT12D | statement | record (an 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.31478#9D50 |
| A8CSAKMJVT | A8CSAKMJVT | statement | record (an 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.16834#QDF0 |
| A8CZ5J46Z4 | A8CZ5J46Z4 | statement | record (an 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.22345#4MGP |
| A8D0T6E4TT | A8D0T6E4TT | 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.05193#ND5W |
| A8DRFAZABB | A8DRFAZABB | statement | record (an 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.29498#OLFY |
| A8DVSTJWX6 | A8DVSTJWX6 | statement | record (an 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.07855#U4AE |
| A8E3EK5CTB | A8E3EK5CTB | proof | open | napkin tex/set-theory/CH.tex#proof-3 |
| A8EA4FK8A4 | A8EA4FK8A4 | statement | record (an 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.16180#CQW7 |
| A8EBF7H382 | A8EBF7H382 | statement | record (an 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.05771#YEKN |
| A8EGFVTEW3 | A8EGFVTEW3 | statement | record (an 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.31604#G53X |
| A8F35ZJ829 | A8F35ZJ829 | 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.17547#8KHN |
| A8F6BZMGTX | A8F6BZMGTX | 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 1607.01095#IXWH |
| A8FNB3298V | A8FNB3298V | unknown | open | arXiv 2609.33529#OP20 |
| A8G0AEDKHH | A8G0AEDKHH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.17318#1VIO |
| A8G3Z46EZ4 | A8G3Z46EZ4 | statement | record (an 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#WIYV |
| A8G78E5JPN | A8G78E5JPN | unknown | open | |
| A8G7TR5F0P | A8G7TR5F0P | statement | record (an 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.01359#A7SK |
| A8G8YY2TG1 | A8G8YY2TG1 | statement | record (an 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.08123#JOO7 |
| A8GEP5E52Y | A8GEP5E52Y | statement | record (an 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.07001#1UX0 |
| A8GQESF7VV | A8GQESF7VV | statement | record (an 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.12484#2RPS |
| A8GRWD4ZJS | A8GRWD4ZJS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.12479#67DV |
| A8GXMHTX8A | A8GXMHTX8A | unknown | open | arXiv 2610.13680#1KZC |
| A8H6T096BR | A8H6T096BR | statement | record (an 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.08487#UEGS |
| A8HBT37J0Y | A8HBT37J0Y | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-11 |
| A8HNC81WTS | A8HNC81WTS | statement | record (an 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.04317#MVUS |
| A8HWNSXNJC | A8HWNSXNJC | statement | record (an 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.03865#JKL6 |
| A8JA5YCF30 | A8JA5YCF30 | statement | record (an 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.22002#P90M |
| A8JJ45CPSZ | A8JJ45CPSZ | statement | record (an 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.13883#XQWP |
| A8JXP7FMD2 | A8JXP7FMD2 | 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 2608.23797#HN4K |
| A8K07YZV5D | A8K07YZV5D | statement | open | applied_combinatorics source/s_background_integers.ptx#lemma-1 |
| A8K56XYFKW | A8K56XYFKW | proof | open | napkin tex/rep-theory/semisimple.tex#proof-4 |
| A8MFF8P8ZJ | A8MFF8P8ZJ | statement | record (an 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.29227#AXJR |
| A8MY8XTWF1 | A8MY8XTWF1 | 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 1711.00219#RA0M |
| A8NTX932KC | A8NTX932KC | statement | record (an 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.38865#LM9G |
| A8P44TY1VW | A8P44TY1VW | statement | record (an 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.14555#9OWK |
| A8P9D1HWCW | A8P9D1HWCW | statement | record (an 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#M2GD |
| A8P9S2DEWR | A8P9S2DEWR | 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.21005#PTVL |
| A8PAYKBXK3 | A8PAYKBXK3 | statement | record (an 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.12329#BLWR |
| A8PEQSCVAT | A8PEQSCVAT | statement | record (an 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.04503#0N7H |
| A8PFA9FR5B | A8PFA9FR5B | statement | record (an 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#5RMX |
| A8PNWKQ8X4 | A8PNWKQ8X4 | 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.08837#YCH2 |
| A8Q1V9P4CB | A8Q1V9P4CB | statement | record (an 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.10930#6W5P |
| A8Q59GBP5R | A8Q59GBP5R | statement | record (an 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.05179#ZXH6 |
| A8QCS91TQ2 | A8QCS91TQ2 | 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 2405.14678#37B6 |
| A8QW467D9Y | A8QW467D9Y | exercise | open | napkin tex/alg-NT/frobenius.tex#exercise-4 |
| A8RF8306H8 | A8RF8306H8 | statement | record (an 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.22237#FAOO |
| A8S1W68CXT | A8S1W68CXT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#3X7K |
| A8S7VVC96B | A8S7VVC96B | statement | record (an 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#2MKS |
| A8SSGZGVPF | A8SSGZGVPF | statement | record (an 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.36389#9R1R |
| A8T1PDC967 | A8T1PDC967 | statement | record (an 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#GGM7 |
| A8TG5KWJ3H | A8TG5KWJ3H | 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.28141#NDST |
| A8TJFZ8ZN6 | A8TJFZ8ZN6 | unknown | open | arXiv 2610.13680#6CBR |
| A8TZYJAS5A | A8TZYJAS5A | statement | record (an 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.32174#ZBU8 |
| A8VFBT38MQ | A8VFBT38MQ | statement | record (an 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.37769#9BIT |
| A8VK1CP9T1 | A8VK1CP9T1 | statement | open | hott_book hits.tex#thm:retraction-quotient |
| A8VN7E3276 | A8VN7E3276 | 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 2312.06473#MBSL |
| A8VXMXHZFA | A8VXMXHZFA | statement | record (an 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.04179#SUAB |
| A8VYSF6YBD | A8VYSF6YBD | 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 2504.13328#OWEP |
| A8W1TPMZA3 | A8W1TPMZA3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#NZGL |
| A8W1VPCYG6 | A8W1VPCYG6 | statement | record (an 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.02944#ZO5P |
| A8WFHNSSFT | A8WFHNSSFT | 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 2304.08149#X42J |
| A8WGRAFSNY | A8WGRAFSNY | exercise | open | open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#prob-1 |
| A8WY1JEBSZ | A8WY1JEBSZ | 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 2108.10246#EM5R |
| A8X04BSJVT | A8X04BSJVT | 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.26180#KHBG |
| A8X9SD84TQ | A8X9SD84TQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.06334#63UT |
| A8XF6R4HSA | A8XF6R4HSA | statement | record (an 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.29531#KIMW |
| A8XGMGP6P0 | A8XGMGP6P0 | statement | record (an 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.05066#L8NR |
| A8YPD8EC8Q | A8YPD8EC8Q | definition | open | austin_ula src/section3-5.xml#definition-2 |
| A8YPX7N3BB | A8YPX7N3BB | statement | record (an 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.00562#Q53C |
| A8YXCMWPQ0 | A8YXCMWPQ0 | 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.04325#ERVE |
| A8Z04HNK46 | A8Z04HNK46 | statement | record (an 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.15847#0PKN |