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 901–1000 of 5846.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| J8TQM6K7BM | J8TQM6K7BM | statement | record (an 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.23262#SIPF |
| 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 |
| J8X4EYS0QR | J8X4EYS0QR | statement | record (an 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.20410#8SVU |
| 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 |
| J93CAQSZZ4 | J93CAQSZZ4 | problem | open | Wikipedia Crossing number (graph theory)#LOWR |
| 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 |
| J951WMV0CB | J951WMV0CB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#FZWG |
| J963H9N73Z | J963H9N73Z | statement | record (an 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.12966#GXL2 |
| J963JNHFYT | J963JNHFYT | statement | record (an 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#06D6 |
| J96M8KPNXJ | J96M8KPNXJ | statement | record (an 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.02017#6EYF |
| J96QX95WRM | J96QX95WRM | statement | record (an 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.02722#QIQO |
| J96T66JTQC | J96T66JTQC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#H0MY |
| J96TP9EJBJ | J96TP9EJBJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.08186#1PY9 |
| J978A7RGX5 | J978A7RGX5 | statement | record (an 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.12479#OB1W |
| J97XMDKREP | J97XMDKREP | definition | open | napkin tex/diffgeo/forms.tex#def:exterior_derivative |
| J983J1MFC9 | J983J1MFC9 | definition | open | ernst_ibl MAAPressVersion/Topology.tex#definition-2 |
| J98D3NWTK0 | J98D3NWTK0 | statement | record (an 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.4587#LVC4 |
| J98VFQTCBV | J98VFQTCBV | 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 2505.05539#RKTN |
| J990FCZNSF | J990FCZNSF | statement | record (an 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.00660#S1KO |
| J993KF7DWK | J993KF7DWK | statement | record (an 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#CRQ0 |
| J999VF1TGM | J999VF1TGM | statement | record (an 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.00562#HL37 |
| J99HV3EZPD | J99HV3EZPD | exercise | open | open_logic content/model-theory/models-of-arithmetic/standard-models.tex#prob-1 |
| J99TDG8ACA | J99TDG8ACA | statement | record (an 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.10337#3346 |
| J99XY4BDSC | J99XY4BDSC | 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.22161#VF78 |
| J99YH0J668 | J99YH0J668 | 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 1903.07030#1621 |
| J99ZN37NWQ | J99ZN37NWQ | statement | record (an 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#N3JH |
| J9A0RHAJ4E | J9A0RHAJ4E | 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.10928#EX5K |
| J9ACBA0CJ1 | J9ACBA0CJ1 | statement | record (an 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.01596#2Q3I |
| J9B7Q6RW59 | J9B7Q6RW59 | statement | record (an 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.33775#BYCI |
| J9BJXTZNW8 | J9BJXTZNW8 | statement | record (an 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.06461#JGMA |
| J9BK0K606Y | J9BK0K606Y | statement | record (an 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.05069#JFLR |
| J9C21WR3G5 | J9C21WR3G5 | statement | record (an 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.39218#OOMB |
| J9C48E5P6C | J9C48E5P6C | statement | record (an 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.08655#ES7Z |
| J9CM2ZS0DP | J9CM2ZS0DP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.06695#SYDE |
| J9CMTDAJ2T | J9CMTDAJ2T | statement | record (an 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.20385#C0PB |
| J9CVADQJPG | J9CVADQJPG | statement | record (an 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.31274#LRR8 |
| J9D9XYB5JP | J9D9XYB5JP | statement | record (an 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#X4SO |
| J9DNV7AGF3 | J9DNV7AGF3 | statement | record (an 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.11596#702W |
| J9E0AEE4DT | J9E0AEE4DT | 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 1009.2047#SNFR |
| J9E0DCQV14 | J9E0DCQV14 | statement | record (an 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.07508#NUXK |
| J9EE3Q3Y23 | J9EE3Q3Y23 | statement | record (an 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.23287#Z4PN |
| J9EE4D12HC | J9EE4D12HC | 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.22074#7KQH |
| J9EQ6SZJWG | J9EQ6SZJWG | 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.25983#UWLM |
| J9F3C1ASSR | J9F3C1ASSR | 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.27420#4C0V |
| J9F5KZ5P6X | J9F5KZ5P6X | statement | record (an 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.38068#I69V |
| J9F6S2JJZ3 | J9F6S2JJZ3 | 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.05784#6KME |
| J9FAFYB7FK | J9FAFYB7FK | 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.19300#SI1D |
| J9FB2RD0BX | J9FB2RD0BX | statement | record (an 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#9Y2X |
| J9FCTZ287T | J9FCTZ287T | statement | record (an 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.02216#A6GH |
| J9FNTR4QGJ | J9FNTR4QGJ | statement | record (an 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.30544#O3IY |
| J9FQYV6DYF | J9FQYV6DYF | statement | record (an 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.03272#YDSG |
| J9G4CCCYFN | J9G4CCCYFN | 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.26337#UBJ2 |
| J9GFYZ8TZX | J9GFYZ8TZX | statement | record (an 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.18270#ZGFK |
| J9GM26DVQF | J9GM26DVQF | statement | record (an 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.10230#5IDI |
| J9GPPP5VYP | J9GPPP5VYP | statement | record (an 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.34168#G6J8 |
| J9HAC6TSFV | J9HAC6TSFV | 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#HTUE |
| J9HBNNFV35 | J9HBNNFV35 | statement | record (an 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#7EMT |
| J9HHC7P48Y | J9HHC7P48Y | statement | record (an 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.23994#3KVQ |
| J9HPKRTC0S | J9HPKRTC0S | 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 2504.00596#KYP3 |
| J9JFRF1AFM | J9JFRF1AFM | statement | record (an 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.19513#HDVG |
| J9JH4RDDJG | J9JH4RDDJG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.00676#YQWS |
| J9JN84ZG1K | J9JN84ZG1K | statement | record (an 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.02042#4L15 |
| J9JNMCK83E | J9JNMCK83E | exercise | open | lebl_scv scv.tex#exercise-305 |
| J9K4MARSVK | J9K4MARSVK | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-11 |
| J9KT7TTCFA | J9KT7TTCFA | 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.05986#WV3U |
| J9KZ2D0RPP | J9KZ2D0RPP | 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 2601.01000#BSCQ |
| J9M6CW1RWW | J9M6CW1RWW | statement | record (an 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.28677#30KR |
| J9NAZZ1VF4 | J9NAZZ1VF4 | statement | record (an 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#4C48 |
| J9P00HVC1F | J9P00HVC1F | 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.20607#DWRV |
| J9P7183608 | J9P7183608 | 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.36423#9OIL |
| J9PJ2FE33V | J9PJ2FE33V | statement | record (an 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.17785#DZS0 |
| J9PNP42297 | J9PNP42297 | statement | record (an 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.23237#I4XP |