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 2201–2300 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ADSPSW5XF2 | ADSPSW5XF2 | statement | record (an 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.10773#P1XU |
| ADTGZPHRG9 | ADTGZPHRG9 | statement | open | hott_book equivalences.tex#thm:nobject-classifier-appetizer |
| ADV1C7D129 | ADV1C7D129 | statement | record (an 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.36022#D1ZC |
| ADV6NESRNK | ADV6NESRNK | statement | record (an 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.06440#XDV0 |
| Advanced Encryption Standard | TGKGZXJXAJ | definition | open | Wikidata Q190746, ProofWiki Definition:Advanced_Encryption_Standard |
| Advantage of Parametric Hypothesis Space | STDNXSHR85 | statement | record (an 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.33695#GTI3 |
| advection | SFX3EK4CE1 | topic | open | Wikidata Q379788 |
| adverb | Q57TP19RJ7 | concept | open | hott_book index/6.7/adverb |
| adverb | YNP27E672C | concept | open | hott_book index/9.10/adverb |
| Adversarial contamination | 3DVJDN2Y2F | statement | record (an 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.15974#7VPV |
| Adversarial risk | TW21YGFCCV | statement | record (an 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.31363#ZSAN |
| Advice generator | AZCGJ3FBQ5 | statement | record (an 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.02407#02WL |
| ADVR5M1Q7B | ADVR5M1Q7B | statement | record (an 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.15010#ISDP |
| ADWDFRCBBA | ADWDFRCBBA | statement | record (an 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.04325#OGD7 |
| ADWMQ373Q0 | ADWMQ373Q0 | 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#6BMV |
| ADXAAWMA1N | ADXAAWMA1N | statement | record (an 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.37466#D1CK |
| ADXJMMDWRE | ADXJMMDWRE | 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.10591#IFX0 |
| ADXQ11SMAF | ADXQ11SMAF | 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.33512#ESCH |
| ADXVQXJ07A | ADXVQXJ07A | 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.21355#IJB9 |
| ADXWJ8A7RF | ADXWJ8A7RF | statement | record (an 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.27974#VSCD |
| ADYNNZNQKT | ADYNNZNQKT | statement | record (an 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.07485#YPPB |
| ADYXNY2ZPC | ADYXNY2ZPC | 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.24845#E8R9 |
| ADZF0XZV5G | ADZF0XZV5G | 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.09810#8DRI |
| ADZPJTJ0Y9 | ADZPJTJ0Y9 | statement | record (an 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.17116#5CW7 |
| ADZWFVPB2F | ADZWFVPB2F | statement | open | hott_book induction.tex#thm-5 |
| Adámek's fixed point theorem | S1SFAQFNWK | statement | record (an 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.14678#9AEZ |
| Adámek's fixed point theorem | WAHSJQY4AG | statement | record (an 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.14678#2NSS |
| AE0NHTQ2FX | AE0NHTQ2FX | 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 2409.00806#5FRA |
| AE1T51NHZW | AE1T51NHZW | statement | record (an 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.26701#M41I |
| AE1V8MYX7N | AE1V8MYX7N | statement | record (an 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.31289#U6O2 |
| AE1ZNB6DFG | AE1ZNB6DFG | statement | record (an 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#6CZX |
| AE20AQ0BSH | AE20AQ0BSH | statement | record (an 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.20577#VCAP |
| AE24V662K4 | AE24V662K4 | 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.31907#BMX3 |
| AE283ZJAZZ | AE283ZJAZZ | 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 2208.06310#D6TQ |
| AE2K6SKG8V | AE2K6SKG8V | definition | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#definition-1 |
| AE2WZC44DD | AE2WZC44DD | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/tautological-instances.tex#defn-1 |
| AE3R0RRY7B | AE3R0RRY7B | statement | record (an 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.01806#DWKI |
| AE575A9Z08 | AE575A9Z08 | statement | record (an 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#O40R |
| AE5FEDBBJP | AE5FEDBBJP | statement | record (an 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.02061#5CAN |
| AE5Z1W6DX3 | AE5Z1W6DX3 | 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.35577#W28Y |
| AE6YQ3G85F | AE6YQ3G85F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#HX4X |
| AE7GA80ER5 | AE7GA80ER5 | statement | record (an 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.39246#DM79 |
| AE7K6RG9HC | AE7K6RG9HC | unknown | open | |
| AE7NZP93WR | AE7NZP93WR | statement | record (an 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.26769#CJ5J |
| AE89P9TH6X | AE89P9TH6X | statement | record (an 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.12857#BYOS |
| AE8AVBPDPV | AE8AVBPDPV | statement | record (an 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.06556#ZPOW |
| AE8F8N99X4 | AE8F8N99X4 | 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.03619#ECAG |
| AE8YZP53HB | AE8YZP53HB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10212#16XW |
| AE9B3Y6MJR | AE9B3Y6MJR | statement | record (an 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.01656#OFYR |
| AEA6P9FA14 | AEA6P9FA14 | unknown | open | arXiv 2610.13680#4K8F |
| AEACM552KX | AEACM552KX | statement | record (an 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.09897#J7WO |
| AEAG4F4MXC | AEAG4F4MXC | 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 1204.5958#YD7I |
| AEASTXCE0S | AEASTXCE0S | example | open | lebl_diffyqs ch-systems.tex#example:simplesystem |
| AEBFC4R2H7 | AEBFC4R2H7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05923#6FJR |
| AEBPK73VPP | AEBPK73VPP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#FZJ0 |
| AEBQRRMSVF | AEBQRRMSVF | statement | record (an 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.09483#ZIM4 |
| AECANH4T9C | AECANH4T9C | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-125 |
| AECSXJF26M | AECSXJF26M | 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 0906.4245#JIQB |
| AED2GYQPNK | AED2GYQPNK | statement | record (an 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.17045#UGKN |
| AED917XTQE | AED917XTQE | 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#OHOJ |
| AED970VC7W | AED970VC7W | statement | record (an 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#WZ45 |
| AEDCT01GSY | AEDCT01GSY | statement | record (an 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.12669#GT1P |
| AEE9SETX30 | AEE9SETX30 | statement | record (an 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.28282#Y1E3 |
| AEEPMZN0HP | AEEPMZN0HP | definition | open | open_logic content/computability/recursive-functions/general-recursive-functions.tex#defn:general-recursive |
| AEF3JZHBGA | AEF3JZHBGA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.17318#NZ5N |
| AEF4D5TVGC | AEF4D5TVGC | statement | record (an 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.29824#5831 |
| AEGCRYGDVX | AEGCRYGDVX | statement | record (an 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.26019#VF4T |
| AEH6Q6WB2R | AEH6Q6WB2R | statement | record (an 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#U7AJ |
| AEHB1HH3XW | AEHB1HH3XW | statement | record (an 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.17477#A4LB |
| AEHBXCB2WR | AEHBXCB2WR | example | open | ernst_ibl MAAPressVersion/Relations.tex#ex:circle |
| AEHNVBBQWY | AEHNVBBQWY | statement | record (an 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.28774#FTDX |
| AEJ8SQFPWT | AEJ8SQFPWT | exercise | open | applied_combinatorics source/s_basics_exercises.ptx#exercise-2 |
| AEJJA7BWB4 | AEJJA7BWB4 | statement | record (an 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.08424#I7SA |
| AEKBRH86S1 | AEKBRH86S1 | 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#MW11 |
| AEKEZ8SFPK | AEKEZ8SFPK | exercise | open | hott_book equivalences.tex#ex:2-out-of-6 |
| AEKJZ37S9A | AEKJZ37S9A | 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.02061#508L |
| AEKSS1ASA9 | AEKSS1ASA9 | statement | record (an 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.00021#YK4N |
| AEL lift for folded LCL | SBSAQJB1YG | statement | record (an 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.40252#6I3Z |
| AEL-robust folded LCL | VT4YNPHAB5 | 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.40252#36A0 |
| AEL-robust relative subspace design | XSWVYG554M | 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.40252#TXRT |
| AEM18Y8ZCZ | AEM18Y8ZCZ | statement | open | open_logic content/first-order-logic/sequent-calculus/soundness.tex#cor:consistency-soundness |
| AEM5F36ZAG | AEM5F36ZAG | 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.36181#UKFQ |
| AEMFM8R0E8 | AEMFM8R0E8 | statement | record (an 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.24584#7FXD |
| AEMW7MHC6W | AEMW7MHC6W | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-70 |
| AEN84JVNVE | AEN84JVNVE | 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.11905#J1P2 |
| AENCVRXF38 | AENCVRXF38 | statement | record (an 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.13271#RTBO |
| AEP3S3GB8W | AEP3S3GB8W | statement | record (an 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#9IJ4 |
| AEPA21KAN6 | AEPA21KAN6 | 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.00914#537F |
| AEQ8S19X4W | AEQ8S19X4W | statement | record (an 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.12565#5WBN |
| AER75221XT | AER75221XT | 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.18226#HWP3 |
| AES8H6TT35 | AES8H6TT35 | statement | record (an 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.28893#PHGZ |
| AESBJ4DDWQ | AESBJ4DDWQ | statement | record (an 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.04069#3UD6 |
| AET8J5KAWD | AET8J5KAWD | statement | record (an 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.33313#EEZW |
| AETE3PYR7W | AETE3PYR7W | 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.22317#DEDX |
| AETY5NP6S6 | AETY5NP6S6 | statement | record (an 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.33820#YTFQ |
| AETZHPPWFA | AETZHPPWFA | statement | record (an 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.13962#45Y0 |
| AEVNXSECGN | AEVNXSECGN | statement | record (an 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.11800#IRFM |
| AEWRYCSMC5 | AEWRYCSMC5 | 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.19787#64DZ |
| AEX7BQ4PVT | AEX7BQ4PVT | 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.29531#V9V6 |
| AEXRTVRPXS | AEXRTVRPXS | statement | record (an 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.20915#1PXT |