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 901–1000 of 14276.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A11TYE574B | A11TYE574B | proof | open | hott_book reals.tex#proof-25 |
| A12 Authentication | Y88DS3F5J0 | definition | open | Wikipedia A12 Authentication, Wikidata Q4648858 |
| 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 |
| A17XF2NCQT | A17XF2NCQT | statement | record (an 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.21682#RJZR |
| 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 |
| A1B1VP15E4 | A1B1VP15E4 | statement | record (an 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#LRQT |
| 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 |
| A1E3QKWQNF | A1E3QKWQNF | statement | record (an 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.23872#SK9C |
| 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 |
| A1GYWW695R | A1GYWW695R | statement | record (an 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.21047#Q0X9 |
| 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 |
| A1M4Y3V4VC | A1M4Y3V4VC | statement | record (an 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#3N9J |
| 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 |
| A1PMTP2X7G | A1PMTP2X7G | statement | record (an 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.14135#FBP9 |
| A1PX386DPD | A1PX386DPD | statement | record (an 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.20900#0HXH |
| A1Q2WFX0Q8 | A1Q2WFX0Q8 | statement | record (an 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.30779#5SIB |
| A1Q5GMHCKC | A1Q5GMHCKC | 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.23350#4W45 |
| A1Q7R8C6F0 | A1Q7R8C6F0 | statement | record (an 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.30203#7CD3 |
| A1QVRS5NR7 | A1QVRS5NR7 | statement | record (an 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.25151#1IT5 |
| A1R5B8YNAH | A1R5B8YNAH | statement | record (an 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.29489#3ZX0 |
| A1RP3J91V2 | A1RP3J91V2 | statement | record (an 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.30637#JH3I |
| A1RR5K1KP3 | A1RR5K1KP3 | statement | record (an 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.15588#JJAG |
| A1RZHPH0Y2 | A1RZHPH0Y2 | statement | record (an 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.33383#TF7H |
| A1S96CSSRT | A1S96CSSRT | 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.11395#ZQT7 |
| A1SDRSMZW0 | A1SDRSMZW0 | statement | record (an 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#X3PO |
| A1SFMHSJNZ | A1SFMHSJNZ | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-7 |
| A1V1A39YTQ | A1V1A39YTQ | statement | record (an 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.13105#I16S |
| A1VXXDN3Z2 | A1VXXDN3Z2 | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#problem-5 |
| A1W220F0AT | A1W220F0AT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#HD0W |
| A1W65ZFZJ1 | A1W65ZFZJ1 | exercise | open | open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#prob-1 |
| A1W6R0KJ5R | A1W6R0KJ5R | statement | record (an 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.21092#7W49 |
| A1W8MRT563 | A1W8MRT563 | statement | record (an 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.11905#RK00 |
| A1WC2AJ1CT | A1WC2AJ1CT | 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.13402#XRGL |
| A1WJM4GVJJ | A1WJM4GVJJ | statement | record (an 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.02672#2A45 |
| A1XGVXQHH9 | A1XGVXQHH9 | statement | record (an 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.30519#89NB |
| A1XZA7R5D6 | A1XZA7R5D6 | 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.38014#0ABW |
| A1YHHDGM2M | A1YHHDGM2M | statement | record (an 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.04466#ANQH |
| A1YK69582G | A1YK69582G | exercise | open | austin_ula src/section6-2.xml#activity-2 |
| A1ZTVBFHMR | A1ZTVBFHMR | statement | record (an 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.24412#91KD |
| A2 lattice | WNA94ZZ56Y | unknown | open | Wikipedia Triangular tiling#X3VF |
| A21D66EKEY | A21D66EKEY | 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.16731#D38O |
| A21DJ3PE96 | A21DJ3PE96 | statement | record (an 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.07812#EQK7 |
| A2202M4END | A2202M4END | statement | record (an 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.30637#4PXN |
| A222DNGB17 | A222DNGB17 | proof | open | open_logic content/lambda-calculus/syntax/alpha.tex#proof-2 |
| A22A33TXMR | A22A33TXMR | statement | record (an 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#RCIC |
| A22DFN3EVV | A22DFN3EVV | statement | record (an 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.19088#1Q7I |