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 1501–1600 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JFANCCF4E1 | JFANCCF4E1 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-40 |
| JFB4FFNNQP | JFB4FFNNQP | statement | record (an 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.13685#TMC2 |
| JFB6VV09CX | JFB6VV09CX | statement | record (an 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.14343#Q3US |
| JFB80JBFWY | JFB80JBFWY | statement | record (an 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.17045#M8DT |
| JFBF6T7V5E | JFBF6T7V5E | 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.18016#8UZM |
| JFBKGPD7RT | JFBKGPD7RT | statement | record (an 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.32903#JBIR |
| JFCJQRKXFS | JFCJQRKXFS | statement | record (an 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.06521#QMSP |
| JFCREYKVZ1 | JFCREYKVZ1 | statement | record (an 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.30482#SH65 |
| JFD4J5Y83S | JFD4J5Y83S | statement | record (an 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.00856#IBVS |
| JFD56625ZK | JFD56625ZK | statement | record (an 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.26496#0FX9 |
| JFE8MZ7ME2 | JFE8MZ7ME2 | statement | record (an 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.28211#2411 |
| JFEB7GWD1Z | JFEB7GWD1Z | statement | record (an 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.31276#8WUC |
| JFEHGKB3KB | JFEHGKB3KB | 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.00789#83CG |
| JFES71QGED | JFES71QGED | statement | record (an 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#O645 |
| JFESH8NTDD | JFESH8NTDD | definition | open | hott_book setmath.tex#def:bisimulation |
| JFFJY31JDE | JFFJY31JDE | 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.08293#OVMN |
| JFFYWBAC60 | JFFYWBAC60 | statement | record (an 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.27800#HO1E |
| JFG2J836YK | JFG2J836YK | statement | record (an 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.15432#VPX7 |
| JFGDKZ62SQ | JFGDKZ62SQ | statement | record (an 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/9902147#2JEN |
| JFH14ERGAX | JFH14ERGAX | 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 2510.05499#C5UA |
| JFH1DRCH61 | JFH1DRCH61 | statement | record (an 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#IL6G |
| JFJAGACAWQ | JFJAGACAWQ | definition | open | lebl_ra ch-seq-ser.tex#defn-7 |
| JFJDNGQAPS | JFJDNGQAPS | statement | record (an 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.26386#ZADZ |
| JFJZKV4RBG | JFJZKV4RBG | statement | record (an 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.00617#WROC |
| JFK2R5BPY4 | JFK2R5BPY4 | definition | open | open_logic content/applied-modal-logic/epistemic-logic/public-announcement-logic-lang.tex#defn-2 |
| JFK573SQCD | JFK573SQCD | statement | record (an 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.30067#J37T |
| JFK8AW89KD | JFK8AW89KD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.08858#VMRV |
| JFKY9MCKA2 | JFKY9MCKA2 | statement | record (an 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.37265#ILAY |
| JFM9176C2N | JFM9176C2N | statement | record (an 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.35102#UQOK |
| JFN7XMA05D | JFN7XMA05D | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-3 |
| JFP3XX9HMR | JFP3XX9HMR | statement | record (an 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.25367#191X |
| JFQJ0CMWXZ | JFQJ0CMWXZ | 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 2610.20406#6HW9 |
| JFQN6SQ3EN | JFQN6SQ3EN | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-10 |
| JFR1BSN6B4 | JFR1BSN6B4 | exercise | open | austin_ula src/exercises/exercises1-1.xml#exercise-2 |
| JFRFGMYT7J | JFRFGMYT7J | statement | record (an 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#0Q9L |
| JFRKWD6T2R | JFRKWD6T2R | statement | record (an 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.36613#7B8F |
| JFRSV84KWF | JFRSV84KWF | statement | record (an 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.21544#BG9D |
| JFS2GXPX55 | JFS2GXPX55 | statement | record (an 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.21455#F67G |
| JFSN04C6JX | JFSN04C6JX | statement | record (an 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.01919#QZ4P |
| JFSP29ZM3X | JFSP29ZM3X | 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 0906.4245#A5C2 |
| JFSYR5Y2BG | JFSYR5Y2BG | statement | record (an 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#AUFC |
| JFT0TDM9RJ | JFT0TDM9RJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.03672#L8XM |
| JFT9PA5DJV | JFT9PA5DJV | statement | record (an 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.35340#Y7MH |
| JFVQBHFY3N | JFVQBHFY3N | statement | record (an 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.21954#H5JJ |
| JFWVT8FMAN | JFWVT8FMAN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.04470#1F4I |
| JFWYD78EXV | JFWYD78EXV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#CQOH |
| JFX862YJ60 | JFX862YJ60 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#POJU |
| JFY1GDVK3G | JFY1GDVK3G | definition | open | napkin tex/cats/abelian.tex#definition-4 |
| JFY48XZM0B | JFY48XZM0B | statement | record (an 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.06381#I07I |
| JFYDRN15HJ | JFYDRN15HJ | statement | record (an 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.38188#7OLS |
| JFYF607YYB | JFYF607YYB | statement | record (an 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#TIZB |
| JFYXG0DY2N | JFYXG0DY2N | statement | record (an 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.33406#P2JK |
| JFZCJNQXHR | JFZCJNQXHR | 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 2011.06637#C6DM |
| JFZRQHZV99 | JFZRQHZV99 | statement | record (an 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.21945#YEYE |
| JFZSTEMX35 | JFZSTEMX35 | statement | record (an 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.09019#R6QK |
| JFZTXSQGW7 | JFZTXSQGW7 | statement | record (an 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.26033#ENZJ |
| JG01324DHA | JG01324DHA | 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.28742#FXJA |
| JG0C70AXC8 | JG0C70AXC8 | statement | record (an 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.15698#WYE9 |
| JG0NV27H6J | JG0NV27H6J | statement | record (an 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.00496#4KG5 |
| JG0RK6ZVJ7 | JG0RK6ZVJ7 | statement | record (an 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.14086#8OCX |
| JG1ARZKES7 | JG1ARZKES7 | statement | record (an 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.25539#L3DR |
| JG1MFK5WPH | JG1MFK5WPH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.07434#CD1H |
| JG21499WG6 | JG21499WG6 | statement | record (an 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#PQJF |
| JG2F6QZJE8 | JG2F6QZJE8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#6D9Z |
| JG2GF1SD88 | JG2GF1SD88 | statement | record (an 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.02634#O3SC |
| JG2S9KBYMC | JG2S9KBYMC | statement | record (an 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.13103#5LTM |
| JG30ATDEFH | JG30ATDEFH | statement | record (an 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.12513#BHGX |
| JG39DQRA64 | JG39DQRA64 | statement | record (an 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.35404#YTD8 |
| JG3H22C2A0 | JG3H22C2A0 | statement | record (an 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.11471#1X0R |
| JG3HNZRYT6 | JG3HNZRYT6 | statement | record (an 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.18101#XB0J |
| JG3VD7TKMR | JG3VD7TKMR | statement | record (an 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.21533#PCQJ |
| JG4VE37GXG | JG4VE37GXG | statement | record (an 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.13833#13SV |
| JG4VXT6ET4 | JG4VXT6ET4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#IO7G |
| JG5VW7PHCG | JG5VW7PHCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.3062#9NM1 |
| JG69M1PTRM | JG69M1PTRM | statement | record (an 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.07049#8JLP |
| JG6FRMHQYM | JG6FRMHQYM | statement | record (an 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.20087#MQX6 |
| JG74T58KZX | JG74T58KZX | proof | open | napkin tex/calculus/differentiate.tex#proof-3 |
| JG7YF4P0HD | JG7YF4P0HD | proof | open | hott_book hlevels.tex#proof-8 |
| JG8Z44ED4Z | JG8Z44ED4Z | statement | record (an 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.13532#6OIP |
| JG9QPDXHT7 | JG9QPDXHT7 | statement | record (an 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#95MX |
| JGAG1346BY | JGAG1346BY | 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 hep-th/9409063#CH4B |
| JGAKYR5TDH | JGAKYR5TDH | proof | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-1 |
| JGB6CNJFYH | JGB6CNJFYH | 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.10505#4ODC |
| JGB804TGX9 | JGB804TGX9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#DPNM |
| JGBEY818T3 | JGBEY818T3 | statement | record (an 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.07122#ZY19 |
| JGCD44R3MX | JGCD44R3MX | 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.39293#BNWI |
| JGCKM1PYFD | JGCKM1PYFD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#BLP2 |
| JGCT53BZ79 | JGCT53BZ79 | 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.27902#1FZI |
| JGCXPY5CS2 | JGCXPY5CS2 | statement | record (an 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#N62Q |
| JGCXY0JV0S | JGCXY0JV0S | statement | record (an 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#VS40 |
| JGE2B55F4H | JGE2B55F4H | statement | record (an 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.16203#70ZA |
| JGF1M462WR | JGF1M462WR | example | open | open_logic content/sets-functions-relations/relations/orders.tex#ex-6 |
| JGFEBAJBM6 | JGFEBAJBM6 | statement | record (an 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.35762#IBT7 |
| JGFNM0RSG4 | JGFNM0RSG4 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-38 |
| JGFPPVZ1K8 | JGFPPVZ1K8 | statement | record (an 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#G0OR |
| JGGD0RVM0T | JGGD0RVM0T | 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.21963#4R91 |
| JGGRCR0BGP | JGGRCR0BGP | statement | record (an 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.15723#XB8N |
| JGGS5D5F2X | JGGS5D5F2X | statement | record (an 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.26996#27IS |
| JGGZ94AA6B | JGGZ94AA6B | 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.25957#6QDS |
| JGH0HTX725 | JGH0HTX725 | statement | record (an 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.21507#DF0D |