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 23601–23700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9CRTZEQ9YN | 9CRTZEQ9YN | statement | record (an 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.16235#FF3A |
| 9CSCGGQW7S | 9CSCGGQW7S | statement | record (an 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.22074#FG6A |
| 9CSFK7Q4Y2 | 9CSFK7Q4Y2 | 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.31365#BL1T |
| 9CSFMZH3HF | 9CSFMZH3HF | statement | record (an 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#6Z2X |
| 9CSK2M8QE1 | 9CSK2M8QE1 | statement | record (an 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.35180#NEVB |
| 9CT4SERCCK | 9CT4SERCCK | 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.33590#2KRT |
| 9CTCGZAE6K | 9CTCGZAE6K | statement | record (an 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.34193#8PU4 |
| 9CTN0JXQ3E | 9CTN0JXQ3E | statement | record (an 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#R1BH |
| 9CTPRCH8JA | 9CTPRCH8JA | statement | record (an 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.14162#IF0S |
| 9CTTESWQBR | 9CTTESWQBR | 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.07695#APHV |
| 9CV76302DS | 9CV76302DS | statement | record (an 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.39389#QE7N |
| 9CV9Y1D0QV | 9CV9Y1D0QV | statement | record (an 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#PSD7 |
| 9CVCWPAKZA | 9CVCWPAKZA | statement | record (an 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.28489#0PMY |
| 9CWAGPN65D | 9CWAGPN65D | example | open | open_logic content/first-order-logic/syntax-and-semantics/structures.tex#ex-2 |
| 9CWKBJS35E | 9CWKBJS35E | statement | record (an 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.17318#7QV1 |
| 9CWKEP8G5T | 9CWKEP8G5T | statement | record (an 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.40028#14RF |
| 9CWVW3QWAK | 9CWVW3QWAK | statement | record (an 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.15188#L3RZ |
| 9CY29VZ06B | 9CY29VZ06B | statement | record (an 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.05216#VFTC |
| 9CY8NYTN7W | 9CY8NYTN7W | 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.00934#VYNO |
| 9CYB95B053 | 9CYB95B053 | statement | record (an 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.24185#6IMA |
| 9CZ9ARC9ZE | 9CZ9ARC9ZE | statement | record (an 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#SNS4 |
| 9CZMMXQA56 | 9CZMMXQA56 | statement | record (an 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.07961#V1W1 |
| 9CZZHDSM0D | 9CZZHDSM0D | 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 2308.05715#KP7R |
| 9CZZP8DAWJ | 9CZZP8DAWJ | statement | record (an 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.24412#185E |
| 9D01NY14YM | 9D01NY14YM | statement | record (an 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.06521#IKHS |
| 9D04FR10BF | 9D04FR10BF | 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.06045#51YJ |
| 9D09W1RNND | 9D09W1RNND | statement | open | hott_book logic.tex#thm:not-dneg |
| 9D0H3MKC8K | 9D0H3MKC8K | statement | record (an 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#PO1B |
| 9D0S9AFPJK | 9D0S9AFPJK | 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.39905#0D97 |
| 9D1SDV4BRD | 9D1SDV4BRD | statement | record (an 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.02331#DIVG |
| 9D1W6YTY14 | 9D1W6YTY14 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.04323#UGF7 |
| 9D1YJWYT8S | 9D1YJWYT8S | statement | record (an 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.25823#9QB2 |
| 9D203TG8VX | 9D203TG8VX | 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 2303.14022#MGJC |
| 9D2EYCS5EJ | 9D2EYCS5EJ | example | open | levin_dmoi ptx/sec_counting-addmult.ptx#example-6 |
| 9D397XHD95 | 9D397XHD95 | 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.35678#8L33 |
| 9D3EDY9N9W | 9D3EDY9N9W | statement | record (an 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.04935#8E10 |
| 9D4906BZ69 | 9D4906BZ69 | statement | record (an 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.16886#IQOL |
| 9D4H19A0M0 | 9D4H19A0M0 | statement | record (an 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.01237#K6ZT |
| 9D4Q62AVKY | 9D4Q62AVKY | statement | record (an 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.21093#6MLM |
| 9D536A1BZJ | 9D536A1BZJ | statement | record (an 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.21934#MML8 |
| 9D67K7C67M | 9D67K7C67M | statement | record (an 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.03305#COEY |
| 9D6TGEH2TJ | 9D6TGEH2TJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#RHEJ |
| 9D6ZSKM5E6 | 9D6ZSKM5E6 | statement | open | hott_book hits.tex#thm:uniqueness-for-functions-on-S1 |
| 9D8WHWNMS4 | 9D8WHWNMS4 | statement | record (an 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#6OBS |
| 9D8Y1TGTNH | 9D8Y1TGTNH | statement | record (an 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.07380#DYRG |
| 9D97PKAPQF | 9D97PKAPQF | statement | record (an 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.24599#9GDZ |
| 9D98YKFJ6V | 9D98YKFJ6V | exercise | open | napkin tex/alg-NT/galois.tex#problem-4 |
| 9D994BMC9C | 9D994BMC9C | unknown | open | arXiv 1805.04646#Q2IK |
| 9D9KN0EHBE | 9D9KN0EHBE | statement | record (an 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.37208#RGB2 |
| 9D9WCP4BTX | 9D9WCP4BTX | statement | record (an 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.36313#7KXW |
| 9DAK3YVVF6 | 9DAK3YVVF6 | statement | record (an 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.35323#RFIH |
| 9DBCS1BR3Q | 9DBCS1BR3Q | 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#YBFN |
| 9DBF78K24N | 9DBF78K24N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.03972#E6F8 |
| 9DBH1DZQ5B | 9DBH1DZQ5B | 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 2406.01036#U61U |
| 9DBMXBV7BX | 9DBMXBV7BX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.13510#KTSO |
| 9DC5SJN3VT | 9DC5SJN3VT | 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.02017#R93X |
| 9DCC84G9Z0 | 9DCC84G9Z0 | statement | record (an 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.27393#MBXG |
| 9DCH4N16MA | 9DCH4N16MA | statement | record (an 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#RLF6 |
| 9DCPRRDD7N | 9DCPRRDD7N | 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.06441#Y4LK |
| 9DCX0ZF40B | 9DCX0ZF40B | 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 2208.04502#LRHP |
| 9DDDEQ23TB | 9DDDEQ23TB | statement | record (an 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.06755#E401 |
| 9DE9XG1PC1 | 9DE9XG1PC1 | statement | record (an 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.26162#QMS5 |
| 9DEAYATCHG | 9DEAYATCHG | statement | record (an 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.31910#JHRR |
| 9DEH73FJAZ | 9DEH73FJAZ | statement | record (an 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.13241#MM5M |
| 9DF3VJXQBF | 9DF3VJXQBF | statement | record (an 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#74XN |
| 9DGGX3F3DQ | 9DGGX3F3DQ | statement | record (an 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#9R6Q |
| 9DGHCD2MZK | 9DGHCD2MZK | statement | record (an 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.28141#TG55 |
| 9DGPC224MZ | 9DGPC224MZ | 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.34311#YADR |
| 9DGTCJ8622 | 9DGTCJ8622 | statement | record (an 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#9CCL |
| 9DGWDPCMFA | 9DGWDPCMFA | statement | record (an 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.05396#XUMN |
| 9DH5GSJSG0 | 9DH5GSJSG0 | statement | record (an 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.14086#YJFK |
| 9DHA0VAHZN | 9DHA0VAHZN | exercise | open | napkin tex/alg-NT/discriminant.tex#problem-3 |
| 9DHSDES0EE | 9DHSDES0EE | 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.12430#XT75 |
| 9DHYDQN79B | 9DHYDQN79B | statement | record (an 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#NRQ2 |
| 9DJ18NHGF5 | 9DJ18NHGF5 | statement | record (an 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.33941#0FPM |
| 9DJBNJ9Y8M | 9DJBNJ9Y8M | proof | open | open_logic content/methods/proofs/inference-patterns.tex#proof-2 |
| 9DJM1K2QA4 | 9DJM1K2QA4 | statement | record (an 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.31445#9GW2 |
| 9DJNZG8RVS | 9DJNZG8RVS | proof | open | applied_combinatorics source/s_background_formal-num-sys.ptx#proof-2 |
| 9DJRF3RSMG | 9DJRF3RSMG | 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.04214#JQRX |
| 9DJWDKMBMP | 9DJWDKMBMP | statement | record (an 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.24451#HZ5V |
| 9DJYK7K93T | 9DJYK7K93T | proof | open | lebl_scv scv.tex#proof-83 |
| 9DKC2NNH89 | 9DKC2NNH89 | statement | record (an 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.25307#JNNU |
| 9DM5KQ7JVY | 9DM5KQ7JVY | statement | record (an 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.27715#W2ZK |
| 9DM9E668PC | 9DM9E668PC | statement | record (an 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.16233#BWLG |
| 9DME9HAYQ6 | 9DME9HAYQ6 | statement | record (an 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.18346#YZ7B |
| 9DMWEHTRAE | 9DMWEHTRAE | 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.09314#VB0F |
| 9DN314MDEV | 9DN314MDEV | statement | record (an 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.27694#5WX2 |
| 9DPCWVGXS3 | 9DPCWVGXS3 | statement | record (an 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.28677#Y708 |
| 9DR06P00EJ | 9DR06P00EJ | statement | record (an 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.19251#PTBU |
| 9DR5PNCKF0 | 9DR5PNCKF0 | statement | record (an 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.29699#QHKU |
| 9DR5Y8HEBZ | 9DR5Y8HEBZ | proof | open | open_logic content/incompleteness/theories-computability/computably-axiomatizable.tex#proof-1 |
| 9DR7B8Y4J5 | 9DR7B8Y4J5 | statement | record (an 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.15037#PRB8 |
| 9DRCKWYXTJ | 9DRCKWYXTJ | 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.30525#JJR8 |
| 9DRT3RA4F2 | 9DRT3RA4F2 | statement | record (an 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.05986#VOMP |
| 9DRZB9P310 | 9DRZB9P310 | statement | record (an 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.35030#I93Q |
| 9DT4XJWC2J | 9DT4XJWC2J | 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.27420#O1S8 |
| 9DV0FANPAD | 9DV0FANPAD | statement | record (an 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#78SA |
| 9DV60F1ZXS | 9DV60F1ZXS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#GEFM |
| 9DVX9HRA1D | 9DVX9HRA1D | statement | record (an 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#ZQZV |
| 9DW856Q57E | 9DW856Q57E | 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.16060#UJ00 |