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 23301–23400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9921ZJS4S5 | 9921ZJS4S5 | statement | record (an 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.20087#260A |
| 992A68H56F | 992A68H56F | statement | record (an 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.02111#K10N |
| 992CQ1J3FZ | 992CQ1J3FZ | statement | record (an 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.01251#DU5W |
| 992DWRAGSC | 992DWRAGSC | 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 2512.16003#CGWG |
| 992KYS3909 | 992KYS3909 | proof | open | open_logic content/turing-machines/undecidability/universal-tm.tex#proof-1 |
| 992YMPYVM3 | 992YMPYVM3 | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-2 |
| 993NHCDYCB | 993NHCDYCB | statement | record (an 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.33856#MP2A |
| 993VT2REZF | 993VT2REZF | proof | open | applied_combinatorics source/s_probability_central-tendency.ptx#proof-1 |
| 9942A5QRPE | 9942A5QRPE | statement | record (an 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.11800#ARJL |
| 9947BW7WKK | 9947BW7WKK | statement | record (an 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#YVLO |
| 994KERDJ26 | 994KERDJ26 | 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 1904.08413#PGA0 |
| 994MD7Z5KX | 994MD7Z5KX | statement | record (an 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.28824#5TMD |
| 9952MJBWH9 | 9952MJBWH9 | example | open | lebl_ra ch-approximate.tex#example-10 |
| 995JP0WM39 | 995JP0WM39 | statement | record (an 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#ZWOR |
| 995K9D2W5Z | 995K9D2W5Z | statement | record (an 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.14160#PFYB |
| 995YW922XT | 995YW922XT | statement | record (an 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.21768#IGO5 |
| 99629T7Q5W | 99629T7Q5W | statement | record (an 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.20758#E78U |
| 996A0B1F83 | 996A0B1F83 | statement | record (an 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#1DJ2 |
| 996JW8B4TQ | 996JW8B4TQ | statement | record (an 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#OSNC |
| 9979P7R5MV | 9979P7R5MV | unknown | open | arXiv 2205.15365#VETG |
| 99939HXH2X | 99939HXH2X | 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 2310.11101#EJ0C |
| 9995GKVT09 | 9995GKVT09 | 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.28011#SPZP |
| 9999 | KP0Q88B6WZ | statement | open | Wikidata Q2607589, ProofWiki 9999 |
| 999RAXN4D1 | 999RAXN4D1 | statement | record (an 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.01441#CQXH |
| 999ZYHX6QP | 999ZYHX6QP | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-19 |
| 99ABM8G3DQ | 99ABM8G3DQ | statement | record (an 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.27366#5U0R |
| 99AKRK02JK | 99AKRK02JK | statement | record (an 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.31126#H49J |
| 99AV4YPS9R | 99AV4YPS9R | statement | record (an 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.16388#WQ65 |
| 99BSWH9FFD | 99BSWH9FFD | statement | record (an 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.38132#73K0 |
| 99CEKN0GTY | 99CEKN0GTY | 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.36306#4DR3 |
| 99CJQ40D3N | 99CJQ40D3N | statement | record (an 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#I9GD |
| 99D9YFRQBR | 99D9YFRQBR | statement | record (an 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#P10Q |
| 99DKK5MBPB | 99DKK5MBPB | statement | record (an 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.40290#4UVT |
| 99DQ19B273 | 99DQ19B273 | 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.35740#R9EW |
| 99DX6012D4 | 99DX6012D4 | 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.15593#D14F |
| 99E1HRQD2D | 99E1HRQD2D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#0CWV |
| 99E6RFD17T | 99E6RFD17T | statement | record (an 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#JSQE |
| 99E7PYDMAN | 99E7PYDMAN | statement | record (an 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.30663#G9FM |
| 99EJ9XS40H | 99EJ9XS40H | statement | record (an 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.05069#GOKE |
| 99FM8E2G1Z | 99FM8E2G1Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#FBED |
| 99FQY671T9 | 99FQY671T9 | exercise | open | hott_book basics.tex#ex:equality-reflection |
| 99GVCE1E4B | 99GVCE1E4B | statement | record (an 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.24542#URUI |
| 99H8J1NVAT | 99H8J1NVAT | statement | open | hott_book induction.tex#thm-4 |
| 99HZM366J0 | 99HZM366J0 | statement | record (an 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#70OE |
| 99JM78S80V | 99JM78S80V | statement | record (an 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.10873#Q3XS |
| 99K8EAXHF6 | 99K8EAXHF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.22882#KJO6 |
| 99KH1Z8XTA | 99KH1Z8XTA | statement | record (an 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.31689#EYJI |
| 99KS7HWDW7 | 99KS7HWDW7 | statement | record (an 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.16727#FFM7 |
| 99M1ET4CP4 | 99M1ET4CP4 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-48 |
| 99MJKKZD9J | 99MJKKZD9J | statement | record (an 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.11336#OVJ9 |
| 99NJXY5CA5 | 99NJXY5CA5 | statement | record (an 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.14306#P6KW |
| 99NNX22TH7 | 99NNX22TH7 | statement | record (an 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#32XQ |
| 99NR6TVMDQ | 99NR6TVMDQ | statement | record (an 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.21762#94XU |
| 99P1EGFHFY | 99P1EGFHFY | statement | record (an 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.13213#5ANY |
| 99P9HMZY99 | 99P9HMZY99 | unknown | open | arXiv 2106.06387#NK3V |
| 99PNVN0JNT | 99PNVN0JNT | statement | record (an 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.12053#JU1T |
| 99PWYM1J79 | 99PWYM1J79 | 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 2404.18690#KV64 |
| 99Q7YJR56Y | 99Q7YJR56Y | exercise | open | open_logic content/intuitionistic-logic/semantics/relational-models.tex#prob-2 |
| 99QAHFYJ9S | 99QAHFYJ9S | statement | record (an 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.06645#S2BU |
| 99QDT4PP53 | 99QDT4PP53 | statement | record (an 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/9802134#H7QB |
| 99QZQPW7KB | 99QZQPW7KB | 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.25656#N1X5 |
| 99R1DNSPC3 | 99R1DNSPC3 | statement | record (an 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.31489#L095 |
| 99R6B9G062 | 99R6B9G062 | statement | record (an 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.05471#AR6H |
| 99RV4Q6XSY | 99RV4Q6XSY | exercise | open | napkin tex/alg-geom/sheaves.tex#exercise-2 |
| 99TPQQ1XP8 | 99TPQQ1XP8 | statement | record (an 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.36389#I6OV |
| 99VH4Z1DBH | 99VH4Z1DBH | 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#7C9O |
| 99VPT06ME7 | 99VPT06ME7 | statement | record (an 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.31604#PVIM |
| 99VRT8F2GR | 99VRT8F2GR | statement | record (an 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.32829#8537 |
| 99VXXM9M1T | 99VXXM9M1T | statement | record (an 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.23797#G6TF |
| 99XGH0HNGY | 99XGH0HNGY | exercise | open | lebl_scv scv.tex#exercise-72 |
| 99YRWRFPTP | 99YRWRFPTP | exercise | open | levin_dmoi ptx/exercises/gt-paths.ptx#exercise-2 |
| 99Z7HBMQDQ | 99Z7HBMQDQ | statement | record (an 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#OPWY |
| 99ZA371AH0 | 99ZA371AH0 | statement | record (an 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.10338#DW3Y |
| 99ZFP2CCVD | 99ZFP2CCVD | statement | record (an 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.21017#7969 |
| 99ZK10CZ2P | 99ZK10CZ2P | statement | record (an 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.07790#US1S |
| 99ZTNM4DXX | 99ZTNM4DXX | statement | record (an 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.26776#JGTO |
| 99ZTY3T0HM | 99ZTY3T0HM | 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.38220#4L11 |
| 99ZTZNSHVX | 99ZTZNSHVX | statement | record (an 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.06541#DLSY |
| 9] Theorem 4.1 | HKGYQBG7DF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#CT44 |
| 9] Theorem I | C107W4SFKT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#YSXF |
| 9] Theorem II | G1AH0ZZ70M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#FUW1 |
| 9A0MBEPZY3 | 9A0MBEPZY3 | statement | record (an 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.07340#SULO |
| 9A0RKTD148 | 9A0RKTD148 | statement | record (an 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.11470#GVPU |
| 9A0VHFANGD | 9A0VHFANGD | statement | record (an 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.24701#TUNE |
| 9A178YRK41 | 9A178YRK41 | statement | record (an 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.31126#PA01 |
| 9A1C5NW0KQ | 9A1C5NW0KQ | 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.13707#8MDV |
| 9A1GNRP3AB | 9A1GNRP3AB | 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#1XUU |
| 9A1YEPC0ZV | 9A1YEPC0ZV | statement | record (an 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#IN3B |
| 9A22Q6ZKZR | 9A22Q6ZKZR | statement | record (an 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#DLO1 |
| 9A2QH2T7H5 | 9A2QH2T7H5 | statement | record (an 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#EJ53 |
| 9A2V4MT5HC | 9A2V4MT5HC | statement | record (an 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.18033#YJZL |
| 9A3K2R5RZE | 9A3K2R5RZE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#7ELJ |
| 9A3XXGWE8Z | 9A3XXGWE8Z | statement | record (an 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.06707#OFVT |
| 9A4V2X7SDZ | 9A4V2X7SDZ | proof | open | napkin tex/alg-geom/mor-scheme.tex#proof-7 |
| 9A5MQYVBWY | 9A5MQYVBWY | statement | record (an 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.22002#M1X6 |
| 9A5T78SJ13 | 9A5T78SJ13 | proof | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-1 |
| 9A6KARS8X3 | 9A6KARS8X3 | statement | record (an 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.35543#XTJN |
| 9A6P5M9G7M | 9A6P5M9G7M | 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.10745#WD01 |
| 9A7KVP8VYE | 9A7KVP8VYE | statement | record (an 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.33476#CK2K |
| 9A7RT7GEHG | 9A7RT7GEHG | statement | record (an 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#00I6 |