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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 3101–3180 of 3180.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JZ0TDXXV3F | JZ0TDXXV3F | statement | record (an 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.00105#4BOA |
| JZ1EN0KPKX | JZ1EN0KPKX | statement | record (an 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.34168#LN8L |
| JZ1ESPM0NF | JZ1ESPM0NF | statement | record (an 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#CVB3 |
| JZ29Z8T4CQ | JZ29Z8T4CQ | 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 2111.14143#QUF8 |
| JZ2ZDVZHGK | JZ2ZDVZHGK | statement | record (an 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.07471#XRUF |
| JZ31YWSSGF | JZ31YWSSGF | statement | record (an 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.15720#UZU8 |
| JZ3QDY7VC6 | JZ3QDY7VC6 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-2 |
| JZ4AYFQDTD | JZ4AYFQDTD | 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.10930#GO4L |
| JZ4SRK21YN | JZ4SRK21YN | statement | record (an 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.05268#0GNJ |
| JZ5ME10EGJ | JZ5ME10EGJ | statement | record (an 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#JCLW |
| JZ6DYX531T | JZ6DYX531T | statement | record (an 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#O0KC |
| JZ6QR11TZC | JZ6QR11TZC | 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#T1PD |
| JZ7JQTGK2V | JZ7JQTGK2V | exercise | open | lebl_ra ch-riemann.tex#exercise:upperlowerlinineq |
| JZ82BBHHFQ | JZ82BBHHFQ | exercise | open | lebl_ra ch-seq-ser.tex#exercise-19 |
| JZ8B3PQX5F | JZ8B3PQX5F | statement | record (an 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.21934#VTWT |
| JZ8NKKNC9M | JZ8NKKNC9M | statement | record (an 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.28893#V67A |
| JZ8YNCNP1M | JZ8YNCNP1M | statement | record (an 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.10243#2PSZ |
| JZ907WWZCG | JZ907WWZCG | statement | record (an 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.01561#124Q |
| JZ9DJDJ0EA | JZ9DJDJ0EA | statement | record (an 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.33651#6VIG |
| JZ9FMB0KZN | JZ9FMB0KZN | statement | record (an 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.25656#VRI8 |
| JZ9JYDQCVW | JZ9JYDQCVW | statement | record (an 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.28674#LSAR |
| JZ9N84G2PH | JZ9N84G2PH | example | open | hott_book logic.tex#thm:isset-forall |
| JZA92N4KXG | JZA92N4KXG | statement | record (an 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.08655#LT4B |
| JZAF2TEFHD | JZAF2TEFHD | statement | record (an 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.31300#K1SI |
| JZAYQSRQT5 | JZAYQSRQT5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.16491#7ICC |
| JZB6KE6X3W | JZB6KE6X3W | 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 2303.14022#BG2T |
| JZBKS30FCP | JZBKS30FCP | statement | record (an 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.24593#M4ZR |
| JZBVTRRVBW | JZBVTRRVBW | statement | record (an 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#G2R2 |
| JZC27F5EQY | JZC27F5EQY | 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.04179#KHQ1 |
| JZCG0R8MQ9 | JZCG0R8MQ9 | 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.09694#Y4R8 |
| JZCSVH4WJT | JZCSVH4WJT | statement | record (an 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.07728#VAMT |
| JZD53XJXEW | JZD53XJXEW | statement | record (an 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#DL9G |
| JZDG5ECV31 | JZDG5ECV31 | statement | record (an 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.25000#3GEO |
| JZE4EP2TM3 | JZE4EP2TM3 | 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#6N0D |
| JZEFDHPXS9 | JZEFDHPXS9 | example | open | lebl_diffyqs ch-systems.tex#sintro:carts-example |
| JZEJBJFD8B | JZEJBJFD8B | statement | record (an 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#OZG1 |
| JZEZQM33S2 | JZEZQM33S2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.08723#C94F |
| JZF2TX38GV | JZF2TX38GV | statement | record (an 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.39706#O0JU |
| JZF6KA8EH6 | JZF6KA8EH6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.07352#GU54 |
| JZG0BMP37K | JZG0BMP37K | statement | record (an 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.20909#Y96W |
| JZG49R5C3H | JZG49R5C3H | statement | record (an 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.17585#OCUN |
| JZGKY78NB9 | JZGKY78NB9 | 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.23527#RY3W |
| JZH1T054R4 | JZH1T054R4 | statement | record (an 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.30363#608P |
| JZHKSRJX1Q | JZHKSRJX1Q | statement | record (an 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.17002#AR0I |
| JZJ4NQMF5F | JZJ4NQMF5F | statement | record (an 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.04164#CLSW |
| JZJAVGPP9H | JZJAVGPP9H | statement | record (an 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.19360#VB0Q |
| JZJDKF725T | JZJDKF725T | 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.03865#Q0AT |
| JZKEEN8ARB | JZKEEN8ARB | statement | record (an 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#BDEK |
| JZMCHEGEH4 | JZMCHEGEH4 | 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.08196#9V9D |
| JZMTY020DY | JZMTY020DY | statement | record (an 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.02689#GU6K |
| JZN2Z77DTS | JZN2Z77DTS | statement | record (an 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.28597#TS0B |
| JZNMTZJQ29 | JZNMTZJQ29 | statement | record (an 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.10505#P2IM |
| JZNNXRG71Z | JZNNXRG71Z | statement | record (an 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.13214#YD2Q |
| JZPZQGVSTC | JZPZQGVSTC | statement | record (an 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#H5IH |
| JZQNV6HKXA | JZQNV6HKXA | 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.27799#GTPF |
| JZR7H0N1ES | JZR7H0N1ES | statement | record (an 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.00077#UA0G |
| JZRR36CKV5 | JZRR36CKV5 | statement | record (an 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.24323#3M6V |
| JZS7JAFKBC | JZS7JAFKBC | statement | record (an 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.12857#58B1 |
| JZSCGW2PCE | JZSCGW2PCE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#MP9D |
| JZSKRAHFWG | JZSKRAHFWG | 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#N5S1 |
| JZTC7ECWCK | JZTC7ECWCK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#5OME |
| JZVBWW29WZ | JZVBWW29WZ | 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.20760#CGAY |
| JZVD046T54 | JZVD046T54 | statement | record (an 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#496R |
| JZWT4RWNGT | JZWT4RWNGT | statement | record (an 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.39218#KRRW |
| JZWYJ7YAKB | JZWYJ7YAKB | statement | record (an 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#B3K5 |
| JZXE0MRGZZ | JZXE0MRGZZ | statement | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:comp |
| JZXXMSC0J5 | JZXXMSC0J5 | statement | record (an 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#7IO0 |
| JZY1WJ5YFD | JZY1WJ5YFD | 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.32524#R386 |
| JZYEQ167EJ | JZYEQ167EJ | statement | record (an 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.31910#C0DI |
| JZYHVQNYEV | JZYHVQNYEV | statement | record (an 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.37761#N6N5 |
| JZYXDS66NJ | JZYXDS66NJ | statement | record (an 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.04172#L0M4 |
| JZZ8YRKCST | JZZ8YRKCST | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.20229#0KDZ |
| JZZQK8WP8R | JZZQK8WP8R | statement | record (an 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#RLZ8 |
| Jørgen Pedersen Gram | X70B9SBRKK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q957238, ProofWiki Mathematician:Jørgen_Pedersen_Gram |
| Júlio César de Mello e Souza | VDTSZ7MPJ4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2520014, ProofWiki Mathematician:Júlio_César_de_Mello_e_Souza |
| Jürg Fröhlich | P18J70QJPM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q122729, nLab Jürg Fröhlich |
| Jürgen Fuchs | YHP0YR8XCB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1717177, nLab Jürgen Fuchs |
| Jürgen Jost | 9B917Z7P1X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q108439, nLab Jürgen Jost |
| Jürgen Moser | XKQ092ACK8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65209, nLab Jürgen Moser |
| Jürgen Neukirch | E31ZPECFD4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q85514, nLab Jürgen Neukirch |