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 2001–2100 of 5846.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JCMT3H2JGY | JCMT3H2JGY | exercise | open | hott_book homotopy.tex#ex:SuperHopf |
| JCMW427HMR | JCMW427HMR | statement | record (an 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.18101#XXNH |
| JCMYD9H5QE | JCMYD9H5QE | statement | record (an 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.07890#OEG2 |
| JCN5T1J103 | JCN5T1J103 | proof | open | hott_book hits.tex#proof-3 |
| JCNKC4QZPT | JCNKC4QZPT | 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.30067#BWG1 |
| JCNQNNNTWF | JCNQNNNTWF | statement | record (an 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.40345#UJCA |
| JCNSFPQT1C | JCNSFPQT1C | 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.34020#AXDD |
| JCP36BQAFH | JCP36BQAFH | statement | record (an 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#7CI3 |
| JCP6CFK58S | JCP6CFK58S | 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.10325#T5CG |
| JCPBCWMGVK | JCPBCWMGVK | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-20 |
| JCPPA9YZ0K | JCPPA9YZ0K | statement | record (an 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#VDWH |
| JCPVN2BQ8X | JCPVN2BQ8X | 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.32651#XOPS |
| JCQ882Q8XM | JCQ882Q8XM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#ZVEA |
| JCQAPM4PZR | JCQAPM4PZR | statement | record (an 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.11276#UV7I |
| JCQS705336 | JCQS705336 | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-35 |
| JCR778HDVT | JCR778HDVT | statement | record (an 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.21476#YESL |
| JCR9PMCBVT | JCR9PMCBVT | problem | open | Wikipedia Snake-in-the-box#64C9 |
| JCRJ8V5AEH | JCRJ8V5AEH | 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 1002.0879#H064 |
| JCS16P09RZ | JCS16P09RZ | statement | record (an 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.07180#U5Y0 |
| JCS269R5AV | JCS269R5AV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.01576#VZ3E |
| JCS445553P | JCS445553P | statement | record (an 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.17006#NE44 |
| JCS77DWYBD | JCS77DWYBD | 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 1904.08413#39VY |
| JCSB6EFCJ8 | JCSB6EFCJ8 | statement | record (an 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.10233#HRN5 |
| JCSHJGX01S | JCSHJGX01S | 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 1907.01440#TTAZ |
| JCT42FFJ67 | JCT42FFJ67 | exercise | open | austin_ula src/section2-3.xml#activity-intro-span |
| JCTCNPQC1G | JCTCNPQC1G | statement | record (an 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.23822#LQ0H |
| JCV2VHX6BQ | JCV2VHX6BQ | statement | record (an 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.12486#TEGC |
| JCVG54M6VM | JCVG54M6VM | statement | record (an 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.02870#WX45 |
| JCVKHCEZPE | JCVKHCEZPE | statement | record (an 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.08638#RJA1 |
| JCVN54B1SB | JCVN54B1SB | 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.31274#1E9B |
| JCVR0DGME2 | JCVR0DGME2 | statement | record (an 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.05784#LOBP |
| JCW5PC1PQH | JCW5PC1PQH | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:coach lie |
| JCW8ZAT7YC | JCW8ZAT7YC | statement | open | napkin tex/linalg/vector-space.tex#thm:dimension_theorem |
| JCWRRGAX36 | JCWRRGAX36 | statement | record (an 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.13213#GTZ5 |
| JCWVQR7HP8 | JCWVQR7HP8 | 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.22380#6OU4 |
| JCY118SWMF | JCY118SWMF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#8NEL |
| JCYK6ZE1WY | JCYK6ZE1WY | statement | record (an 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.11377#A8TI |
| JCYSA4M7SY | JCYSA4M7SY | 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.39169#T6HB |
| JCZA5SAJE1 | JCZA5SAJE1 | statement | record (an 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#9WMG |
| JCZV0FTZ66 | JCZV0FTZ66 | statement | record (an 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.12238#U705 |
| JD05X3AJY8 | JD05X3AJY8 | statement | record (an 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.37606#N9SG |
| JD0QD7T4A9 | JD0QD7T4A9 | statement | record (an 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.36818#7ENT |
| JD0Z4ZEW2C | JD0Z4ZEW2C | exercise | open | lebl_scv scv.tex#exercise-109 |
| JD14834MXY | JD14834MXY | 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.15817#A4I4 |
| JD19VN9VCJ | JD19VN9VCJ | statement | record (an 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#M0JP |
| JD1PENNYT7 | JD1PENNYT7 | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-19 |
| JD1VTCRZE4 | JD1VTCRZE4 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-3 |
| JD264GJP81 | JD264GJP81 | 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.21866#GTPT |
| JD2DVQJE4M | JD2DVQJE4M | statement | record (an 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.19534#XZ12 |
| JD2FVRE2DM | JD2FVRE2DM | statement | record (an 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.19853#VJWK |
| JD32CMSQ80 | JD32CMSQ80 | statement | record (an 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#A6D2 |
| JD385P6MF2 | JD385P6MF2 | statement | record (an 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#K4SF |
| JD39Y4GH28 | JD39Y4GH28 | statement | record (an 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.05314#DBMB |
| JD3BV9CC7B | JD3BV9CC7B | 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.10968#4OX7 |
| JD3C5MR3PX | JD3C5MR3PX | statement | record (an 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.21092#29D4 |
| JD3F2GG1AF | JD3F2GG1AF | statement | open | hott_book induction.tex#thm:nat-uniq |
| JD3FYSGJAW | JD3FYSGJAW | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-3 |
| JD3HJRBWYB | JD3HJRBWYB | statement | record (an 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.13833#K24A |
| JD3W62SVP3 | JD3W62SVP3 | statement | record (an 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.25367#84G5 |
| JD4P1159GS | JD4P1159GS | statement | record (an 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.37313#5EX7 |
| JD59D4CG93 | JD59D4CG93 | 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.01473#US8U |
| JD5TJXWA5V | JD5TJXWA5V | statement | record (an 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.29631#KXKG |
| JD5Z2KGJC3 | JD5Z2KGJC3 | statement | record (an 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.06108#49TM |
| JD67VD1XPB | JD67VD1XPB | exercise | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prob-1 |
| JD6PV0W4A4 | JD6PV0W4A4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#605R |
| JD6WY85AWM | JD6WY85AWM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.08487#QSJ3 |
| JD78QP6RDN | JD78QP6RDN | statement | record (an 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.38556#3QRX |
| JD871ZXF0C | JD871ZXF0C | statement | record (an 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.02681#5CSJ |
| JD8FFPTDQA | JD8FFPTDQA | exercise | open | levin_dmoi ptx/exercises/gt-paths.ptx#exercise-4 |
| JD8SAWFMQM | JD8SAWFMQM | statement | record (an 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.07573#C5G6 |
| JDA9253D1K | JDA9253D1K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.2117#4ANH |
| JDADPWXZSQ | JDADPWXZSQ | 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.14044#WXY0 |
| JDAM0NP1WA | JDAM0NP1WA | 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 2502.08738#AK99 |
| JDAMQ477X3 | JDAMQ477X3 | statement | record (an 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.24541#E1E6 |
| JDB3FS2QQM | JDB3FS2QQM | statement | record (an 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#6QWV |
| JDB7PDQWXH | JDB7PDQWXH | exercise | open | napkin tex/topology/compactness.tex#problem-6 |
| JDBC8EBYB4 | JDBC8EBYB4 | statement | record (an 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.12633#M5TK |
| JDBMNFM9R7 | JDBMNFM9R7 | exercise | open | hott_book reals.tex#RC-Lipschitz-on-interval |
| JDBR3SBR91 | JDBR3SBR91 | statement | record (an 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.34852#7ZGP |
| JDCZ65BVDV | JDCZ65BVDV | statement | record (an 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.20165#3WYY |
| JDEW3411G8 | JDEW3411G8 | statement | record (an 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#OXFM |
| JDF5946WN2 | JDF5946WN2 | statement | record (an 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.20513#H9NX |
| JDFV2STAMG | JDFV2STAMG | statement | record (an 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.21929#E9QW |
| JDG29M59YN | JDG29M59YN | statement | record (an 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#LMZH |
| JDG7PEM7D1 | JDG7PEM7D1 | statement | record (an 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.29605#NOLQ |
| JDG7ZG8CS8 | JDG7ZG8CS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#WEWI |
| JDGFCSJS63 | JDGFCSJS63 | exercise | open | lebl_scv scv.tex#exercise-140 |
| JDHJ7Z7P9P | JDHJ7Z7P9P | statement | record (an 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.07290#BIYJ |
| JDJ1VTQBT8 | JDJ1VTQBT8 | statement | record (an 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.07770#3CSD |
| JDJN8MAX1X | JDJN8MAX1X | example | open | levin_dmoi ptx/sec_intro-functions.ptx#example-4 |
| JDK0KMR7GK | JDK0KMR7GK | statement | record (an 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.31783#B37A |
| JDK0Q2CS9K | JDK0Q2CS9K | exercise | open | hott_book hlevels.tex#ex:acconn |
| JDK7EETS40 | JDK7EETS40 | 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 1806.00752#1AS8 |
| JDKHCK9EEF | JDKHCK9EEF | proof | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#proof-1 |
| JDKJBTHRM1 | JDKJBTHRM1 | statement | record (an 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.08050#7BW6 |
| JDKQ9HYQ6D | JDKQ9HYQ6D | statement | record (an 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.33377#06E2 |
| JDKZ62CVG6 | JDKZ62CVG6 | statement | record (an 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.02901#JUUQ |
| JDM2VW549G | JDM2VW549G | statement | record (an 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.29489#0JSF |
| JDMATCDE82 | JDMATCDE82 | 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.34876#J4YV |
| JDMMA4F3YV | JDMMA4F3YV | proof | open | napkin tex/measure/large-laws.tex#proof-1 |