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 701–800 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| J85FKNH74C | J85FKNH74C | statement | record (an 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.18033#IF6D |
| J85RQZ31E0 | J85RQZ31E0 | exercise | open | lebl_diffyqs ch-intro.tex#exercise-24 |
| J860TXCCKA | J860TXCCKA | statement | record (an 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.17691#5D3I |
| J86K13CXV3 | J86K13CXV3 | statement | record (an 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#6DJ7 |
| J86SX76SQR | J86SX76SQR | statement | record (an 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.21899#ZPRU |
| J86ZEC2E54 | J86ZEC2E54 | statement | record (an 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.01916#04UO |
| J875T0PSH2 | J875T0PSH2 | statement | record (an 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.33590#SBWG |
| J876RMF7NA | J876RMF7NA | example | open | lebl_diffyqs ch-nonlin-systems.tex#example-2 |
| J87A1KVD2Y | J87A1KVD2Y | statement | record (an 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.26455#H9SX |
| J87H61FWWM | J87H61FWWM | statement | record (an 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.11143#0EVE |
| J87T9P0EZP | J87T9P0EZP | statement | record (an 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#ZXHI |
| J8822S1X7Q | J8822S1X7Q | statement | record (an 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.00407#X8HG |
| J898R4GK56 | J898R4GK56 | statement | record (an 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#F6PS |
| J898Z2VVF8 | J898Z2VVF8 | statement | record (an 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.08123#GTXJ |
| J89A11SC69 | J89A11SC69 | statement | record (an 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.19214#JNON |
| J89C3N4834 | J89C3N4834 | statement | record (an 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.36877#343C |
| J8A7F0GQHZ | J8A7F0GQHZ | 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.13213#AD95 |
| J8AQQPS1WP | J8AQQPS1WP | statement | record (an 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.01087#EH6Y |
| J8BE4XPXV9 | J8BE4XPXV9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#0GBN |
| J8BG15J9GQ | J8BG15J9GQ | 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.19214#P7BF |
| J8BKFZYRMF | J8BKFZYRMF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17276#CF5E |
| J8BNCE57SY | J8BNCE57SY | statement | record (an 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.28495#GWAD |
| J8BR5RA4K4 | J8BR5RA4K4 | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-9 |
| J8BZEDH6TQ | J8BZEDH6TQ | 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.27931#P61B |
| J8C0M9WJ2T | J8C0M9WJ2T | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-117 |
| J8C1C65D8N | J8C1C65D8N | statement | record (an 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.21388#GIPM |
| J8CBN246ES | J8CBN246ES | definition | open | active_calculus source/sec-1-7-lim-cont-diff.xml#definition-2 |
| J8CNVJNW2J | J8CNVJNW2J | statement | record (an 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.25390#QEYI |
| J8CRQA0WYH | J8CRQA0WYH | statement | record (an 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.03661#OMXO |
| J8D0WMYA9K | J8D0WMYA9K | statement | record (an 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.21036#DU20 |
| J8D6GHB36W | J8D6GHB36W | statement | record (an 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#NEWK |
| J8DVF0ATTX | J8DVF0ATTX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.17751#Z7P1 |
| J8EQY46C31 | J8EQY46C31 | 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.01915#AVU5 |
| J8EY60QAR3 | J8EY60QAR3 | statement | record (an 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#GOMT |
| J8EZHV6DSE | J8EZHV6DSE | statement | record (an 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.27872#C2YI |
| J8FBXWQDNC | J8FBXWQDNC | exercise | open | austin_ula src/exercises/exercises7-5.xml#exercise-7 |
| J8FT733EWX | J8FT733EWX | statement | record (an 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/0003117#C9Z0 |
| J8G5P5BZ14 | J8G5P5BZ14 | statement | record (an 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.24307#MC3J |
| J8G72EQRM9 | J8G72EQRM9 | statement | record (an 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.18744#M489 |
| J8GVJ7HAQF | J8GVJ7HAQF | 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.38030#JWDQ |
| J8H21W5XH6 | J8H21W5XH6 | exercise | open | open_logic content/turing-machines/machines-computations/representing-tms.tex#prob-1 |
| J8H40H31WV | J8H40H31WV | unknown | open | Wikidata Q5460020, EoM Existential_quantifier, MathWorld Exists |
| J8HAYDEB3F | J8HAYDEB3F | statement | record (an 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.07790#56ME |
| J8HRRP9WE7 | J8HRRP9WE7 | 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.29304#0HXW |
| J8J8QAKH69 | J8J8QAKH69 | statement | record (an 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.02506#TFT0 |
| J8JKKFS1KA | J8JKKFS1KA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.2160#1FMZ |
| J8KKAPT9Q2 | J8KKAPT9Q2 | exercise | open | hott_book reals.tex#ex:mean-value-theorem |
| J8KPGJ4G27 | J8KPGJ4G27 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-56 |
| J8KPNNAZF5 | J8KPNNAZF5 | statement | record (an 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.20025#OLT0 |
| J8KR8YAH4S | J8KR8YAH4S | 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.05623#OPAF |
| J8KRTEPPWN | J8KRTEPPWN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.12475#0CG0 |
| J8M6X994AP | J8M6X994AP | statement | record (an 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.08222#QU7S |
| J8NJ0MV2VJ | J8NJ0MV2VJ | statement | record (an 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.21536#UE1U |
| J8NNAS9349 | J8NNAS9349 | statement | record (an 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.01324#0WCX |
| J8NX8RZPRX | J8NX8RZPRX | statement | record (an 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.31104#FNQS |
| J8P5Z30WPP | J8P5Z30WPP | statement | record (an 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.30113#D5UI |
| J8PPAKMRCG | J8PPAKMRCG | statement | record (an 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.29623#9WSG |
| J8Q8ZVTBBC | J8Q8ZVTBBC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#VNAM |
| J8QHCMQC9T | J8QHCMQC9T | statement | record (an 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.03422#2UYZ |
| J8R1JSE700 | J8R1JSE700 | exercise | open | austin_ula src/section4-4.xml#ula-preview-4-4 |
| J8RGZWVWY7 | J8RGZWVWY7 | statement | record (an 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#J9L7 |
| J8RH0F9HE3 | J8RH0F9HE3 | statement | record (an 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.10192#K9ST |
| J8RRSWV7KP | J8RRSWV7KP | 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 2104.00162#4GJW |
| J8S3662PM8 | J8S3662PM8 | statement | record (an 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.03384#C0II |
| J8S6MBYKJH | J8S6MBYKJH | statement | record (an 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.20207#FWM3 |
| J8SGV60B16 | J8SGV60B16 | statement | record (an 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.03520#LQPJ |
| J8SP0HYFEH | J8SP0HYFEH | statement | record (an 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.31537#UN6A |
| J8T456RYNG | J8T456RYNG | statement | record (an 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.26270#3GEX |
| J8TH9JTEJ1 | J8TH9JTEJ1 | statement | record (an 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.10928#P7B4 |
| J8TN6XPSPD | J8TN6XPSPD | statement | record (an 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.21960#CVP5 |
| J8TWPB25KT | J8TWPB25KT | proof | open | levin_dmoi ptx/sec_seq-induction.ptx#proof-1 |
| J8TXMYV26N | J8TXMYV26N | 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.28742#9L2U |
| J8V4YA0DG3 | J8V4YA0DG3 | statement | record (an 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.37252#3X6O |
| J8XSQNCHYN | J8XSQNCHYN | statement | record (an 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.28011#X01C |
| J8Y1FYJXS4 | J8Y1FYJXS4 | statement | record (an 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.19459#LL01 |
| J8Y3NP6NGG | J8Y3NP6NGG | statement | record (an 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.27484#U4NR |
| J8Y8Z3MR8V | J8Y8Z3MR8V | statement | record (an 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#IJY1 |
| J8YH5C4JZP | J8YH5C4JZP | exercise | open | napkin tex/set-theory/forcing.tex#problem-1 |
| J8YWJWN9VE | J8YWJWN9VE | 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.05986#H4N7 |
| J8Z1V2Q4XC | J8Z1V2Q4XC | statement | record (an 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.39330#D8MZ |
| J8Z37C17YH | J8Z37C17YH | statement | record (an 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.20558#YV23 |
| J8ZS1RW88G | J8ZS1RW88G | 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 1804.06366#SFS1 |
| J8ZSJBZC3T | J8ZSJBZC3T | statement | record (an 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.29450#RHMM |
| J903WA574K | J903WA574K | exercise | open | lebl_scv scv.tex#exercise-201 |
| J90G2NPK8S | J90G2NPK8S | statement | record (an 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.05299#5UUM |
| J911APDC4Q | J911APDC4Q | statement | record (an 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.07001#5FNI |
| J9184BHYWV | J9184BHYWV | statement | record (an 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.20801#TFUX |
| J918N9KHZX | J918N9KHZX | 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 2501.00810#SMQB |
| J91F7NBJFR | J91F7NBJFR | exercise | open | napkin tex/alg-NT/dedekind.tex#problem-1 |
| J91GB81Q5Z | J91GB81Q5Z | 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.07852#ZQJ5 |
| J92214XSEP | J92214XSEP | statement | record (an 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.26745#681Q |
| J928Q31YZN | J928Q31YZN | proof | open | open_logic content/turing-machines/undecidability/verification.tex#proof-3 |
| J92EQF4GZB | J92EQF4GZB | statement | record (an 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.31393#T52G |
| J92KZXC5NQ | J92KZXC5NQ | statement | record (an 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.19132#ZOHR |
| J93WQ19QS4 | J93WQ19QS4 | example | open | lebl_ra ch-several-vars-ders.tex#example-6 |
| J946E11RST | J946E11RST | statement | record (an 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.08091#KHO9 |
| J94BK6JNHN | J94BK6JNHN | example | open | napkin tex/alg-NT/artin.tex#example-5 |
| J94P4C9SQ6 | J94P4C9SQ6 | statement | record (an 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.32065#IF21 |
| J94XDPJ7JC | J94XDPJ7JC | exercise | open | open_logic content/methods/induction/structural-induction.tex#prob-1 |
| J94Z4FARYB | J94Z4FARYB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.5343#QO73 |