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 24301–24400 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8JBGKCD63Z | 8JBGKCD63Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1910.05504#808B |
| 8JBM9VN0FY | 8JBM9VN0FY | 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.13855#HV06 |
| 8JCNNWKV5Y | 8JCNNWKV5Y | statement | record (an 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.35669#IFLB |
| 8JCP76102P | 8JCP76102P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.14253#LGT2 |
| 8JD3CK8SM4 | 8JD3CK8SM4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#UIYV |
| 8JD4XPZZHE | 8JD4XPZZHE | statement | record (an 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.36423#KBNJ |
| 8JD7AH55K2 | 8JD7AH55K2 | 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.26269#DVIK |
| 8JDH34JDV0 | 8JDH34JDV0 | statement | record (an 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.28295#K1QT |
| 8JDR7Y19HJ | 8JDR7Y19HJ | statement | record (an 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#G5UW |
| 8JDXBES7BK | 8JDXBES7BK | statement | record (an 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#HL9X |
| 8JE0D6DS0F | 8JE0D6DS0F | 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.26713#0RNE |
| 8JFJMSPF9Y | 8JFJMSPF9Y | statement | record (an 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.05684#E05Y |
| 8JG9KH12A4 | 8JG9KH12A4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.22636#JSHE |
| 8JGEDJ03NN | 8JGEDJ03NN | statement | record (an 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.16358#JGV9 |
| 8JH24PVGVX | 8JH24PVGVX | statement | record (an 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.03292#HFTT |
| 8JJ1AZB6TM | 8JJ1AZB6TM | 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.21914#98B8 |
| 8JJF5V0Z9M | 8JJF5V0Z9M | statement | record (an 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.20018#VDCJ |
| 8JJJ144ZR9 | 8JJJ144ZR9 | statement | record (an 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.08658#BI8U |
| 8JK1BVFVDJ | 8JK1BVFVDJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24606#PNSF |
| 8JKAXTNTEQ | 8JKAXTNTEQ | statement | record (an 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.26401#WYQK |
| 8JM4C9RT13 | 8JM4C9RT13 | statement | record (an 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.19853#XI96 |
| 8JN1DA7K8X | 8JN1DA7K8X | 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.15877#SV8E |
| 8JN8A60M0X | 8JN8A60M0X | statement | record (an 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.38838#1FT0 |
| 8JNC1BXW7N | 8JNC1BXW7N | statement | record (an 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.20207#7RSY |
| 8JNFCXNZ13 | 8JNFCXNZ13 | statement | record (an 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.00259#NOZA |
| 8JNFTDSDVB | 8JNFTDSDVB | 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.16059#TPAF |
| 8JNTZDDA5Z | 8JNTZDDA5Z | statement | record (an 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#KOMF |
| 8JNY210VQ6 | 8JNY210VQ6 | statement | record (an 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.21403#XH4C |
| 8JP44Z1KCS | 8JP44Z1KCS | 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 2401.14162#ESN2 |
| 8JP75P783E | 8JP75P783E | 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 2103.12669#RR52 |
| 8JQD4J298B | 8JQD4J298B | proof | open | open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-1 |
| 8JQG6M5X6C | 8JQG6M5X6C | 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#PRH3 |
| 8JQN27HHMJ | 8JQN27HHMJ | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14382, ProofWiki Symbols:Greek/Beta |
| 8JR3VF8RFY | 8JR3VF8RFY | statement | record (an 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.30637#R8T7 |
| 8JR7ES0JGY | 8JR7ES0JGY | statement | record (an 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.40138#7DJ6 |
| 8JRJG5DNDC | 8JRJG5DNDC | statement | record (an 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.33856#67N2 |
| 8JS74DDHH1 | 8JS74DDHH1 | statement | record (an 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.36818#YKSF |
| 8JSBPPM43A | 8JSBPPM43A | statement | record (an 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.40214#K3VL |
| 8JT89SPRM8 | 8JT89SPRM8 | statement | record (an 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.04948#88T9 |
| 8JTVBHA934 | 8JTVBHA934 | 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.23527#5YUF |
| 8JTZCEQE07 | 8JTZCEQE07 | statement | record (an 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#GL0U |
| 8JV2ACXR82 | 8JV2ACXR82 | 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 2312.14319#BB3P |
| 8JV62QCSS2 | 8JV62QCSS2 | statement | record (an 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.36141#JTO8 |
| 8JV6754GFR | 8JV6754GFR | statement | record (an 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.20385#LUX5 |
| 8JVJCK7VX6 | 8JVJCK7VX6 | statement | record (an 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#D0SN |
| 8JVRXR63WM | 8JVRXR63WM | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-8 |
| 8JW3MDF5DF | 8JW3MDF5DF | statement | record (an 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.19982#C4IK |
| 8JWQYG0SMZ | 8JWQYG0SMZ | 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 2111.09700#7B68 |
| 8JXGTKT6CR | 8JXGTKT6CR | statement | record (an 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.01868#X6SG |
| 8JXN90HR2X | 8JXN90HR2X | statement | record (an 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.33829#8XW9 |
| 8JY27BRKJX | 8JY27BRKJX | 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 1902.04230#3RAL |
| 8JYAADGH6R | 8JYAADGH6R | statement | record (an 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#XV7B |
| 8JYESP40BC | 8JYESP40BC | statement | record (an 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.36321#3PG7 |
| 8JYMKSPJ38 | 8JYMKSPJ38 | 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.37520#972I |
| 8JYPVB4BA2 | 8JYPVB4BA2 | proof | open | applied_combinatorics source/s_networkflow_flows-cuts.ptx#proof-1 |
| 8JYQ5C4N6B | 8JYQ5C4N6B | statement | record (an 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.12120#OTUY |
| 8JZ8ZT0XZ2 | 8JZ8ZT0XZ2 | statement | record (an 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.14278#TYB8 |
| 8JZEYQ82H8 | 8JZEYQ82H8 | statement | record (an 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.21655#0G3E |
| 8JZPTPFMH9 | 8JZPTPFMH9 | 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.02790#QLR1 |
| 8K08EKK9XV | 8K08EKK9XV | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#proof-1 |
| 8K092H7ZWS | 8K092H7ZWS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#FL6N |
| 8K0BY3AVTE | 8K0BY3AVTE | statement | record (an 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.04046#XQ9M |
| 8K118A3YHS | 8K118A3YHS | statement | record (an 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.20817#YDXK |
| 8K17QRK9MM | 8K17QRK9MM | statement | record (an 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.26401#GSKY |
| 8K1EHM73DB | 8K1EHM73DB | 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.21752#TTTO |
| 8K1K03EY8V | 8K1K03EY8V | statement | record (an 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#942E |
| 8K1PGFVBKC | 8K1PGFVBKC | statement | record (an 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.29605#5BJD |
| 8K2KY6XM4C | 8K2KY6XM4C | exercise | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-3 |
| 8K3VB76K00 | 8K3VB76K00 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.12552#JIRX |
| 8K49NFYWEX | 8K49NFYWEX | statement | record (an 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.20391#M1YJ |
| 8K4HFGE0R9 | 8K4HFGE0R9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.17002#O1A2 |
| 8K509DXN3Y | 8K509DXN3Y | statement | open | hott_book logic.tex#thm:path-subset |
| 8K5GY6A0M3 | 8K5GY6A0M3 | statement | record (an 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.33573#GMD4 |
| 8K5WBFGGNP | 8K5WBFGGNP | statement | record (an 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#OQ1N |
| 8K5X0MPDEC | 8K5X0MPDEC | statement | record (an 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.03612#C959 |
| 8K63F2S22N | 8K63F2S22N | 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 2308.05066#0AM7 |
| 8K6A0CDNGB | 8K6A0CDNGB | statement | record (an 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.29227#J7RJ |
| 8K6NGQ7BVM | 8K6NGQ7BVM | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-19 |
| 8K6RGEEHJR | 8K6RGEEHJR | 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.05259#XV7N |
| 8K6TP2ZHZS | 8K6TP2ZHZS | statement | record (an 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.16022#MXMG |
| 8K6TSD4QV1 | 8K6TSD4QV1 | statement | record (an 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.13260#HLVR |
| 8K73W0SN6Z | 8K73W0SN6Z | statement | record (an 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.16388#U7W3 |
| 8K74BH9KTA | 8K74BH9KTA | statement | record (an 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.05421#DF4B |
| 8K7A5EV747 | 8K7A5EV747 | statement | record (an 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.23527#CIRT |
| 8K7GK42QMG | 8K7GK42QMG | statement | record (an 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.01753#BO45 |
| 8K7H27RHN6 | 8K7H27RHN6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.3628#C11W |
| 8K8FKZ3D4X | 8K8FKZ3D4X | statement | record (an 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.14047#BDHM |
| 8K8SZ2MYAR | 8K8SZ2MYAR | statement | record (an 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.29631#U9FY |
| 8K8WYPVBE0 | 8K8WYPVBE0 | statement | record (an 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.09678#9XOS |
| 8K94VGERM3 | 8K94VGERM3 | statement | record (an 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.12983#ITYE |
| 8K9JX2DGSZ | 8K9JX2DGSZ | statement | record (an 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.22082#N4K0 |
| 8K9VKSXZ3G | 8K9VKSXZ3G | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-69 |
| 8KA43D19NW | 8KA43D19NW | statement | record (an 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.29531#FKJ3 |
| 8KA452PDE3 | 8KA452PDE3 | statement | record (an 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#P6C2 |
| 8KAEZE9G1A | 8KAEZE9G1A | statement | record (an 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.01731#KU3Z |
| 8KAX0NSJGH | 8KAX0NSJGH | statement | record (an 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.04844#1DNL |
| 8KB318H3JF | 8KB318H3JF | statement | record (an 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.29023#HLOL |
| 8KC2EAXGSZ | 8KC2EAXGSZ | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-19 |
| 8KC3JC56X6 | 8KC3JC56X6 | 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.09300#BY4K |
| 8KD1M8RWJZ | 8KD1M8RWJZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.19872#OGBJ |