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 8201–8300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3PBYA59AS8 | 3PBYA59AS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.3937#49MQ |
| 3PCACZBKRH | 3PCACZBKRH | 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 1805.04646#CS6A |
| 3PCQD41V2P | 3PCQD41V2P | statement | record (an 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.19852#M50V |
| 3PDPMG3VXZ | 3PDPMG3VXZ | statement | record (an 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.04870#ZUVZ |
| 3PE6A1SN13 | 3PE6A1SN13 | 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.18084#BQKY |
| 3PE841CYQJ | 3PE841CYQJ | statement | record (an 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.18564#9X0R |
| 3PEENM30R4 | 3PEENM30R4 | statement | record (an 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.12633#9U2A |
| 3PEV4GDYNJ | 3PEV4GDYNJ | statement | record (an 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.07061#ZG4V |
| 3PF2R71S81 | 3PF2R71S81 | statement | record (an 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#MHUD |
| 3PF79BND18 | 3PF79BND18 | statement | record (an 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.01208#WKDD |
| 3PGAAAN056 | 3PGAAAN056 | statement | record (an 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.18302#1XJ2 |
| 3PHT4SJA6B | 3PHT4SJA6B | exercise | open | lebl_scv scv.tex#exercise-222 |
| 3PJ1MN8ARN | 3PJ1MN8ARN | 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.00789#R1TB |
| 3PJBHFHY3V | 3PJBHFHY3V | statement | open | open_logic content/incompleteness/incompleteness-provability/lob-thm.tex#thm:lob |
| 3PJNJHYR7H | 3PJNJHYR7H | statement | record (an 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.33512#6INS |
| 3PKACK16RF | 3PKACK16RF | statement | record (an 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.21365#J9ZW |
| 3PKBFXM4CJ | 3PKBFXM4CJ | 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 2504.07573#TJMU |
| 3PKRS4X6K6 | 3PKRS4X6K6 | exercise | open | napkin tex/set-theory/forcing.tex#ques-3 |
| 3PKTG82SJR | 3PKTG82SJR | statement | record (an 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.21929#GZLS |
| 3PKV2PNWY4 | 3PKV2PNWY4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.04161#QX2D |
| 3PKYW0QE6X | 3PKYW0QE6X | statement | record (an 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.29152#0XL8 |
| 3PMHFPA4NK | 3PMHFPA4NK | statement | record (an 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.40017#X8HN |
| 3PN5S314T3 | 3PN5S314T3 | statement | record (an 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.02993#LDV1 |
| 3PPC0EN727 | 3PPC0EN727 | statement | record (an 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.03756#R0Z6 |
| 3PPRNKFBR7 | 3PPRNKFBR7 | statement | record (an 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.06334#IXN2 |
| 3PQ0EWYH39 | 3PQ0EWYH39 | statement | record (an 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.08837#I9S5 |
| 3PQ22TX3NC | 3PQ22TX3NC | 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#OF58 |
| 3PQX0EXW2F | 3PQX0EXW2F | statement | record (an 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.21092#R2ZI |
| 3PQXFAV2T2 | 3PQXFAV2T2 | statement | record (an 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.28024#G02V |
| 3PR2VGX2CN | 3PR2VGX2CN | statement | record (an 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.04135#SO5L |
| 3PR765F596 | 3PR765F596 | 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.28848#TGYR |
| 3PRZK3793D | 3PRZK3793D | statement | record (an 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#UAKT |
| 3PSDRHMS4R | 3PSDRHMS4R | statement | record (an 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.15847#UJJJ |
| 3PSH0TRXFT | 3PSH0TRXFT | proof | open | hott_book homotopy.tex#proof-34 |
| 3PSM5TFPAH | 3PSM5TFPAH | statement | record (an 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.07963#GR7Z |
| 3PSXF4VGXG | 3PSXF4VGXG | statement | record (an 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.28861#0UK9 |
| 3PTESX28RM | 3PTESX28RM | statement | record (an 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.31883#I7LZ |
| 3PTSRA0A0H | 3PTSRA0A0H | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-28 |
| 3PV5S8SK8Q | 3PV5S8SK8Q | statement | record (an 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#N574 |
| 3PVTMGVZRK | 3PVTMGVZRK | statement | record (an 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.35682#5PDV |
| 3PVWH8M398 | 3PVWH8M398 | statement | record (an 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.00267#HCOP |
| 3PW8WM3RXX | 3PW8WM3RXX | statement | record (an 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.04809#VI9Z |
| 3PWA02ZVRM | 3PWA02ZVRM | statement | record (an 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#VF2A |
| 3PXB8JC1H0 | 3PXB8JC1H0 | exercise | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-3 |
| 3PXZN4B3Y5 | 3PXZN4B3Y5 | 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.13792#IH5N |
| 3PYGSVJCJK | 3PYGSVJCJK | statement | open | hott_book categories.tex#ct:cat-eq-iso |
| 3PYQCK1CA3 | 3PYQCK1CA3 | statement | record (an 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#20H1 |
| 3PZ4A2XBWC | 3PZ4A2XBWC | statement | record (an 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.38532#DQD0 |
| 3PZ4ZVQSNM | 3PZ4ZVQSNM | statement | record (an 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.16399#VBY1 |
| 3PZM92A85Q | 3PZM92A85Q | statement | record (an 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#NP90 |
| 3PZNN5604C | 3PZNN5604C | statement | record (an 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.09354#XI4O |
| 3Q1TW26599 | 3Q1TW26599 | statement | record (an 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.14380#HZ55 |
| 3Q1V1JXT8D | 3Q1V1JXT8D | statement | record (an 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.38030#T4Y6 |
| 3Q1Z2Y0789 | 3Q1Z2Y0789 | statement | record (an 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.01273#KFKF |
| 3Q279M9DVW | 3Q279M9DVW | statement | record (an 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.11946#6M57 |
| 3Q2MQE3HFS | 3Q2MQE3HFS | statement | record (an 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#QDAR |
| 3Q2V2F0FX7 | 3Q2V2F0FX7 | statement | record (an 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.13833#LQSE |
| 3Q3PHXDGD3 | 3Q3PHXDGD3 | statement | record (an 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.34845#0O6Z |
| 3Q4DA10R9F | 3Q4DA10R9F | proof | open | open_logic content/first-order-logic/completeness/lindenbaums-lemma.tex#proof-1 |
| 3Q4HJFY2PA | 3Q4HJFY2PA | statement | record (an 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#KYB1 |
| 3Q4M4EXX2N | 3Q4M4EXX2N | statement | record (an 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.19483#FF2S |
| 3Q52SWN5ZS | 3Q52SWN5ZS | statement | record (an 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#KS55 |
| 3Q5EJFPA1Y | 3Q5EJFPA1Y | unknown | open | arXiv 2205.15365#9NZX |
| 3Q5EQJ746C | 3Q5EQJ746C | statement | record (an 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.00021#2PVH |
| 3Q6206NZ3Z | 3Q6206NZ3Z | statement | record (an 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.09084#ECXD |
| 3Q6A5M5X16 | 3Q6A5M5X16 | 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 1705.01594#ZK8W |
| 3Q6DB12ERG | 3Q6DB12ERG | statement | record (an 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.25367#6SYR |
| 3Q6EH66662 | 3Q6EH66662 | statement | record (an 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#NITC |
| 3Q6QC8JPVE | 3Q6QC8JPVE | statement | record (an 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.16069#NTR6 |
| 3Q7Q4E4JWN | 3Q7Q4E4JWN | proof | open | hott_book hits.tex#proof-33 |
| 3Q9T69G8R8 | 3Q9T69G8R8 | unknown | open | arXiv 2610.13680#J3HP |
| 3QA4VS9YTP | 3QA4VS9YTP | statement | record (an 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.21121#810F |
| 3QAB9WCJN1 | 3QAB9WCJN1 | 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.35577#VFBP |
| 3QAMDEGZFN | 3QAMDEGZFN | 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.39593#N61Q |
| 3QAQC6NQXX | 3QAQC6NQXX | statement | record (an 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.35636#R8GC |
| 3QAZNRT6JD | 3QAZNRT6JD | statement | record (an 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.09140#80W9 |
| 3QBH0617ZE | 3QBH0617ZE | statement | record (an 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.18929#H71P |
| 3QC2DB0E5C | 3QC2DB0E5C | 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 math/0003117#DAWL |
| 3QCPPQ7PCN | 3QCPPQ7PCN | unknown | open | arXiv 2609.38417#2C49 |
| 3QDVK9B1QR | 3QDVK9B1QR | statement | record (an 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.14742#W638 |
| 3QE4AJVRK7 | 3QE4AJVRK7 | statement | record (an 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#2R10 |
| 3QEBK555JW | 3QEBK555JW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.10697#RDLN |
| 3QF1YR2JKJ | 3QF1YR2JKJ | 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 2610.14373#SNCO |
| 3QFP3KV2NJ | 3QFP3KV2NJ | statement | record (an 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.19086#OUJ0 |
| 3QFV2W1YCJ | 3QFV2W1YCJ | statement | record (an 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.20909#XS8L |
| 3QGH177Y9A | 3QGH177Y9A | 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.22317#8A7Y |
| 3QH7MNYAN9 | 3QH7MNYAN9 | 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.22218#1VIL |
| 3QHFPAHPKT | 3QHFPAHPKT | statement | record (an 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.32207#4OQE |
| 3QHHS00A4A | 3QHHS00A4A | 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.14502#131G |
| 3QHZ8W2Y75 | 3QHZ8W2Y75 | example | open | applied_combinatorics source/s_genfunction_exponential.ptx#example-3 |
| 3QJ1CRVK4V | 3QJ1CRVK4V | statement | record (an 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.16399#JIJH |
| 3QJ2EJ4ZCF | 3QJ2EJ4ZCF | statement | record (an 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#6ZKD |
| 3QJ3626S6W | 3QJ3626S6W | statement | record (an 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.13137#4M9O |
| 3QJ63GS5VK | 3QJ63GS5VK | statement | record (an 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#SXDW |
| 3QJ73HK1HN | 3QJ73HK1HN | statement | record (an 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.01899#NQO6 |
| 3QJ748CJD3 | 3QJ748CJD3 | statement | record (an 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#W3TY |
| 3QJKGDGRAG | 3QJKGDGRAG | statement | record (an 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.37706#PY4H |
| 3QJWM4DYD3 | 3QJWM4DYD3 | statement | record (an 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.08581#VWOD |
| 3QKCBQA229 | 3QKCBQA229 | statement | record (an 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.06555#XXDK |
| 3QKRBNMQYW | 3QKRBNMQYW | statement | record (an 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.37606#Q0D9 |