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 1101–1200 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JBE02QTBC1 | JBE02QTBC1 | statement | record (an 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.14189#PTPK |
| JBEAYWAAQ4 | JBEAYWAAQ4 | statement | record (an 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.11210#UMM5 |
| JBEENC9QQQ | JBEENC9QQQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.4613#XPGQ |
| JBF7EY39AE | JBF7EY39AE | 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.16404#UW22 |
| JBGEXH4YAV | JBGEXH4YAV | statement | record (an 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.07927#1GX3 |
| JBH2633XC1 | JBH2633XC1 | statement | record (an 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.17602#RIOF |
| JBJG962Y01 | JBJG962Y01 | statement | record (an 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.05032#JBPG |
| JBKJPC7YXQ | JBKJPC7YXQ | 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.08193#OQ2O |
| JBKNBYQ6SR | JBKNBYQ6SR | definition | open | lebl_ra ch-contfunc.tex#defn-3 |
| JBMPE6J2XD | JBMPE6J2XD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#A80S |
| JBMVMKHRJG | JBMVMKHRJG | statement | record (an 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.21675#FV18 |
| JBN0XEFN8S | JBN0XEFN8S | statement | record (an 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.03754#CPA4 |
| JBN6W6CH95 | JBN6W6CH95 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-54 |
| JBNKJSEMH1 | JBNKJSEMH1 | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-9 |
| JBPB9H8JGJ | JBPB9H8JGJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#VCBE |
| JBPTWADPA2 | JBPTWADPA2 | statement | record (an 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.09810#2JYF |
| JBQ291VKRH | JBQ291VKRH | statement | open | hott_book categories.tex#ct:adjprop2 |
| JBQPRDBATR | JBQPRDBATR | statement | record (an 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.40096#2FBW |
| JBQVEQ7MXP | JBQVEQ7MXP | statement | record (an 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.10930#MC12 |
| JBQVMFWFRN | JBQVMFWFRN | statement | record (an 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.10902#IRFT |
| JBR8CZQWNA | JBR8CZQWNA | statement | record (an 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.12484#UWSD |
| JBRA3SA90S | JBRA3SA90S | statement | record (an 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.18698#EYPI |
| JBRBTQ7AYK | JBRBTQ7AYK | statement | record (an 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.03719#12VB |
| JBSK51Z1V8 | JBSK51Z1V8 | statement | record (an 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.38417#IIKF |
| JBT09YM0NQ | JBT09YM0NQ | statement | record (an 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.17677#BWYY |
| JBTZ200EJ5 | JBTZ200EJ5 | statement | record (an 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#JD6I |
| JBW45TTCP1 | JBW45TTCP1 | statement | record (an 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.20972#GLPB |
| JBW4XY758Q | JBW4XY758Q | statement | record (an 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.24917#NUGX |
| JBW5J5BJE4 | JBW5J5BJE4 | 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.08776#OW69 |
| JBWG72VYG1 | JBWG72VYG1 | statement | record (an 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.17737#AVH2 |
| JBWJWM9W18 | JBWJWM9W18 | statement | record (an 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.37897#QXH1 |
| JBX1N6EDXZ | JBX1N6EDXZ | statement | record (an 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.22268#HT3H |
| JBY1JMWHZG | JBY1JMWHZG | example | open | active_calculus source/sec-6-2-volume.xml#Ex-6-2-Disks |
| JBY5W6X8DJ | JBY5W6X8DJ | statement | record (an 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.26619#670A |
| JBYC0VM1RH | JBYC0VM1RH | definition | open | austin_ula src/section1-1.xml#definition-3 |
| JBYG8T3NKQ | JBYG8T3NKQ | statement | record (an 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.14692#0HZA |
| JBYQPH8XTW | JBYQPH8XTW | statement | record (an 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.04179#YZ7D |
| JBZD1KF9XD | JBZD1KF9XD | statement | record (an 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.26354#FBAY |
| JBZD2TE4SK | JBZD2TE4SK | exercise | open | lebl_scv scv.tex#exercise-8 |
| JC0DWRSAN9 | JC0DWRSAN9 | statement | record (an 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.10221#4REH |
| JC14MCC7ES | JC14MCC7ES | 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.31269#1LF3 |
| JC177T54ZH | JC177T54ZH | statement | record (an 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.21365#NILU |
| JC1DD7K4XS | JC1DD7K4XS | 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.12108#B405 |
| JC1N9XRBST | JC1N9XRBST | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05417#S996 |
| JC28EEZJCG | JC28EEZJCG | statement | record (an 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#428G |
| JC3K4Z1Y63 | JC3K4Z1Y63 | exercise | open | austin_ula src/section7-2.xml#activity-3 |
| JC3QZKSVTX | JC3QZKSVTX | statement | record (an 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.36113#DORS |
| JC40W7E3WF | JC40W7E3WF | statement | record (an 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#AX54 |
| JC48WJ0CMZ | JC48WJ0CMZ | 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 math/9602216#LXCV |
| JC4ECKQBHH | JC4ECKQBHH | statement | record (an 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.06707#KIKG |
| JC5318HEVG | JC5318HEVG | statement | record (an 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.06321#NLTJ |
| JC59JC7K50 | JC59JC7K50 | 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.28742#3VJD |
| JC5BAP3KGP | JC5BAP3KGP | statement | record (an 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.26650#WTGQ |
| JC68A9BD6F | JC68A9BD6F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#8BO2 |
| JC6PK7NDXC | JC6PK7NDXC | statement | record (an 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.15698#ER8T |
| JC7JT25ZTT | JC7JT25ZTT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#BZV4 |
| JC9SBYGC7N | JC9SBYGC7N | statement | record (an 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#IHHF |
| JC9SN644XC | JC9SN644XC | statement | record (an 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.06669#PXPI |
| JCB5S7FJNZ | JCB5S7FJNZ | statement | record (an 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#A5VD |
| JCBEN13K06 | JCBEN13K06 | statement | record (an 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.25060#54J3 |
| JCBJKSREG7 | JCBJKSREG7 | statement | record (an 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.30895#POPG |
| JCBTY0KFBP | JCBTY0KFBP | 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.05914#MXKS |
| JCC27K5018 | JCC27K5018 | statement | record (an 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.16123#7TRQ |
| JCC8P2Q69S | JCC8P2Q69S | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prob-2 |
| JCCMSE0XAH | JCCMSE0XAH | statement | record (an 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.18709#SHO6 |
| JCDBG3K38C | JCDBG3K38C | 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.35740#8UBZ |
| JCDSVDVN7Y | JCDSVDVN7Y | statement | record (an 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.07114#VFUJ |
| JCE3HCFP45 | JCE3HCFP45 | example | open | napkin tex/alg-geom/bezout.tex#example-4 |
| JCE76FZT6C | JCE76FZT6C | 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.22074#5JO0 |
| JCEDW7HH82 | JCEDW7HH82 | 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.09333#IJDA |
| JCFJTVBQ9G | JCFJTVBQ9G | statement | record (an 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.07401#0DDW |
| JCFWSSXWGH | JCFWSSXWGH | statement | record (an 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.05646#5E4N |
| JCG4431YY2 | JCG4431YY2 | statement | record (an 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.18929#5Y3B |
| JCG64NHYG9 | JCG64NHYG9 | statement | record (an 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.13670#KBRV |
| JCG70VCG12 | JCG70VCG12 | statement | record (an 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.09314#LJM8 |
| JCGE0BG43A | JCGE0BG43A | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-1 |
| JCH90SGN0M | JCH90SGN0M | statement | record (an 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.32860#SQ6Z |
| JCJ1191BBV | JCJ1191BBV | statement | record (an 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.12169#BGKQ |
| JCK8FAGTFZ | JCK8FAGTFZ | exercise | open | austin_ula src/section5-1.xml#activity-3 |
| JCKBEN0G1T | JCKBEN0G1T | 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 2405.02275#4YO7 |
| JCKDCKD862 | JCKDCKD862 | statement | record (an 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.07114#IUUM |
| JCKX2MXJNV | JCKX2MXJNV | statement | open | austin_ula src/section3-2.xml#proposition-1 |
| JCM7ZSACG6 | JCM7ZSACG6 | statement | record (an 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.13100#VAJ9 |
| JCMCMG8YYP | JCMCMG8YYP | exercise | open | open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#prob-1 |
| JCMGMXAGH9 | JCMGMXAGH9 | statement | record (an 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.21632#RILK |
| JCMQCZGPF3 | JCMQCZGPF3 | statement | record (an 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.10773#0P6U |
| 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 |