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 1401–1500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 17KC8ZZ20M | 17KC8ZZ20M | 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.28501#WABM |
| 17KD8FVP3H | 17KD8FVP3H | statement | record (an 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.10505#QP73 |
| 17KFV0T0GM | 17KFV0T0GM | statement | record (an 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#EX3I |
| 17KNW1W8C8 | 17KNW1W8C8 | statement | record (an 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.29489#XERB |
| 17KSNDXK1F | 17KSNDXK1F | statement | open | hott_book setmath.tex#thm:ETCS |
| 17N2DHAZGB | 17N2DHAZGB | statement | record (an 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#XTQ0 |
| 17NM451TWP | 17NM451TWP | statement | record (an 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.16523#T8K6 |
| 17NRRGTP32 | 17NRRGTP32 | 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#6UWA |
| 17P0CVYJQS | 17P0CVYJQS | statement | record (an 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.14217#LN5I |
| 17PCWDF2Q9 | 17PCWDF2Q9 | statement | record (an 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#8ZHD |
| 17Q4F3J399 | 17Q4F3J399 | statement | record (an 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.17408#O9YN |
| 17QTKNGV94 | 17QTKNGV94 | statement | record (an 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.11210#KY08 |
| 17SNR926ZC | 17SNR926ZC | statement | record (an 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.31373#B9C1 |
| 17T0V227HV | 17T0V227HV | statement | record (an 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.10840#K35C |
| 17T1ND15E6 | 17T1ND15E6 | definition | open | open_logic content/applied-modal-logic/epistemic-logic/language-epistemic-logic.tex#defn-2 |
| 17T5ADZ4W0 | 17T5ADZ4W0 | statement | record (an 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/9902147#FN53 |
| 17TZBKKKKS | 17TZBKKKKS | statement | record (an 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#MZ1W |
| 17VG796QS3 | 17VG796QS3 | statement | record (an 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.07049#DXU1 |
| 17VW103NMY | 17VW103NMY | statement | record (an 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.03327#D7X5 |
| 17W0TKQHGN | 17W0TKQHGN | statement | record (an 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.07651#JPA1 |
| 17X5FDTERR | 17X5FDTERR | statement | record (an 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.11829#DLMJ |
| 17XPXH65CH | 17XPXH65CH | statement | record (an 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.37769#91HN |
| 17YFECC85S | 17YFECC85S | statement | record (an 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.20299#VFMX |
| 17ZRR3CJD8 | 17ZRR3CJD8 | statement | record (an 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.17717#JO0W |
| 17ZXBCG89Y | 17ZXBCG89Y | statement | record (an 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.16123#OOHU |
| 18 | 58X2YS98E5 | statement | open | Wikidata Q38712, MathWorld 18, ProofWiki 18 |
| 1805EWCRED | 1805EWCRED | 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.03661#USX0 |
| 180ZXFEJW6 | 180ZXFEJW6 | statement | open | open_logic content/lambda-calculus/syntax/alpha.tex#lem:inv |
| 181EC0GSBY | 181EC0GSBY | 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 2104.00162#IB6R |
| 181JZ375M4 | 181JZ375M4 | statement | record (an 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.04498#R2V0 |
| 181WY8606V | 181WY8606V | 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/0003117#3DH5 |
| 182BSJGF4A | 182BSJGF4A | unknown | open | arXiv 2106.06387#LW6H |
| 182HPCRNG1 | 182HPCRNG1 | 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.31269#CSZO |
| 182PAWKCB3 | 182PAWKCB3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.15365#O9BA |
| 183BWV0B9M | 183BWV0B9M | statement | record (an 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.08198#WEW3 |
| 183RCP54S9 | 183RCP54S9 | 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.32599#DZXI |
| 1842DSAZF8 | 1842DSAZF8 | exercise | open | lebl_ra ch-der.tex#exercise-3 |
| 1842VT313E | 1842VT313E | statement | record (an 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.33651#8AAM |
| 184FJH1KJF | 184FJH1KJF | 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 2105.13129#CMJM |
| 185PTYQ0CW | 185PTYQ0CW | statement | record (an 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.40252#PM07 |
| 18638D228M | 18638D228M | statement | record (an 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.15982#RH39 |
| 1868YHMS58 | 1868YHMS58 | statement | record (an 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.11047#ZWPK |
| 186PE364CD | 186PE364CD | 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.36423#MGCW |
| 186RY9H314 | 186RY9H314 | example | open | napkin tex/measure/swapsum.tex#example-1 |
| 186Z1RC7KB | 186Z1RC7KB | 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.13347#LAGA |
| 187X3MN6KS | 187X3MN6KS | statement | record (an 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.05965#AHMA |
| 188FATA952 | 188FATA952 | statement | record (an 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.32233#JEMN |
| 188G0Q0R8Q | 188G0Q0R8Q | statement | record (an 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.30301#JD7A |
| 18AJE3FXP9 | 18AJE3FXP9 | statement | record (an 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.39103#TRRV |
| 18ANZ8QQ3T | 18ANZ8QQ3T | statement | record (an 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.16554#8XXY |
| 18AZEKYHY9 | 18AZEKYHY9 | statement | record (an 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.28195#SA4R |
| 18AZTQVX4V | 18AZTQVX4V | statement | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-5 |
| 18BJ8WJ4B3 | 18BJ8WJ4B3 | statement | record (an 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.12295#7QK3 |
| 18BMC6G6K0 | 18BMC6G6K0 | statement | record (an 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.36332#HGJ0 |
| 18BV6QG8C1 | 18BV6QG8C1 | statement | record (an 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.15405#D6C6 |
| 18CQB0H319 | 18CQB0H319 | statement | record (an 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.15010#HJ6D |
| 18CRG5GH0E | 18CRG5GH0E | unknown | open | |
| 18CSHT03RM | 18CSHT03RM | statement | record (an 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.11021#UHQQ |
| 18CXS05MWQ | 18CXS05MWQ | 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 2207.05628#L1IJ |
| 18D2QTVB8Z | 18D2QTVB8Z | statement | record (an 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.24484#2UPQ |
| 18DK8F6D3B | 18DK8F6D3B | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-6 |
| 18ERCMMNEW | 18ERCMMNEW | statement | record (an 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.09900#MO7Z |
| 18F5BSTS4E | 18F5BSTS4E | statement | record (an 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.18358#9YCR |
| 18FH16QSKG | 18FH16QSKG | statement | record (an 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.21971#GWME |
| 18FH5BK2NY | 18FH5BK2NY | statement | record (an 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.09567#PBM9 |
| 18FMFS1XGD | 18FMFS1XGD | 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 1002.0879#U1D4 |
| 18FZEM9PMR | 18FZEM9PMR | definition | open | open_logic content/model-theory/basics/nonstandard-arithmetic.tex#defn-1 |
| 18GDEYBV6H | 18GDEYBV6H | statement | record (an 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.04958#5YU7 |
| 18H1E9K04Y | 18H1E9K04Y | statement | record (an 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.06152#X8C6 |
| 18H5W6XQY0 | 18H5W6XQY0 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-72 |
| 18HBT10V1N | 18HBT10V1N | statement | record (an 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.19660#GFTI |
| 18JFQY0PE3 | 18JFQY0PE3 | statement | record (an 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.02019#V6AT |
| 18JRT2A89M | 18JRT2A89M | statement | record (an 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#I7J6 |
| 18MC2BARDC | 18MC2BARDC | statement | record (an 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.05486#Q4MZ |
| 18N0DG84ST | 18N0DG84ST | statement | record (an 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.33241#C5VA |
| 18N5RWXKWJ | 18N5RWXKWJ | statement | record (an 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.08202#EEIP |
| 18NG9RYZCX | 18NG9RYZCX | statement | record (an 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#DWAS |
| 18NGSKV878 | 18NGSKV878 | 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 1903.07030#1FZR |
| 18NKWZTHS7 | 18NKWZTHS7 | statement | record (an 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.24545#EPIR |
| 18PBP24H94 | 18PBP24H94 | 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.30821#2B3I |
| 18PFDBM5YA | 18PFDBM5YA | statement | record (an 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.21781#1IV4 |
| 18Q1JYQGPQ | 18Q1JYQGPQ | 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 2511.07697#F9X7 |
| 18Q8FFVSQK | 18Q8FFVSQK | statement | record (an 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#1W7B |
| 18QQAANSHB | 18QQAANSHB | statement | record (an 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.04583#337N |
| 18QVR9SJ1B | 18QVR9SJ1B | statement | record (an 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#RKNK |
| 18RBSH5QKE | 18RBSH5QKE | statement | record (an 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.14879#C16H |
| 18SC72KC4C | 18SC72KC4C | statement | open | ernst_ibl MAAPressVersion/Topology.tex#theorem-4 |
| 18SHC9H5RR | 18SHC9H5RR | statement | record (an 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#TJI6 |
| 18TP4X98FE | 18TP4X98FE | statement | record (an 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.08288#6ZQS |
| 18TZM1KATJ | 18TZM1KATJ | statement | record (an 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.01499#16BU |
| 18VQ5X5VX1 | 18VQ5X5VX1 | statement | record (an 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#AC4U |
| 18VTHJ7QXG | 18VTHJ7QXG | definition | open | lebl_ra ch-der.tex#defn-3 |
| 18WG6GAVCA | 18WG6GAVCA | statement | record (an 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.07890#4GH0 |
| 18WQVMTEV1 | 18WQVMTEV1 | statement | record (an 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.16541#F8OU |
| 18YMPQHQ5X | 18YMPQHQ5X | statement | record (an 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.08500#0K0K |
| 18YWAK05EN | 18YWAK05EN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#RCBW |
| 18ZNZT903H | 18ZNZT903H | statement | record (an 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.17759#00AY |
| 18ZVFJ0PP9 | 18ZVFJ0PP9 | statement | record (an 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.00832#POJX |
| 1904XX36K6 | 1904XX36K6 | 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.14045#S0M2 |
| 1906771G9P | 1906771G9P | statement | record (an 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.35209#GGIO |