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 5301–5400 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Axioms for !!{identity} | VSAK3AMKSA | definition | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#defn-1 |
| Axioms for quantifiers | MNAZEHF4X5 | definition | open | open_logic content/first-order-logic/axiomatic-deduction/axioms-rules-quantifiers.tex#defn-1 |
| axion | 33DE8MW8VK | unknown | open | Wikidata Q792548, nLab axion |
| Axis lemma | 8ETWXVNT78 | statement | record (an 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.3493#Z2GR |
| axis-convexity | 1GFV1VRMVW | statement | record (an 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.14051#92B3 |
| axis-convexity | VKXAGSJ462 | statement | record (an 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.14050#BG34 |
| Axisymmetric convolution | 6K6EZ3YV1B | statement | record (an 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.13892#T4JX |
| Axisymmetric convolution | EDFF02EH5H | 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.13892#OETF |
| Axisymmetric spin convolution | 5PDSA052M4 | 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.13892#JLVD |
| AXJES17DJ8 | AXJES17DJ8 | statement | record (an 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.33250#7DIB |
| AXJGBFT4GV | AXJGBFT4GV | statement | record (an 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.12108#R907 |
| AXJMED46D5 | AXJMED46D5 | statement | record (an 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.13877#NKAT |
| AXJTC92JW0 | AXJTC92JW0 | statement | record (an 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.06206#RV87 |
| AXKT95VRG7 | AXKT95VRG7 | statement | record (an 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.18544#GVT5 |
| AXMKZB744F | AXMKZB744F | statement | record (an 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#DJNB |
| AXMXHFPA2W | AXMXHFPA2W | statement | open | hott_book reals.tex#RC-continuous-eq |
| AXN62T8RND | AXN62T8RND | statement | record (an 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.00843#UT87 |
| AXN697ZBGT | AXN697ZBGT | statement | record (an 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#8IUH |
| AXNRRCY9FB | AXNRRCY9FB | statement | record (an 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.08766#IKDL |
| AXP8WXS9YB | AXP8WXS9YB | statement | record (an 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.05391#H95C |
| AXPGJNFZC3 | AXPGJNFZC3 | 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.26896#9K2E |
| AXPR74JRS8 | AXPR74JRS8 | 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.13423#1CZX |
| AXQA0MZTNY | AXQA0MZTNY | exercise | open | napkin tex/alg-geom/quasi-proj.tex#exercise-1 |
| AXQK8HRGBN | AXQK8HRGBN | statement | record (an 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#NE4I |
| AXR7VB1MGY | AXR7VB1MGY | statement | record (an 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.06338#5NN5 |
| AXRP0BVY7T | AXRP0BVY7T | statement | record (an 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.28677#TF1X |
| AXRPBSC2D5 | AXRPBSC2D5 | proof | open | open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#proof-3 |
| AXRRZC2M9H | AXRRZC2M9H | statement | record (an 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.20909#RDDE |
| AXRXGD0PA9 | AXRXGD0PA9 | statement | record (an 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.02852#LQCV |
| AXS4EAVRE7 | AXS4EAVRE7 | statement | record (an 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.33805#2I5U |
| AXSNBZNRTT | AXSNBZNRTT | statement | open | lebl_scv scv.tex#thm-5 |
| AXSTHCYEK1 | AXSTHCYEK1 | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-4 |
| AXSYSRN2PS | AXSYSRN2PS | unknown | open | |
| AXT4514HQ3 | AXT4514HQ3 | statement | record (an 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.18847#JBFG |
| AXT4B644YH | AXT4B644YH | example | open | applied_combinatorics source/s_strings_permutations.ptx#exa_strings_perm |
| AXTC1QE80H | AXTC1QE80H | definition | open | open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#defn-2 |
| AXTP62EKBH | AXTP62EKBH | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-10 |
| AXV3ENAF9F | AXV3ENAF9F | exercise | open | lebl_ra ch-contfunc.tex#exercise-2 |
| AXVG1N7011 | AXVG1N7011 | statement | record (an 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.19791#ZTG5 |
| AXVKWNRPTV | AXVKWNRPTV | statement | record (an 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.06419#9JRZ |
| AXVWFPHPVR | AXVWFPHPVR | statement | record (an 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.00676#FFT4 |
| AXW26XJF6B | AXW26XJF6B | 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.20025#LINY |
| AXW7XVNDG0 | AXW7XVNDG0 | 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 2401.14143#YGZP |
| AXWD6F8C1G | AXWD6F8C1G | 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.00934#ZIZ9 |
| AXX5ZRM6WG | AXX5ZRM6WG | 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.14060#J7XC |
| AXX87WT2K4 | AXX87WT2K4 | 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 2610.22205#7ZMV |
| AXXV0QM6ZM | AXXV0QM6ZM | statement | record (an 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.21954#XQQZ |
| AXY3KEYYD5 | AXY3KEYYD5 | example | open | open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-2 |
| AXY59TQC6T | AXY59TQC6T | 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.30750#2051 |
| AXY5DS9JKF | AXY5DS9JKF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#8PT9 |
| AXYMGGVTQD | AXYMGGVTQD | statement | record (an 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.35683#WD9T |
| AXYSSH3MKM | AXYSSH3MKM | statement | record (an 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/0512416#5IKZ |
| AXZP63NXZ4 | AXZP63NXZ4 | statement | record (an 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.15432#SFWF |
| Ax–Grothendieck theorem | NWP55KZ332 | statement | open | mathlib_1000 Q4830725, Mathlib ax_grothendieck_zeroLocus, Wikidata Q4830725, thousand_plus Q4830725, Wikipedia Ax–Grothendieck theorem |
| Ax–Kochen theorem | 66YM0A3AX8 | statement | open | mathlib_1000 Q3526976, Wikidata Q3526976, thousand_plus Q3526976, Wikipedia Ax–Kochen theorem |
| AY018Q781E | AY018Q781E | statement | record (an 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.20466#EHE3 |
| AY03G8X6SE | AY03G8X6SE | statement | record (an 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.02585#1J4J |
| AY0C0V6198 | AY0C0V6198 | statement | record (an 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#0F9C |
| AY0CKW75GB | AY0CKW75GB | statement | record (an 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.35740#OM0Y |
| AY100J4BRP | AY100J4BRP | statement | record (an 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.29152#TKCU |
| AY17DSA4HQ | AY17DSA4HQ | statement | record (an 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.01737#275L |
| AY1N9G3D3W | AY1N9G3D3W | statement | record (an 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.36332#ZFTC |
| AY1V5F20S1 | AY1V5F20S1 | statement | record (an 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.09840#OY3D |
| AY1WCMAD3X | AY1WCMAD3X | statement | record (an 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.30823#BAAF |
| AY2817RA4P | AY2817RA4P | statement | record (an 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.34122#RL6R |
| AY3KWZ3TC5 | AY3KWZ3TC5 | 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.06707#Z217 |
| AY467WT90R | AY467WT90R | 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.28143#1TT9 |
| AY4SY0GP0S | AY4SY0GP0S | statement | open | lebl_ra ch-approximate.tex#thm:fourierlocalization |
| AY53ER5HDR | AY53ER5HDR | statement | record (an 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.33733#4PKS |
| AY613S73AX | AY613S73AX | statement | record (an 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.25449#PNMZ |
| AY6RXMMBK0 | AY6RXMMBK0 | statement | record (an 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.10795#BTDI |
| AY73B4P8TS | AY73B4P8TS | 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.37973#SYC0 |
| AY76ZZ17VW | AY76ZZ17VW | statement | record (an 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.00339#D3NM |
| AY7DTNWNX0 | AY7DTNWNX0 | statement | record (an 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.11652#1SKN |
| AY8P8NS09Y | AY8P8NS09Y | statement | record (an 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.11369#A5VU |
| AY8XTWYWWY | AY8XTWYWWY | statement | record (an 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.40207#D3HX |
| AY90BVKP62 | AY90BVKP62 | statement | open | austin_ula src/section7-5.xml#prop-svd-ols |
| AY95MW3A5R | AY95MW3A5R | proof | open | napkin tex/homology/cup-product.tex#proof-1 |
| AY9AZ5448J | AY9AZ5448J | statement | open | napkin tex/measure/swapsum.tex#lemma-2 |
| AY9SXW3J0M | AY9SXW3J0M | 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.32300#YIZV |
| Ayad | 3Q269BGV5P | statement | record (an 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.20273#YZLR |
| AYAJNV802E | AYAJNV802E | statement | record (an 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.11809#RU8H |
| AYAJVNDB95 | AYAJVNDB95 | statement | record (an 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.36113#GJJM |
| AYB3MW7Q51 | AYB3MW7Q51 | statement | record (an 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.09506#7628 |
| AYB9N9XT7R | AYB9N9XT7R | statement | record (an 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.22153#MTI0 |
| AYC2G31S3F | AYC2G31S3F | statement | open | open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#lem:one-par |
| AYDFA2QAHK | AYDFA2QAHK | statement | record (an 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.07340#5QLQ |
| AYEDQQRR78 | AYEDQQRR78 | 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.31544#3TSA |
| AYEJQX0P5M | AYEJQX0P5M | statement | record (an 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.24860#15UA |
| AYEKN67KRW | AYEKN67KRW | 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 1002.0879#9SUL |
| AYF1DEAH3W | AYF1DEAH3W | 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 2508.21045#OJ85 |
| AYG158TCXY | AYG158TCXY | statement | record (an 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.24314#MRPU |
| AYGSYXM7WH | AYGSYXM7WH | 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 1002.0879#X4X2 |
| AYH8ZFSNGC | AYH8ZFSNGC | statement | record (an 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.32614#SD73 |
| AYJBPZKKJK | AYJBPZKKJK | exercise | open | napkin tex/calculus/taylor.tex#dproblem-2 |
| AYJEG8YW4H | AYJEG8YW4H | statement | record (an 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.07292#YY8R |
| AYJKPFW23S | AYJKPFW23S | statement | record (an 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.10262#U0U6 |
| AYJPFJ8PW4 | AYJPFJ8PW4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#3VIF |
| AYJZ5BYFXE | AYJZ5BYFXE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.2853#7LMS |
| AYKWS211N8 | AYKWS211N8 | statement | record (an 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.00914#HM3P |