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 101–200 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| J11G5C2K1S | J11G5C2K1S | 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.25656#FEMS |
| J11S5A9W6H | J11S5A9W6H | statement | record (an 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.20273#FYSA |
| J1221C4ACW | J1221C4ACW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.04968#C8BN |
| J12QHSRTZS | J12QHSRTZS | statement | record (an 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.24902#UBFF |
| J1310568FW | J1310568FW | 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.05179#T1KI |
| J134W6KBNM | J134W6KBNM | statement | record (an 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.13792#ZN74 |
| J138KAX6NF | J138KAX6NF | statement | record (an 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#4NW7 |
| J13931ZAHR | J13931ZAHR | statement | record (an 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.28289#1GGV |
| J13YQCXR40 | J13YQCXR40 | statement | record (an 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.11800#G47L |
| J1475Y5HEC | J1475Y5HEC | exercise | open | open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#prob-1 |
| J14C6CCEBJ | J14C6CCEBJ | exercise | open | austin_ula src/exercises/exercises7-2.xml#exercise-2 |
| J14CP2RHGM | J14CP2RHGM | statement | record (an 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.19273#DRFK |
| J14EHWKSE9 | J14EHWKSE9 | statement | open | napkin tex/riemann-surface/morphism.tex#proposition-2 |
| J14ZFJ1CMC | J14ZFJ1CMC | statement | record (an 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#VDPU |
| J159QR75ST | J159QR75ST | statement | record (an 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.06556#IMZM |
| J15Q6HGAWR | J15Q6HGAWR | statement | record (an 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.39505#9TB2 |
| J15Q88TZFF | J15Q88TZFF | example | open | applied_combinatorics source/s_intro_graph.ptx#example-2 |
| J15RXP2GKC | J15RXP2GKC | exercise | open | austin_ula src/exercises/exercises2-5.xml#exercise-1 |
| J15T5WQ7FW | J15T5WQ7FW | statement | record (an 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.10365#9M2F |
| J165ADYWBS | J165ADYWBS | 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.31102#4IP3 |
| J17QP0T8BN | J17QP0T8BN | statement | record (an 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.09494#CCCA |
| J190T0ER7H | J190T0ER7H | statement | record (an 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.13260#QRHG |
| J19TXW8KHH | J19TXW8KHH | statement | record (an 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.22090#J0VH |
| J19ZCDEFJM | J19ZCDEFJM | statement | record (an 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.03611#S701 |
| J1A1N03JMS | J1A1N03JMS | statement | record (an 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.22090#4ZE6 |
| J1AJEMZDT3 | J1AJEMZDT3 | statement | record (an 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.06746#AKE3 |
| J1ANQETQTK | J1ANQETQTK | statement | record (an 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.16877#DTF6 |
| J1AYRTP2EJ | J1AYRTP2EJ | statement | record (an 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.19573#MMN2 |
| J1BCEXTCKQ | J1BCEXTCKQ | statement | record (an 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.27366#KQDJ |
| J1BXRDGP2E | J1BXRDGP2E | statement | record (an 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.09422#OP0F |
| J1BZP2YY6F | J1BZP2YY6F | statement | record (an 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.16834#OOB0 |
| J1C9H7NEHK | J1C9H7NEHK | 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.36334#XA5I |
| J1CPGKMHX3 | J1CPGKMHX3 | statement | open | napkin tex/calculus/p-adic.tex#proposition-3 |
| J1DP4FNKS2 | J1DP4FNKS2 | statement | open | napkin tex/calculus/limits.tex#thm:monotonic_bounded |
| J1EGNN8M42 | J1EGNN8M42 | statement | record (an 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.29918#BF14 |
| J1EQHERE95 | J1EQHERE95 | statement | record (an 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.00364#75I3 |
| J1F0FCR09F | J1F0FCR09F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.04502#WNVM |
| J1FGA923H5 | J1FGA923H5 | statement | record (an 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.19437#0GOW |
| J1FX2QQE5X | J1FX2QQE5X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#4UVH |
| J1GAH028RF | J1GAH028RF | exercise | open | napkin tex/rep-theory/rep-alg.tex#problem-1 |
| J1GF7P1CEW | J1GF7P1CEW | exercise | open | open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prob-1 |
| J1HB5F2071 | J1HB5F2071 | 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 2409.20170#ZZAI |
| J1HBXKFRTK | J1HBXKFRTK | statement | record (an 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.21444#QNJD |
| J1HZ18S4R6 | J1HZ18S4R6 | 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.17875#0ZXO |
| J1HZZ7V8MA | J1HZZ7V8MA | statement | record (an 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.06066#LKBA |
| J1JMK5X64C | J1JMK5X64C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06581#P3AV |
| J1K7R5XZPF | J1K7R5XZPF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.11809#ELN1 |
| J1KBX5V41B | J1KBX5V41B | 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#M62E |
| J1KKFT4XMT | J1KKFT4XMT | 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.28774#5MTI |
| J1KRKFYHZR | J1KRKFYHZR | statement | record (an 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.11047#JQ75 |
| J1M1WS74N1 | J1M1WS74N1 | 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.12116#MJZX |
| J1M5NPVNPJ | J1M5NPVNPJ | statement | record (an 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.12810#XWME |
| J1MBTJWVN0 | J1MBTJWVN0 | statement | record (an 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#BWQZ |
| J1MJAC441H | J1MJAC441H | statement | record (an 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.21768#VD54 |
| J1MSBEJYCS | J1MSBEJYCS | 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#3KLY |
| J1N2TWY6QA | J1N2TWY6QA | statement | record (an 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.32300#CMOT |
| J1N5JMAT7N | J1N5JMAT7N | statement | record (an 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.03327#AX1W |
| J1NC7ZE858 | J1NC7ZE858 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.07710#ZBNA |
| J1Q2BD889W | J1Q2BD889W | example | open | lebl_diffyqs ch-laplace.tex#example-12 |
| J1RE5MVG0P | J1RE5MVG0P | statement | record (an 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.14099#R4RS |
| J1RR4CZWY5 | J1RR4CZWY5 | statement | open | open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#prop:derivfacts |
| J1RZFHGD8X | J1RZFHGD8X | statement | record (an 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.17518#TW6V |
| J1SDHQ8E3W | J1SDHQ8E3W | statement | record (an 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#DYC8 |
| J1SDSM3BMS | J1SDSM3BMS | statement | record (an 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.16821#5AQM |
| J1SEBDCZ5N | J1SEBDCZ5N | statement | record (an 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.37593#3WDX |
| J1SX20VFMQ | J1SX20VFMQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.04566#VY4X |
| J1THFJB5BK | J1THFJB5BK | statement | record (an 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.18503#E9K6 |
| J1TNTY7S94 | J1TNTY7S94 | proof | open | hott_book reals.tex#proof-10 |
| J1TP4AY76D | J1TP4AY76D | statement | record (an 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.16731#EG7K |
| J1V0CS4DKP | J1V0CS4DKP | example | open | open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#ex:model-K-of-Q |
| J1VEGRRYBQ | J1VEGRRYBQ | 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.24465#G3QG |
| J1VWHTX1VQ | J1VWHTX1VQ | statement | record (an 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.30203#VKMS |
| J1VX2F4BSD | J1VX2F4BSD | 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.00409#SH3R |
| J1VY35A81W | J1VY35A81W | statement | record (an 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.09840#NT0P |
| J1VYX70GGJ | J1VYX70GGJ | 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.35642#9FUY |
| J1WF9TXG99 | J1WF9TXG99 | statement | record (an 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.05391#VSLF |
| J1WHXNYZMV | J1WHXNYZMV | statement | record (an 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.02672#7P14 |
| J1XJEFT9DA | J1XJEFT9DA | 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 2408.01345#1H05 |
| J1YJMRV1CT | J1YJMRV1CT | 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.21929#RP7W |
| J1YPEKNK7C | J1YPEKNK7C | statement | record (an 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.19088#ZND8 |
| J1Z7YB10TN | J1Z7YB10TN | definition | open | lebl_ra ch-riemann.tex#defn-2 |
| J1ZB0T22XN | J1ZB0T22XN | definition | open | napkin tex/topology/constructions.tex#definition-1 |
| J1ZJ82JAK1 | J1ZJ82JAK1 | statement | record (an 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.05421#6VKE |
| J1ZKJVDB03 | J1ZKJVDB03 | unknown | open | arXiv 2610.13680#NBFS |
| J1ZV1CZYP8 | J1ZV1CZYP8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.23072#T3PF |
| J2048Y4G39 | J2048Y4G39 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.01436#BTFS |
| J209DYFPH1 | J209DYFPH1 | statement | record (an 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.11969#9WFP |
| J21CD3W639 | J21CD3W639 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#HHVV |
| J21VNDGXVF | J21VNDGXVF | statement | record (an 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.11383#LJWP |
| J21YVXPM6R | J21YVXPM6R | statement | record (an 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.0068#G599 |
| J220KM9DZW | J220KM9DZW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.00191#KR0S |
| J22DAJ1RH5 | J22DAJ1RH5 | statement | record (an 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.08944#78L0 |
| J233AEF254 | J233AEF254 | statement | record (an 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.11545#1B4Z |
| J236DS4X4D | J236DS4X4D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.18223#8R4Q |
| J246CEJEZK | J246CEJEZK | statement | record (an 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.39293#IXQD |
| J24D57T14N | J24D57T14N | statement | record (an 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.15088#CTOQ |
| J24FBRE3CX | J24FBRE3CX | statement | record (an 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.33704#OIEV |
| J24JS59TC3 | J24JS59TC3 | statement | record (an 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.33656#W1J3 |
| J24Q2QCHET | J24Q2QCHET | statement | record (an 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.28076#YCVN |
| J26RBMPX4S | J26RBMPX4S | statement | record (an 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.09294#0233 |