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 27601–27700 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9Q3TFRC5G3 | 9Q3TFRC5G3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.07541#9X4T |
| 9Q3X13SF8X | 9Q3X13SF8X | 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#XJI2 |
| 9Q488CMQ27 | 9Q488CMQ27 | statement | record (an 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.06189#NMU8 |
| 9Q4FBE567Y | 9Q4FBE567Y | statement | record (an 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.13042#MPMF |
| 9Q4FMRX5AB | 9Q4FMRX5AB | statement | record (an 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.10413#H8KT |
| 9Q53TEQ3YR | 9Q53TEQ3YR | statement | record (an 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.36884#4W9Y |
| 9Q5CBNEDK6 | 9Q5CBNEDK6 | definition | open | open_logic content/normal-modal-logic/tableaux/soundness.tex#defn-2 |
| 9Q5GJDXNT6 | 9Q5GJDXNT6 | statement | record (an 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.27272#DXNM |
| 9Q5KJC7A3B | 9Q5KJC7A3B | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise:noncontpartialsexist |
| 9Q5X5WBJG1 | 9Q5X5WBJG1 | statement | record (an 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#7C5U |
| 9Q5XXVWGQ2 | 9Q5XXVWGQ2 | statement | record (an 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.01240#3T5V |
| 9Q5XZ0V197 | 9Q5XZ0V197 | statement | record (an 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.20663#QIA0 |
| 9Q6096SN7X | 9Q6096SN7X | statement | open | lebl_ra ch-contfunc.tex#unifcauchycauchy:lemma |
| 9Q61CW0WJN | 9Q61CW0WJN | statement | record (an 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.11545#0HLA |
| 9Q671GBZ1V | 9Q671GBZ1V | statement | record (an 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#E360 |
| 9Q6P6D19HE | 9Q6P6D19HE | statement | record (an 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/9201244#WMVS |
| 9Q73BZS8B0 | 9Q73BZS8B0 | statement | record (an 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.22769#6IIB |
| 9Q75R186C4 | 9Q75R186C4 | statement | record (an 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.09049#PPDD |
| 9Q7CP67DAV | 9Q7CP67DAV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#8208 |
| 9Q7G5ZBM30 | 9Q7G5ZBM30 | exercise | open | lebl_ra ch-metric.tex#exercise:mscross |
| 9Q972J5WD8 | 9Q972J5WD8 | exercise | open | napkin tex/alg-geom/affine-var.tex#prob:hilbert_from_weak |
| 9Q98D9RB7G | 9Q98D9RB7G | statement | record (an 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#U02Z |
| 9Q9XC7CV86 | 9Q9XC7CV86 | statement | record (an 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#E61A |
| 9QA3K626K2 | 9QA3K626K2 | statement | record (an 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.06338#D4Z3 |
| 9QBB3V3170 | 9QBB3V3170 | statement | record (an 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.21972#6WN1 |
| 9QBTVB7AYG | 9QBTVB7AYG | statement | record (an 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.27246#NY1C |
| 9QBVFNMZDH | 9QBVFNMZDH | statement | record (an 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.03856#MJ4C |
| 9QBZ1FK1CH | 9QBZ1FK1CH | statement | open | open_logic content/model-theory/basics/isomorphism.tex#thm:isom |
| 9QC1G0YCDT | 9QC1G0YCDT | statement | record (an 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.24523#B8H9 |
| 9QC313EMXC | 9QC313EMXC | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#problem-8 |
| 9QC4F3MDCC | 9QC4F3MDCC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#W2VP |
| 9QC7VV1NDN | 9QC7VV1NDN | statement | record (an 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.15403#8DWN |
| 9QCCP2K869 | 9QCCP2K869 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1812.02599#Q8MB |
| 9QD11AS2YY | 9QD11AS2YY | statement | record (an 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#SPSO |
| 9QD7DWY18J | 9QD7DWY18J | statement | record (an 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.30033#IP2L |
| 9QD8A2D021 | 9QD8A2D021 | statement | record (an 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.13580#E5XP |
| 9QDBPKVQTF | 9QDBPKVQTF | statement | record (an 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.12716#8SA5 |
| 9QDCDNDXBN | 9QDCDNDXBN | 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#RMHS |
| 9QDJZTZZ0M | 9QDJZTZZ0M | statement | record (an 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.36509#MVIE |
| 9QDNCAA0N7 | 9QDNCAA0N7 | statement | record (an 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.22218#EO8C |
| 9QDQ9FY7KT | 9QDQ9FY7KT | statement | record (an 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.06340#MX9D |
| 9QE427R35E | 9QE427R35E | statement | record (an 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.03835#ZILN |
| 9QEF5JDF9N | 9QEF5JDF9N | statement | record (an 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.14319#4YPU |
| 9QERAYYM4R | 9QERAYYM4R | statement | record (an 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.16554#PX5E |
| 9QEWXCQDFY | 9QEWXCQDFY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.09062#FKT9 |
| 9QEY6AT7TP | 9QEY6AT7TP | statement | record (an 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.24408#AHNE |
| 9QF5X8E0WW | 9QF5X8E0WW | statement | record (an 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.09084#N89E |
| 9QF8DW0BDP | 9QF8DW0BDP | 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.24465#SQV4 |
| 9QFCNHW3JG | 9QFCNHW3JG | 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.20002#KTGW |
| 9QFK4NTT0T | 9QFK4NTT0T | statement | record (an 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.10481#7DIZ |
| 9QFV147S73 | 9QFV147S73 | statement | record (an 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#7UUO |
| 9QG6K9J1C2 | 9QG6K9J1C2 | statement | record (an 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.19437#PQ0W |
| 9QGMRBVYQ2 | 9QGMRBVYQ2 | statement | record (an 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.05708#XBR9 |
| 9QGS995KPR | 9QGS995KPR | statement | record (an 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.25524#2RXW |
| 9QH567KA19 | 9QH567KA19 | 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.01737#06Z0 |
| 9QHPDR0PCY | 9QHPDR0PCY | 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#QEWE |
| 9QJ5VET4WP | 9QJ5VET4WP | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-9 |
| 9QJCHSXHD4 | 9QJCHSXHD4 | statement | record (an 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.07927#KZGG |
| 9QJK4CZ5YA | 9QJK4CZ5YA | statement | record (an 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.28411#Z3ZO |
| 9QJRZAG5CK | 9QJRZAG5CK | exercise | open | napkin tex/alg-NT/dedekind.tex#exercise-1 |
| 9QKXJ6GF88 | 9QKXJ6GF88 | proof | open | open_logic content/computability/recursive-functions/trees.tex#proof-1 |
| 9QKZ30A81D | 9QKZ30A81D | 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.11596#WOLW |
| 9QM5XET4BH | 9QM5XET4BH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.05177#GUEY |
| 9QME6VTDWY | 9QME6VTDWY | statement | record (an 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.27295#PZGZ |
| 9QMRFJSVYV | 9QMRFJSVYV | statement | record (an 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.01411#BK3N |
| 9QMS5HG5XS | 9QMS5HG5XS | 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.39104#ETTZ |
| 9QN9W8SG4Q | 9QN9W8SG4Q | proof | open | hott_book reals.tex#proof-12 |
| 9QPHG72JGT | 9QPHG72JGT | 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.34168#PMOA |
| 9QQ2X34G64 | 9QQ2X34G64 | 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.11002#LPR8 |
| 9QQREFEFGS | 9QQREFEFGS | unknown | open | arXiv math/0512416#JI80 |
| 9QR3FW9NY5 | 9QR3FW9NY5 | statement | record (an 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.02174#0B10 |
| 9QRNAT5CDK | 9QRNAT5CDK | statement | record (an 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#7L3V |
| 9QSAYNX7MX | 9QSAYNX7MX | statement | record (an 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.01251#KNYX |
| 9QSVRF024Z | 9QSVRF024Z | statement | record (an 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.08664#EMI3 |
| 9QT1DRRH29 | 9QT1DRRH29 | statement | record (an 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.21092#PPB7 |
| 9QT61VT711 | 9QT61VT711 | statement | record (an 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.22642#O6G7 |
| 9QTEVD2BTC | 9QTEVD2BTC | statement | record (an 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.38323#KA7M |
| 9QTF5ME0HP | 9QTF5ME0HP | statement | record (an 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.05066#W5PY |
| 9QV32SCAAA | 9QV32SCAAA | statement | record (an 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#1KGQ |
| 9QV5T89EAA | 9QV5T89EAA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#DPWG |
| 9QV78GBZ6R | 9QV78GBZ6R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.05002#D3T0 |
| 9QX0HGE1J7 | 9QX0HGE1J7 | statement | record (an 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.02628#V8UN |
| 9QX6GJ27S5 | 9QX6GJ27S5 | statement | record (an 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.36113#3K35 |
| 9QXAQ7AY9R | 9QXAQ7AY9R | 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.17129#G0VF |
| 9QZ4N1G2J0 | 9QZ4N1G2J0 | statement | record (an 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.39793#3R7E |
| 9QZ7XRHNH3 | 9QZ7XRHNH3 | 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.21622#CNI9 |
| 9QZ82ZK92S | 9QZ82ZK92S | statement | record (an 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.25896#7KBA |
| 9QZHNWT96P | 9QZHNWT96P | statement | record (an 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.14692#5TJL |
| 9R0MRK92TN | 9R0MRK92TN | 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.05850#GIBY |
| 9R1PAFZ2R9 | 9R1PAFZ2R9 | statement | record (an 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.21414#9G22 |
| 9R1S7CX311 | 9R1S7CX311 | 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.23528#C07M |
| 9R1YK55K61 | 9R1YK55K61 | statement | open | hott_book homotopy.tex#lem:s1-encode-decode |
| 9R29K106A7 | 9R29K106A7 | statement | record (an 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.04870#ZQAJ |
| 9R2CPH7HJ4 | 9R2CPH7HJ4 | statement | record (an 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.10246#ZYSG |
| 9R2V2TCRVJ | 9R2V2TCRVJ | statement | record (an 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.27843#YFSJ |
| 9R34PX89AN | 9R34PX89AN | statement | record (an 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.21013#ZV65 |
| 9R3CCMJ5XK | 9R3CCMJ5XK | statement | record (an 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.12425#MWGB |
| 9R3D8484ZW | 9R3D8484ZW | statement | record (an 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.02481#85UT |
| 9R3RS5HCVT | 9R3RS5HCVT | 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 1002.0879#5XFX |
| 9R3XN3EN5A | 9R3XN3EN5A | statement | open | lebl_ra ch-approximate.tex#prop:uniformswitch |