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 4101–4200 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AQ458W4PJS | AQ458W4PJS | statement | record (an 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.31445#A1XQ |
| AQ4QBTM489 | AQ4QBTM489 | statement | record (an 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.17135#YXJJ |
| AQ57G11MGB | AQ57G11MGB | statement | record (an 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.17817#3R1Y |
| AQ5EWK6DR7 | AQ5EWK6DR7 | statement | record (an 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.08226#QBBT |
| AQ5R0NBTVQ | AQ5R0NBTVQ | statement | open | open_logic content/lambda-calculus/lambda-definability/minimization.tex#prop-1 |
| AQ679WRZ04 | AQ679WRZ04 | statement | record (an 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.22681#FSSZ |
| AQ6QZ6V3N8 | AQ6QZ6V3N8 | statement | record (an 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.05868#VZ06 |
| AQ7E0A5AYY | AQ7E0A5AYY | definition | open | active_calculus source/sec-3-3-tests.xml#definition-1 |
| AQ7S22N1FY | AQ7S22N1FY | statement | record (an 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.12228#G0FS |
| AQ81HFTDAW | AQ81HFTDAW | definition | open | lebl_ra ch-seq-ser.tex#defn-3 |
| AQ873XW1VA | AQ873XW1VA | statement | record (an 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.01924#6YIX |
| AQ94G5KAEC | AQ94G5KAEC | statement | record (an 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.33406#BH98 |
| AQ9KM0M7V0 | AQ9KM0M7V0 | statement | record (an 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.00625#S6RX |
| AQABQ1JE0K | AQABQ1JE0K | statement | record (an 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.29574#LIN6 |
| AQASCF63VV | AQASCF63VV | 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 2204.01073#2JPA |
| AQAVKWASS3 | AQAVKWASS3 | statement | record (an 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.09044#V19Z |
| AQAZ1T4VD9 | AQAZ1T4VD9 | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-1 |
| AQB6PXY98S | AQB6PXY98S | statement | record (an 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.05204#NRTP |
| AQB9FVW6GX | AQB9FVW6GX | statement | record (an 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.35543#RQFC |
| AQCZB01H85 | AQCZB01H85 | 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.17589#AU9U |
| AQD0A4TZ71 | AQD0A4TZ71 | statement | record (an 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#6VE7 |
| AQD32YPVJ9 | AQD32YPVJ9 | 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.20956#15OA |
| AQDE40K5JM | AQDE40K5JM | 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 2204.01073#TYC9 |
| AQDK4Z949S | AQDK4Z949S | definition | open | ernst_ibl MAAPressVersion/CountableSets.tex#definition-1 |
| AQDMTX3DAE | AQDMTX3DAE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.07061#COMX |
| AQDQDJDV11 | AQDQDJDV11 | statement | record (an 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.14160#1HHG |
| AQDRCGFR9K | AQDRCGFR9K | 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.03612#J3LR |
| AQDZDRTJ03 | AQDZDRTJ03 | statement | record (an 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.19852#XT85 |
| AQEAXRTAC5 | AQEAXRTAC5 | statement | record (an 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.25843#TESF |
| AQEQ24MPKM | AQEQ24MPKM | statement | record (an 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.05986#9M5N |
| AQEZZJ9TC5 | AQEZZJ9TC5 | statement | record (an 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.19468#TB5C |
| AQFGPT7Z2F | AQFGPT7Z2F | definition | open | open_logic content/intuitionistic-logic/semantics/propositions.tex#defn-1 |
| AQG9SSB64V | AQG9SSB64V | statement | record (an 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.09810#8563 |
| AQGDE74XKR | AQGDE74XKR | statement | record (an 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#RQI8 |
| AQJ0RQDYRZ | AQJ0RQDYRZ | statement | record (an 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.02484#FB9A |
| AQJN1YTC0T | AQJN1YTC0T | statement | record (an 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#HWD1 |
| AQJPQ3T9SQ | AQJPQ3T9SQ | statement | record (an 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.17589#JKTE |
| AQMF5WX6NB | AQMF5WX6NB | statement | record (an 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.38206#KFVZ |
| AQNAH74517 | AQNAH74517 | statement | record (an 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.01225#6AZ9 |
| AQNH24299J | AQNH24299J | statement | record (an 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.12295#MKSS |
| AQNH5YEWW0 | AQNH5YEWW0 | statement | record (an 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.27458#1EN0 |
| AQP2J8SS53 | AQP2J8SS53 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.28861#LHL3 |
| AQP5VJFVKT | AQP5VJFVKT | statement | record (an 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.40200#9ZTM |
| AQPH1NXKN7 | AQPH1NXKN7 | statement | record (an 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.11872#BL4A |
| AQPSG09ZFZ | AQPSG09ZFZ | statement | record (an 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.15720#OCV4 |
| AQQF9Z2JDP | AQQF9Z2JDP | statement | record (an 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.15434#LXSN |
| AQQKVEA30Q | AQQKVEA30Q | statement | record (an 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.20798#LDUR |
| AQQP73C9AA | AQQP73C9AA | 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 2103.08272#RWNC |
| AQR2SD44NB | AQR2SD44NB | statement | record (an 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#0AZT |
| AQR811QM6A | AQR811QM6A | statement | record (an 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#S6Q2 |
| AQRF7PXGVF | AQRF7PXGVF | statement | record (an 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.40282#XFC0 |
| AQRH8ES7B5 | AQRH8ES7B5 | statement | record (an 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#GBI6 |
| AQRX0V60W7 | AQRX0V60W7 | exercise | open | austin_ula src/exercises/exercises3-3.xml#exercise-1 |
| AQS362CB70 | AQS362CB70 | statement | record (an 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.16022#MUYF |
| AQS7MA044W | AQS7MA044W | statement | record (an 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.22040#WLRD |
| AQTAKMPPWZ | AQTAKMPPWZ | statement | record (an 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#L061 |
| AQTTYCQN4H | AQTTYCQN4H | statement | record (an 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.18618#IT33 |
| AQTY4Z3XND | AQTY4Z3XND | statement | record (an 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#XK1L |
| AQV6852ZE4 | AQV6852ZE4 | example | open | open_logic content/sets-functions-relations/sets/basics.tex#ex-1 |
| AQVBKXX1S0 | AQVBKXX1S0 | unknown | open | |
| AQVYDXDPMG | AQVYDXDPMG | example | open | hott_book logic.tex#eg:isset-empty |
| AQWA7XMNFB | AQWA7XMNFB | statement | record (an 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.09810#R196 |
| AQWB0KTXQX | AQWB0KTXQX | 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.08500#YFJF |
| AQWRDCYFXQ | AQWRDCYFXQ | statement | record (an 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#TPJZ |
| AQX2G99J8T | AQX2G99J8T | 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.13505#4Q92 |
| AQX7S08APS | AQX7S08APS | statement | record (an 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.16580#DQN5 |
| AQX82JGPDB | AQX82JGPDB | statement | record (an 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#PGB4 |
| AQXBSKZ7QM | AQXBSKZ7QM | 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 2205.09049#PFOX |
| AQY286ZRWG | AQY286ZRWG | statement | record (an 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.04264#4UXM |
| AQYY88B7H2 | AQYY88B7H2 | 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.02901#JDRX |
| AQYYADPQS2 | AQYYADPQS2 | statement | record (an 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.37112#U7PJ |
| AQZ4ZWBR6X | AQZ4ZWBR6X | statement | record (an 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.24917#9Z5F |
| AQZ7ARWGT5 | AQZ7ARWGT5 | statement | record (an 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#QPVN |
| AQZBSV3WPE | AQZBSV3WPE | statement | record (an 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.17070#CYWY |
| AQZMMR47YN | AQZMMR47YN | 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.01802#38C6 |
| AQZRC81K8S | AQZRC81K8S | statement | record (an 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.02481#6VX3 |
| AQZVVQTD0B | AQZVVQTD0B | statement | record (an 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.00677#R4HS |
| AQZYMFZ7R9 | AQZYMFZ7R9 | 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.10406#2GHE |
| AR06ZBA5AQ | AR06ZBA5AQ | 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 math/0003117#XLZ0 |
| AR0NYX44MG | AR0NYX44MG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#7JUB |
| AR0SARZJX3 | AR0SARZJX3 | 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.33590#K3FS |
| AR1FBBVRVW | AR1FBBVRVW | statement | record (an 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.13741#PUUF |
| AR1ZYQM4Q3 | AR1ZYQM4Q3 | statement | open | open_logic content/computability/computability-theory/ce-closed-cup-cap.tex#thm-1 |
| AR2443DQTV | AR2443DQTV | statement | record (an 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.36078#T5I2 |
| AR3M3BP496 | AR3M3BP496 | statement | record (an 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.12496#8ATP |
| AR404A45WM | AR404A45WM | statement | record (an 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.18078#U7OA |
| AR40W66EZM | AR40W66EZM | 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#BDB7 |
| AR4J4SB1CA | AR4J4SB1CA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.00617#8RTE |
| AR4J6GFMVN | AR4J6GFMVN | 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.22074#WDYD |
| AR4PQSPQ9R | AR4PQSPQ9R | statement | record (an 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.39809#LKGR |
| AR50QT13A8 | AR50QT13A8 | statement | record (an 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.15352#VGW3 |
| AR58HXGZRH | AR58HXGZRH | 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 2105.13129#00UM |
| AR5MHB55ZT | AR5MHB55ZT | statement | record (an 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#NMCM |
| AR6J1GAP4J | AR6J1GAP4J | statement | record (an 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.13378#SMVA |
| AR7P1NW90Q | AR7P1NW90Q | statement | record (an 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.24544#NQ84 |
| AR7TGCZF0H | AR7TGCZF0H | exercise | open | lebl_ra ch-contfunc.tex#exercise-75 |
| AR7Y01DERE | AR7Y01DERE | 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.10967#AE98 |
| AR82WG1SNK | AR82WG1SNK | 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.19285#CM2O |
| AR8J766P1T | AR8J766P1T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.12846#SK7U |
| AR8ZM6P55T | AR8ZM6P55T | statement | record (an 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.02073#9AZP |