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 2801–2900 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JWFS594730 | JWFS594730 | statement | record (an 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#XKS5 |
| JWFXZKNZPV | JWFXZKNZPV | 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.29723#ISX5 |
| JWG15G50C1 | JWG15G50C1 | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-4 |
| JWGFD5JQVX | JWGFD5JQVX | statement | record (an 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.31641#C9H7 |
| JWH2Y6QN2F | JWH2Y6QN2F | statement | record (an 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.17698#RKU3 |
| JWJJP2H490 | JWJJP2H490 | statement | open | lebl_ra ch-several-vars-ders.tex#prop-7 |
| JWJJVT03XS | JWJJVT03XS | statement | record (an 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.35361#BVCK |
| JWJTMFQYNG | JWJTMFQYNG | statement | record (an 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.17116#QNE0 |
| JWK1VW4ZSA | JWK1VW4ZSA | statement | record (an 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#F64H |
| JWKMYE32WR | JWKMYE32WR | exercise | open | austin_ula src/exercises/exercises6-2.xml#exercise-4 |
| JWM4599X72 | JWM4599X72 | example | open | open_logic content/intuitionistic-logic/tableaux/proofs.tex#ex-1 |
| JWMDVZWYPF | JWMDVZWYPF | statement | record (an 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.28020#M62G |
| JWMJ3XZRWH | JWMJ3XZRWH | statement | record (an 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#7VXS |
| JWMZE1PQDW | JWMZE1PQDW | statement | record (an 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#FRXB |
| JWNNNEZK3E | JWNNNEZK3E | statement | record (an 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.29699#EPEX |
| JWP3MCQ4XC | JWP3MCQ4XC | 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.17737#Q9NU |
| JWP6G404Y6 | JWP6G404Y6 | statement | record (an 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.16655#6A37 |
| JWP8E2S60K | JWP8E2S60K | 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 2608.24424#RWXA |
| JWPFTRFEYD | JWPFTRFEYD | 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.28669#5TUO |
| JWQ3Z3P47C | JWQ3Z3P47C | statement | record (an 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.25880#4URB |
| JWQ4WTHJ3Y | JWQ4WTHJ3Y | statement | record (an 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.16267#G17P |
| JWQH85MNCM | JWQH85MNCM | statement | record (an 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#0D6B |
| JWQMW41ZW5 | JWQMW41ZW5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.04820#POH3 |
| JWQPBABKZJ | JWQPBABKZJ | statement | record (an 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#INYC |
| JWQV4XK2WE | JWQV4XK2WE | statement | record (an 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.31768#F7KU |
| JWS67967NH | JWS67967NH | statement | record (an 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.08912#TYOI |
| JWSXWV2YKJ | JWSXWV2YKJ | statement | record (an 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.39307#Z8HO |
| JWT755K722 | JWT755K722 | statement | record (an 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#4A5I |
| JWT7H22F27 | JWT7H22F27 | example | open | lebl_diffyqs ch-power-ser.tex#example-6 |
| JWT92E7YKW | JWT92E7YKW | statement | record (an 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.38323#Q6HU |
| JWTCVCYYE4 | JWTCVCYYE4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#KJLM |
| JWTQM5533J | JWTQM5533J | statement | record (an 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.26808#9DHZ |
| JWTSV1FJTM | JWTSV1FJTM | 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 2111.07409#L0ZV |
| JWV7QRSFT3 | JWV7QRSFT3 | statement | record (an 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.33185#71VC |
| JWVV390GYH | JWVV390GYH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.01874#LY5A |
| JWW78RGBYE | JWW78RGBYE | statement | record (an 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.36823#6JSI |
| JWWPRMTVB5 | JWWPRMTVB5 | 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 2606.20229#X7VL |
| JWWQRBWABT | JWWQRBWABT | statement | record (an 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.10875#ZFFW |
| JWXB0DYWTY | JWXB0DYWTY | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-65 |
| JWXFKHNXJG | JWXFKHNXJG | statement | record (an 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.25275#FAJT |
| JWXJREWFXG | JWXJREWFXG | statement | record (an 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.03208#FHHJ |
| JWY2TW3X9T | JWY2TW3X9T | statement | record (an 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.16746#C2EE |
| JX1C2EAPCW | JX1C2EAPCW | statement | record (an 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.24701#TXH0 |
| JX1YG4GXX0 | JX1YG4GXX0 | statement | record (an 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#TEHM |
| JX2H460T3V | JX2H460T3V | statement | record (an 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.32614#U0YQ |
| JX2TN3WD8W | JX2TN3WD8W | statement | record (an 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.24580#OCW3 |
| JX2Z0GQ6XV | JX2Z0GQ6XV | statement | record (an 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.37893#KYRI |
| JX352F2M5Y | JX352F2M5Y | statement | record (an 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.22288#AP2L |
| JX3VGYGQZ7 | JX3VGYGQZ7 | statement | record (an 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.18847#LWVL |
| JX407A106G | JX407A106G | statement | record (an 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.40274#RDA9 |
| JX4ATS5RT7 | JX4ATS5RT7 | 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.27301#L8X3 |
| JX4C7X6YBZ | JX4C7X6YBZ | statement | record (an 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.02215#4PWH |
| JX4EDD2X5P | JX4EDD2X5P | 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.12330#D3IA |
| JX4W8QXDM2 | JX4W8QXDM2 | statement | record (an 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.20285#RWIY |
| JX5RSRJXVR | JX5RSRJXVR | 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#ZURC |
| JX5WAXAZQ5 | JX5WAXAZQ5 | statement | record (an 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.04809#3OC7 |
| JX6GRS3XJG | JX6GRS3XJG | statement | record (an 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.09171#RW6J |
| JX6Q8S58E4 | JX6Q8S58E4 | statement | record (an 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.10873#9VZH |
| JX7MM77D49 | JX7MM77D49 | example | open | napkin tex/homology/cohomology.tex#example-6 |
| JX7PBY5QXA | JX7PBY5QXA | statement | record (an 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#KQ9J |
| JX7Z3CSWGF | JX7Z3CSWGF | statement | record (an 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.22317#SYKC |
| JX86MZ02JS | JX86MZ02JS | statement | record (an 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.20391#XRQU |
| JX8A9P87XA | JX8A9P87XA | statement | record (an 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.29699#GKB5 |
| JX8QRNC00S | JX8QRNC00S | statement | record (an 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#QJP2 |
| JXAH0CQYRF | JXAH0CQYRF | 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 2212.06253#FZEQ |
| JXAHVZ93FG | JXAHVZ93FG | statement | record (an 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.31907#HNJO |
| JXAJR1NRMT | JXAJR1NRMT | proof | open | hott_book setmath.tex#proof-11 |
| JXCJB23W8A | JXCJB23W8A | 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.00811#YPCB |
| JXCYQNX3KZ | JXCYQNX3KZ | statement | record (an 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.29489#8I3Z |
| JXDFW3YPZ7 | JXDFW3YPZ7 | 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.10262#MOOZ |
| JXDT20QTT8 | JXDT20QTT8 | 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.20944#XO5S |
| JXF6WYAPKJ | JXF6WYAPKJ | 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 math/0406514#J06X |
| JXFZ2WE74P | JXFZ2WE74P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4012#6K5A |
| JXG4F3B1E5 | JXG4F3B1E5 | statement | record (an 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.01276#08SG |
| JXGHEZ90NM | JXGHEZ90NM | statement | record (an 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.05986#FI1P |
| JXGQJCJCH1 | JXGQJCJCH1 | statement | record (an 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.02579#3XYN |
| JXH9MTWXMG | JXH9MTWXMG | statement | record (an 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.16580#IREF |
| JXHAXK7NV9 | JXHAXK7NV9 | statement | record (an 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.36823#73ZN |
| JXHR3T5CST | JXHR3T5CST | proof | open | lebl_ra ch-seq-ser.tex#proof-1 |
| JXJAEZ3Q6B | JXJAEZ3Q6B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#5LWD |
| JXJW4FFG7A | JXJW4FFG7A | statement | open | applied_combinatorics source/s_background_formal-num-sys.ptx#lemma-2 |
| JXK2S65G4T | JXK2S65G4T | 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.08837#2UAM |
| JXKGN33FPQ | JXKGN33FPQ | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-3 |
| JXKRNGR1WS | JXKRNGR1WS | 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.15525#IZEY |
| JXKSN00A09 | JXKSN00A09 | statement | record (an 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.30519#5ZV1 |
| JXM6MKXH7S | JXM6MKXH7S | 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 math/9602216#BHIK |
| JXMMNNEZ14 | JXMMNNEZ14 | 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 2204.01121#HUHR |
| JXMZ34CA42 | JXMZ34CA42 | exercise | open | hott_book homotopy.tex#ex:homotopy-groups-resp-prod |
| JXN26YP80J | JXN26YP80J | statement | record (an 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.13516#0V40 |
| JXN8B88TBD | JXN8B88TBD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.04161#NTKB |
| JXP6W5KNJC | JXP6W5KNJC | exercise | open | lebl_ra ch-approximate.tex#exercise-13 |
| JXPG36RWXD | JXPG36RWXD | proof | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-3 |
| JXPQN9ZCA7 | JXPQN9ZCA7 | statement | record (an 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.11120#B9I7 |
| JXQM6TQDEX | JXQM6TQDEX | 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.34260#2BCI |
| JXQWJD51WX | JXQWJD51WX | statement | record (an 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.28702#OEI0 |
| JXRKQSHFHX | JXRKQSHFHX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#CLJG |
| JXSSRY5VT9 | JXSSRY5VT9 | statement | record (an 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.06038#G1NC |
| JXTA8TTPFC | JXTA8TTPFC | statement | record (an 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.17589#B2BZ |
| JXTK43DJ7H | JXTK43DJ7H | statement | record (an 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.06707#C1KD |
| JXTQARS182 | JXTQARS182 | statement | record (an 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.37271#L01Y |