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 1101–1200 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A6HFY2HE6R | A6HFY2HE6R | 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 2608.23797#PJDA |
| A6HXGV4M9W | A6HXGV4M9W | statement | record (an 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.00882#X2RJ |
| A6JDKD3E52 | A6JDKD3E52 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#F1VV |
| A6K7NZWFF8 | A6K7NZWFF8 | statement | record (an 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.04874#SC22 |
| A6KTQE7SVA | A6KTQE7SVA | statement | record (an 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.21005#UZOL |
| A6M7728RMN | A6M7728RMN | statement | record (an 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.33108#W3KO |
| A6MKFTX673 | A6MKFTX673 | statement | record (an 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.01958#EW3H |
| A6NS4YME6S | A6NS4YME6S | statement | record (an 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.26041#NPSQ |
| A6P972HSWB | A6P972HSWB | statement | record (an 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.26308#SQVE |
| A6Q43BYKVV | A6Q43BYKVV | statement | record (an 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.02961#QD07 |
| A6QA25YWJ6 | A6QA25YWJ6 | statement | record (an 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.31607#4CN7 |
| A6QBMP4EGP | A6QBMP4EGP | statement | record (an 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#A0UV |
| A6QM7C1XDG | A6QM7C1XDG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#9XYU |
| A6QZEDC368 | A6QZEDC368 | statement | record (an 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#45OP |
| A6R8CPN638 | A6R8CPN638 | statement | record (an 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.29023#6EU6 |
| A6RMRBY8D6 | A6RMRBY8D6 | 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.01888#RTZO |
| A6RPJQ7X0R | A6RPJQ7X0R | exercise | open | napkin tex/set-theory/zfc.tex#exercise-1 |
| A6RYWXM5S0 | A6RYWXM5S0 | statement | record (an 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.21475#VRSQ |
| A6T5A40X95 | A6T5A40X95 | statement | record (an 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#BG8N |
| A6T5YGSWCR | A6T5YGSWCR | 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.09900#736O |
| A6TCWR5PA0 | A6TCWR5PA0 | statement | record (an 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.01433#2SW4 |
| A6V6NC6GT1 | A6V6NC6GT1 | statement | record (an 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.36447#5JGA |
| A6VR4E0VAJ | A6VR4E0VAJ | statement | record (an 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#S72S |
| A6WEA0NMBP | A6WEA0NMBP | statement | record (an 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.20207#XB6N |
| A6WTWG1123 | A6WTWG1123 | 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 2607.00146#MNXX |
| A6XSH61K5A | A6XSH61K5A | 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 2108.10246#QQP6 |
| A6XW62TJKK | A6XW62TJKK | statement | record (an 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.14762#WTAP |
| A6Y1NJQM24 | A6Y1NJQM24 | 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 1204.5958#OSKG |
| A6YDB6KHBJ | A6YDB6KHBJ | statement | open | hott_book reals.tex#thm:NO-unstrict-transitive |
| A6YYJVRY0W | A6YYJVRY0W | 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 2504.18390#52HJ |
| A7041E2TMA | A7041E2TMA | statement | record (an 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.06438#0ZUD |
| A704S14211 | A704S14211 | 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.37815#DXI7 |
| A7075QF23Q | A7075QF23Q | statement | record (an 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.18223#X1E0 |
| A70CGSA2XE | A70CGSA2XE | statement | record (an 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#L702 |
| A70EE8914R | A70EE8914R | statement | record (an 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.39274#GDA6 |
| A70MTJ2121 | A70MTJ2121 | statement | record (an 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.32829#GIVU |
| A719VX5RKX | A719VX5RKX | statement | record (an 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.10558#N287 |
| A71KYY94B9 | A71KYY94B9 | statement | record (an 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#12U6 |
| A73P53MJRG | A73P53MJRG | statement | record (an 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.18302#OLYN |
| A73Y5WZ3XY | A73Y5WZ3XY | statement | record (an 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.26600#RX0Z |
| A75B0572T6 | A75B0572T6 | definition | open | napkin tex/rep-theory/rep-alg.tex#definition-6 |
| A75WBGHV5H | A75WBGHV5H | statement | record (an 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.28650#YO57 |
| A778E7W69V | A778E7W69V | definition | open | open_logic content/sets-functions-relations/arithmetization/rationals.tex#defn-1 |
| A77ATEX914 | A77ATEX914 | statement | record (an 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.10828#PU8K |
| A78ETW7XSR | A78ETW7XSR | statement | record (an 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.16505#X4ET |
| A79422YRJF | A79422YRJF | 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.37520#V2BN |
| A798YNM5ZC | A798YNM5ZC | 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 2110.11143#S2AE |
| A7A4D8802Q | A7A4D8802Q | 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.33469#88OE |
| A7AQ3SK30H | A7AQ3SK30H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#K6GY |
| A7B4M0Q7M3 | A7B4M0Q7M3 | statement | record (an 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#09CK |
| A7B57KZM2J | A7B57KZM2J | statement | record (an 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#JLTQ |
| A7B7DAMT2X | A7B7DAMT2X | statement | record (an 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.24297#7DUN |
| A7BA7NYMAX | A7BA7NYMAX | 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.37520#GDAD |
| A7BH0H5HR1 | A7BH0H5HR1 | statement | record (an 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.05288#92ZQ |
| A7BSMN9DNE | A7BSMN9DNE | statement | record (an 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.15316#KQTD |
| A7C2JY04Z5 | A7C2JY04Z5 | statement | record (an 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.19658#S6LV |
| A7C776NR0F | A7C776NR0F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.01959#CKO5 |
| A7CMGRR2HA | A7CMGRR2HA | statement | record (an 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.09019#2HCP |
| A7CP4WDG5Z | A7CP4WDG5Z | statement | record (an 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.01599#FNSI |
| A7DDVE4JX4 | A7DDVE4JX4 | statement | record (an 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.21963#HZRX |
| A7DJCR2KHF | A7DJCR2KHF | statement | record (an 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.13392#4UKK |
| A7EP0RG9DQ | A7EP0RG9DQ | statement | record (an 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.28076#5LP2 |
| A7FP6B4933 | A7FP6B4933 | statement | record (an 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.08193#NYJL |
| A7FQFSCXAG | A7FQFSCXAG | statement | record (an 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.31304#6JDM |
| A7GMT9HC2Z | A7GMT9HC2Z | proof | open | lebl_ra ch-der.tex#proof-8 |
| A7H0KRPDED | A7H0KRPDED | statement | record (an 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.05198#W9AE |
| A7HY1T903G | A7HY1T903G | proof | open | open_logic content/normal-modal-logic/filtrations/preliminaries.tex#proof-1 |
| A7JMV3B0D2 | A7JMV3B0D2 | statement | record (an 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.28020#4QZL |
| A7JXS15YZ8 | A7JXS15YZ8 | statement | record (an 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.09739#EVDM |
| A7JXY0VNS7 | A7JXY0VNS7 | statement | record (an 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#VP89 |
| A7JY38P4E7 | A7JY38P4E7 | statement | record (an 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.29399#6THU |
| A7KDNF1HSH | A7KDNF1HSH | statement | record (an 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.31365#JZHA |
| A7KFY6A1GP | A7KFY6A1GP | statement | record (an 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.19455#HGT5 |
| A7KPM3ZJ7X | A7KPM3ZJ7X | statement | record (an 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.36877#1WEF |
| A7KYNVPWAX | A7KYNVPWAX | statement | record (an 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.24577#JDDK |
| A7M6X33P2R | A7M6X33P2R | statement | record (an 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#S4IC |
| A7M8ENHD0K | A7M8ENHD0K | statement | record (an 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.31104#2EVL |
| A7MT692R81 | A7MT692R81 | 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.25524#ML8P |
| A7N8Y59RAJ | A7N8Y59RAJ | 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.11031#4K97 |
| A7NNP260FC | A7NNP260FC | statement | record (an 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#HFKR |
| A7PGQ4GBNY | A7PGQ4GBNY | 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.39317#DCWX |
| A7PSHE16VF | A7PSHE16VF | statement | record (an 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.14838#MS7P |
| A7Q700G7F9 | A7Q700G7F9 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-7 |
| A7R5QSZBD3 | A7R5QSZBD3 | exercise | open | open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prob-2 |
| A7SKNREYX7 | A7SKNREYX7 | 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 2110.11143#976O |
| A7SMM44PCV | A7SMM44PCV | 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.01433#K8R1 |
| A7TJMBXNC2 | A7TJMBXNC2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.16669#LUAE |
| A7TPEB9F1G | A7TPEB9F1G | statement | record (an 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.15736#7DYQ |
| A7TQTDMRFR | A7TQTDMRFR | 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.08424#KJ2W |
| A7TTADM1M2 | A7TTADM1M2 | statement | record (an 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.19464#K4P4 |
| A7V78KFP56 | A7V78KFP56 | statement | record (an 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#VMX8 |
| A7V7VZ36BF | A7V7VZ36BF | statement | record (an 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.09464#HHCD |
| A7WCSHVQ1C | A7WCSHVQ1C | statement | record (an 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.36823#EFGK |
| A7YRFZT3JP | A7YRFZT3JP | statement | record (an 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.20311#WO02 |
| A7Z2DVPRCJ | A7Z2DVPRCJ | 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.05696#5UGT |
| A7Z8NYX7BX | A7Z8NYX7BX | exercise | open | lebl_ra ch-real-nums.tex#exercise-11 |
| A7ZF4G4PMR | A7ZF4G4PMR | statement | record (an 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.10372#KQY7 |
| A7ZTV59DEN | A7ZTV59DEN | 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.31300#GM6O |
| A804KTSS91 | A804KTSS91 | statement | record (an 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.27931#N6KK |
| A80657QCR1 | A80657QCR1 | statement | record (an 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#C673 |