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 601–700 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A0HRMGCRAM | A0HRMGCRAM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.08958#0GPQ |
| A0HY3TWR7C | A0HY3TWR7C | statement | record (an 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.05486#BVP5 |
| A0J9Z3579S | A0J9Z3579S | statement | record (an 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.31102#WZGE |
| A0JMHQH078 | A0JMHQH078 | statement | record (an 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.25472#GK65 |
| A0JXKN0Y1E | A0JXKN0Y1E | statement | record (an 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.12009#UGT2 |
| A0KQ2BM0ET | A0KQ2BM0ET | statement | record (an 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.25435#BAQP |
| A0KV3GPET4 | A0KV3GPET4 | statement | record (an 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.27125#IBBQ |
| A0KX6P0J3E | A0KX6P0J3E | statement | record (an 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.13358#RMQA |
| A0MFN9D7NM | A0MFN9D7NM | statement | open | open_logic content/sets-functions-relations/relations/trees.tex#prop-1 |
| A0MVXYVZS6 | A0MVXYVZS6 | exercise | open | lebl_ra ch-real-nums.tex#exercise-35 |
| A0NB087K1B | A0NB087K1B | statement | record (an 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.27752#P58W |
| A0NHHBME0B | A0NHHBME0B | statement | record (an 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.18239#EOA7 |
| A0NW25WCXW | A0NW25WCXW | statement | record (an 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.09567#4N7D |
| A0P4WXW94V | A0P4WXW94V | statement | record (an 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.00292#WOM0 |
| A0P5SS53QJ | A0P5SS53QJ | statement | record (an 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.28403#AXLL |
| A0Q7R36QC7 | A0Q7R36QC7 | 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 2609.33442#LRJA |
| A0QKX3PYKT | A0QKX3PYKT | statement | record (an 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.03499#UFZE |
| A0QMQXP9BH | A0QMQXP9BH | statement | record (an 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.36613#F0AJ |
| A0QQFBGX2V | A0QQFBGX2V | statement | record (an 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.08912#3W8D |
| A0RSBSD6TY | A0RSBSD6TY | statement | record (an 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.04842#R3PE |
| A0RWAGFR5V | A0RWAGFR5V | statement | record (an 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.39951#6YBL |
| A0SDQZE0RH | A0SDQZE0RH | 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 0904.0817#DL3D |
| A0SFYEGMNZ | A0SFYEGMNZ | 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 2112.10058#1BZX |
| A0SJECJ3HM | A0SJECJ3HM | statement | record (an 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.30527#B6LN |
| A0V9BFJK71 | A0V9BFJK71 | statement | record (an 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.16453#L4CW |
| A0W2QQQ3HP | A0W2QQQ3HP | statement | record (an 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.12513#33NZ |
| A0W8Y6RPY4 | A0W8Y6RPY4 | statement | record (an 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.18016#LO37 |
| A0WQ27YD15 | A0WQ27YD15 | statement | record (an 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.21632#HECN |
| A0WZ7PN4Y4 | A0WZ7PN4Y4 | 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.36423#3Z2F |
| A0XDR0XKAH | A0XDR0XKAH | 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.01802#F38F |
| A0Y77S6NTB | A0Y77S6NTB | statement | record (an 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.16099#CLVK |
| A0YBN82Z62 | A0YBN82Z62 | example | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#ex:mover |
| A0ZAYQ7CNA | A0ZAYQ7CNA | statement | record (an 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#SJCL |
| A0ZEQ3P3Y0 | A0ZEQ3P3Y0 | statement | record (an 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.19357#R3B3 |
| A0ZJEMTXFV | A0ZJEMTXFV | statement | record (an 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#CU7R |
| A0ZRDFTHBG | A0ZRDFTHBG | statement | record (an 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.31858#5R2L |
| A102K124PC | A102K124PC | statement | record (an 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.13957#0F63 |
| A10HF44E02 | A10HF44E02 | statement | open | open_logic content/computability/computability-theory/total.tex#prop:total |
| A10QAXJ1JR | A10QAXJ1JR | exercise | open | austin_ula src/exercises/exercises3-4.xml#exercise-12 |
| A11TYE574B | A11TYE574B | proof | open | hott_book reals.tex#proof-25 |
| A12RNNWEDE | A12RNNWEDE | statement | record (an 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.17737#U1RS |
| A131G3CX35 | A131G3CX35 | statement | record (an 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.20916#9P0T |
| A144H75S90 | A144H75S90 | 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 1704.04089#AXOJ |
| A1458M9AE2 | A1458M9AE2 | statement | record (an 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.19464#JYN1 |
| A14M6WD0K6 | A14M6WD0K6 | statement | record (an 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.01441#95XM |
| A14M8NPTMT | A14M8NPTMT | statement | record (an 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.26496#LNHB |
| A14VFXR7P8 | A14VFXR7P8 | statement | record (an 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.02017#UIDO |
| A153RXHXWQ | A153RXHXWQ | statement | record (an 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.12481#O4MW |
| A1638XJYZD | A1638XJYZD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#OOCC |
| A16E49D0VF | A16E49D0VF | statement | record (an 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.34339#W6RS |
| A16PEC83ZF | A16PEC83ZF | 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.33124#CEL9 |
| A17BBRQCM0 | A17BBRQCM0 | statement | record (an 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.25038#0JC8 |
| A17S1EQQK7 | A17S1EQQK7 | 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.19513#USL6 |
| A17Y03CR44 | A17Y03CR44 | statement | record (an 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.21929#JELP |
| A17YNJBH3N | A17YNJBH3N | statement | record (an 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.33584#VOM2 |
| A182X6BFS0 | A182X6BFS0 | example | open | hott_book categories.tex#ct:mono-cat |
| A186YM1N53 | A186YM1N53 | statement | record (an 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#UUYP |
| A18B2N53CJ | A18B2N53CJ | definition | open | hott_book reals.tex#ordered-field |
| A192GE823G | A192GE823G | statement | record (an 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#MLW9 |
| A1985EZDP0 | A1985EZDP0 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-3 |
| A19CGPB0RF | A19CGPB0RF | definition | open | open_logic content/incompleteness/introduction/definitions.tex#defn-7 |
| A19HM882F7 | A19HM882F7 | statement | record (an 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.27673#HJJD |
| A19J7MM01T | A19J7MM01T | statement | record (an 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.22317#W7P7 |
| A19WZK7BN7 | A19WZK7BN7 | 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.24701#TJDA |
| A1AZGYJNNM | A1AZGYJNNM | 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.14240#1AOE |
| A1B49TYBC5 | A1B49TYBC5 | statement | record (an 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.19812#EZL8 |
| A1B8H89GY3 | A1B8H89GY3 | statement | record (an 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.32033#Z0AH |
| A1BFQZJD6T | A1BFQZJD6T | example | open | applied_combinatorics source/s_genfunction_exponential.ptx#example-1 |
| A1BMZTCVT0 | A1BMZTCVT0 | statement | record (an 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.31352#QO2B |
| A1C78TRBXB | A1C78TRBXB | statement | record (an 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#83TL |
| A1CBEMP530 | A1CBEMP530 | statement | record (an 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.21489#3ORT |
| A1CF41N37Z | A1CF41N37Z | statement | record (an 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.37439#WSQN |
| A1CWDJE5EE | A1CWDJE5EE | statement | open | napkin tex/H113/structure.tex#theorem-1 |
| A1D789PSSR | A1D789PSSR | 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.33162#XT91 |
| A1DZS14NBB | A1DZS14NBB | 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 2308.05715#1YXA |
| A1FJ44FB8P | A1FJ44FB8P | statement | record (an 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.13100#H1GS |
| A1GCHDVXPD | A1GCHDVXPD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.01567#KAEG |
| A1GS1N746W | A1GS1N746W | 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.10233#RI8W |
| A1H2Z763R0 | A1H2Z763R0 | statement | record (an 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.09678#7PWC |
| A1H5SVPXFD | A1H5SVPXFD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.5343#YR4B |
| A1HQZG1KFF | A1HQZG1KFF | statement | record (an 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.18709#2X35 |
| A1J3BWGG6M | A1J3BWGG6M | statement | record (an 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.19283#45TM |
| A1JD69JMVM | A1JD69JMVM | statement | record (an 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.01968#FEJH |
| A1JRH6JNPY | A1JRH6JNPY | statement | record (an 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#50PV |
| A1K859726D | A1K859726D | proof | open | napkin tex/alg-geom/spec-zariski.tex#proof-2 |
| A1K9EKWQC4 | A1K9EKWQC4 | statement | record (an 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.17442#ILJZ |
| A1K9JHTV1K | A1K9JHTV1K | statement | record (an 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.31126#3M82 |
| A1KM7RNJAS | A1KM7RNJAS | statement | record (an 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.01796#S1LI |
| A1KMQ2GD73 | A1KMQ2GD73 | statement | record (an 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.28203#OX0W |
| A1KN3YGVWP | A1KN3YGVWP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.0651#MUWL |
| A1KNZ0Q1D6 | A1KNZ0Q1D6 | statement | record (an 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.30999#J1F6 |
| A1KRY6T01J | A1KRY6T01J | exercise | open | lebl_ra ch-contfunc.tex#exercise-35 |
| A1KW29WJCR | A1KW29WJCR | statement | record (an 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.01915#XN5P |
| A1MG4S2WEN | A1MG4S2WEN | 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.16779#MBKS |
| A1MS9WRPXS | A1MS9WRPXS | statement | record (an 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#K2A5 |
| A1NNF4X1BQ | A1NNF4X1BQ | 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 math/0411039#DWAE |
| A1NSJ149Q1 | A1NSJ149Q1 | 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.07240#F6DI |
| A1NTVFKDBP | A1NTVFKDBP | 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 2005.03073#8XB2 |
| A1NTVN7BBB | A1NTVN7BBB | statement | record (an 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.14308#QLW4 |
| A1P6EB5Y7V | A1P6EB5Y7V | 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.15217#EZRA |