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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 2601–2700 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1FF3KSARX7 | 1FF3KSARX7 | 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 1904.08413#1OOG |
| 1FFCEJY965 | 1FFCEJY965 | 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.14446#205W |
| 1FFSQSS31R | 1FFSQSS31R | statement | record (an 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.03384#1Y0F |
| 1FG3FTR1D7 | 1FG3FTR1D7 | statement | record (an 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.40345#ZOSW |
| 1FGACQ6V9W | 1FGACQ6V9W | statement | record (an 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#HRLO |
| 1FH0Y9RWJM | 1FH0Y9RWJM | statement | record (an 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#5XKH |
| 1FHM31A0W4 | 1FHM31A0W4 | statement | record (an 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.13260#JVP0 |
| 1FJ5QWAGQ7 | 1FJ5QWAGQ7 | example | open | open_logic content/first-order-logic/axiomatic-deduction/proving-things-quant.tex#ex-1 |
| 1FJAKQG8R8 | 1FJAKQG8R8 | statement | record (an 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.21255#1D07 |
| 1FK34M7776 | 1FK34M7776 | statement | record (an 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.38131#QX6Z |
| 1FKA8KFHN1 | 1FKA8KFHN1 | statement | record (an 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.22040#PI82 |
| 1FM2SG3JSP | 1FM2SG3JSP | statement | open | hott_book reals.tex#thm:Cauchy-reals-are-a-set |
| 1FM8S27PH2 | 1FM8S27PH2 | proof | open | applied_combinatorics source/s_background_integers.ptx#proof-1 |
| 1FMMY45VPZ | 1FMMY45VPZ | statement | record (an 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.30760#E84L |
| 1FMP9K87BY | 1FMP9K87BY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#AR3F |
| 1FNXX28GYD | 1FNXX28GYD | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-27 |
| 1FP826BXT8 | 1FP826BXT8 | statement | record (an 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.25703#KQNR |
| 1FPPD5K94N | 1FPPD5K94N | statement | record (an 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.37106#U0B2 |
| 1FPSPA72W9 | 1FPSPA72W9 | statement | record (an 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.10927#1ENT |
| 1FQ1H49TDJ | 1FQ1H49TDJ | statement | record (an 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.04172#4RO7 |
| 1FQ7676ZKM | 1FQ7676ZKM | statement | record (an 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.34081#OR7N |
| 1FQRAZ2MKP | 1FQRAZ2MKP | 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 2211.10178#CZRF |
| 1FQWBYGPW0 | 1FQWBYGPW0 | statement | record (an 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#ETJ6 |
| 1FR5ZAWTX2 | 1FR5ZAWTX2 | example | open | napkin tex/set-theory/ordinal.tex#example-5 |
| 1FR8QTVE32 | 1FR8QTVE32 | statement | record (an 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.28323#GEMM |
| 1FRX0Z7S2Q | 1FRX0Z7S2Q | 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.24353#C6PE |
| 1FS2FAMRJC | 1FS2FAMRJC | statement | record (an 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.20609#2XXK |
| 1FT4JFF9HR | 1FT4JFF9HR | statement | record (an 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.22247#MGWT |
| 1FV7SJPBKD | 1FV7SJPBKD | statement | record (an 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/9602216#NRBS |
| 1FVM74MWK6 | 1FVM74MWK6 | 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.37893#XH1N |
| 1FVV98HK29 | 1FVV98HK29 | statement | record (an 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.24131#2TOT |
| 1FWHYGXD72 | 1FWHYGXD72 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#IJPO |
| 1FWP18KMS8 | 1FWP18KMS8 | statement | record (an 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.33578#MAOK |
| 1FWQ3AHA7M | 1FWQ3AHA7M | statement | record (an 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.21914#0BPG |
| 1FXBJZR943 | 1FXBJZR943 | 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.15169#RXAQ |
| 1FXK2GX7EF | 1FXK2GX7EF | statement | record (an 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.24131#4TM9 |
| 1FY1NX0QBW | 1FY1NX0QBW | statement | record (an 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.35340#ZL17 |
| 1FYBKPM63N | 1FYBKPM63N | statement | record (an 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.20187#QDEG |
| 1FYD2QSVX1 | 1FYD2QSVX1 | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#prob:facebook |
| 1FZ6GKF7WR | 1FZ6GKF7WR | statement | record (an 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.35191#3ZSL |
| 1FZEF9DBXV | 1FZEF9DBXV | statement | record (an 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.03384#BOVG |
| 1FZR3Q56FD | 1FZR3Q56FD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#ZV3C |
| 1G0K3KYHYQ | 1G0K3KYHYQ | statement | record (an 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.21507#GGXO |
| 1G0YMTT20P | 1G0YMTT20P | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-8 |
| 1G18GZGKVS | 1G18GZGKVS | statement | record (an 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#WMUW |
| 1G1BXMFT0T | 1G1BXMFT0T | statement | record (an 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.24051#CFP1 |
| 1G1CCPFNZ0 | 1G1CCPFNZ0 | statement | record (an 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#AY7J |
| 1G1JVFQ9C4 | 1G1JVFQ9C4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#885C |
| 1G1NEHRX8C | 1G1NEHRX8C | statement | record (an 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.14888#6UN9 |
| 1G263C10WQ | 1G263C10WQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.27272#JJWE |
| 1G2QYYSB8A | 1G2QYYSB8A | statement | record (an 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.09812#ZHA4 |
| 1G2SPBJH3X | 1G2SPBJH3X | statement | open | hott_book basics.tex#thm:dpath-forall |
| 1G2TPTMFTW | 1G2TPTMFTW | statement | record (an 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.14189#SJYX |
| 1G3EC9HK7N | 1G3EC9HK7N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#PCUN |
| 1G3F0FHJP8 | 1G3F0FHJP8 | statement | record (an 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.06810#8SLS |
| 1G4GHAHSFF | 1G4GHAHSFF | statement | open | hott_book logic.tex#thm:contr-paths |
| 1G5WYR28BH | 1G5WYR28BH | 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.39539#D7Z9 |
| 1G680FZS1H | 1G680FZS1H | statement | record (an 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.21692#D4XD |
| 1G6Q5NS30P | 1G6Q5NS30P | statement | record (an 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.30200#2T3O |
| 1G6T4M5NRW | 1G6T4M5NRW | statement | record (an 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.13745#UHCQ |
| 1G6W7M4Z5K | 1G6W7M4Z5K | statement | record (an 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#I3GE |
| 1G73BD6RGN | 1G73BD6RGN | statement | record (an 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.10268#WHJR |
| 1G75PZ7MK6 | 1G75PZ7MK6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.4613#753V |
| 1G7F51DK7B | 1G7F51DK7B | statement | record (an 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.26357#UOAE |
| 1G7N0XJ6JY | 1G7N0XJ6JY | statement | record (an 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.08664#N88N |
| 1G7Z721GF1 | 1G7Z721GF1 | statement | record (an 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#NAPW |
| 1G82S5P4CV | 1G82S5P4CV | statement | record (an 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.10796#I4GD |
| 1G8E9T4RCC | 1G8E9T4RCC | statement | record (an 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.26386#TNDO |
| 1G8VTWF5WP | 1G8VTWF5WP | statement | record (an 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.28336#N14Y |
| 1G9F5SQF36 | 1G9F5SQF36 | statement | record (an 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.32439#KRYO |
| 1G9QW9HCA0 | 1G9QW9HCA0 | proof | open | hott_book reals.tex#proof-21 |
| 1G9V63T3JN | 1G9V63T3JN | statement | record (an 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.21444#FEWZ |
| 1GA6YBQAEQ | 1GA6YBQAEQ | proof | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-5 |
| 1GASGFNRSV | 1GASGFNRSV | 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.30323#DA30 |
| 1GAZ8ADYWG | 1GAZ8ADYWG | statement | record (an 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.33771#2RHX |
| 1GB44B1HTS | 1GB44B1HTS | statement | record (an 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.33451#1BVB |
| 1GBAA1PKYW | 1GBAA1PKYW | 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 2607.28337#SW9M |
| 1GBC630WAD | 1GBC630WAD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04063#0LA8 |
| 1GBNNFFQXS | 1GBNNFFQXS | statement | record (an 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.04758#SNK5 |
| 1GBWYZ9TA0 | 1GBWYZ9TA0 | statement | record (an 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.17045#4CVJ |
| 1GBYHSGAYP | 1GBYHSGAYP | 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 2401.00191#ZDMM |
| 1GC3RW0N73 | 1GC3RW0N73 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16252#SG20 |
| 1GCKYSVSGW | 1GCKYSVSGW | statement | record (an 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.25656#5WBN |
| 1GCWJY1KNQ | 1GCWJY1KNQ | 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.27295#UP98 |
| 1GDA1GHYT2 | 1GDA1GHYT2 | statement | record (an 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.08594#WNFM |
| 1GE3EYA2GY | 1GE3EYA2GY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#6AEV |
| 1GEN5AZC4P | 1GEN5AZC4P | 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.20656#BPMN |
| 1GF092GP6S | 1GF092GP6S | statement | record (an 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.07180#SLWK |
| 1GF0QBVWE7 | 1GF0QBVWE7 | statement | record (an 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.02628#4LFO |
| 1GG8M05TZS | 1GG8M05TZS | statement | record (an 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#FFDM |
| 1GGG4Z1GG3 | 1GGG4Z1GG3 | 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.21403#1EGK |
| 1GH15X3XC8 | 1GH15X3XC8 | 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.23237#T32L |
| 1GH4WG8XQ2 | 1GH4WG8XQ2 | statement | record (an 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.01916#58SS |
| 1GH6ZT47C5 | 1GH6ZT47C5 | 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#5YJ8 |
| 1GHCAH4RZV | 1GHCAH4RZV | statement | record (an 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#HQLJ |
| 1GHE50ZHZ4 | 1GHE50ZHZ4 | statement | record (an 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.29747#ZAVI |
| 1GHH1HSKNP | 1GHH1HSKNP | statement | record (an 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.14318#VG9S |
| 1GJZYHFHP0 | 1GJZYHFHP0 | statement | record (an 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.20170#IOTF |
| 1GKJ7ES43W | 1GKJ7ES43W | 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.22394#ZVY7 |
| 1GKPT4Y3PB | 1GKPT4Y3PB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16205#P0BS |