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 4001–4100 of 14276.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AH2NJ4YG0C | AH2NJ4YG0C | statement | record (an 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.02689#TLE5 |
| AH2P26JF03 | AH2P26JF03 | statement | record (an 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.10559#5ZY9 |
| AH3AM29DAD | AH3AM29DAD | unknown | open | arXiv 2005.03073#RZ7D |
| AH3X2V59CE | AH3X2V59CE | proof | open | hott_book equivalences.tex#proof-25 |
| AH3ZTJ63BA | AH3ZTJ63BA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.12181#7WP0 |
| AH4VH4AP23 | AH4VH4AP23 | statement | record (an 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.32903#37AD |
| AH5ER8WP99 | AH5ER8WP99 | statement | record (an 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.29699#CAN6 |
| AH5ETQ1PSC | AH5ETQ1PSC | statement | record (an 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.24235#MKXF |
| AH5Y23EX0K | AH5Y23EX0K | statement | record (an 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#N5WR |
| AH66FTHYFJ | AH66FTHYFJ | statement | record (an 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.33238#FN57 |
| AH6E6F4NFB | AH6E6F4NFB | statement | record (an 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.33829#EVXZ |
| AH6YN5121V | AH6YN5121V | 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.35102#LJ90 |
| AH791QCRV4 | AH791QCRV4 | statement | record (an 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.13883#B6X8 |
| AH7JXGFK5N | AH7JXGFK5N | statement | record (an 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#MNS8 |
| AH7X576F6R | AH7X576F6R | statement | record (an 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.15393#FBHQ |
| AH81XD4XV6 | AH81XD4XV6 | statement | record (an 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.11145#PIE3 |
| AH82NQVN7D | AH82NQVN7D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.03909#T91I |
| AH8KJN3NMT | AH8KJN3NMT | statement | record (an 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.20656#0OIA |
| AH8Z48E4B6 | AH8Z48E4B6 | statement | record (an 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.36412#SFYA |
| AH934EH4FB | AH934EH4FB | 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.13295#XRZ1 |
| AH951B1Y1N | AH951B1Y1N | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-29 |
| AH984CE98R | AH984CE98R | statement | record (an 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.23503#3V66 |
| AH9CWNZ923 | AH9CWNZ923 | statement | record (an 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.03327#T3UY |
| AH9FDGBB9X | AH9FDGBB9X | statement | record (an 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.07943#0N60 |
| AH9Z0RP1F6 | AH9Z0RP1F6 | statement | record (an 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.05914#HVVE |
| AHA7RCTA9J | AHA7RCTA9J | statement | record (an 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#1E9O |
| AHA83628Z8 | AHA83628Z8 | statement | record (an 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.39890#DYBT |
| Aharoni-Korman conjecture | NP6P65V085 | unknown | open | Wikipedia List of conjectures#DMAG |
| Aharonov-Bohm nano rings | MC23PBRGVM | unknown | open | Wikipedia Aharonov–Bohm effect#A0OH |
| Aharonov–Bohm effect | 5AXMPQR7MR | definition | open | Wikipedia Aharonov–Bohm effect, Wikidata Q400083 |
| Aharonov–Jones–Landau algorithm | 9C602ZWSKT | unknown | open | Wikipedia List of algorithms#ZGR6 |
| AHASGZY31C | AHASGZY31C | statement | record (an 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.15942#XG24 |
| AHB2N7PD6B | AHB2N7PD6B | statement | record (an 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#0Z40 |
| AHB5SNRMP6 | AHB5SNRMP6 | statement | record (an 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.15416#90L1 |
| AHBNDGMFVQ | AHBNDGMFVQ | statement | record (an 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.26948#4FND |
| AHBR4M12HA | AHBR4M12HA | 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.05259#SJTC |
| AHBW0KYTAB | AHBW0KYTAB | statement | record (an 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.26162#1BH9 |
| AHC71D6G49 | AHC71D6G49 | statement | record (an 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/0406514#7EOA |
| AHCS3GX1A4 | AHCS3GX1A4 | statement | record (an 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.17227#G1R9 |
| AHD8NQN7DB | AHD8NQN7DB | statement | record (an 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#EM29 |
| AHE0PD60KJ | AHE0PD60KJ | 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.37893#BDPQ |
| AHFRC2ZATD | AHFRC2ZATD | statement | record (an 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.25409#I3SO |
| AHFXH6NBBB | AHFXH6NBBB | exercise | open | lebl_scv scv.tex#exercise-214 |
| AHG6238SCC | AHG6238SCC | 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#9AOF |
| AHG6Q9ZMNY | AHG6Q9ZMNY | statement | record (an 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#2BHW |
| AHHBREP5MK | AHHBREP5MK | statement | record (an 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.22170#KLJ6 |
| AHHDN9MEY3 | AHHDN9MEY3 | statement | record (an 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.21655#F32K |
| AHHFDMR87M | AHHFDMR87M | 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#465X |
| AHK51BT9KX | AHK51BT9KX | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-21 |
| Ahlfors finiteness theorem | WMS2EKSDTT | statement | open | Wikipedia Ahlfors finiteness theorem, Wikidata Q4695185 |
| Ahlfors measure conjecture | C8X48NFWNQ | statement | open | Wikipedia Ahlfors measure conjecture, Wikidata Q4695182 |
| Ahlfors regularity and singular neighbourhoods | NJ8FQ2QZAH | statement | record (an 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.05064#G0XZ |
| Ahlfors theory | 4W6ADJQ29Q | definition | open | Wikipedia List of complex analysis topics#NFCK |
| Ahlfors theory | 91ANJ9XDHB | definition | open | Wikipedia Ahlfors theory, Wikidata Q4695186 |
| Ahlfors theory | ZV73288G7V | definition | open | Wikipedia Glossary of areas of mathematics#KP6Z |
| Ahlfors--Beurling | 5VW10M0AE7 | statement | record (an 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.24307#UE7X |
| Ahlswede-Zhang identity | GNGHGRZ1HW | unknown | open | mathlib_overview Combinatorics > Set families > Ahlswede-Zhang identity, Mathlib AhlswedeZhang.infSum_eq_one |
| Ahlswede–Daykin inequality | JXAHT6JVRD | statement | open | Wikipedia List of inequalities#0Q2X |
| Ahlswede–Daykin inequality | ZFX2NFCGJE | statement | open | mathlib_1000 Q4695203, Mathlib four_functions_theorem, Wikidata Q4695203, mathlib_overview Combinatorics > Set families > Four functions theorem, thousand_plus Q4695203, Wikipedia Four functions theorem, Wikipedia Ahlswede–Daykin inequality |
| Ahlswede–Khachatrian theorem | 4BF3XCE5Z5 | statement | open | Wikipedia Ahlswede–Khachatrian theorem, Wikidata Q123881455 |
| AHM765YH1A | AHM765YH1A | statement | record (an 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.02275#O874 |
| Ahmad al-Qalqashandi | BWA8849N3H | topic | open | Wikipedia List of cryptographers#GINQ |
| Ahmed Abbes | 1MZKV2FNAR | topic | open | Wikipedia Ahmed Abbes, Wikidata Q61919485 |
| Ahmed Almheiri | JE1JCAHBED | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q75776525, nLab Ahmed Almheiri |
| Ahmed I. Zayed | XXJ3GN9F9Q | topic | open | Wikipedia Ahmed I. Zayed, Wikidata Q4695857 |
| Ahmed Raza Khan | YQJ334XQ9P | unknown | open | Wikipedia List of logicians#0P8I |
| AHMEKYMTW3 | AHMEKYMTW3 | statement | record (an 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#DTGC |
| Ahmes | 49HXPN492R | definition | out_of_scope (a person, not an item of mathematics) | Wikidata Q1073335, ProofWiki Mathematician:Ahmes, Wikipedia Ahmes |
| Ahmes | FY6JP6VACT | definition | open | Wikipedia List of publications in mathematics#OY1A |
| Ahmet Alkan | P4H99ZXRPJ | unknown | open | Wikipedia List of people by Erdős number#S820 |
| AHMGZ51PZ7 | AHMGZ51PZ7 | statement | record (an 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#M6JG |
| AHN6AB1QSZ | AHN6AB1QSZ | statement | record (an 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.19861#QOV0 |
| AHNZGRGSGX | AHNZGRGSGX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#01MO |
| AHNZWXBQM5 | AHNZWXBQM5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06473#9CG6 |
| AHPT1P8SN8 | AHPT1P8SN8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.01576#NRY4 |
| AHPWQJFBMZ | AHPWQJFBMZ | statement | record (an 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.19358#UAW9 |
| AHQ4SHG0Y6 | AHQ4SHG0Y6 | statement | record (an 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.29531#L4UU |
| AHQ579XH9J | AHQ579XH9J | statement | record (an 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.32505#Z3K6 |
| AHQ73WTTA0 | AHQ73WTTA0 | statement | record (an 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.30663#H2Q9 |
| AHQEJDSB70 | AHQEJDSB70 | statement | record (an 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#YOWM |
| AHQM1D9ETM | AHQM1D9ETM | statement | record (an 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.36181#FZ5T |
| AHQPBKA54C | AHQPBKA54C | statement | record (an 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#YLPQ |
| AHQQT8YSJX | AHQQT8YSJX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1808.00180#YQAQ |
| AHREAWEBMW | AHREAWEBMW | 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.21274#USBC |
| AHRPXR5PG0 | AHRPXR5PG0 | statement | record (an 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.09561#36CW |
| AHSQK8NGWE | AHSQK8NGWE | statement | record (an 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.34570#J0VS |
| AHSVA0D1E2 | AHSVA0D1E2 | statement | record (an 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.30354#P4MR |
| AHT2SSWYTC | AHT2SSWYTC | statement | record (an 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.15367#BYN3 |
| AHTBW18536 | AHTBW18536 | statement | record (an 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.16875#ZEEW |
| AHTFF34R5C | AHTFF34R5C | statement | record (an 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.23682#CO0X |
| Ahtime, Laura | 6P3N3V7CCG | topic | open | Wikipedia List of statisticians#2TQ1 |
| Ahto Buldas | D0MH3PJDC6 | topic | open | Wikipedia Ahto Buldas, Wikidata Q4696389 |
| AHTTXJW0QQ | AHTTXJW0QQ | statement | record (an 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.03559#MO08 |
| AHVARFRFW1 | AHVARFRFW1 | statement | record (an 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.26452#8QHP |
| AHVBJD63S5 | AHVBJD63S5 | statement | record (an 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.13213#AY6A |
| AHW3118HPE | AHW3118HPE | statement | record (an 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.08357#SRC4 |
| AHW3A3WHE2 | AHW3A3WHE2 | statement | record (an 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.11047#QDV4 |
| AHXXBYXQQE | AHXXBYXQQE | statement | record (an 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.12689#89KE |
| AHY0ANAQZB | AHY0ANAQZB | statement | record (an 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.37967#P1QI |
| AHY2P3V8GC | AHY2P3V8GC | 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.27301#R2RU |