Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 18001–18100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6FH8AJCQ21 | 6FH8AJCQ21 | 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 2105.13129#0JTA |
| 6FHXH1W3AH | 6FHXH1W3AH | statement | record (an 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.08935#UV38 |
| 6FJ5KTF884 | 6FJ5KTF884 | 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.37520#3BS1 |
| 6FJCX10Q7K | 6FJCX10Q7K | statement | record (an 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.23238#GNCP |
| 6FK41ZBD6A | 6FK41ZBD6A | statement | record (an 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.36622#RE2U |
| 6FKVC544EY | 6FKVC544EY | 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.10365#T97M |
| 6FM354D6GA | 6FM354D6GA | statement | record (an 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.37124#GB2C |
| 6FMAG59V7H | 6FMAG59V7H | statement | record (an 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#1IA7 |
| 6FMNY33XKX | 6FMNY33XKX | exercise | open | levin_dmoi ptx/ch_graphtheory.ptx#investigation-1 |
| 6FNBP424R5 | 6FNBP424R5 | statement | record (an 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.14741#MG30 |
| 6FNFBFDGPF | 6FNFBFDGPF | statement | record (an 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.09928#054B |
| 6FNVWYGMZM | 6FNVWYGMZM | 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 2207.12181#PW88 |
| 6FNXQQ2S4J | 6FNXQQ2S4J | exercise | open | napkin tex/homology/cup-product.tex#ques-2 |
| 6FP2ZKM0HR | 6FP2ZKM0HR | 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.37815#RDJR |
| 6FP75KBX5Q | 6FP75KBX5Q | statement | record (an 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.02798#ISIW |
| 6FPCEPWQ50 | 6FPCEPWQ50 | statement | record (an 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.12054#UKAI |
| 6FQPE3TNZR | 6FQPE3TNZR | statement | record (an 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.20521#JB8G |
| 6FR77KYKFY | 6FR77KYKFY | statement | record (an 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.36181#APL2 |
| 6FRXJEGQWK | 6FRXJEGQWK | proof | open | lebl_ra ch-contfunc.tex#proof-5 |
| 6FS96B4AKS | 6FS96B4AKS | statement | open | ernst_ibl MAAPressVersion/Topology.tex#theorem-3 |
| 6FSDKCK4WE | 6FSDKCK4WE | statement | record (an 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.32916#DQRM |
| 6FSHWGAZPR | 6FSHWGAZPR | 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.16631#FLYB |
| 6FT3DP94G6 | 6FT3DP94G6 | statement | record (an 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.09889#FLVO |
| 6FT7457RGN | 6FT7457RGN | 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.11493#L6QA |
| 6FTR8Q8XPQ | 6FTR8Q8XPQ | statement | record (an 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.22073#BO8C |
| 6FTSC3X74J | 6FTSC3X74J | 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 2302.04566#98GY |
| 6FTXXNA5QV | 6FTXXNA5QV | 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.06699#PKD6 |
| 6FTZ5XK4W6 | 6FTZ5XK4W6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.13855#4YRY |
| 6FV6HXEJHQ | 6FV6HXEJHQ | 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.35027#0K5X |
| 6FVCRE0RBN | 6FVCRE0RBN | 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 2508.02432#F5YS |
| 6FW1RC5FHJ | 6FW1RC5FHJ | statement | record (an 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#BBT8 |
| 6FW3NK4YVE | 6FW3NK4YVE | statement | record (an 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.19360#Q29X |
| 6FW7N3D0X2 | 6FW7N3D0X2 | statement | record (an 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.07370#1OSF |
| 6FWA43VP26 | 6FWA43VP26 | example | open | open_logic content/normal-modal-logic/syntax-and-semantics/normal-modal-logics.tex#ex-1 |
| 6FWSXF2K82 | 6FWSXF2K82 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#L26R |
| 6FWT9FQC86 | 6FWT9FQC86 | proof | open | hott_book reals.tex#proof-13 |
| 6FWTVTX7F1 | 6FWTVTX7F1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#H8LC |
| 6FWW377AAQ | 6FWW377AAQ | statement | record (an 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.25168#BGKZ |
| 6FXNN4S8CK | 6FXNN4S8CK | statement | record (an 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.38793#Q2U3 |
| 6FYFYWMCK4 | 6FYFYWMCK4 | statement | record (an 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#D6AT |
| 6FYP2FKEZB | 6FYP2FKEZB | statement | record (an 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.24747#OXZ9 |
| 6FYQZW4ZFH | 6FYQZW4ZFH | example | open | napkin tex/linalg/vector-space.tex#example-3 |
| 6FYTSW10T8 | 6FYTSW10T8 | statement | record (an 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.17482#2V9J |
| 6FYVQP8FM0 | 6FYVQP8FM0 | 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.07963#EBS1 |
| 6FYZ914AJZ | 6FYZ914AJZ | statement | record (an 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.00116#ULIC |
| 6FZ1WMWCP6 | 6FZ1WMWCP6 | statement | open | open_logic content/normal-modal-logic/axioms-systems/provability-properties.tex#prop:derivabilityfacts |
| 6FZC0HHG1M | 6FZC0HHG1M | 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 2401.13523#QE20 |
| 6FZH09P07H | 6FZH09P07H | statement | record (an 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.22708#SNP8 |
| 6FZYG5BD6K | 6FZYG5BD6K | statement | record (an 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.03688#7LEA |
| 6G06TXV6HC | 6G06TXV6HC | statement | record (an 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.33263#SX12 |
| 6G0FNHG1A3 | 6G0FNHG1A3 | definition | open | napkin tex/alg-geom/mor-scheme.tex#definition-7 |
| 6G0P6JY6DK | 6G0P6JY6DK | statement | record (an 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.19251#6WNN |
| 6G139R6QJD | 6G139R6QJD | statement | record (an 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.25168#DKPO |
| 6G1AVQYX3A | 6G1AVQYX3A | statement | record (an 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.15736#RENB |
| 6G1SS5C0ZT | 6G1SS5C0ZT | statement | record (an 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.20568#U2LZ |
| 6G2A9XEWVR | 6G2A9XEWVR | statement | record (an 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.14143#SJSS |
| 6G2C3VXYA6 | 6G2C3VXYA6 | statement | record (an 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.14236#5VQR |
| 6G2DDJ3F0J | 6G2DDJ3F0J | exercise | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-1 |
| 6G2X9MYJBR | 6G2X9MYJBR | 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.37893#SV80 |
| 6G38B2GYC7 | 6G38B2GYC7 | statement | open | open_logic content/model-theory/lindstrom/ls-property.tex#thm:abstract-p-isom |
| 6G3AS4QBNR | 6G3AS4QBNR | statement | record (an 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.03756#VTML |
| 6G3J9SNBBN | 6G3J9SNBBN | statement | record (an 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.26041#5JWT |
| 6G41K8B8VQ | 6G41K8B8VQ | proof | open | hott_book hits.tex#proof-27 |
| 6G4C9RDNQ8 | 6G4C9RDNQ8 | statement | record (an 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.20900#02RN |
| 6G4G1BJE36 | 6G4G1BJE36 | statement | record (an 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.15316#R88A |
| 6G4NTTSX6W | 6G4NTTSX6W | statement | record (an 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.36309#Y7UI |
| 6G4T2GJFHQ | 6G4T2GJFHQ | statement | record (an 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.27151#NGA1 |
| 6G5E36CCX1 | 6G5E36CCX1 | statement | record (an 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.23903#O5BE |
| 6G5FMAB8FW | 6G5FMAB8FW | statement | record (an 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.07280#0T8S |
| 6G5FVN21T5 | 6G5FVN21T5 | statement | record (an 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.21692#CBUZ |
| 6G5M6P63NA | 6G5M6P63NA | 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.05396#VC2O |
| 6G5SMZERCD | 6G5SMZERCD | exercise | open | napkin tex/calculus/integrate.tex#thm:FTC |
| 6G6S1JGDHT | 6G6S1JGDHT | statement | record (an 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.24578#GGJ1 |
| 6G6WP8JQ27 | 6G6WP8JQ27 | statement | record (an 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.13931#RPJS |
| 6G7P554ZJ5 | 6G7P554ZJ5 | statement | record (an 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.06336#VNSP |
| 6G7P58H2YC | 6G7P58H2YC | 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.08935#6DTM |
| 6G7S1Y25BY | 6G7S1Y25BY | statement | record (an 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.20466#MLX4 |
| 6G85R31YPE | 6G85R31YPE | statement | record (an 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.02672#TILW |
| 6G8AA9EMPG | 6G8AA9EMPG | statement | record (an 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#RCYB |
| 6G8R1SSK5H | 6G8R1SSK5H | statement | record (an 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#4LF0 |
| 6G9E04ZS08 | 6G9E04ZS08 | statement | record (an 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.26896#XF3N |
| 6G9TQS4ZXE | 6G9TQS4ZXE | 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.12736#FVA9 |
| 6G9Y1GVWDN | 6G9Y1GVWDN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00323#KXUP |
| 6GAC7XCFSZ | 6GAC7XCFSZ | 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 2208.05288#7N5U |
| 6GADT5WFX6 | 6GADT5WFX6 | statement | record (an 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.06746#RPZC |
| 6GAKED1MQF | 6GAKED1MQF | statement | record (an 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#91R0 |
| 6GAQCS0SVR | 6GAQCS0SVR | statement | record (an 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.01225#S8ML |
| 6GB4P0DQ9T | 6GB4P0DQ9T | 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.15099#2DV9 |
| 6GCSAZWD6E | 6GCSAZWD6E | statement | record (an 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.08226#4UPP |
| 6GE10B6R96 | 6GE10B6R96 | statement | record (an 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.00585#XK4Q |
| 6GEAQ4E40B | 6GEAQ4E40B | statement | record (an 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.02484#RVLW |
| 6GEQJT566P | 6GEQJT566P | statement | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#thm:nonenum-pownat |
| 6GER1MSP0H | 6GER1MSP0H | statement | record (an 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.18618#2GTN |
| 6GF2CE7MS9 | 6GF2CE7MS9 | 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.23822#AK0V |
| 6GFCSMKPS3 | 6GFCSMKPS3 | statement | record (an 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.13122#M972 |
| 6GFMQ49QB0 | 6GFMQ49QB0 | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-11 |
| 6GG8K11MD3 | 6GG8K11MD3 | 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 1503.05744#912O |
| 6GGBY1A6AC | 6GGBY1A6AC | statement | record (an 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.24463#BNXM |
| 6GGJR57243 | 6GGJR57243 | statement | record (an 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.25718#20F2 |
| 6GGPPQ009Q | 6GGPPQ009Q | statement | open | napkin tex/calculus/p-adic.tex#theorem-4 |