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 3801–3900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 23217P12J7 | 23217P12J7 | statement | record (an 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.07461#0VVB |
| 2324S118WT | 2324S118WT | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-3 |
| 233P90N71Q | 233P90N71Q | 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#R0M0 |
| 234ABVENJ0 | 234ABVENJ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.22607#9FY4 |
| 234M4GG6Y1 | 234M4GG6Y1 | statement | record (an 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.11869#28Y7 |
| 235D8TCCVX | 235D8TCCVX | 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 2503.08488#VIBT |
| 236805HQCE | 236805HQCE | statement | record (an 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.24542#L0PH |
| 237DGXPN6J | 237DGXPN6J | statement | record (an 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.24623#UJ85 |
| 238NJW00FN | 238NJW00FN | statement | record (an 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.06445#BGAY |
| 238PPXHJFP | 238PPXHJFP | example | open | napkin tex/measure/measure-space.tex#example-3 |
| 239 | T488B6843S | unknown | open | Wikidata Q845630, MathWorld 239 |
| 2399594QTQ | 2399594QTQ | statement | record (an 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.14914#JACD |
| 239ZRBGJ5F | 239ZRBGJ5F | statement | record (an 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#65NB |
| 23A8M6C3N8 | 23A8M6C3N8 | statement | open | open_logic content/lambda-calculus/church-rosser/definitions-and-properties.tex#thm:str |
| 23AVXZF529 | 23AVXZF529 | statement | record (an 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.04502#BC17 |
| 23BQFFECYT | 23BQFFECYT | statement | record (an 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#MDYO |
| 23BQQ7GXS5 | 23BQQ7GXS5 | statement | record (an 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.02983#65PO |
| 23BW8MFF94 | 23BW8MFF94 | statement | record (an 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.15111#4L4F |
| 23BXM3T4E5 | 23BXM3T4E5 | statement | record (an 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.11517#7ACD |
| 23C5E1WAT7 | 23C5E1WAT7 | proof | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-3 |
| 23CA80G9T8 | 23CA80G9T8 | statement | record (an 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.03373#77SY |
| 23CCSXGHP6 | 23CCSXGHP6 | statement | record (an 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.19449#1TBG |
| 23CFMKCSXA | 23CFMKCSXA | exercise | open | austin_ula src/exercises/exercises3-3.xml#exercise-2 |
| 23CJT488JS | 23CJT488JS | 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.21036#2DGG |
| 23D8F6851W | 23D8F6851W | proof | open | napkin tex/calculus/p-adic.tex#proof-1 |
| 23DQM7CWY7 | 23DQM7CWY7 | exercise | open | lebl_scv scv.tex#exercise-15 |
| 23DWP3TKK4 | 23DWP3TKK4 | statement | record (an 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.33697#O6NK |
| 23E0RF7BCC | 23E0RF7BCC | 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.10581#PXUA |
| 23EHCN05A6 | 23EHCN05A6 | statement | record (an 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.36714#5ZZJ |
| 23EPDBG35M | 23EPDBG35M | 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.25539#A55Y |
| 23EYWYXFF0 | 23EYWYXFF0 | statement | record (an 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.10525#8UEK |
| 23F2P7CHRB | 23F2P7CHRB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#9PZ9 |
| 23F7A3Z38B | 23F7A3Z38B | statement | record (an 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.30819#Z8CH |
| 23FD9ZZNZA | 23FD9ZZNZA | statement | record (an 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.40207#MVZT |
| 23GQQVXR9J | 23GQQVXR9J | exercise | open | lebl_ra ch-metric.tex#exercise:mssubspace |
| 23HACPR5SN | 23HACPR5SN | statement | record (an 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.32374#LV8K |
| 23HJ1WWGC5 | 23HJ1WWGC5 | statement | record (an 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.00934#VYH9 |
| 23HJK1GPMW | 23HJK1GPMW | statement | record (an 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.25275#0S7K |
| 23HS4S0YC6 | 23HS4S0YC6 | statement | record (an 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.24931#7VSC |
| 23J2Y42M7B | 23J2Y42M7B | exercise | open | austin_ula src/exercises/exercises5-1.xml#exercise-2 |
| 23JB2CAD3J | 23JB2CAD3J | statement | record (an 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.08424#E46T |
| 23K4BEPMJ4 | 23K4BEPMJ4 | statement | record (an 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.03672#RROY |
| 23KJZXG2W8 | 23KJZXG2W8 | statement | record (an 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.01855#0VXU |
| 23KN3ZP6F7 | 23KN3ZP6F7 | statement | record (an 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.09042#5V0U |
| 23KQ5VJ78T | 23KQ5VJ78T | 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 1001.0174#G9LC |
| 23MS6M4WEQ | 23MS6M4WEQ | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-7 |
| 23MZ4MK5H6 | 23MZ4MK5H6 | statement | record (an 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.13532#G8YY |
| 23PC4TA6F6 | 23PC4TA6F6 | statement | record (an 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.26675#EA9F |
| 23PDYZ0Z6R | 23PDYZ0Z6R | statement | record (an 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.21725#57S0 |
| 23Q0JFPCY0 | 23Q0JFPCY0 | statement | record (an 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.40054#EN8L |
| 23QFZ828WF | 23QFZ828WF | 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 2609.24463#D5KS |
| 23QJT0A8SM | 23QJT0A8SM | statement | record (an 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.18302#0YN9 |
| 23REWG6CEX | 23REWG6CEX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.12380#OHGB |
| 23RF2JA6VJ | 23RF2JA6VJ | 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.00934#4BG2 |
| 23SBZXG696 | 23SBZXG696 | proof | open | open_logic content/proof-theory/normalization/normalization-thm.tex#proof-1 |
| 23SD9KZBDG | 23SD9KZBDG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#BSQ4 |
| 23SWC22CPK | 23SWC22CPK | statement | record (an 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.16518#E818 |
| 23TASTFE8H | 23TASTFE8H | definition | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#defn-1 |
| 23TH614S8N | 23TH614S8N | 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.12169#U1YZ |
| 23THK92CS0 | 23THK92CS0 | unknown | open | |
| 23V3AKE3C1 | 23V3AKE3C1 | statement | record (an 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.17240#NFMZ |
| 23V6K8WW0R | 23V6K8WW0R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#9QZM |
| 23VQN6BX4Z | 23VQN6BX4Z | statement | record (an 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.26600#O33S |
| 23VR3G66NQ | 23VR3G66NQ | statement | record (an 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.31102#OSTI |
| 23VWT7YBQK | 23VWT7YBQK | statement | record (an 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.30049#BH8X |
| 23VX9T2XWZ | 23VX9T2XWZ | statement | record (an 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.14240#W7EC |
| 23W2QCV630 | 23W2QCV630 | statement | record (an 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.35950#27OL |
| 23W3AG3HW9 | 23W3AG3HW9 | statement | record (an 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.10600#3W1F |
| 23W4SH2GTF | 23W4SH2GTF | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#question-5 |
| 23W8YHBHNR | 23W8YHBHNR | statement | record (an 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.03126#RVIM |
| 23W9YFW4FG | 23W9YFW4FG | 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 2603.29838#3CAE |
| 23WZXKHP6E | 23WZXKHP6E | statement | record (an 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.40191#RWU8 |
| 23XDTRXBC6 | 23XDTRXBC6 | statement | record (an 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.40123#C1GA |
| 23XEY391MM | 23XEY391MM | 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.13213#GFRM |
| 23XRYWQ56D | 23XRYWQ56D | statement | record (an 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.05179#55AV |
| 23Y0QXD8K7 | 23Y0QXD8K7 | statement | record (an 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.33365#0XM9 |
| 23Y7JSJ363 | 23Y7JSJ363 | statement | record (an 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.09019#WTT6 |
| 23Y7PRC096 | 23Y7PRC096 | statement | record (an 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.24610#Y4PQ |
| 23ZAJ4XNKG | 23ZAJ4XNKG | statement | record (an 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.32078#TQMH |
| 23ZJC2D7TR | 23ZJC2D7TR | 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.33557#FC8G |
| 23ZKWZG18X | 23ZKWZG18X | example | open | open_logic content/sets-functions-relations/relations/equivalence-relations.tex#ex-1 |
| 24 | 7XZV1RD3BE | unknown | open | Wikidata Q79988, MathWorld 24 |
| 24-cell | FECQ0Y816A | unknown | open | Wikidata Q539008, MathWorld 24-Cell, nLab 24-cell |
| 24033NTC5F | 24033NTC5F | 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 2208.06310#0FGH |
| 240VX30AXT | 240VX30AXT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.17852#3ZP8 |
| 241373NHH3 | 241373NHH3 | 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 2204.13401#JZC9 |
| 2415AET692 | 2415AET692 | statement | record (an 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.26191#7K0V |
| 2417KVMZPR | 2417KVMZPR | statement | record (an 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.09019#4YBG |
| 241WK4QPQV | 241WK4QPQV | statement | record (an 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.19687#7VNS |
| 243 | FR9CECENS0 | unknown | open | Wikidata Q769215, MathWorld 243 |
| 24341GW9T5 | 24341GW9T5 | statement | record (an 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.07116#0SGG |
| 243SFNP14G | 243SFNP14G | 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.21866#D0AV |
| 24444WX8CD | 24444WX8CD | statement | record (an 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.01653#2WYG |
| 244PSMYXT4 | 244PSMYXT4 | statement | record (an 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#E6SN |
| 244RBK1KPD | 244RBK1KPD | statement | record (an 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.01216#ILP5 |
| 244WA6MZXQ | 244WA6MZXQ | statement | record (an 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#KKQC |
| 244ZY7QDYM | 244ZY7QDYM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.10697#KG05 |
| 245QBHDQV8 | 245QBHDQV8 | statement | record (an 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.09319#64B9 |
| 246CFKAXMN | 246CFKAXMN | statement | record (an 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.20932#85OR |
| 247YZVGEMT | 247YZVGEMT | 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 2408.13548#O6DG |