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 12501–12600 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4NQCGP23DG | 4NQCGP23DG | proof | open | hott_book setmath.tex#proof-41 |
| 4NQRTTW662 | 4NQRTTW662 | statement | record (an 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.34066#EMOO |
| 4NQV0610VT | 4NQV0610VT | 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 1911.06467#AWY4 |
| 4NRGTS60WF | 4NRGTS60WF | statement | record (an 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.23605#ATJX |
| 4NRPNS03MC | 4NRPNS03MC | statement | record (an 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#AYGX |
| 4NRYNWDERM | 4NRYNWDERM | statement | record (an 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.13913#78HW |
| 4NS0PRZFD3 | 4NS0PRZFD3 | 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.25983#F58T |
| 4NS544C015 | 4NS544C015 | statement | record (an 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.30771#7P1X |
| 4NSDE7V28Q | 4NSDE7V28Q | statement | record (an 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#0TBD |
| 4NSGW2DE3Q | 4NSGW2DE3Q | statement | open | lebl_ra ch-metric.tex#prop:contiscont |
| 4NT3A54AX5 | 4NT3A54AX5 | statement | record (an 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.20316#OW5T |
| 4NT6HNKSBT | 4NT6HNKSBT | 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.25409#HJL8 |
| 4NV8RRXP50 | 4NV8RRXP50 | statement | record (an 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/0512416#2VOP |
| 4NVM2AQSW9 | 4NVM2AQSW9 | proof | open | applied_combinatorics source/s_recurrence_rigorous.ptx#proof-1 |
| 4NW61ZZQWM | 4NW61ZZQWM | statement | record (an 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.00191#SOSY |
| 4NWC2VXTWH | 4NWC2VXTWH | statement | record (an 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.26713#F5SU |
| 4NWF17ES3Q | 4NWF17ES3Q | statement | record (an 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.33162#S0OI |
| 4NWGSHP4F7 | 4NWGSHP4F7 | 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.25301#BXRW |
| 4NWQN0WTMC | 4NWQN0WTMC | example | open | applied_combinatorics source/s_polya_perm-groups.ptx#example-1 |
| 4NX8BQ5HGQ | 4NX8BQ5HGQ | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-6 |
| 4NXPFSDECV | 4NXPFSDECV | statement | record (an 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#X1XX |
| 4NXZHRJW29 | 4NXZHRJW29 | 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.33018#L9L5 |
| 4NY0YJHX1N | 4NY0YJHX1N | 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.03730#BAWR |
| 4NYGKJ648X | 4NYGKJ648X | proof | open | open_logic content/normal-modal-logic/axioms-systems/soundness.tex#proof-1 |
| 4NYRJMKCAE | 4NYRJMKCAE | statement | record (an 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#0D3H |
| 4NZAHXT2PP | 4NZAHXT2PP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#MGV4 |
| 4NZRPWACD9 | 4NZRPWACD9 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-72 |
| 4P0A67YC4M | 4P0A67YC4M | statement | record (an 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.06755#K867 |
| 4P0H3GK9PY | 4P0H3GK9PY | statement | record (an 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.33421#76Q2 |
| 4P12CAE5D1 | 4P12CAE5D1 | unknown | open | arXiv 2211.01586#ZCO2 |
| 4P17HVT9D3 | 4P17HVT9D3 | statement | record (an 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.28501#5ZE2 |
| 4P277QXMTE | 4P277QXMTE | statement | record (an 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.24569#QRBS |
| 4P2H3FTS0A | 4P2H3FTS0A | statement | record (an 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.22460#VTEO |
| 4P30G5XBHD | 4P30G5XBHD | 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 math/0406514#SOF4 |
| 4P31MDAHGZ | 4P31MDAHGZ | statement | record (an 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.12105#CXX3 |
| 4P31YQ4CGJ | 4P31YQ4CGJ | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-3 |
| 4P34H6XHAF | 4P34H6XHAF | statement | record (an 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.29943#NLRU |
| 4P4JWW9NGB | 4P4JWW9NGB | statement | record (an 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.26269#IJZF |
| 4P4T7QH955 | 4P4T7QH955 | proof | open | open_logic content/methods/induction/relations.tex#proof-1 |
| 4P59DA0KKH | 4P59DA0KKH | statement | record (an 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.06300#X4Q6 |
| 4P5H8W1ZMH | 4P5H8W1ZMH | 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.07695#4YT0 |
| 4P5S1TPJ04 | 4P5S1TPJ04 | statement | record (an 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#NEKS |
| 4P5XVVD170 | 4P5XVVD170 | statement | record (an 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.21949#2ZCJ |
| 4P688QV09Y | 4P688QV09Y | statement | record (an 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.19023#VPIO |
| 4P70WXTVJ9 | 4P70WXTVJ9 | exercise | open | ernst_ibl MAAPressVersion/Topology.tex#problem-2 |
| 4P7E87Z7RR | 4P7E87Z7RR | statement | record (an 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#ZUN6 |
| 4P7QJT69BK | 4P7QJT69BK | statement | record (an 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.27646#59G6 |
| 4P86QEMBPE | 4P86QEMBPE | statement | record (an 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#NLIB |
| 4P8Q8DBVP0 | 4P8Q8DBVP0 | exercise | open | lebl_scv scv.tex#exercise:fatcylinder2 |
| 4P99SNVA0Y | 4P99SNVA0Y | 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#SY6R |
| 4P9N6H2PF6 | 4P9N6H2PF6 | statement | record (an 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.03704#T9CT |
| 4P9VA1Y1HZ | 4P9VA1Y1HZ | statement | record (an 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#L72U |
| 4P9Y71HGAW | 4P9Y71HGAW | 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.28011#QSIX |
| 4PAGPEXKCX | 4PAGPEXKCX | 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 2504.02065#9JEH |
| 4PAW1A72ET | 4PAW1A72ET | statement | record (an 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.22394#N8Y8 |
| 4PB1AGQV8D | 4PB1AGQV8D | statement | record (an 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.13850#H28T |
| 4PB9BMS121 | 4PB9BMS121 | statement | record (an 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.00596#QILQ |
| 4PBG2WY8ZR | 4PBG2WY8ZR | statement | record (an 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#L1VU |
| 4PCBZDSSJ2 | 4PCBZDSSJ2 | statement | record (an 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.33231#GOB5 |
| 4PDKCA0273 | 4PDKCA0273 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.14389#G7Y5 |
| 4PDPT2E52P | 4PDPT2E52P | statement | record (an 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.21305#B8YQ |
| 4PDTX2ZV1N | 4PDTX2ZV1N | 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.16404#P5ZX |
| 4PEEM8BT3H | 4PEEM8BT3H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03423#88ZZ |
| 4PEFRTQQEA | 4PEFRTQQEA | statement | record (an 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.01958#74BV |
| 4PF09T4F4S | 4PF09T4F4S | statement | record (an 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.21278#RFKS |
| 4PF5QGBPFP | 4PF5QGBPFP | statement | record (an 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.15217#KVSC |
| 4PFDAYGTEE | 4PFDAYGTEE | statement | open | lebl_ra ch-riemann.tex#intbound:prop |
| 4PFH9BXCFH | 4PFH9BXCFH | statement | record (an 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.20922#WOV5 |
| 4PFHH1KDRA | 4PFHH1KDRA | statement | record (an 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.23145#BLWB |
| 4PG28TGGG3 | 4PG28TGGG3 | statement | record (an 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.00271#XERC |
| 4PG9E322ZM | 4PG9E322ZM | statement | record (an 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.23128#CZ2V |
| 4PGA3K28BW | 4PGA3K28BW | proof | open | napkin tex/calculus/taylor.tex#proof-5 |
| 4PGCE335CK | 4PGCE335CK | statement | record (an 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.30732#QJAN |
| 4PGG8YHZY4 | 4PGG8YHZY4 | statement | record (an 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.02993#S5C6 |
| 4PGM68D8CZ | 4PGM68D8CZ | statement | record (an 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.31489#BSNB |
| 4PH21KPD54 | 4PH21KPD54 | statement | record (an 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.17553#UT04 |
| 4PHJ9G1MCX | 4PHJ9G1MCX | statement | record (an 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#J04I |
| 4PHN9D74QA | 4PHN9D74QA | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-10 |
| 4PJPM3PG6J | 4PJPM3PG6J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#33TI |
| 4PJT3XW205 | 4PJT3XW205 | statement | record (an 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.01368#DKEW |
| 4PK1AFBH56 | 4PK1AFBH56 | statement | record (an 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.21278#H0B9 |
| 4PK5BX7GH2 | 4PK5BX7GH2 | statement | record (an 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.21174#EB1I |
| 4PK8S20FVR | 4PK8S20FVR | statement | record (an 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.17547#FVJ4 |
| 4PKAPHRCWX | 4PKAPHRCWX | 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 2508.21045#02D6 |
| 4PKBZ66S9M | 4PKBZ66S9M | statement | record (an 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/0406514#HA0N |
| 4PKX1SFJ4B | 4PKX1SFJ4B | 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.01958#8F4H |
| 4PMJ8E9BSS | 4PMJ8E9BSS | statement | record (an 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#E8HV |
| 4PMNC1J38K | 4PMNC1J38K | statement | record (an 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.14383#JNXM |
| 4PNNCVJXYG | 4PNNCVJXYG | 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#X8XM |
| 4PNST8VFS8 | 4PNST8VFS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.05771#2L5X |
| 4PNTJS41ZQ | 4PNTJS41ZQ | statement | record (an 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.26650#9FB3 |
| 4PP6ERYT7P | 4PP6ERYT7P | statement | record (an 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.01000#L1HR |
| 4PP71DG82J | 4PP71DG82J | statement | record (an 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.19288#XBEB |
| 4PPXX86J6B | 4PPXX86J6B | statement | record (an 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#RF3V |
| 4PQPG6N4QR | 4PQPG6N4QR | 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.04675#T72T |
| 4PRYN08A2A | 4PRYN08A2A | statement | record (an 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#0365 |
| 4PRZPH578K | 4PRZPH578K | statement | record (an 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.30090#OO18 |
| 4PS6KC8HDV | 4PS6KC8HDV | 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 2303.09207#HHG3 |
| 4PSDZZQNNN | 4PSDZZQNNN | statement | record (an 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.18620#2Q1M |
| 4PSPTDX27C | 4PSPTDX27C | statement | record (an 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.20599#0YRX |