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 18101–18200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7AG3QFR168 | 7AG3QFR168 | statement | record (an 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.12116#0IES |
| 7AG9SMH1EQ | 7AG9SMH1EQ | definition | open | open_logic content/normal-modal-logic/tableaux/completeness.tex#defn-1 |
| 7AGYAQVJHJ | 7AGYAQVJHJ | statement | record (an 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.13888#8O3L |
| 7AH3DCPW0K | 7AH3DCPW0K | statement | record (an 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.16332#7L9O |
| 7AHAKZHA24 | 7AHAKZHA24 | statement | record (an 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.12912#LC59 |
| 7AHQWH3M8T | 7AHQWH3M8T | 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.21475#XEZD |
| 7AHYSXK4WK | 7AHYSXK4WK | statement | record (an 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.16731#YY40 |
| 7AJ8XF3RCV | 7AJ8XF3RCV | statement | record (an 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.00789#QXV5 |
| 7AJZJHZYN6 | 7AJZJHZYN6 | statement | record (an 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.33679#2C79 |
| 7AK68GQ86R | 7AK68GQ86R | statement | record (an 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#FTUX |
| 7AKARWQHG9 | 7AKARWQHG9 | 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.13532#MXL0 |
| 7AKX0PK2PR | 7AKX0PK2PR | statement | record (an 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#GJP5 |
| 7AMHRTZ9B5 | 7AMHRTZ9B5 | statement | record (an 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#O4OJ |
| 7AMQVNP9CE | 7AMQVNP9CE | 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.09515#X1CJ |
| 7ANBS22PBD | 7ANBS22PBD | statement | record (an 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.05892#W8GU |
| 7ANC1W0B08 | 7ANC1W0B08 | statement | record (an 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.22288#7OKG |
| 7ANSC60N73 | 7ANSC60N73 | 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.27931#SG3W |
| 7APSZCF2ZR | 7APSZCF2ZR | statement | record (an 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.38793#O0UX |
| 7AQ9N8QKT6 | 7AQ9N8QKT6 | statement | record (an 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.02963#GX1J |
| 7AQFPY6JX6 | 7AQFPY6JX6 | statement | record (an 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.03004#JN7Q |
| 7AR1TMWTXZ | 7AR1TMWTXZ | statement | record (an 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.40096#NXRN |
| 7AR2HAMPED | 7AR2HAMPED | example | open | napkin tex/H113/structure.tex#example-1 |
| 7AR9P83DNV | 7AR9P83DNV | statement | record (an 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.17677#BASK |
| 7ARRZXPVS8 | 7ARRZXPVS8 | statement | record (an 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.17066#1R9N |
| 7ARVEM6D0K | 7ARVEM6D0K | unknown | open | arXiv 2610.13680#UPXV |
| 7AS6C2NAF2 | 7AS6C2NAF2 | exercise | open | napkin tex/calculus/differentiate.tex#exercise-2 |
| 7AS8EXSF58 | 7AS8EXSF58 | statement | record (an 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.25080#VS9V |
| 7ASVR0WX91 | 7ASVR0WX91 | statement | record (an 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.14838#AER7 |
| 7ATVV5A4QN | 7ATVV5A4QN | 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.17060#0M3Z |
| 7AV5GM0Q1Y | 7AV5GM0Q1Y | statement | record (an 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.15421#OGCX |
| 7AW9XED2AD | 7AW9XED2AD | 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 2507.20176#03VB |
| 7AWC40AHP9 | 7AWC40AHP9 | statement | record (an 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.11939#MP23 |
| 7AWFH2ACHR | 7AWFH2ACHR | example | open | open_logic content/sets-functions-relations/functions/partial-functions.tex#ex-1 |
| 7AWGA6BVER | 7AWGA6BVER | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#YIFA |
| 7AWXNX58EW | 7AWXNX58EW | statement | record (an 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#B14G |
| 7AXE6PD4W6 | 7AXE6PD4W6 | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-16 |
| 7AYD2BYQGT | 7AYD2BYQGT | 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.01915#QY12 |
| 7AZ3P3XM9N | 7AZ3P3XM9N | statement | record (an 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.40023#HPNN |
| 7AZ4VX338R | 7AZ4VX338R | 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.09810#CIYN |
| 7AZK3F9V0M | 7AZK3F9V0M | statement | record (an 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.17541#XVY0 |
| 7AZY7FXNKQ | 7AZY7FXNKQ | statement | record (an 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.01567#YR6S |
| 7B0ZXHD0AE | 7B0ZXHD0AE | exercise | open | lebl_ra ch-metric.tex#exercise-64 |
| 7B1VW5339H | 7B1VW5339H | statement | record (an 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#3VCV |
| 7B1ZB40BJW | 7B1ZB40BJW | statement | record (an 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.16583#LHVH |
| 7B21SDCXM4 | 7B21SDCXM4 | statement | record (an 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#KIK7 |
| 7B2QZ5C155 | 7B2QZ5C155 | 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.03612#5NW5 |
| 7B2S20WFX3 | 7B2S20WFX3 | statement | record (an 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.31768#IAV8 |
| 7B2VD7Q0GQ | 7B2VD7Q0GQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#1TTM |
| 7B2Z19D6FV | 7B2Z19D6FV | 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 2306.12846#NZA3 |
| 7B3W8A9PE7 | 7B3W8A9PE7 | statement | record (an 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#38TO |
| 7B3ZVV63PM | 7B3ZVV63PM | statement | record (an 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.06488#RM9G |
| 7B55D6W5EY | 7B55D6W5EY | statement | record (an 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.21037#CTZ1 |
| 7B5H3CB5SC | 7B5H3CB5SC | 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.09001#KP7V |
| 7B5K4PA31K | 7B5K4PA31K | statement | record (an 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.32077#CL37 |
| 7B6CV7K8CA | 7B6CV7K8CA | 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.31861#C35O |
| 7B6FSCZJZX | 7B6FSCZJZX | statement | record (an 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.07001#5BTV |
| 7B6GJ8FY6P | 7B6GJ8FY6P | statement | record (an 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.11271#5588 |
| 7B6K9HGCEW | 7B6K9HGCEW | 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.09721#1ELO |
| 7B9DG2PTD4 | 7B9DG2PTD4 | 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.05391#CA9N |
| 7B9EFN3M3M | 7B9EFN3M3M | statement | record (an 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.32829#XR9O |
| 7BBPXH88V0 | 7BBPXH88V0 | statement | record (an 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#JPEQ |
| 7BCQ99P87T | 7BCQ99P87T | statement | record (an 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.18329#XYJD |
| 7BCTWXJ9TW | 7BCTWXJ9TW | statement | record (an 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.06381#MSA7 |
| 7BDEFPWT7A | 7BDEFPWT7A | 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.13532#N2QY |
| 7BDJTQ34QP | 7BDJTQ34QP | statement | record (an 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#F2FM |
| 7BDVKWAHRS | 7BDVKWAHRS | statement | record (an 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.33590#WNEH |
| 7BE3PMQS6K | 7BE3PMQS6K | 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.05118#0EOI |
| 7BF0DVKZ1C | 7BF0DVKZ1C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.05577#Q2OH |
| 7BFJTW9VS6 | 7BFJTW9VS6 | statement | record (an 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.16386#KXKC |
| 7BFR63QS6E | 7BFR63QS6E | statement | record (an 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.02042#5TNJ |
| 7BGKQBGJQQ | 7BGKQBGJQQ | statement | record (an 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.07398#1MEI |
| 7BGNHA7WW1 | 7BGNHA7WW1 | statement | record (an 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#XFXF |
| 7BGX7V45BX | 7BGX7V45BX | statement | record (an 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.16746#7JQQ |
| 7BH6HGD4XJ | 7BH6HGD4XJ | statement | record (an 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#KP6L |
| 7BHQZDBY61 | 7BHQZDBY61 | 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.01932#MNIK |
| 7BJ09QCD4C | 7BJ09QCD4C | definition | open | open_logic content/proof-theory/propositions-as-types/proof-terms.tex#defn-1 |
| 7BJ4E6HJTJ | 7BJ4E6HJTJ | statement | record (an 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.27628#LYWO |
| 7BK3KH5J33 | 7BK3KH5J33 | statement | record (an 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.34516#NTAM |
| 7BK5E31V6K | 7BK5E31V6K | 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 2606.20229#5LN9 |
| 7BKD0R244B | 7BKD0R244B | statement | record (an 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.00134#8EKY |
| 7BKRRWVGGK | 7BKRRWVGGK | statement | record (an 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#APKH |
| 7BKW43RF97 | 7BKW43RF97 | 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.09739#94LD |
| 7BM2Z19QXR | 7BM2Z19QXR | statement | record (an 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.28076#1AYL |
| 7BNHPMV20H | 7BNHPMV20H | statement | record (an 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.32557#K21Z |
| 7BQ0R20ZTH | 7BQ0R20ZTH | 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.38975#XD9E |
| 7BQNF5HKTN | 7BQNF5HKTN | statement | record (an 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#0JNM |
| 7BQXV90ETR | 7BQXV90ETR | statement | record (an 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.08151#504E |
| 7BQZPAKKDE | 7BQZPAKKDE | statement | record (an 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.20568#M99O |
| 7BRX9N20AT | 7BRX9N20AT | statement | record (an 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.09594#IUEQ |
| 7BSKHE9C4A | 7BSKHE9C4A | statement | record (an 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.13271#IJT5 |
| 7BSYSKRSG5 | 7BSYSKRSG5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#RKP8 |
| 7BV8KVH36M | 7BV8KVH36M | statement | record (an 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.35927#ZHGU |
| 7BVEA88846 | 7BVEA88846 | 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.06200#5J7Z |
| 7BVRTFX50M | 7BVRTFX50M | 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 2411.17227#FNDA |
| 7BVWKVT4V2 | 7BVWKVT4V2 | statement | record (an 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.30544#19FD |
| 7BW2S220KC | 7BW2S220KC | 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.39593#54ST |
| 7BW3JWP70P | 7BW3JWP70P | statement | record (an 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.01928#KOZ7 |
| 7BW3WNRB1Z | 7BW3WNRB1Z | 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.15744#6F1W |
| 7BW6F03SM2 | 7BW6F03SM2 | statement | record (an 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#XW84 |
| 7BW7Z8R1AT | 7BW7Z8R1AT | statement | record (an 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.13076#JFVJ |