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 801–900 of 5846.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| J7X3552NZF | J7X3552NZF | statement | record (an 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.20513#0RI9 |
| 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 |
| J7ZP7756YX | J7ZP7756YX | 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.21860#JW3Y |
| 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 |
| 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 |
| J86WB2WJK1 | J86WB2WJK1 | statement | record (an 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.20718#6K68 |
| 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 |
| J88N1C52JF | J88N1C52JF | 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.21682#R7X6 |
| 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 |
| J8JTFBYGF0 | J8JTFBYGF0 | statement | record (an 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.21692#K8OM |
| 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 |
| J8NS6G3CQJ | J8NS6G3CQJ | statement | record (an 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.23522#BBQA |
| 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 |
| J8T5A2ZSCK | J8T5A2ZSCK | statement | record (an 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.20094#P0H8 |
| 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 |