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 19401–19500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7TANDWE5C0 | 7TANDWE5C0 | proof | open | hott_book hlevels.tex#proof-38 |
| 7TB3KC5G82 | 7TB3KC5G82 | statement | record (an 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.38267#U9EJ |
| 7TB6AZTH03 | 7TB6AZTH03 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#YL1W |
| 7TBAK3W7CP | 7TBAK3W7CP | statement | record (an 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#M83N |
| 7TBHHWX269 | 7TBHHWX269 | 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.14060#9LW2 |
| 7TC17EP3WT | 7TC17EP3WT | proof | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#proof-1 |
| 7TD2FF8E81 | 7TD2FF8E81 | statement | record (an 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.04466#ZS7R |
| 7TDA8KBQWB | 7TDA8KBQWB | statement | record (an 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#ZTB7 |
| 7TDD1TNZ9S | 7TDD1TNZ9S | statement | record (an 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.23812#6JOG |
| 7TDDEGC5VH | 7TDDEGC5VH | statement | record (an 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.13877#9N2K |
| 7TDFFA8CWJ | 7TDFFA8CWJ | statement | record (an 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#GWRJ |
| 7TDSJBJS2K | 7TDSJBJS2K | statement | record (an 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.27617#902X |
| 7TEFV9XPRB | 7TEFV9XPRB | statement | record (an 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.35404#RPQ3 |
| 7TF6Y69GDN | 7TF6Y69GDN | statement | record (an 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.10325#9ONE |
| 7TG5K7SHV9 | 7TG5K7SHV9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#K14P |
| 7TGKBE5ZR6 | 7TGKBE5ZR6 | statement | record (an 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.00596#2WA6 |
| 7TGNENFBMZ | 7TGNENFBMZ | statement | record (an 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.08226#W61R |
| 7TGP2Z6YVX | 7TGP2Z6YVX | example | open | open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-1 |
| 7TGZPCV3AH | 7TGZPCV3AH | statement | record (an 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.16884#DPNZ |
| 7THBSR6M8F | 7THBSR6M8F | statement | record (an 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.14548#62EO |
| 7THYTJCETN | 7THYTJCETN | statement | record (an 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.24845#5LYT |
| 7THZ67A27Z | 7THZ67A27Z | statement | record (an 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.11619#B3J8 |
| 7TJ41PCW11 | 7TJ41PCW11 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#WG59 |
| 7TJ8FJY52N | 7TJ8FJY52N | statement | record (an 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.05327#TS5Y |
| 7TJ8ZBYN0F | 7TJ8ZBYN0F | 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.19288#LQCB |
| 7TJP17WZC4 | 7TJP17WZC4 | 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#66EH |
| 7TJR6XSEGG | 7TJR6XSEGG | statement | record (an 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#27P9 |
| 7TJSMC5677 | 7TJSMC5677 | 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.13291#1T06 |
| 7TK1METGJF | 7TK1METGJF | 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 1004.4564#Q52G |
| 7TK2XJX4SG | 7TK2XJX4SG | statement | record (an 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.09735#KSS6 |
| 7TK3AWCW42 | 7TK3AWCW42 | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#thm:refl |
| 7TK9AKTRBY | 7TK9AKTRBY | example | open | napkin tex/calculus/limits.tex#example-2 |
| 7TKG4YG2GQ | 7TKG4YG2GQ | 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.38138#XCBN |
| 7TKM14S88C | 7TKM14S88C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.16669#TO9F |
| 7TKVCAZP3S | 7TKVCAZP3S | statement | record (an 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.14509#5QIH |
| 7TNENVF9Q3 | 7TNENVF9Q3 | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-28 |
| 7TP1J1CV73 | 7TP1J1CV73 | unknown | open | arXiv 2610.13680#UUIE |
| 7TPVF539W5 | 7TPVF539W5 | statement | record (an 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.04323#13ZR |
| 7TQW7SFN91 | 7TQW7SFN91 | statement | open | napkin tex/H113/grp-intro.tex#theorem-1 |
| 7TRGDYPTB2 | 7TRGDYPTB2 | statement | record (an 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.27641#UT78 |
| 7TSADQ32PN | 7TSADQ32PN | statement | record (an 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.18239#ECN5 |
| 7TSGSEZ770 | 7TSGSEZ770 | 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.13629#4ER3 |
| 7TSX46VGN8 | 7TSX46VGN8 | statement | record (an 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.35678#SEIC |
| 7TTX62NKD0 | 7TTX62NKD0 | statement | record (an 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.37093#VOK8 |
| 7TV4W18AH6 | 7TV4W18AH6 | statement | record (an 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#NUUU |
| 7TVNA6EY88 | 7TVNA6EY88 | statement | record (an 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.15525#HOJR |
| 7TVTSN4P1Z | 7TVTSN4P1Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.07061#S04N |
| 7TVVNA1WMA | 7TVVNA1WMA | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-5 |
| 7TW5GFKXVF | 7TW5GFKXVF | statement | record (an 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.28265#LSQ5 |
| 7TWJWR0J50 | 7TWJWR0J50 | statement | record (an 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#OI2F |
| 7TWKJCJETK | 7TWKJCJETK | statement | record (an 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#OK9L |
| 7TXKRWYJ8Y | 7TXKRWYJ8Y | 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 2401.15490#EXLC |
| 7TXQE75BK7 | 7TXQE75BK7 | statement | open | open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#prop-1 |
| 7TXZZSNR11 | 7TXZZSNR11 | statement | record (an 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.11545#DDQS |
| 7TY235PFTX | 7TY235PFTX | statement | record (an 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#CFUB |
| 7TYDK1AW0P | 7TYDK1AW0P | statement | record (an 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.31127#OZIZ |
| 7TYEKQ5V42 | 7TYEKQ5V42 | statement | record (an 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.30098#K986 |
| 7TYP1KX6SW | 7TYP1KX6SW | statement | record (an 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.06147#Q7CC |
| 7TYP9YEASW | 7TYP9YEASW | statement | record (an 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#WK9E |
| 7TYWSEMB0A | 7TYWSEMB0A | exercise | open | napkin tex/topology/constructions.tex#exercise-1 |
| 7TZ1EXDCJM | 7TZ1EXDCJM | statement | record (an 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.10840#L58Y |
| 7TZ3MYYHQJ | 7TZ3MYYHQJ | statement | record (an 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.09796#JEEF |
| 7TZCD5Y057 | 7TZCD5Y057 | statement | record (an 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.18704#UPMI |
| 7TZR8RQQ75 | 7TZR8RQQ75 | statement | record (an 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.00560#S1UM |
| 7TZSR68XB6 | 7TZSR68XB6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#HRL8 |
| 7TZV9TXH9M | 7TZV9TXH9M | statement | record (an 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.17204#UW8P |
| 7V070Q1JSJ | 7V070Q1JSJ | statement | record (an 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.33584#CUR4 |
| 7V0QG3QGHT | 7V0QG3QGHT | statement | record (an 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.10230#XJH5 |
| 7V273RZPB3 | 7V273RZPB3 | 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.27765#GUTS |
| 7V2AA8QS13 | 7V2AA8QS13 | statement | record (an 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.09544#BJD9 |
| 7V2ETATB9M | 7V2ETATB9M | statement | open | hott_book hits.tex#thm:trunc0-lump |
| 7V3KA54WQJ | 7V3KA54WQJ | statement | record (an 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.05696#LW4O |
| 7V48BBY4MW | 7V48BBY4MW | statement | record (an 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.06066#KLY8 |
| 7V524SPK42 | 7V524SPK42 | statement | record (an 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#GDGL |
| 7V52B5HETA | 7V52B5HETA | statement | record (an 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.13621#56OW |
| 7V5ENSRN77 | 7V5ENSRN77 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0907.5545#DUAL |
| 7V63M28QT1 | 7V63M28QT1 | statement | record (an 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.26576#55M5 |
| 7V6A6SZ8VY | 7V6A6SZ8VY | 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.24545#HM45 |
| 7V6GG0J7HB | 7V6GG0J7HB | statement | record (an 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.13505#W8KO |
| 7V6HSZHZ6T | 7V6HSZHZ6T | statement | record (an 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.05784#HJM7 |
| 7V6KCRX5AM | 7V6KCRX5AM | statement | record (an 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.29501#4K1T |
| 7V76R68J18 | 7V76R68J18 | statement | record (an 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.03298#9PGI |
| 7V81Y03HDR | 7V81Y03HDR | statement | record (an 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.01475#VND7 |
| 7V882ER793 | 7V882ER793 | definition | open | lebl_ra ch-seq-ser.tex#liminflimsup:def |
| 7V88Z7Z0T5 | 7V88Z7Z0T5 | statement | record (an 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.26572#8B2J |
| 7V8SZF0WZ5 | 7V8SZF0WZ5 | statement | record (an 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.07546#NTPU |
| 7V9436W2NF | 7V9436W2NF | 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.11157#A2I7 |
| 7V99MYWAN7 | 7V99MYWAN7 | 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 2205.06433#IM0H |
| 7V9QGVY168 | 7V9QGVY168 | statement | record (an 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#F9ZI |
| 7V9RDSZP05 | 7V9RDSZP05 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-53 |
| 7V9T1XGVBT | 7V9T1XGVBT | statement | record (an 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.31242#0JO2 |
| 7V9TZVG0AW | 7V9TZVG0AW | statement | record (an 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.11757#MSMO |
| 7VA23QWZ60 | 7VA23QWZ60 | statement | record (an 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.13100#1OLQ |
| 7VANS0JS3Q | 7VANS0JS3Q | 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.01073#13B0 |
| 7VAW725WCS | 7VAW725WCS | statement | record (an 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.17737#LEGQ |
| 7VAYC6XDW6 | 7VAYC6XDW6 | exercise | open | open_logic content/turing-machines/undecidability/halting-problem.tex#prob-2 |
| 7VDGS2GDG9 | 7VDGS2GDG9 | proof | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-4 |
| 7VDNCJ7MW3 | 7VDNCJ7MW3 | statement | record (an 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.24522#J0SN |
| 7VDZW22TH2 | 7VDZW22TH2 | statement | record (an 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.16655#AQPB |
| 7VETYYDB7K | 7VETYYDB7K | statement | record (an 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.03559#X0B8 |