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 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 601–700 of 5846.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| J5RMPVH1CD | J5RMPVH1CD | 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.36237#FAXO |
| J5RSTESHVE | J5RSTESHVE | statement | record (an 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.21914#M9A3 |
| J5SGHTDV3V | J5SGHTDV3V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.08123#NJK2 |
| J5SKNAF28B | J5SKNAF28B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#69CR |
| J5SM0PHW7C | J5SM0PHW7C | statement | record (an 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.05019#RDXJ |
| J5SNST3PG4 | J5SNST3PG4 | statement | record (an 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.01919#CU35 |
| J5TMJZ6F70 | J5TMJZ6F70 | 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#ZN2U |
| J5TZ52P29N | J5TZ52P29N | statement | record (an 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.15257#L91T |
| J5V1HSD9TA | J5V1HSD9TA | statement | record (an 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.10017#3BXU |
| J5V7S2A0DN | J5V7S2A0DN | statement | record (an 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.16465#XLBF |
| J5VXV0BWYW | J5VXV0BWYW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.02022#XIGE |
| J5WN67Q7AB | J5WN67Q7AB | statement | record (an 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#5DTH |
| 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 |
| J6957TMAMT | J6957TMAMT | statement | record (an 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.22296#KMWG |
| 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 |
| J6D5RD6EX3 | J6D5RD6EX3 | 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.22528#MCCK |
| 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 |
| J6GVPZ99CT | J6GVPZ99CT | statement | record (an 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.23527#IS3M |
| 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 |