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 1601–1700 of 14276.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| A8V6YNNBNM | A8V6YNNBNM | statement | record (an 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.22667#TZRY |
| 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 |
| A8WK2SSRZH | A8WK2SSRZH | statement | record (an 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.20516#T737 |
| 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 |
| A8X33N3MQ2 | A8X33N3MQ2 | statement | record (an 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.20521#PHH7 |
| 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 |
| A8Z53BXY86 | A8Z53BXY86 | statement | record (an 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.20135#01F3 |
| A8ZKWBTWC5 | A8ZKWBTWC5 | 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.26129#JU68 |
| A9178NERKT | A9178NERKT | statement | record (an 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.11101#SQKK |
| A921S4Q5CV | A921S4Q5CV | statement | record (an 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.01467#AZ3T |
| A929676PVA | A929676PVA | statement | record (an 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.20588#ZHM7 |
| A92C2C5RF3 | A92C2C5RF3 | statement | record (an 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.12053#C5QM |
| A92G3R6QSV | A92G3R6QSV | statement | record (an 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.22667#S1WM |
| A92RA93GZN | A92RA93GZN | statement | record (an 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#OWLM |
| A93MDS0BN0 | A93MDS0BN0 | 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.28552#FH85 |
| A93P5T0S7W | A93P5T0S7W | 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 2609.32300#EUE4 |
| A93Z1K3RCK | A93Z1K3RCK | 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 0811.0544#KSN3 |
| A94813WYDX | A94813WYDX | statement | record (an 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#YAN2 |
| A94B8TJZQK | A94B8TJZQK | statement | record (an 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.33926#WD3U |
| A94BY0A5EY | A94BY0A5EY | statement | record (an 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.22708#DBNC |
| A94FRCCXC2 | A94FRCCXC2 | statement | record (an 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#SHTB |
| A94MKR6PAJ | A94MKR6PAJ | statement | record (an 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.15385#S7XS |
| A94ZK1XV3R | A94ZK1XV3R | 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.27056#MJ5O |
| A95BAY9Q4B | A95BAY9Q4B | statement | record (an 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.35001#C997 |
| A95BCFBCJ0 | A95BCFBCJ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.20385#8ANJ |
| A95EEMKBG8 | A95EEMKBG8 | statement | record (an 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.38556#9976 |
| A9635ZA1P9 | A9635ZA1P9 | statement | record (an 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.28594#IB8U |
| A973XVDHKA | A973XVDHKA | statement | record (an 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.00512#0D5K |
| A983322GP7 | A983322GP7 | 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 2512.16003#HTR0 |
| A985BPV1AP | A985BPV1AP | statement | record (an 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.01653#E1LM |
| A98TV0AF3S | A98TV0AF3S | 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#3X6Z |
| A98YZKN1JJ | A98YZKN1JJ | statement | record (an 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.21552#2G6R |
| A99FRT0PSE | A99FRT0PSE | statement | record (an 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.09596#5TC8 |
| A9A65JVQ3S | A9A65JVQ3S | statement | record (an 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.16102#JCST |
| A9AAGQR1HR | A9AAGQR1HR | 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.13295#C33H |
| A9AF7H7J5Q | A9AF7H7J5Q | statement | record (an 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.38131#HN8X |
| A9ATWGZNS5 | A9ATWGZNS5 | statement | record (an 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.04993#IZFD |
| A9B0YPRVRX | A9B0YPRVRX | 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 2206.14762#YW5F |
| A9B6B16QQY | A9B6B16QQY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.14561#NDXY |
| A9B6CE1G39 | A9B6CE1G39 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.01474#VR1H |
| A9BE1GGXHC | A9BE1GGXHC | definition | open | napkin tex/topology/metric-top.tex#definition-4 |
| A9BPYW8A4W | A9BPYW8A4W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.10460#2H8Q |
| A9BTGKAMYT | A9BTGKAMYT | statement | record (an 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.36403#AHZP |
| A9C4YVZVBZ | A9C4YVZVBZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.10178#RKRF |
| A9C8QEDKKJ | A9C8QEDKKJ | statement | record (an 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.20416#F5AF |
| A9CPHAJXWD | A9CPHAJXWD | statement | record (an 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#VCF5 |
| A9CVPWXVP4 | A9CVPWXVP4 | statement | record (an 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#SZ6U |
| A9D0FWFAXC | A9D0FWFAXC | statement | record (an 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.06455#GAKC |
| A9D4B5T5BT | A9D4B5T5BT | exercise | open | hott_book basics.tex#ex:npaths |
| A9D5JG8QK1 | A9D5JG8QK1 | statement | record (an 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.29877#HWK6 |
| A9DJFRR88R | A9DJFRR88R | statement | record (an 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.32207#TT6N |
| A9DJH6DABM | A9DJH6DABM | statement | record (an 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.21043#JMNN |
| A9DJT7E25K | A9DJT7E25K | statement | record (an 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.21675#A113 |
| A9DN5QMP1J | A9DN5QMP1J | statement | record (an 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.12983#91TD |
| A9E4EWNVF7 | A9E4EWNVF7 | statement | open | lebl_ra ch-approximate.tex#cor-4 |
| A9E6YDAH66 | A9E6YDAH66 | 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.30262#28IW |
| A9EDYB0K0Z | A9EDYB0K0Z | statement | record (an 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.16386#548L |
| A9ET7WV2DG | A9ET7WV2DG | 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.10365#JHKG |
| A9F2NHGAHS | A9F2NHGAHS | statement | record (an 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.21017#D6W9 |
| A9G9PSZSZW | A9G9PSZSZW | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-5 |
| A9GD1MH9XR | A9GD1MH9XR | statement | record (an 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.38138#3K2Z |
| A9GF9GV9Q2 | A9GF9GV9Q2 | statement | record (an 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.33590#ZRV7 |
| A9GQHQMF89 | A9GQHQMF89 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#D18X |
| A9GY48PQZH | A9GY48PQZH | statement | record (an 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.13670#N1P5 |
| A9GYE1KHK8 | A9GYE1KHK8 | statement | record (an 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.02751#QNBM |
| A9HJ1E74GB | A9HJ1E74GB | statement | record (an 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.20542#TJPZ |
| A9HK2EZN4Z | A9HK2EZN4Z | statement | record (an 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.19285#6QOT |
| A9J2TCMWWX | A9J2TCMWWX | statement | record (an 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#A08S |
| A9J9T2MD8R | A9J9T2MD8R | exercise | open | napkin tex/topology/compactness.tex#problem-2 |
| A9JA0A6J28 | A9JA0A6J28 | statement | record (an 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.40096#2MCM |
| A9JJMXNBFJ | A9JJMXNBFJ | statement | record (an 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#K24V |