| JHHHZCRGVK | JHHHZCRGVK | proof | open | hott_book basics.tex#proof-21 |
| JHJ07RQF6N | JHJ07RQF6N | statement | record (an 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.39104#KR5P |
| JHJG3V81F5 | JHJG3V81F5 | statement | record (an 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.23803#CCXF |
| JHK1NXCC4E | JHK1NXCC4E | 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.35678#7UUB |
| JHK1RF2KDH | JHK1RF2KDH | 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.16323#0XAL |
| JHK4PAE86R | JHK4PAE86R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24190#OGKO |
| JHKAN22SYJ | JHKAN22SYJ | statement | record (an 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#6UIH |
| JHKMA9M75R | JHKMA9M75R | statement | record (an 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#C124 |
| JHKX1DH282 | JHKX1DH282 | statement | record (an 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.18226#KCQB |
| JHMA40ZB21 | JHMA40ZB21 | statement | record (an 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.03661#Z0RQ |
| JHMVZEG80G | JHMVZEG80G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.20257#A2X2 |
| JHN51NQ4ZH | JHN51NQ4ZH | 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.07573#2745 |
| JHNJBH6NZ6 | JHNJBH6NZ6 | statement | record (an 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.19010#2CDE |
| JHNM15MR3X | JHNM15MR3X | statement | record (an 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#YELJ |
| JHP074J4PN | JHP074J4PN | 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.15111#KOHM |
| JHP621BT02 | JHP621BT02 | 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.33124#6XBH |
| JHPVSCRJTB | JHPVSCRJTB | statement | record (an 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.06326#S275 |
| JHQ9KJCGSY | JHQ9KJCGSY | statement | record (an 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.20740#NM35 |
| JHR3QXAQ6K | JHR3QXAQ6K | 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.28993#N0LJ |
| JHR6XVSTQ1 | JHR6XVSTQ1 | statement | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#prop:G3c-cont-adm |
| JHSF660W0T | JHSF660W0T | statement | record (an 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.04993#OX1W |
| JHTBGFSN3C | JHTBGFSN3C | statement | record (an 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.16931#KDXZ |
| JHTRT6T0P0 | JHTRT6T0P0 | statement | record (an 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#7WSQ |
| JHTSW42883 | JHTSW42883 | statement | record (an 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.05388#N54X |
| JHTX7GZ31P | JHTX7GZ31P | exercise | open | lebl_ra ch-approximate.tex#exercise-6 |
| JHVFMKTKV9 | JHVFMKTKV9 | statement | record (an 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.20008#YGZ3 |
| JHW3XB59FQ | JHW3XB59FQ | 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#5TZS |
| JHW8VP3V3N | JHW8VP3V3N | 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.37815#TFH0 |
| JHW988ZHRF | JHW988ZHRF | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-45 |
| JHWX93NC8R | JHWX93NC8R | statement | record (an 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.29326#3T3D |
| JHXK2Q56JC | JHXK2Q56JC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#UK5P |
| JHYB4Q3KK3 | JHYB4Q3KK3 | example | open | napkin tex/linalg/vector-space.tex#ex:quadratic_vector_space |
| JHYB6YCJAT | JHYB6YCJAT | 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.22759#UMGZ |
| JHYBXZVH2W | JHYBXZVH2W | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-3 |
| JHZ7T7S30J | JHZ7T7S30J | statement | record (an 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.01737#R0NC |
| Ji-Hyun Lee | 24YW7YKE6J | topic | open | Wikipedia List of fellows of the American Statistical Association#9Q5C |
| Ji-Hyun Lee | M29VT07HYQ | topic | open | Wikipedia Ji-Hyun Lee (statistician), Wikidata Q61741448 |
| Jia Li | TJXYQ7S24D | topic | open | Wikipedia Jia Li, Wikidata Q59750888 |
| Jia Li | VDCRNGZ8SQ | topic | open | Wikipedia List of fellows of the American Statistical Association#ULRH |
| Jia Rongqing | TH0KY8NC51 | unknown | open | Wikipedia List of people by Erdős number#PEQY |
| Jia Xian | 35KEA8QWQA | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q711774, ProofWiki Mathematician:Chia_Hsien, Wikipedia Jia Xian |
| Jia Xian | EXK0HB4J5E | topic | open | Wikipedia List of Chinese mathematicians#7BMG |
| Jia-An Yan | N3TV4HT4RZ | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#75I2 |
| Jiahua Chen | 7RM4ZJ6ZQ2 | topic | open | Wikipedia Jiahua Chen, Wikidata Q102109982 |
| Jiahua Chen | MN4B66AYXG | topic | open | Wikipedia List of fellows of the American Statistical Association#QZ64 |
| Jian Ding | Y84P7QD32Q | topic | open | Wikipedia Jian Ding |
| Jian Ding | Z9W177DV76 | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PLDK |
| Jian-Jian Ren | EXJQY47MFA | topic | open | Wikipedia Jian-Jian Ren, Wikidata Q92352811 |
| Jian-Shu Li | Q8S7132Z07 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A6G4 |
| Jiang and Longbrake | J32DAPD86F | statement | record (an 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.38772#16GT |
| Jiang Boju | DTGSABPW7W | topic | open | Wikipedia Jiang Boju, Wikidata Q8975401 |
| Jiang--Lin | Z70CJPK2ZB | statement | record (an 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.21399#TPQK |
| Jiangong You | MJV8HA49PV | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TFIY |
| Jianqing Fan | 19NXV4WSPK | topic | open | Wikipedia List of presidents of the Institute of Mathematical Statistics#5LWW |
| Jianqing Fan | 1MY791ZMV9 | topic | open | Wikipedia Jianqing Fan, Wikidata Q8954138 |
| Jianqing Fan | YA706SEMWX | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0LXV, Wikipedia List of fellows of the American Statistical Association#Z82J |
| Jianwen Cai | CNW7HW05TT | topic | open | Wikipedia List of fellows of the American Statistical Association#442Z |
| Jianwen Cai | JGP0FS9GH2 | topic | open | Wikipedia Jianwen Cai, Wikidata Q91417516 |
| Jiaxing Hong | 78JS1Z4ZX9 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XGXD |
| Jiayang Sun | VGCTTTM2CN | unknown | open | Wikipedia List of fellows of the American Statistical Association#14YN |
| Jie Chen | CPCB70SST0 | unknown | open | Wikipedia List of fellows of the American Statistical Association#GZNN |
| Jie Wu | W2JD37BA8P | unknown | open | Wikipedia List of people by Erdős number#LYQ7 |
| Jigu Suanjing | S456RBR2K3 | definition | open | Wikipedia Jigu Suanjing, Wikidata Q6192415 |
| Jil Matheson | F77PNK2AH8 | topic | open | Wikipedia Jil Matheson, Wikidata Q15994624 |
| Jill Adler | DGKAYYWRV2 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4EE9 |
| Jill Barnholtz-Sloan | 1GKKA03P20 | topic | open | Wikipedia Jill Barnholtz-Sloan, Wikidata Q61089748 |
| Jill Britton | X8CH34XQZS | topic | open | Wikipedia Jill Britton, Wikidata Q97960859 |
| Jill DeMatteis | 6JHPDTFVW3 | unknown | open | Wikipedia List of fellows of the American Statistical Association#JRKG |
| Jill Dever | T1BNZ6FBN6 | unknown | open | Wikipedia List of fellows of the American Statistical Association#MX6L |
| Jill Gibson | N22VEEEAF6 | unknown | open | Wikipedia List of University of California, Los Angeles people#3CNA |
| Jill Kinmont | HZAKJSGDEF | unknown | open | Wikipedia List of University of California, Los Angeles people#Q8N0 |
| Jill P. Mesirov | 2B3RP7EFTZ | topic | open | Wikipedia Jill P. Mesirov, Wikidata Q19664665 |
| Jill Pipher | 2TWTFVTTF9 | topic | open | Wikipedia Jill Pipher, Wikidata Q3828462 |
| Jill Pipher | HS1Z9QBEYS | topic | open | Wikipedia List of people by Erdős number#JJ77, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GU2Q |
| Jillian Beardwood | J2AYHBP7KY | topic | open | Wikipedia Jillian Beardwood, Wikidata Q93571646 |
| Jillian Kraus | 2KPY7N0T7K | unknown | open | Wikipedia List of University of California, Los Angeles people#LJFL |
| Jim Agler | 8YHQM70QZJ | topic | open | Wikipedia Jim Agler, Wikidata Q24572354 |
| Jim Bell | V0DMWRF4YB | topic | open | Wikipedia Jim Bell, Wikidata Q557294 |
| Jim Coykendall | WXZV40DCTD | topic | open | Wikipedia Jim Coykendall, Wikidata Q102204939 |
| Jim Geelen | TXDKPTMFW9 | topic | open | Wikipedia Jim Geelen, Wikidata Q10559111 |
| Jim Gray | ZX5MPZ9BX2 | unknown | open | Wikipedia List of people by Erdős number#1VLQ |
| Jim Harrick | CCME47QEB3 | unknown | open | Wikipedia List of University of California, Los Angeles people#8MI5 |
| Jim Hefferon | J8MV1B4XKP | topic | open | Wikipedia Jim Hefferon, Wikidata Q16192746 |
| Jim K. Omura | NRT4B3JQVR | unknown | open | Wikipedia List of people by Erdős number#SOAA |
| Jim L. Mora | RG8Y4WDYDV | unknown | open | Wikipedia List of University of California, Los Angeles people#KAD2 |
| Jim Lindberg | NHACYSJBY1 | unknown | open | Wikipedia List of University of California, Los Angeles people#BUCF |
| Jim Matheson | WJZHC66KYB | unknown | open | Wikipedia List of University of California, Los Angeles people#8M05 |
| Jim Mauldon | QEMD53S508 | topic | open | Wikipedia Jim Mauldon, Wikidata Q6196687 |
| Jim Morrison | MJDTVERTSE | unknown | open | Wikipedia List of University of California, Los Angeles people#BAQW |
| Jim Pitman | 4NAD875NM3 | topic | open | Wikipedia Jim Pitman, Wikidata Q102111531 |
| Jim Pitman | RKFQHD0954 | topic | open | Wikipedia List of presidents of the Institute of Mathematical Statistics#OABW |
| Jim Propp | KWVE65FY8V | topic | open | Wikipedia Jim Propp, Wikidata Q6197614 |
| Jim Saia | 2DXYD8BZ8F | unknown | open | Wikipedia List of University of California, Los Angeles people#OMBJ |
| Jim Simons | DBNFW38WYW | topic | open | Wikipedia Jim Simons, Wikidata Q560847 |
| Jim Simons | JPRD2112ZZ | topic | open | Wikipedia List of people by Erdős number#GNMH |
| Jim Stasheff | WR296GKSY9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1680242, nLab Jim Stasheff |
| Jimbo–Miwa–Ueno isomonodromy equations | 60EXVB0R7K | definition | open | Wikipedia List of named differential equations#MCW3 |
| Jimmy Connors | 7F0F9D1QV5 | unknown | open | Wikipedia List of University of California, Los Angeles people#7HTW |
| Jimmy Johnson | 68KRQABQJ2 | unknown | open | Wikipedia List of University of California, Los Angeles people#PU7F |
| Jin Akiyama | VJTQN5NRKH | unknown | open | Wikipedia List of people by Erdős number#ATOM |