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 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 24501–24600 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9PZHPM1FKF | 9PZHPM1FKF | statement | record (an 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.14582#KSNX |
| 9PZNGBG0EV | 9PZNGBG0EV | statement | record (an 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.16339#69R1 |
| 9PZSTZAAJ9 | 9PZSTZAAJ9 | statement | record (an 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#G7OO |
| 9Q0KR3CW4M | 9Q0KR3CW4M | statement | record (an 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.28251#J6HC |
| 9Q0PW4ESQ0 | 9Q0PW4ESQ0 | statement | record (an 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.11336#G7Q9 |
| 9Q11T48BD6 | 9Q11T48BD6 | unknown | open | arXiv 2610.12716#EWSU |
| 9Q12RCHM5N | 9Q12RCHM5N | statement | record (an 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.03208#R491 |
| 9Q1JCCJJXD | 9Q1JCCJJXD | statement | record (an 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.12873#PDMO |
| 9Q1NY1VS4A | 9Q1NY1VS4A | 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.36313#V45T |
| 9Q1Z9JB9AZ | 9Q1Z9JB9AZ | statement | record (an 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.06225#1BVO |
| 9Q328RN5YT | 9Q328RN5YT | statement | record (an 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.06872#7RU7 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |