Inventory: J
The rows of the inventory whose names start with J. 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 501–600 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| J5WSE80RMZ | J5WSE80RMZ | 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.25472#TI8O |
| J5X3SCFYNJ | J5X3SCFYNJ | 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.31274#JKR6 |
| J5X7TZ1985 | J5X7TZ1985 | statement | record (an 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.16069#AOJ1 |
| J5XAF8KYEA | J5XAF8KYEA | statement | record (an 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.36045#BYKK |
| J5XDHP5241 | J5XDHP5241 | statement | record (an 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.40054#3MKB |
| J5XVK9NYWE | J5XVK9NYWE | statement | record (an 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.19449#KXH1 |
| J5Y7KNX9SZ | J5Y7KNX9SZ | 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#0CKX |
| J5Y9EF6A63 | J5Y9EF6A63 | 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 2306.12846#GOOG |
| J5YF0N7SSV | J5YF0N7SSV | statement | record (an 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#A3WC |
| J5ZFG5W2CF | J5ZFG5W2CF | statement | record (an 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.03568#LADB |
| J5ZJ80K5WG | J5ZJ80K5WG | 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.36884#PJHG |
| J60903WX3D | J60903WX3D | statement | record (an 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.24465#DWHQ |
| J60BW70HHP | J60BW70HHP | statement | record (an 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.32233#B4R4 |
| J60NFHK1CH | J60NFHK1CH | statement | record (an 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#L0DG |
| J60QWE4M4K | J60QWE4M4K | statement | record (an 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.01498#1TVF |
| J60QY29RS2 | J60QY29RS2 | statement | record (an 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.14055#VO2Z |
| J60ZA9QRYN | J60ZA9QRYN | 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.28203#PJJO |
| J61BE5XS59 | J61BE5XS59 | definition | open | open_logic content/sets-functions-relations/arithmetization/integers.tex#defn-1 |
| J61HMXNKT9 | J61HMXNKT9 | statement | record (an 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#9KTZ |
| J61NVJ5AC9 | J61NVJ5AC9 | 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.08091#SI4C |
| J61X2XAXG3 | J61X2XAXG3 | statement | record (an 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#EAJX |
| J634P15TZT | J634P15TZT | statement | record (an 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#XTYB |
| J63DV3421W | J63DV3421W | statement | record (an 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.12908#TKNZ |
| J640RVA1WK | J640RVA1WK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00517#C0XQ |
| J642MWSQJQ | J642MWSQJQ | 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.04730#E18K |
| J6468MYGJH | J6468MYGJH | statement | record (an 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.14236#2LEM |
| J64H3WDZ2X | J64H3WDZ2X | statement | record (an 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#4M9F |
| J64J8Y2BW5 | J64J8Y2BW5 | statement | record (an 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.33219#S56W |
| J64KSG8MMA | J64KSG8MMA | 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.19285#E3RY |
| J64RREYFAP | J64RREYFAP | statement | record (an 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.16706#5DT1 |
| J64WHDWS1D | J64WHDWS1D | statement | record (an 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.04434#MUVV |
| J65FPPQ5QP | J65FPPQ5QP | statement | record (an 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.22090#B9L0 |
| J65K16CA2A | J65K16CA2A | statement | record (an 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.16655#HV1R |
| J65MKAZ601 | J65MKAZ601 | statement | record (an 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.18562#QIB4 |
| J65RNDAMFN | J65RNDAMFN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.11038#M18P |
| J66B0PG86K | J66B0PG86K | statement | record (an 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.12619#0SRL |
| J66E24RV6V | J66E24RV6V | statement | record (an 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#VSD8 |
| J66R5GMTER | J66R5GMTER | statement | record (an 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.36444#RRR6 |
| J66RT3ZYB6 | J66RT3ZYB6 | statement | record (an 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.20558#T1LR |
| J673JXVKB2 | J673JXVKB2 | statement | record (an 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.09645#BYVH |
| J675476AHT | J675476AHT | proof | open | hott_book reals.tex#proof-1 |
| J6765MS20E | J6765MS20E | statement | record (an 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.19132#SJ8S |
| J6789JC3NN | J6789JC3NN | 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.03745#GER6 |
| J68QY8NJ1A | J68QY8NJ1A | exercise | open | hott_book categories.tex#ex:2strict-cat |
| J68XY7HNN1 | J68XY7HNN1 | 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.26438#AJTG |
| J692V17M7S | J692V17M7S | statement | record (an 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#T643 |
| J693YVP3S5 | J693YVP3S5 | statement | record (an 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.39307#S2HM |
| J69AJM9QDX | J69AJM9QDX | statement | record (an 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.17181#RLJ9 |
| J69KPBEDDN | J69KPBEDDN | statement | record (an 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.14582#C7BZ |
| J6A6TDD4D1 | J6A6TDD4D1 | statement | record (an 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.25457#9RR8 |
| J6AAHQQ5RR | J6AAHQQ5RR | statement | record (an 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.04694#YRV1 |
| J6AFQWZ1F9 | J6AFQWZ1F9 | statement | record (an 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.09945#GYCZ |
| J6AQEBT7CF | J6AQEBT7CF | statement | record (an 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#GVNX |
| J6AS6QD0ZC | J6AS6QD0ZC | 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 2312.06581#8MCG |
| J6AXXZQHM1 | J6AXXZQHM1 | 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.22288#2WQR |
| J6BYZVHZ5V | J6BYZVHZ5V | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-7 |
| J6D2QN5GB5 | J6D2QN5GB5 | statement | record (an 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.18152#YLL5 |
| J6D4K866T1 | J6D4K866T1 | statement | open | hott_book logic.tex#lem:equiv-iff-hprop |
| J6DAFHMJQR | J6DAFHMJQR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.19866#6HNI |
| J6DX5433K0 | J6DX5433K0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#YOKZ |
| J6ET1R6881 | J6ET1R6881 | statement | record (an 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#MSSV |
| J6FCWHSPPB | J6FCWHSPPB | statement | record (an 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.34020#KSOZ |
| J6FGXTGGHY | J6FGXTGGHY | exercise | open | napkin tex/alg-geom/spec-examples.tex#problem-4 |
| J6GFN5QFS4 | J6GFN5QFS4 | statement | record (an 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.16631#DGN4 |
| J6GNGY1F55 | J6GNGY1F55 | statement | record (an 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.04502#3H0S |
| J6H017QFPY | J6H017QFPY | statement | record (an 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.27049#8RFV |
| J6H3X815RM | J6H3X815RM | statement | record (an 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.35275#BZDF |
| J6J0D7TDQY | J6J0D7TDQY | 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 2609.29425#AV0H |
| J6JTNA5X8A | J6JTNA5X8A | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#prob:injective surjective functions |
| J6JXPSZBD9 | J6JXPSZBD9 | 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.33018#CU7Y |
| J6KEM7V06D | J6KEM7V06D | statement | record (an 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.05965#K2H8 |
| J6KT0TAQQ0 | J6KT0TAQQ0 | statement | record (an 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.33062#59D8 |
| J6KVJYHPJJ | J6KVJYHPJJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#ZSX4 |
| J6MTGG46EQ | J6MTGG46EQ | 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.09464#KCNQ |
| J6MZKG8BS8 | J6MZKG8BS8 | statement | record (an 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.15504#RESP |
| J6NXX7AKMV | J6NXX7AKMV | 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.24580#EEZ9 |
| J6PG34D1HG | J6PG34D1HG | statement | record (an 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.35421#EL20 |
| J6QTCGHE91 | J6QTCGHE91 | statement | record (an 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.09422#ESVC |
| J6R2K400PA | J6R2K400PA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00517#CSS2 |
| J6RP13GN91 | J6RP13GN91 | 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 2601.10958#EZXU |
| J6RZ6YQV57 | J6RZ6YQV57 | statement | record (an 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.17717#EYKK |
| J6S0R1H37W | J6S0R1H37W | statement | record (an 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#MJG3 |
| J6S4B1ZX27 | J6S4B1ZX27 | 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.39293#PIH7 |
| J6S53ANHQ2 | J6S53ANHQ2 | statement | record (an 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.40261#Y7RC |
| J6S5987VR9 | J6S5987VR9 | statement | record (an 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.06081#Q5Q5 |
| J6SS6KPHXH | J6SS6KPHXH | statement | record (an 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.14450#2WL9 |
| J6TADEBJZ7 | J6TADEBJZ7 | statement | record (an 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/9902147#MR00 |
| J6TCP0K1TA | J6TCP0K1TA | 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.30200#UGXP |
| J6TG439ZZN | J6TG439ZZN | statement | record (an 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.29723#JELB |
| J6V3YGWGKY | J6V3YGWGKY | statement | record (an 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.09168#WRCK |
| J6VEX1QXDE | J6VEX1QXDE | statement | record (an 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.12576#NMY1 |
| J6W2B1X7KT | J6W2B1X7KT | statement | record (an 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.13528#L9HM |
| J6W73N96HZ | J6W73N96HZ | statement | record (an 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#B4LZ |
| J6XJWPD994 | J6XJWPD994 | 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.14085#DJKF |
| J6XNV15P53 | J6XNV15P53 | exercise | open | napkin tex/rep-theory/applications.tex#exercise-2 |
| J6Y8VJ57JH | J6Y8VJ57JH | statement | record (an 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#CGVR |
| J6YENWEZFA | J6YENWEZFA | definition | open | lebl_ra ch-vol1-intro.tex#def:comparecards |
| J6YPRH98BG | J6YPRH98BG | statement | record (an 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.13792#A7T5 |
| J6YXRA9B7N | J6YXRA9B7N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.14561#1G56 |
| J6Z9WXJCDC | J6Z9WXJCDC | statement | record (an 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.06806#4WEV |