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 601–700 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| J701N37DZB | J701N37DZB | statement | record (an 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.03144#N6ZX |
| J70MGKDH8H | J70MGKDH8H | statement | record (an 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#ORRY |
| J70Z8FZ42F | J70Z8FZ42F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.09873#GCZ0 |
| J71RD23VD3 | J71RD23VD3 | statement | record (an 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.28009#1VMA |
| J730MBRANM | J730MBRANM | statement | record (an 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.34731#0TXT |
| J73A27C9YV | J73A27C9YV | statement | record (an 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.32138#DZTD |
| J73AM8VQAH | J73AM8VQAH | statement | record (an 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#0KWH |
| J73HNVZQ5Q | J73HNVZQ5Q | 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 2610.08334#51TW |
| J73MAV1EB5 | J73MAV1EB5 | 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.13100#N3VI |
| J7539NJZZX | J7539NJZZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#W03X |
| J75YQYEWCF | J75YQYEWCF | statement | record (an 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.21752#GM31 |
| J75YZ7SBVH | J75YZ7SBVH | statement | record (an 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.35625#SESK |
| J765X209T8 | J765X209T8 | 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.10591#M3WZ |
| J767BA27FR | J767BA27FR | 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.27641#8NO7 |
| J76KH3BGCH | J76KH3BGCH | statement | record (an 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.32916#L1H4 |
| J78P5AN7J3 | J78P5AN7J3 | 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 1002.0879#P8DH |
| J78T6SB4XG | J78T6SB4XG | statement | record (an 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#P8N9 |
| J7ARGR3VCP | J7ARGR3VCP | statement | record (an 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.09201#FBY7 |
| J7B36BCJW1 | J7B36BCJW1 | 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.40207#WD15 |
| J7C1SBX0RH | J7C1SBX0RH | statement | record (an 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.17608#4GU0 |
| J7C2KM5JVC | J7C2KM5JVC | statement | record (an 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.05314#EJN2 |
| J7C97NQ4GW | J7C97NQ4GW | statement | record (an 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.13793#JQQ7 |
| J7CEQG1SXS | J7CEQG1SXS | statement | record (an 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.04870#UJYR |
| J7CJZQ1ZTY | J7CJZQ1ZTY | 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.36884#YNQS |
| J7CP1F1YT0 | J7CP1F1YT0 | statement | record (an 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.08789#1R1K |
| J7CT5XXBKE | J7CT5XXBKE | definition | open | napkin tex/riemann-surface/morphism.tex#definition-2 |
| J7CTT9TNFW | J7CTT9TNFW | 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.35323#IOHF |
| J7DEWAAZR5 | J7DEWAAZR5 | statement | record (an 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.26324#966O |
| J7DG5K2CSA | J7DG5K2CSA | exercise | open | levin_dmoi ptx/exercises/logic-conc.ptx#exercise-10 |
| J7DGECX05X | J7DGECX05X | statement | record (an 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.32439#PA3X |
| J7DJVTGJ9J | J7DJVTGJ9J | statement | record (an 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.04870#IBQT |
| J7EAVWZTE6 | J7EAVWZTE6 | statement | record (an 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.38188#L682 |
| J7EF1HFSMP | J7EF1HFSMP | 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.33771#555L |
| J7ER1TCW64 | J7ER1TCW64 | statement | record (an 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.13533#PPPB |
| J7FAQ3M940 | J7FAQ3M940 | statement | record (an 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.21475#XLQR |
| J7FT5V96MP | J7FT5V96MP | statement | record (an 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.10152#8Y8L |
| J7FTBQ1DQH | J7FTBQ1DQH | statement | record (an 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.31249#4YUX |
| J7FZ4439C4 | J7FZ4439C4 | 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 2411.01837#IYB8 |
| J7GD9WY54E | J7GD9WY54E | 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.35396#7W7U |
| J7H1605DHA | J7H1605DHA | statement | record (an 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#5M8L |
| J7H3MT360Z | J7H3MT360Z | 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.20131#SJ2S |
| J7HJC2CZGD | J7HJC2CZGD | statement | record (an 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.14561#4YCJ |
| J7HT0XATEG | J7HT0XATEG | statement | record (an 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.26769#LW73 |
| J7JFC5RX5B | J7JFC5RX5B | statement | record (an 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.14383#T5KX |
| J7KBMW89H1 | J7KBMW89H1 | statement | record (an 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.40123#X78B |
| J7KD86XDVB | J7KD86XDVB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#UGYQ |
| J7KMXHRMAM | J7KMXHRMAM | statement | record (an 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.28374#JE2X |
| J7KN679BXD | J7KN679BXD | example | open | open_logic content/turing-machines/machines-computations/halting-states.tex#ex-1 |
| J7MDVHFQE5 | J7MDVHFQE5 | statement | record (an 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#GZJC |
| J7MT57ER28 | J7MT57ER28 | 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.28141#GXKD |
| J7N15EKW37 | J7N15EKW37 | statement | record (an 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.28203#7THZ |
| J7N6GZZS8V | J7N6GZZS8V | statement | record (an 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#2C5K |
| J7ND4TBK0H | J7ND4TBK0H | statement | record (an 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.35404#641U |
| J7NEDK25J0 | J7NEDK25J0 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-1 |
| J7PACBFD55 | J7PACBFD55 | statement | record (an 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.07741#GRDE |
| J7PGZ24NYW | J7PGZ24NYW | statement | record (an 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.13392#PF0D |
| J7PMW1KNA9 | J7PMW1KNA9 | statement | record (an 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.32903#T79W |
| J7PY9N81AX | J7PY9N81AX | statement | record (an 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.01818#CBZ7 |
| J7Q535NW0E | J7Q535NW0E | statement | record (an 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.02993#W9WM |
| J7Q7S8Y0MX | J7Q7S8Y0MX | 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.36306#14LB |
| J7Q8K4DC1A | J7Q8K4DC1A | statement | record (an 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.14458#5OD5 |
| J7QW5JGZM4 | J7QW5JGZM4 | 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.32077#C3SD |
| J7S0VMWR13 | J7S0VMWR13 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-93 |
| J7S2PR3R2R | J7S2PR3R2R | statement | record (an 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.26417#JPC8 |
| J7S6RSDGNW | J7S6RSDGNW | statement | record (an 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.26600#YBG8 |
| J7T44EMVJW | J7T44EMVJW | statement | record (an 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.12054#W1ST |
| J7TA9ZFK59 | J7TA9ZFK59 | statement | open | ernst_ibl MAAPressVersion/FiniteSets.tex#thm:finiteSetsSameCardinality |
| J7TF1VKQ0N | J7TF1VKQ0N | statement | record (an 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.22082#DGCS |
| J7TXG4B5W9 | J7TXG4B5W9 | statement | record (an 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.40252#G8H0 |
| J7V071VBTQ | J7V071VBTQ | statement | record (an 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.08039#NDAW |
| J7V765F6E5 | J7V765F6E5 | statement | record (an 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#49FM |
| J7V7YVX4KR | J7V7YVX4KR | statement | record (an 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.32140#HMF7 |
| J7VA7RAXW3 | J7VA7RAXW3 | statement | record (an 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.03058#DXO6 |
| J7VTKS0NK7 | J7VTKS0NK7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.1569#B2MN |
| J7VVZQ75ZT | J7VVZQ75ZT | 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.25495#F354 |
| J7W1YG1MYT | J7W1YG1MYT | statement | record (an 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.35001#W0H4 |
| J7W99X5KH3 | J7W99X5KH3 | 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.05194#3D0T |
| J7WGD93KQ0 | J7WGD93KQ0 | statement | record (an 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.22882#Q8E4 |
| J7X97G4JFT | J7X97G4JFT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#1U6L |
| J7XAF8C8J4 | J7XAF8C8J4 | statement | record (an 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#ZLC7 |
| J7XRFENTEM | J7XRFENTEM | statement | record (an 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.21963#W2JZ |
| J7YBRJC6J6 | J7YBRJC6J6 | definition | open | open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#defn-3 |
| J7Z4F7N02X | J7Z4F7N02X | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-42 |
| J7ZGV9ZPWQ | J7ZGV9ZPWQ | 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 2506.16491#BFV5 |
| J7ZWBEZ0ZQ | J7ZWBEZ0ZQ | statement | record (an 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.10591#HCG9 |
| J7ZZN5R4R0 | J7ZZN5R4R0 | statement | record (an 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#XQCN |
| J80GVBXZTJ | J80GVBXZTJ | statement | record (an 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#A7GL |
| J818C091KQ | J818C091KQ | statement | record (an 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.34876#ICW1 |
| J81HKQT9MV | J81HKQT9MV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#QNCK |
| J81RN8WHS9 | J81RN8WHS9 | 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 0903.1569#UNLU |
| J81TAEW1T6 | J81TAEW1T6 | proof | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#proof-4 |
| J82R3AWW0J | J82R3AWW0J | statement | record (an 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.33015#L9DU |
| J831VXSXTK | J831VXSXTK | statement | record (an 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.09319#HGN2 |
| J83528D1X6 | J83528D1X6 | 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.22247#ZUGU |
| J8465GS6P5 | J8465GS6P5 | statement | record (an 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.27570#MCMW |
| J84FCAHGCF | J84FCAHGCF | proof | open | lebl_ra ch-approximate.tex#proof-24 |
| J84G84YXN2 | J84G84YXN2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.17135#L1VM |
| J84GFJXESF | J84GFJXESF | statement | record (an 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.15360#7CFM |
| J84GS004F6 | J84GS004F6 | statement | record (an 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.16060#YDSZ |
| J8567V3ATN | J8567V3ATN | statement | record (an 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.25289#VIGD |