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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 5401–5500 of 5846.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JVJQ7RZN26 | JVJQ7RZN26 | statement | record (an 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.09672#PSLL |
| JVJTKJZDS9 | JVJTKJZDS9 | statement | record (an 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.21034#GPW8 |
| JVJTN6YM9D | JVJTN6YM9D | 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.09809#F4NV |
| JVJVHC4MES | JVJVHC4MES | statement | record (an 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.12736#B5JT |
| JVK78VPSJW | JVK78VPSJW | exercise | open | napkin tex/alg-geom/mor-scheme.tex#ques-1 |
| JVKJQAK0K0 | JVKJQAK0K0 | statement | record (an 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#45KH |
| JVME6TAHKQ | JVME6TAHKQ | exercise | open | napkin tex/quantum/shor.tex#ques-1 |
| JVNWYGQG45 | JVNWYGQG45 | statement | record (an 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.26738#USVB |
| JVP020A8ZM | JVP020A8ZM | statement | record (an 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.31523#BOA7 |
| JVPJR1TEPZ | JVPJR1TEPZ | definition | open | lebl_ra ch-real-nums.tex#defn-6 |
| JVQ4NN9Z1T | JVQ4NN9Z1T | statement | open | lebl_ra ch-multivar-int.tex#prop:volrectdet |
| JVQSQC2YT6 | JVQSQC2YT6 | statement | record (an 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.31523#TU56 |
| JVR68DA6BW | JVR68DA6BW | statement | open | open_logic content/lambda-calculus/lambda-definability/fixpoints.tex#thm-1 |
| JVR6NVSDD9 | JVR6NVSDD9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.22636#IDDW |
| JVRNWJ3M85 | JVRNWJ3M85 | statement | record (an 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.06899#FYMA |
| JVRV5HCWG4 | JVRV5HCWG4 | statement | record (an 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.13734#7BCB |
| JVS0AYSVVP | JVS0AYSVVP | statement | open | napkin tex/linalg/fourier.tex#proposition-1 |
| JVS8DV2820 | JVS8DV2820 | statement | record (an 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.04305#QYK0 |
| JVSF0PWWVW | JVSF0PWWVW | statement | record (an 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.17536#KBT5 |
| JVT40CX4W3 | JVT40CX4W3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.12669#5G4O |
| JVT427QA8K | JVT427QA8K | 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 2412.01742#M2AV |
| JVTGSEY778 | JVTGSEY778 | statement | record (an 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.25703#VZDL |
| JVTTMA76K3 | JVTTMA76K3 | statement | record (an 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#5TYA |
| JVW1P9121A | JVW1P9121A | statement | record (an 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.08682#J1EE |
| JVW28MPN0Z | JVW28MPN0Z | statement | record (an 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.07285#Q4UF |
| JVW5NNG25N | JVW5NNG25N | 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 2401.13523#ECZO |
| JVWP87W3E2 | JVWP87W3E2 | statement | record (an 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.07092#7UPI |
| JVWTXMXAFV | JVWTXMXAFV | statement | record (an 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.15043#1BYO |
| JVWVVH8F21 | JVWVVH8F21 | statement | record (an 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.28195#YOAF |
| JVXB01Y4FT | JVXB01Y4FT | statement | record (an 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.24878#PKS2 |
| JVXVRDWG03 | JVXVRDWG03 | 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.21005#JI60 |
| JVZDJ2RB49 | JVZDJ2RB49 | statement | record (an 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#0IDI |
| JVZEM3E9F4 | JVZEM3E9F4 | statement | record (an 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.29712#9Q1L |
| JW06GBFFNN | JW06GBFFNN | proof | open | napkin tex/set-theory/models.tex#proof-1 |
| JW0G0FKBCP | JW0G0FKBCP | exercise | open | lebl_scv scv.tex#exercise-69 |
| JW0XB20HT4 | JW0XB20HT4 | statement | record (an 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.12352#ZWWO |
| JW142CN6V1 | JW142CN6V1 | exercise | open | napkin tex/H113/grp-intro.tex#problem-2 |
| JW1BXE6SZ5 | JW1BXE6SZ5 | statement | record (an 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.31783#5JWE |
| JW27GYB0SC | JW27GYB0SC | statement | record (an 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.24917#OLII |
| JW3A1EF9A4 | JW3A1EF9A4 | statement | record (an 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.31556#6FLV |
| JW3SNDJPYG | JW3SNDJPYG | statement | record (an 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.23972#C4C8 |
| JW3TYBBV9M | JW3TYBBV9M | statement | record (an 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.09882#TL1H |
| JW3WWF7WTP | JW3WWF7WTP | statement | record (an 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.29304#1EOE |
| JW44YQ4SZZ | JW44YQ4SZZ | 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.06152#KCQL |
| JW4RGTHH80 | JW4RGTHH80 | statement | record (an 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.13745#FQYV |
| JW4W671TM3 | JW4W671TM3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#C2SP |
| JW5EXGZA67 | JW5EXGZA67 | proof | open | napkin tex/measure/caratheodory.tex#proof-4 |
| JW5M10X42W | JW5M10X42W | 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.10937#0JLZ |
| JW6C35MEG4 | JW6C35MEG4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#TV6S |
| JW6DJ722HH | JW6DJ722HH | exercise | open | open_logic content/proof-theory/sequent-calculus/interpretation-rules.tex#prob-1 |
| JW77ZDZF2C | JW77ZDZF2C | statement | record (an 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#NN17 |
| JW7AWY07SP | JW7AWY07SP | statement | record (an 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.02489#ZG2Q |
| JW7RCKGMXY | JW7RCKGMXY | statement | record (an 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#PAZQ |
| JW7TQB3TNJ | JW7TQB3TNJ | 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.23941#KM42 |
| JW83999V5T | JW83999V5T | statement | record (an 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.30779#KHD4 |
| JW8FZT73ET | JW8FZT73ET | statement | record (an 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.21866#Z90C |
| JW8Z06TYCZ | JW8Z06TYCZ | statement | record (an 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.08081#OPJ0 |
| JW9199NSK6 | JW9199NSK6 | statement | record (an 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#LOY1 |
| JW9CS2PR15 | JW9CS2PR15 | statement | record (an 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.36300#M9D2 |
| JWA51656EJ | JWA51656EJ | statement | record (an 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.14450#PX72 |
| JWA7X9VR73 | JWA7X9VR73 | statement | record (an 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.19093#QE2G |
| JWAMSHHC4W | JWAMSHHC4W | statement | record (an 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.39845#226N |
| JWAZKN651X | JWAZKN651X | statement | record (an 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.24901#UI57 |
| JWB7AQW4A6 | JWB7AQW4A6 | statement | record (an 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.19023#3ULC |
| JWC40B0765 | JWC40B0765 | statement | record (an 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#CJSG |
| JWCNNSMM1F | JWCNNSMM1F | 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.05856#XRD1 |
| JWCRWZ2AYC | JWCRWZ2AYC | statement | record (an 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.03310#3WD6 |
| JWCWSPC5RM | JWCWSPC5RM | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-42 |
| JWDPDY3ESG | JWDPDY3ESG | statement | record (an 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.08052#0BZ9 |
| JWDSTFSK2Y | JWDSTFSK2Y | statement | record (an 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.27483#EWEO |
| 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 |
| JWH6A6NVGN | JWH6A6NVGN | statement | record (an 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.20798#OF8T |
| 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 |
| JWRJ6N7HZX | JWRJ6N7HZX | statement | record (an 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.22514#X9OY |
| 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 |
| JWSZMZP7TW | JWSZMZP7TW | statement | record (an 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.21937#SGLU |