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 7501–7600 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3ECJ4CEFAF | 3ECJ4CEFAF | statement | record (an 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.02495#4Y70 |
| 3EDA3N13DE | 3EDA3N13DE | statement | record (an 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#SKP6 |
| 3EDCRN78G9 | 3EDCRN78G9 | statement | record (an 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.13378#2556 |
| 3EDJG19R4C | 3EDJG19R4C | statement | record (an 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.04000#VMNW |
| 3EE2DXFXT7 | 3EE2DXFXT7 | statement | record (an 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#5SUR |
| 3EEPFWBSSY | 3EEPFWBSSY | statement | record (an 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.00358#LBAM |
| 3EF78CMS09 | 3EF78CMS09 | 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.17565#6QQG |
| 3EFSX8P8GW | 3EFSX8P8GW | statement | record (an 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.14321#I3AC |
| 3EFV6TANJZ | 3EFV6TANJZ | example | open | levin_dmoi ptx/sec_intro-functions.ptx#example-5 |
| 3EFXD76HYP | 3EFXD76HYP | statement | record (an 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.03601#LDCA |
| 3EG6GXB4XJ | 3EG6GXB4XJ | statement | record (an 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.20932#VG47 |
| 3EGB8CPA9V | 3EGB8CPA9V | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-10 |
| 3EGYD5558F | 3EGYD5558F | statement | record (an 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#CI2T |
| 3EH0BFG9ZV | 3EH0BFG9ZV | statement | record (an 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.32903#C656 |
| 3EH4WPRFT1 | 3EH4WPRFT1 | statement | record (an 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.26743#1O8L |
| 3EJ12XP5BX | 3EJ12XP5BX | 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.10262#8XQ7 |
| 3EJJM4PGJ6 | 3EJJM4PGJ6 | statement | record (an 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.39505#MJY9 |
| 3EJS8G9AKB | 3EJS8G9AKB | statement | record (an 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.07290#85FW |
| 3EJTDV1VNG | 3EJTDV1VNG | statement | record (an 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.09207#0UXI |
| 3EJYXSDW4Q | 3EJYXSDW4Q | statement | record (an 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.26743#RLC8 |
| 3EK04Y40CZ | 3EK04Y40CZ | statement | record (an 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.36412#C2Y5 |
| 3EK076FG2Z | 3EK076FG2Z | 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.14085#6J7T |
| 3EK8Z6AP2A | 3EK8Z6AP2A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#VKKV |
| 3EKC31GRJM | 3EKC31GRJM | 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.24580#UKBH |
| 3EKV5ATT07 | 3EKV5ATT07 | statement | open | hott_book homotopy.tex#thm:iscontr-s1cover |
| 3EKVV84SFC | 3EKVV84SFC | statement | record (an 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.35398#42A4 |
| 3EMGX4PTQY | 3EMGX4PTQY | 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.03628#2STQ |
| 3EMJD449TD | 3EMJD449TD | statement | record (an 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.05067#F5F1 |
| 3EMQ00RNMX | 3EMQ00RNMX | statement | record (an 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#55JP |
| 3EMQFRG1FP | 3EMQFRG1FP | statement | record (an 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.30113#0IPI |
| 3EMXWF7CVD | 3EMXWF7CVD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#YF62 |
| 3EN79XR9TW | 3EN79XR9TW | statement | record (an 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.18992#YGJS |
| 3END89ECTY | 3END89ECTY | statement | open | hott_book hits.tex#thm-1 |
| 3ENZRB9Q7F | 3ENZRB9Q7F | 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.12330#P98F |
| 3EP43R89AG | 3EP43R89AG | statement | record (an 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.36321#35KI |
| 3EP6EKE9PR | 3EP6EKE9PR | exercise | open | napkin tex/measure/measure-space.tex#exercise-2 |
| 3EPBW726RS | 3EPBW726RS | definition | open | napkin tex/calculus/taylor.tex#definition-2 |
| 3EPD5ZWCNS | 3EPD5ZWCNS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#HDSJ |
| 3EPPQQKMAM | 3EPPQQKMAM | 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.11545#GVG8 |
| 3EPT6602GG | 3EPT6602GG | definition | open | open_logic content/model-theory/basics/isomorphism.tex#defn:elem-equiv |
| 3EQ5AJWTAB | 3EQ5AJWTAB | statement | record (an 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#FWLP |
| 3EQZE393YD | 3EQZE393YD | statement | record (an 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#HD0F |
| 3EQZM6PCQ7 | 3EQZM6PCQ7 | 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.03628#DNNF |
| 3ER8BPQJJ1 | 3ER8BPQJJ1 | statement | record (an 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.27200#B2XL |
| 3ES335ZA7M | 3ES335ZA7M | statement | record (an 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.06340#9LUH |
| 3ESBF16VBJ | 3ESBF16VBJ | statement | record (an 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#G2LP |
| 3ET7M2FAZY | 3ET7M2FAZY | statement | open | levin_dmoi ptx/sec_gt-trees.ptx#prop-unique-paths-trees |
| 3ETDJ5F5KP | 3ETDJ5F5KP | statement | record (an 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.35360#9WOG |
| 3ETHCDEJ4B | 3ETHCDEJ4B | statement | record (an 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.39293#BQF4 |
| 3ETRTZMFTY | 3ETRTZMFTY | 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.31274#T0QK |
| 3ETT8WHPPB | 3ETT8WHPPB | statement | record (an 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.37739#5QWA |
| 3ETVCN89FR | 3ETVCN89FR | statement | record (an 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#8WPE |
| 3EV1XRMTV7 | 3EV1XRMTV7 | statement | record (an 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.38493#4UFC |
| 3EVXJ8GF6F | 3EVXJ8GF6F | statement | record (an 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.36045#JLFJ |
| 3EW1JY9D3A | 3EW1JY9D3A | statement | record (an 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.04660#9BXJ |
| 3EWA5Y9YHE | 3EWA5Y9YHE | 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.31523#MR9C |
| 3EWJMXCR0B | 3EWJMXCR0B | 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.00934#AEML |
| 3EWPFCSFM8 | 3EWPFCSFM8 | statement | record (an 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.25983#POFP |
| 3EWVRECSFA | 3EWVRECSFA | statement | record (an 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.17188#D19U |
| 3EXN8BT39Q | 3EXN8BT39Q | statement | record (an 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.06419#VWOA |
| 3EY8MMCATK | 3EY8MMCATK | 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.12330#FMFF |
| 3EZ5W7GD4J | 3EZ5W7GD4J | statement | record (an 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.30018#N958 |
| 3EZFGAMAZ1 | 3EZFGAMAZ1 | statement | record (an 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.25255#VRTE |
| 3EZYFC3EWR | 3EZYFC3EWR | statement | record (an 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.21960#JDSS |
| 3F08T6RGNW | 3F08T6RGNW | proof | open | lebl_ra ch-approximate.tex#proof-28 |
| 3F1124PB08 | 3F1124PB08 | proof | open | lebl_ra ch-seq-ser.tex#proof-14 |
| 3F141JF4M6 | 3F141JF4M6 | statement | record (an 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#582P |
| 3F1EQ3007V | 3F1EQ3007V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.10580#OC8Y |
| 3F1FYMKD0N | 3F1FYMKD0N | statement | record (an 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#2XFD |
| 3F1Q5E86E8 | 3F1Q5E86E8 | 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.26337#AIF7 |
| 3F1TD00VYX | 3F1TD00VYX | statement | record (an 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.10505#2FP9 |
| 3F1XYRD43K | 3F1XYRD43K | 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.11596#1SAF |
| 3F21PPN7R0 | 3F21PPN7R0 | example | open | active_calculus source/sec-3-5-optimization.xml#Ex-3-3-1 |
| 3F2T6SYNET | 3F2T6SYNET | statement | record (an 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.08370#7CZ2 |
| 3F2TM2YZQQ | 3F2TM2YZQQ | statement | record (an 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.18078#SW4O |
| 3F33AMDMAR | 3F33AMDMAR | statement | record (an 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.20801#1PWJ |
| 3F3TED73R0 | 3F3TED73R0 | statement | record (an 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.04776#Z65K |
| 3F4Q4YAGMS | 3F4Q4YAGMS | statement | record (an 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.30636#4QSO |
| 3F5NP4HQVA | 3F5NP4HQVA | statement | record (an 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.40054#B1SR |
| 3F6YPQEWQP | 3F6YPQEWQP | 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.32524#8V84 |
| 3F77S263HF | 3F77S263HF | statement | record (an 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.10233#TYLO |
| 3F87PYM72N | 3F87PYM72N | 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.07897#VNN2 |
| 3F8KYJQ2EC | 3F8KYJQ2EC | statement | record (an 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.37815#DQSW |
| 3F91D2XVMX | 3F91D2XVMX | statement | record (an 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.20285#1I5E |
| 3F96PZXK3K | 3F96PZXK3K | statement | record (an 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#F1SI |
| 3F9XMHGER2 | 3F9XMHGER2 | statement | record (an 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.06340#1I1K |
| 3FA69JPX3X | 3FA69JPX3X | statement | record (an 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#P1B4 |
| 3FA87V7YV3 | 3FA87V7YV3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.01742#597T |
| 3FAW4FHCQ6 | 3FAW4FHCQ6 | 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 2405.10580#XJKZ |
| 3FB6Q97JWY | 3FB6Q97JWY | 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 2409.01237#MTGZ |
| 3FBF4EPKRZ | 3FBF4EPKRZ | exercise | open | open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#prob-1 |
| 3FC1AENQN3 | 3FC1AENQN3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#U912 |
| 3FCDZRC5GH | 3FCDZRC5GH | statement | record (an 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.35153#L8FV |
| 3FCH99YPZN | 3FCH99YPZN | statement | record (an 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.02019#XA34 |
| 3FCMCF0H07 | 3FCMCF0H07 | 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 1002.0879#ASPB |
| 3FCREHVJY8 | 3FCREHVJY8 | statement | record (an 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#OLSG |
| 3FCV9N3XRX | 3FCV9N3XRX | 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 2603.07541#7V2Z |
| 3FCY77EEZQ | 3FCY77EEZQ | 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.32107#2P5S |
| 3FD2H38NAG | 3FD2H38NAG | statement | record (an 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.13847#9AM0 |
| 3FD6DFY2JY | 3FD6DFY2JY | statement | record (an 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.10860#R6SJ |