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 2701–2800 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AJ1PS11TVV | AJ1PS11TVV | statement | open | napkin tex/alg-geom/bezout.tex#corollary-2 |
| AJ2QAW642V | AJ2QAW642V | statement | record (an 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.05232#0CDR |
| AJ3N9TT787 | AJ3N9TT787 | statement | record (an 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.32439#JTX5 |
| AJ4Q765BBW | AJ4Q765BBW | statement | record (an 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.28009#L19Y |
| AJ514GEV7J | AJ514GEV7J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#96JH |
| AJ5DRV4P2N | AJ5DRV4P2N | proof | open | open_logic content/first-order-logic/completeness/compactness.tex#proof-1 |
| AJ5P41D6AX | AJ5P41D6AX | statement | record (an 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.33679#S6ZK |
| AJ5VY0KKE2 | AJ5VY0KKE2 | statement | record (an 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.18555#M74A |
| AJ6DTMVWQP | AJ6DTMVWQP | statement | record (an 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#PSG5 |
| AJ7NS3CBC6 | AJ7NS3CBC6 | 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.20915#TQPN |
| AJ9FA05QSH | AJ9FA05QSH | statement | record (an 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.30200#5OLO |
| AJ9T6941P3 | AJ9T6941P3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20238#YUPJ |
| AJ9Y6PFQCV | AJ9Y6PFQCV | 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#A8HU |
| AJA1T167NH | AJA1T167NH | exercise | open | active_calculus source/activities/act-6-3-2.xml#act-6-3-2 |
| AJB8C5PGPN | AJB8C5PGPN | statement | record (an 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.08873#T3VH |
| AJC37G2CM8 | AJC37G2CM8 | exercise | open | austin_ula src/section3-5.xml#activity-3 |
| AJC8T79BG0 | AJC8T79BG0 | statement | record (an 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.16883#2L61 |
| AJDFTWGW11 | AJDFTWGW11 | 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 2510.12502#S8R6 |
| AJDM1Y18BC | AJDM1Y18BC | statement | record (an 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.30579#E2A8 |
| AJDN96DMKY | AJDN96DMKY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#1JZK |
| AJEK63MRS8 | AJEK63MRS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#2X53 |
| AJEM2FW21T | AJEM2FW21T | 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 2404.06445#FXCI |
| AJEM3RGK0R | AJEM3RGK0R | statement | record (an 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#MFWF |
| AJESG0KSH1 | AJESG0KSH1 | statement | record (an 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.13114#SJ3G |
| AJF0VGJRV1 | AJF0VGJRV1 | statement | record (an 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.11757#FCKX |
| AJF3VAJ6M4 | AJF3VAJ6M4 | statement | record (an 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.40290#ORX0 |
| AJF7K5PKYC | AJF7K5PKYC | statement | record (an 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#IDI0 |
| AJFC5A9M6A | AJFC5A9M6A | proof | open | applied_combinatorics source/s_induction_proofs.ptx#proof-2 |
| AJG884CZ22 | AJG884CZ22 | statement | record (an 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.30407#ZU7Y |
| AJGRRC384E | AJGRRC384E | 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 1903.07030#J77U |
| AJH695G9RZ | AJH695G9RZ | statement | record (an 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.38436#TALD |
| AJH7JQB3EZ | AJH7JQB3EZ | statement | record (an 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#I3L5 |
| AJHCSKW143 | AJHCSKW143 | statement | record (an 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#83VD |
| AJHDZD66N1 | AJHDZD66N1 | 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.02944#WEGK |
| AJHFA3WMY7 | AJHFA3WMY7 | statement | open | hott_book hlevels.tex#thm:modal-mono |
| AJHXTFQAY0 | AJHXTFQAY0 | exercise | open | lebl_scv scv.tex#exercise-304 |
| AJHY5NAT1A | AJHY5NAT1A | statement | record (an 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#VXT0 |
| AJJ43F3JF6 | AJJ43F3JF6 | statement | record (an 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#CKJ9 |
| AJJN7JC602 | AJJN7JC602 | statement | open | open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#prop-1 |
| AJK9EK3829 | AJK9EK3829 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.14306#VUBR |
| AJM880QS0H | AJM880QS0H | statement | record (an 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.13852#XQ74 |
| AJN inequality | QKA5T1J7VC | statement | record (an 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#3F4X |
| AJN-Geometric datum | HZKAS4HRA7 | 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 2206.11809#9EI2 |
| AJN4WPC7MM | AJN4WPC7MM | proof | open | napkin tex/linalg/vector-space.tex#proof-2 |
| AJNTVA5HEX | AJNTVA5HEX | statement | open | applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#lem_graphalgorithms_tech |
| AJP0KXW6SQ | AJP0KXW6SQ | statement | record (an 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.16814#TQE4 |
| AJP1J9XMVR | AJP1J9XMVR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.19073#FDSC |
| AJP23QA10S | AJP23QA10S | statement | record (an 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.34295#YXI0 |
| AJP9DP7P64 | AJP9DP7P64 | 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.15744#KCAK |
| AJPM31PB1R | AJPM31PB1R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#IMIS |
| AJPZ4XFCZ0 | AJPZ4XFCZ0 | statement | record (an 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#UVSG |
| AJQGWVN7HJ | AJQGWVN7HJ | statement | record (an 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.33018#GG4J |
| AJQMEEEW69 | AJQMEEEW69 | statement | record (an 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#GFMB |
| AJR4GMKPKC | AJR4GMKPKC | exercise | open | austin_ula src/exercises/exercises5-1.xml#exercise-3 |
| AJRWE1B27A | AJRWE1B27A | 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.18219#CRMC |
| AJT5WBDFZM | AJT5WBDFZM | statement | record (an 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.28540#E1AJ |
| Ajtai, Komlós, Szemerédi , Fernandez de la Vega | JQK6KXMYGB | statement | record (an 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.28552#F99Z |
| Ajtai, Komlós, Szemerédi ; Bollob\'{a}s, Kohayakawa, \L uczak | SKXEX3TVNR | statement | record (an 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.28552#KAM6 |
| AJTC6TETFZ | AJTC6TETFZ | example | open | lebl_ra ch-real-nums.tex#example-4 |
| AJTDFRGC5B | AJTDFRGC5B | statement | record (an 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.17476#XNF1 |
| AJTGGYV1JS | AJTGGYV1JS | statement | record (an 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#EGR0 |
| AJTPY7NAXV | AJTPY7NAXV | statement | record (an 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.36714#P299 |
| AJTT4R2X26 | AJTT4R2X26 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02261#0PIY |
| AJV63ZZCQY | AJV63ZZCQY | statement | open | open_logic content/proof-theory/normalization/normalization-thm.tex#thm:normalization-N2i |
| AJVQTRG2A8 | AJVQTRG2A8 | statement | record (an 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.10958#O8Y2 |
| AJVZXH7BD5 | AJVZXH7BD5 | statement | open | applied_combinatorics source/s_background_finite-sets.ptx#exe_sb |
| AJWM62171M | AJWM62171M | statement | record (an 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.29326#AINW |
| AJX1AR1QW0 | AJX1AR1QW0 | example | open | levin_dmoi ptx/sec_seq-induction.ptx#example-2 |
| AJX73N8160 | AJX73N8160 | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-2 |
| AJXR37FWY3 | AJXR37FWY3 | statement | record (an 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#5UP2 |
| AJXZX9M31E | AJXZX9M31E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv dg-ga/9612010#9G7F |
| AJYEGHD2W8 | AJYEGHD2W8 | 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.01915#ODHE |
| AJYQRMZ9DZ | AJYQRMZ9DZ | statement | record (an 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.33383#7N65 |
| AJZ9AAB93F | AJZ9AAB93F | statement | record (an 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.14319#7G6Q |
| AJZFYFVJR6 | AJZFYFVJR6 | statement | record (an 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.02672#NFLJ |
| AK0H20K6WY | AK0H20K6WY | statement | record (an 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.26996#XM1Y |
| AK0PEVPH9W | AK0PEVPH9W | 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.10745#HBRN |
| AK11C0QPA5 | AK11C0QPA5 | statement | record (an 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#X8L0 |
| AK12P8E0PQ | AK12P8E0PQ | statement | record (an 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.01267#VGZN |
| AK1BDZE70G | AK1BDZE70G | statement | record (an 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.17258#8CP8 |
| AK20WRT5BM | AK20WRT5BM | 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.04603#GFEA |
| AK252AJCJC | AK252AJCJC | statement | record (an 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#IMHU |
| AK325HM2ZC | AK325HM2ZC | statement | record (an 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.25255#HBUE |
| AK37PCAZ9E | AK37PCAZ9E | statement | record (an 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.39793#R173 |
| AK3P0VGWKY | AK3P0VGWKY | statement | record (an 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.07695#E8TE |
| AK3VEMHB2P | AK3VEMHB2P | statement | record (an 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.08081#4AZ0 |
| AK43AC1FT8 | AK43AC1FT8 | statement | record (an 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.21036#W404 |
| AK43FFAT91 | AK43FFAT91 | statement | record (an 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.36389#D9FH |
| AK4JHXE9YX | AK4JHXE9YX | statement | record (an 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.04608#Q2QO |
| AK4JSQDG8V | AK4JSQDG8V | statement | record (an 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.20131#56IC |
| AK4NB8SD0Y | AK4NB8SD0Y | statement | record (an 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.34295#6CRG |
| AK5S1E56HK | AK5S1E56HK | statement | record (an 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.11433#GOOY |
| AK5TNQ5S64 | AK5TNQ5S64 | 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.21181#8HST |
| AK6FAQBW5Q | AK6FAQBW5Q | statement | record (an 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.29624#UHLN |
| AK6GG6XZ9A | AK6GG6XZ9A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#9XUM |
| AK6MWFD5DR | AK6MWFD5DR | statement | record (an 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.04809#G6MG |
| AK6SDDYQ4H | AK6SDDYQ4H | statement | record (an 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.18632#7CY9 |
| AK769T727V | AK769T727V | proof | open | lebl_ra ch-seq-ser.tex#proof-4 |
| AK7K2ZBZC8 | AK7K2ZBZC8 | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:valid-instances |
| AK7PDPXWTS | AK7PDPXWTS | statement | record (an 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#HE92 |