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 11301–11400 of 14276.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Apéry's constant | RKBRXB4E1G | definition | open | Wikipedia List of sums of reciprocals#BN3N |
| Apéry's theorem | 1N9Y2K9RHN | statement | open | mathlib_1000 Q1095330, Wikidata Q1095330, thousand_plus Q1095330, Wikipedia Apéry's theorem |
| Apéry's theorem | GNPKD9R50H | statement | open | Wikipedia List of theorems#JPIL |
| AQ0DY95ETN | AQ0DY95ETN | statement | record (an 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.05268#4BJD |
| AQ0GAFNAEH | AQ0GAFNAEH | statement | record (an 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.04099#RJDF |
| AQ0JVP7HZR | AQ0JVP7HZR | 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.17569#W1VD |
| AQ1F0QABBR | AQ1F0QABBR | statement | record (an 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.27843#XGFE |
| AQ1YRESFZN | AQ1YRESFZN | statement | record (an 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.16069#0LS3 |
| AQ2JP3F4HA | AQ2JP3F4HA | statement | record (an 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.28649#9S97 |
| AQ34YAF9NJ | AQ34YAF9NJ | 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.30090#ITJQ |
| AQ37H1B4VK | AQ37H1B4VK | statement | record (an 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.36509#GV9R |
| AQ3DX97AMX | AQ3DX97AMX | statement | record (an 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.09294#9RQZ |
| AQ3HA89KT8 | AQ3HA89KT8 | statement | record (an 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#A3DB |
| AQ3VCDFSS5 | AQ3VCDFSS5 | statement | record (an 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.13323#705L |
| 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 |
| AQ8R6FWPX8 | AQ8R6FWPX8 | statement | record (an 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.24043#DR7E |
| 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 |
| AQAD5KEF36 | AQAD5KEF36 | 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.23237#R7A6 |
| 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 |
| AQH share | NZKWPH2C9K | definition | open | Wikipedia AQH share, Wikidata Q4653513 |
| 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 |
| AQM8AVSPVN | AQM8AVSPVN | statement | record (an 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.23847#I0C7 |
| 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 |
| AQN9CFMK4P | AQN9CFMK4P | statement | record (an 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.23562#R1IN |
| 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 |
| AQPGXMRKNT | AQPGXMRKNT | statement | record (an 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.21367#P54I |
| 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 |
| Aquifer test | P1WCZ3G5VE | definition | open | Wikipedia Aquifer test, Wikidata Q446124 |
| AQV6852ZE4 | AQV6852ZE4 | example | open | open_logic content/sets-functions-relations/sets/basics.tex#ex-1 |
| AQV8PGZ8HF | AQV8PGZ8HF | problem | open | Wikipedia Computational complexity of matrix multiplication#ZF0B |
| 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 |