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 18601–18700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7GP6BY6Z2C | 7GP6BY6Z2C | statement | open | napkin tex/alg-geom/zariski.tex#thm:reg_func_distinguish_open |
| 7GPXMGWSST | 7GPXMGWSST | statement | record (an 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.28669#OW08 |
| 7GQPY0204M | 7GQPY0204M | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-17 |
| 7GQT3JVHW0 | 7GQT3JVHW0 | statement | record (an 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.35307#MZ5T |
| 7GQW4YYXQ8 | 7GQW4YYXQ8 | 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 2112.14455#IS38 |
| 7GQY1Q01T6 | 7GQY1Q01T6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.07274#YEKV |
| 7GR30JEGJB | 7GR30JEGJB | statement | record (an 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.40260#AKOU |
| 7GRXFKSNZW | 7GRXFKSNZW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.16099#YU1W |
| 7GS239QPS6 | 7GS239QPS6 | statement | record (an 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.13699#5S9B |
| 7GSK58B068 | 7GSK58B068 | statement | record (an 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.16193#IHZ7 |
| 7GSTKN01R7 | 7GSTKN01R7 | statement | open | open_logic content/first-order-logic/tableaux/soundness.tex#cor:consistency-soundness |
| 7GTSAP0V8Z | 7GTSAP0V8Z | statement | record (an 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.08123#1XQF |
| 7GV2M59BGX | 7GV2M59BGX | statement | record (an 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#I1YI |
| 7GVC2Q2W5T | 7GVC2Q2W5T | 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.15720#N1MO |
| 7GVR5AQ9TJ | 7GVR5AQ9TJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.10178#ASUL |
| 7GW7A9VHGW | 7GW7A9VHGW | statement | record (an 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.24355#U12E |
| 7GWSJ6DD0Y | 7GWSJ6DD0Y | statement | record (an 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.27168#H8B1 |
| 7GXZY4P8ZK | 7GXZY4P8ZK | statement | record (an 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.10660#KLL4 |
| 7GYFFX1W7F | 7GYFFX1W7F | statement | record (an 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.12576#G7VO |
| 7H06M3JGKK | 7H06M3JGKK | example | open | lebl_scv scv.tex#example-30 |
| 7H06TZYRCT | 7H06TZYRCT | 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.31919#37QM |
| 7H06V3HGQZ | 7H06V3HGQZ | statement | record (an 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.15700#YGK9 |
| 7H0GS8GABN | 7H0GS8GABN | 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#5CZ1 |
| 7H0HV23F3W | 7H0HV23F3W | statement | record (an 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.27168#HD41 |
| 7H0Y5V6R5G | 7H0Y5V6R5G | statement | record (an 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.21921#S0EQ |
| 7H0Y88TBZC | 7H0Y88TBZC | statement | record (an 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.37901#D4HH |
| 7H11K1CXW8 | 7H11K1CXW8 | statement | record (an 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.31413#4FKT |
| 7H1FP3SFGX | 7H1FP3SFGX | statement | record (an 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.38206#UE91 |
| 7H1TF5Q6YG | 7H1TF5Q6YG | statement | record (an 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.14699#64X6 |
| 7H2K561BTR | 7H2K561BTR | 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 1809.06512#TDZZ |
| 7H2V2S8YXW | 7H2V2S8YXW | statement | record (an 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.15099#WFJQ |
| 7H34A0KW4R | 7H34A0KW4R | unknown | open | |
| 7H3SH6BD4E | 7H3SH6BD4E | statement | record (an 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#R99M |
| 7H56ND3SPD | 7H56ND3SPD | statement | record (an 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.06556#0YE6 |
| 7H5ARFAE43 | 7H5ARFAE43 | statement | record (an 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#F2LM |
| 7H5C725NZX | 7H5C725NZX | statement | record (an 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.10935#ITKC |
| 7H5FDVM4PS | 7H5FDVM4PS | statement | record (an 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#HA3H |
| 7H5SVWSWA8 | 7H5SVWSWA8 | statement | record (an 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.21097#49P9 |
| 7H5WXXEX26 | 7H5WXXEX26 | statement | record (an 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.04772#X48U |
| 7H6APZJN3Z | 7H6APZJN3Z | 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.05142#REX3 |
| 7H6VDJD5M6 | 7H6VDJD5M6 | statement | record (an 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#JE7F |
| 7H6WH8CD5Z | 7H6WH8CD5Z | 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.10262#7CSY |
| 7H76BV1EBP | 7H76BV1EBP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.13105#8W9A |
| 7H814YFGV5 | 7H814YFGV5 | statement | record (an 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.24853#JA5K |
| 7H8DYP5WN0 | 7H8DYP5WN0 | statement | record (an 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.16055#T7I0 |
| 7H9H2JC8VH | 7H9H2JC8VH | statement | record (an 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.24363#ROKN |
| 7H9MRQ5EW2 | 7H9MRQ5EW2 | statement | record (an 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#75JH |
| 7H9VZB8874 | 7H9VZB8874 | statement | record (an 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.05986#WTTK |
| 7HA3D10724 | 7HA3D10724 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#70VF |
| 7HAEMW6RWX | 7HAEMW6RWX | 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.01087#XXH8 |
| 7HAF4P1VD9 | 7HAF4P1VD9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.11439#54H0 |
| 7HAR98DC1K | 7HAR98DC1K | statement | record (an 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.05403#CJSU |
| 7HARMJ4ECC | 7HARMJ4ECC | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#ex_recurrence_gen-fn |
| 7HAW2AC39P | 7HAW2AC39P | 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.32936#MSX0 |
| 7HB05KVTRC | 7HB05KVTRC | 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.19463#CJM5 |
| 7HB9HDV6MC | 7HB9HDV6MC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.00617#5WEH |
| 7HBWJ7R4GD | 7HBWJ7R4GD | statement | record (an 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.07679#137I |
| 7HC3718J5B | 7HC3718J5B | statement | record (an 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#ISED |
| 7HCAFGABQ3 | 7HCAFGABQ3 | statement | record (an 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#KG5L |
| 7HCT5571YM | 7HCT5571YM | statement | record (an 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.08370#OY43 |
| 7HDC3QGY6K | 7HDC3QGY6K | statement | record (an 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#CEX1 |
| 7HDHD2P730 | 7HDHD2P730 | statement | record (an 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.17815#P9B6 |
| 7HDQD15P3F | 7HDQD15P3F | statement | record (an 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#08FY |
| 7HDYKG973K | 7HDYKG973K | statement | record (an 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.39700#SKSZ |
| 7HE96Z34H4 | 7HE96Z34H4 | statement | record (an 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.24424#8I2M |
| 7HEJ5HQGW0 | 7HEJ5HQGW0 | 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.31783#8TAL |
| 7HEY3NMVJ3 | 7HEY3NMVJ3 | statement | record (an 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.28203#BKGV |
| 7HF7YTS2WQ | 7HF7YTS2WQ | definition | open | napkin tex/set-theory/zfc.tex#definition-2 |
| 7HF8AP7B4G | 7HF8AP7B4G | statement | record (an 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.32446#KDN4 |
| 7HFNHEG01T | 7HFNHEG01T | statement | record (an 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.15344#GO4X |
| 7HGAFB51W9 | 7HGAFB51W9 | statement | record (an 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#2YIE |
| 7HGFH3XVYR | 7HGFH3XVYR | statement | record (an 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.35632#BELB |
| 7HGTCP6AVB | 7HGTCP6AVB | statement | record (an 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.11965#YBQG |
| 7HH8YK0REJ | 7HH8YK0REJ | 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.28141#3F9M |
| 7HJ33KG4S8 | 7HJ33KG4S8 | statement | record (an 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.09482#YQEF |
| 7HJBN286CP | 7HJBN286CP | statement | record (an 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.15094#L8V4 |
| 7HJK1E8HMF | 7HJK1E8HMF | statement | record (an 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.30113#UQVM |
| 7HK15J05S5 | 7HK15J05S5 | statement | record (an 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.19861#J20G |
| 7HK9MVM6E2 | 7HK9MVM6E2 | statement | open | open_logic content/lambda-calculus/lambda-definability/lambda-definable-recursive.tex#thm:lambda-computable |
| 7HKMCBPAN1 | 7HKMCBPAN1 | definition | open | open_logic content/lambda-calculus/syntax/de-bruijn.tex#defn-2 |
| 7HKN5NZWEF | 7HKN5NZWEF | 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 2006.12475#UVQ4 |
| 7HM6300NB1 | 7HM6300NB1 | statement | record (an 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.07340#1PAO |
| 7HMMJ31HTM | 7HMMJ31HTM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#DIE4 |
| 7HN8M74EYB | 7HN8M74EYB | statement | record (an 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.36811#1A4L |
| 7HNBNE4B4Q | 7HNBNE4B4Q | example | open | austin_ula src/section7-4.xml#example-svd-nonsquare |
| 7HNTMAZT64 | 7HNTMAZT64 | statement | record (an 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.12330#50IG |
| 7HNV7VAQH4 | 7HNV7VAQH4 | statement | record (an 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.14135#D3J8 |
| 7HPAM52YNF | 7HPAM52YNF | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-14 |
| 7HPQN761JS | 7HPQN761JS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00212#03DU |
| 7HPS8C719Y | 7HPS8C719Y | 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.05396#8HPM |
| 7HPT0B6CEV | 7HPT0B6CEV | statement | record (an 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.19360#95G5 |
| 7HPYFRNWPC | 7HPYFRNWPC | exercise | open | open_logic content/lambda-calculus/syntax/free-variables.tex#prob-1 |
| 7HQ1RNF4SP | 7HQ1RNF4SP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.13105#FOP0 |
| 7HQ7QBMB9B | 7HQ7QBMB9B | statement | record (an 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.26521#OXPM |
| 7HQGHAN0RS | 7HQGHAN0RS | statement | record (an 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.08052#79GF |
| 7HQKGHDCBH | 7HQKGHDCBH | statement | record (an 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.38596#RL2Q |
| 7HQT8K7YAN | 7HQT8K7YAN | statement | record (an 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.04935#VLZD |
| 7HQX2GTMPB | 7HQX2GTMPB | statement | record (an 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#7HOH |
| 7HR9P1T63R | 7HR9P1T63R | statement | record (an 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.10881#YI2M |
| 7HRTZ6Y40G | 7HRTZ6Y40G | statement | record (an 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.11292#X9F0 |