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 2301–2400 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JPQX9S3G0R | JPQX9S3G0R | 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 2602.07485#A5JE |
| JPRHJN5JRW | JPRHJN5JRW | statement | record (an 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#4780 |
| JPRZRGAKGC | JPRZRGAKGC | statement | record (an 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.19954#MTC8 |
| JPS5RWEWQS | JPS5RWEWQS | statement | record (an 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#2NEQ |
| JPTBJ7XHK6 | JPTBJ7XHK6 | statement | record (an 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.17571#Z6KD |
| JPTF2J4VTK | JPTF2J4VTK | statement | record (an 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.39260#8RYA |
| JPTV12BQDA | JPTV12BQDA | statement | record (an 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.03517#77QA |
| JPV5HZ56DX | JPV5HZ56DX | statement | record (an 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.38243#M1DY |
| JPVRGCX8RN | JPVRGCX8RN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.17751#Y69P |
| JPWTPJ6SGD | JPWTPJ6SGD | 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 2609.26133#AG2U |
| JPX84X4ZP9 | JPX84X4ZP9 | statement | record (an 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.39659#IY4F |
| JPXAQ10KRC | JPXAQ10KRC | proof | open | lebl_scv scv.tex#proof-67 |
| JPXB086ANP | JPXB086ANP | statement | record (an 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.01924#9BTW |
| JPXK6JXDYM | JPXK6JXDYM | statement | record (an 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.11965#H6ZR |
| JPXWMDND6M | JPXWMDND6M | 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.17261#L41F |
| JPY38NR0P2 | JPY38NR0P2 | statement | record (an 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.25896#9QXY |
| JPYJRC5Q4G | JPYJRC5Q4G | statement | record (an 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.14154#IVDP |
| JPYYDWCRJZ | JPYYDWCRJZ | statement | open | open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-3 |
| JPZ70G2N3G | JPZ70G2N3G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.4245#YK1W |
| JPZJGRR224 | JPZJGRR224 | proof | open | hott_book setmath.tex#proof-29 |
| JPZKXQBW63 | JPZKXQBW63 | statement | record (an 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#FN9Q |
| JQ0Z6J1X7T | JQ0Z6J1X7T | 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.20050#PGIK |
| JQ15K9Q6B2 | JQ15K9Q6B2 | definition | open | napkin tex/linalg/dual-trace.tex#definition-3 |
| JQ18NXQ1AE | JQ18NXQ1AE | statement | record (an 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.07905#7J15 |
| JQ1ZKEBABR | JQ1ZKEBABR | example | open | napkin tex/H113/structure.tex#example-3 |
| JQ24KB2W50 | JQ24KB2W50 | 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.07812#5ZKE |
| JQ2C95D0BD | JQ2C95D0BD | 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.15160#JU3X |
| JQ3ER5GTHW | JQ3ER5GTHW | statement | record (an 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.19416#KF7M |
| JQ3PAMQG4S | JQ3PAMQG4S | proof | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-3 |
| JQ489KKZPW | JQ489KKZPW | exercise | open | austin_ula src/exercises/exercises7-4.xml#exercise-2 |
| JQ494YYW76 | JQ494YYW76 | 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.12480#EEXJ |
| JQ4E8TN6XR | JQ4E8TN6XR | statement | record (an 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.15610#6LSW |
| JQ4ESM4CR2 | JQ4ESM4CR2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.11107#4ZEN |
| JQ4K12AXMB | JQ4K12AXMB | example | open | applied_combinatorics source/s_intro_geom.ptx#example-1 |
| JQ4RA9AY5B | JQ4RA9AY5B | statement | record (an 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.10019#FY8R |
| JQ5M3EA2V5 | JQ5M3EA2V5 | statement | record (an 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.35558#4LXW |
| JQ65CHJTSR | JQ65CHJTSR | 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.37920#S1IM |
| JQ67MXHF3K | JQ67MXHF3K | statement | record (an 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.27136#RAT8 |
| JQ6JNHK4HW | JQ6JNHK4HW | statement | record (an 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.34570#0F0C |
| JQ6MRMWTBP | JQ6MRMWTBP | statement | record (an 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.07852#PTUV |
| JQ6MVHEQXE | JQ6MVHEQXE | statement | record (an 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#8CQ6 |
| JQ76YGMKCF | JQ76YGMKCF | statement | record (an 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.33469#1XX1 |
| JQ82AX0T8Q | JQ82AX0T8Q | statement | record (an 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.27272#4XUU |
| JQ8AQMT12D | JQ8AQMT12D | exercise | open | open_logic content/set-theory/ordinals/basic.tex#prob-1 |
| JQ8FYPKSHF | JQ8FYPKSHF | statement | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#lem:q-proves-add |
| JQ8V62EERG | JQ8V62EERG | 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.05602#SQ1U |
| JQADYDX8Q7 | JQADYDX8Q7 | statement | record (an 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.31273#XERA |
| JQAH0RD2WJ | JQAH0RD2WJ | statement | record (an 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.19260#2RJE |
| JQAM9EEZ8H | JQAM9EEZ8H | statement | record (an 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.07963#65RQ |
| JQB64CKNZS | JQB64CKNZS | statement | record (an 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.03384#XRX6 |
| JQBC7Y8ZZ8 | JQBC7Y8ZZ8 | statement | record (an 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.30565#2O18 |
| JQBH1YYCER | JQBH1YYCER | 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.08935#AV77 |
| JQBP137G93 | JQBP137G93 | statement | record (an 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.24584#E5BI |
| JQCJEQ3RJ4 | JQCJEQ3RJ4 | statement | record (an 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.09442#U3KH |
| JQCZCVJNY3 | JQCZCVJNY3 | statement | record (an 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.26588#YE86 |
| JQD01JTMVP | JQD01JTMVP | 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 1903.07030#QK1S |
| JQE3TC8A8T | JQE3TC8A8T | statement | record (an 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.25307#A7ZX |
| JQENBWS2TQ | JQENBWS2TQ | 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 2301.07434#S7CK |
| JQERK1YVZH | JQERK1YVZH | statement | record (an 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.39330#M0HA |
| JQESK9YJ3A | JQESK9YJ3A | statement | record (an 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.18620#DUAY |
| JQF4S87675 | JQF4S87675 | statement | record (an 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.06488#B4AQ |
| JQF75KA37X | JQF75KA37X | statement | record (an 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.10206#BAH5 |
| JQFD5MMJTB | JQFD5MMJTB | statement | record (an 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.30113#RKPK |
| JQGZYB1QMT | JQGZYB1QMT | statement | record (an 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.24675#HQ2F |
| JQH8YX7DAG | JQH8YX7DAG | statement | record (an 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.25038#CP0H |
| JQHBR725ZP | JQHBR725ZP | statement | record (an 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.21255#D5J7 |
| JQHJGBY3H0 | JQHJGBY3H0 | 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.33541#7OB1 |
| JQHVVPPJHQ | JQHVVPPJHQ | statement | record (an 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#C3TN |
| JQKMVGBCV9 | JQKMVGBCV9 | statement | record (an 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.02379#OHU0 |
| JQKSRKJ4B1 | JQKSRKJ4B1 | statement | record (an 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.15588#XAEJ |
| JQN8W69MVN | JQN8W69MVN | statement | record (an 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.16157#ZXNM |
| JQNV528GTX | JQNV528GTX | statement | record (an 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.28337#1Z64 |
| JQP06181R8 | JQP06181R8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.08625#ELTH |
| JQPBTX97F3 | JQPBTX97F3 | statement | record (an 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.15877#ZI5C |
| JQPEPSDGHP | JQPEPSDGHP | statement | record (an 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.28365#MVM9 |
| JQPR2J6BGH | JQPR2J6BGH | statement | record (an 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#0ZLV |
| JQQ24K6SWT | JQQ24K6SWT | statement | record (an 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.28649#VPS8 |
| JQQ66R78DV | JQQ66R78DV | statement | open | lebl_scv scv.tex#cor-5 |
| JQQ7DY17M4 | JQQ7DY17M4 | proof | open | lebl_ra ch-metric.tex#proof-14 |
| JQQBRTZHBS | JQQBRTZHBS | 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.02558#K07H |
| JQQESHBMPC | JQQESHBMPC | statement | record (an 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.11021#9GF1 |
| JQQRNNK2JF | JQQRNNK2JF | exercise | open | hott_book logic.tex#ex:disjoint-or |
| JQREPPM6DS | JQREPPM6DS | statement | record (an 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.10406#FWDG |
| JQRSKW0K5T | JQRSKW0K5T | statement | record (an 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.10474#IWAB |
| JQS03VC4FP | JQS03VC4FP | statement | record (an 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.08424#21QH |
| JQST0QH6NC | JQST0QH6NC | statement | record (an 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#O7XQ |
| JQSZEMVREQ | JQSZEMVREQ | statement | record (an 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.33241#HTSE |
| JQT8SYKVQ5 | JQT8SYKVQ5 | statement | record (an 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.19872#AU62 |
| JQTDRY6QHD | JQTDRY6QHD | statement | record (an 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.18084#RW10 |
| JQTYA1DY7P | JQTYA1DY7P | 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.01433#RT7D |
| JQVDJF1G0T | JQVDJF1G0T | 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.03612#7SVN |
| JQVF033TKM | JQVF033TKM | statement | record (an 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#UY84 |
| JQVJZBGVZP | JQVJZBGVZP | statement | record (an 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.00312#6EYA |
| JQVZSY0DN5 | JQVZSY0DN5 | statement | record (an 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.14837#LN0D |
| JQW4TQGK6V | JQW4TQGK6V | statement | record (an 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.13877#Q378 |
| JQWGQFXZNR | JQWGQFXZNR | statement | record (an 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.00775#ZXZ1 |
| JQWH1H4SF8 | JQWH1H4SF8 | statement | record (an 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.18094#YPD4 |
| JQWRA5BVH6 | JQWRA5BVH6 | statement | record (an 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.16114#03LM |
| JQXM09890K | JQXM09890K | exercise | open | lebl_scv scv.tex#exercise-26 |
| JQXX5TFZPY | JQXX5TFZPY | proof | open | hott_book equivalences.tex#proof-15 |