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 5701–5800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2F94YK8FVH | 2F94YK8FVH | statement | open | hott_book equivalences.tex#thm:fiber-of-a-fibration |
| 2F9P5C9QDC | 2F9P5C9QDC | statement | open | napkin tex/measure/pontryagin.tex#proposition-1 |
| 2FA3JMWJ58 | 2FA3JMWJ58 | 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.14838#4ZB2 |
| 2FAN7FR32F | 2FAN7FR32F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0678#CVCB |
| 2FAXZ2DK70 | 2FAXZ2DK70 | statement | record (an 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#JOB3 |
| 2FB44CNZQ6 | 2FB44CNZQ6 | statement | record (an 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.20225#AD2J |
| 2FBF0NTHFF | 2FBF0NTHFF | statement | record (an 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.26813#8UP6 |
| 2FBJK5QDX2 | 2FBJK5QDX2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#106A |
| 2FBQQPTF3H | 2FBQQPTF3H | 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.03559#QFP9 |
| 2FBQSQV8YT | 2FBQSQV8YT | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-5 |
| 2FCEXTCM4Y | 2FCEXTCM4Y | exercise | open | lebl_scv scv.tex#exercise-182 |
| 2FCKEVNBCX | 2FCKEVNBCX | statement | record (an 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.22338#BY89 |
| 2FCQVVSGZA | 2FCQVVSGZA | statement | record (an 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.24078#CGCV |
| 2FD5WQW33W | 2FD5WQW33W | statement | open | napkin tex/H113/structure.tex#theorem-5 |
| 2FD9TK7D9N | 2FD9TK7D9N | 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 2012.11507#XI8A |
| 2FDKMJ1SEE | 2FDKMJ1SEE | statement | open | open_logic content/many-valued-logic/syntax-and-semantics/sublogics.tex#cor-1 |
| 2FDPKQDNTV | 2FDPKQDNTV | 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 2504.00267#NXZD |
| 2FDWNWW6M8 | 2FDWNWW6M8 | 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.07927#CGLY |
| 2FE9BSC1KS | 2FE9BSC1KS | statement | record (an 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.01915#IYJQ |
| 2FESWD1519 | 2FESWD1519 | statement | record (an 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.29422#SOEL |
| 2FF0YY5SP4 | 2FF0YY5SP4 | statement | record (an 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#N55M |
| 2FF62Q2QWT | 2FF62Q2QWT | statement | record (an 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.27617#K18I |
| 2FG7MFAWY0 | 2FG7MFAWY0 | statement | record (an 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.25539#MJFY |
| 2FGFZDRTNV | 2FGFZDRTNV | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-95 |
| 2FGSJKR4G5 | 2FGSJKR4G5 | exercise | open | open_logic content/first-order-logic/sequent-calculus/proving-things-quant.tex#prob-2 |
| 2FHVWS7JJR | 2FHVWS7JJR | 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 2609.27931#I7UU |
| 2FJ3SS1KQN | 2FJ3SS1KQN | statement | record (an 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.25897#J4QA |
| 2FJ6H0T9JW | 2FJ6H0T9JW | statement | record (an 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.23106#623N |
| 2FJFCJG3PY | 2FJFCJG3PY | statement | record (an 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.01653#V0R4 |
| 2FKB4V69F5 | 2FKB4V69F5 | proof | open | napkin tex/alg-geom/mor-scheme.tex#proof-3 |
| 2FKC33KFMJ | 2FKC33KFMJ | statement | record (an 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.32174#E9QJ |
| 2FKE4DCZVN | 2FKE4DCZVN | 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.27420#8P8P |
| 2FKJARXSFP | 2FKJARXSFP | statement | record (an 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#KRYD |
| 2FMC6DBY9S | 2FMC6DBY9S | 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.22909#P6WY |
| 2FMW9QDCB3 | 2FMW9QDCB3 | statement | record (an 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#VR9C |
| 2FNHV5QKYP | 2FNHV5QKYP | statement | record (an 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.20422#RZT6 |
| 2FNW40E0MS | 2FNW40E0MS | proof | open | levin_dmoi ptx/exercises/counting-proofs.ptx#proof-1 |
| 2FNW4T5486 | 2FNW4T5486 | 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.19333#JFMI |
| 2FPBV0G869 | 2FPBV0G869 | statement | record (an 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.28411#2EX4 |
| 2FPDZH1FN7 | 2FPDZH1FN7 | statement | record (an 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.28365#D1NP |
| 2FPGRSZ90Y | 2FPGRSZ90Y | statement | record (an 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.05066#JMSQ |
| 2FPH4F635Z | 2FPH4F635Z | statement | record (an 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.36509#RNHY |
| 2FPRQ4MZXJ | 2FPRQ4MZXJ | statement | record (an 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.19023#00ZI |
| 2FQEF19D2E | 2FQEF19D2E | statement | record (an 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.08424#45EO |
| 2FQHEWJCX9 | 2FQHEWJCX9 | statement | record (an 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.21921#MRA2 |
| 2FQVG5ZSVE | 2FQVG5ZSVE | statement | record (an 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.17957#D4EJ |
| 2FQWKQKPAK | 2FQWKQKPAK | 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 2405.14678#6YDW |
| 2FR88T4RAP | 2FR88T4RAP | statement | record (an 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.37897#ZOW2 |
| 2FRAEA186P | 2FRAEA186P | 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.07644#I6MC |
| 2FRE4QAEFF | 2FRE4QAEFF | statement | record (an 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#5E06 |
| 2FRK2WSW3M | 2FRK2WSW3M | statement | record (an 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#TKQB |
| 2FRNXPZZHN | 2FRNXPZZHN | 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.26129#0W6A |
| 2FVCPY1KH7 | 2FVCPY1KH7 | statement | record (an 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.34676#GO6V |
| 2FX3Q0XHDT | 2FX3Q0XHDT | proof | open | napkin tex/set-theory/cardinal.tex#proof-3 |
| 2FY4TDGP3D | 2FY4TDGP3D | statement | record (an 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.25129#OBFN |
| 2FYVT3CDS5 | 2FYVT3CDS5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.12669#DDC8 |
| 2FZ49SKX0V | 2FZ49SKX0V | 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.05986#80NS |
| 2FZA3SZPCR | 2FZA3SZPCR | statement | record (an 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.08385#IL6M |
| 2FZEC87X0N | 2FZEC87X0N | 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.27301#3BET |
| 2G0MPKDTRK | 2G0MPKDTRK | statement | record (an 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.13734#9RAR |
| 2G12B3YXJG | 2G12B3YXJG | statement | record (an 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.09645#TAKE |
| 2G13GAH6MA | 2G13GAH6MA | statement | record (an 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.18219#0ITE |
| 2G1DB7Y7X1 | 2G1DB7Y7X1 | 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.10804#SUAR |
| 2G1HNVS30X | 2G1HNVS30X | statement | record (an 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.01694#DR0S |
| 2G1MM9ZQRX | 2G1MM9ZQRX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#OMRP |
| 2G24WRRSXE | 2G24WRRSXE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#C8IZ |
| 2G27G5A6BB | 2G27G5A6BB | statement | record (an 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.27800#OEQK |
| 2G2GT4TPKD | 2G2GT4TPKD | exercise | open | austin_ula src/section2-6.xml#activity-1 |
| 2G2S7XQ9QX | 2G2S7XQ9QX | statement | record (an 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#DA7W |
| 2G3N2SR4GY | 2G3N2SR4GY | statement | record (an 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.34852#8W34 |
| 2G446YQ4PP | 2G446YQ4PP | statement | record (an 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.03559#RDQ7 |
| 2G44P43VYH | 2G44P43VYH | statement | record (an 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.03062#SONS |
| 2G4NK2532N | 2G4NK2532N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15043#4XVT |
| 2G6HEP0GZE | 2G6HEP0GZE | statement | record (an 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.22551#CQEP |
| 2G6VRQZXG0 | 2G6VRQZXG0 | statement | record (an 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.20097#MV02 |
| 2G7X3YTW36 | 2G7X3YTW36 | statement | record (an 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.00786#BXB5 |
| 2G84TTAZR5 | 2G84TTAZR5 | 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.34011#ZVPB |
| 2G8ESK7PBE | 2G8ESK7PBE | statement | record (an 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.01267#70TM |
| 2G93DR30HW | 2G93DR30HW | statement | open | open_logic content/lambda-calculus/introduction/church-rosser.tex#thm:church-rosser |
| 2G9FFBAPMF | 2G9FFBAPMF | statement | open | lebl_diffyqs ch-systems.tex#theorem-8 |
| 2G9G8WW29H | 2G9G8WW29H | statement | record (an 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.33070#I4MO |
| 2G9ZC7JMD9 | 2G9ZC7JMD9 | statement | record (an 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.06621#Z6SV |
| 2GA7XMEYNX | 2GA7XMEYNX | statement | open | napkin tex/rep-theory/characters.tex#theorem-3 |
| 2GA879Z3R6 | 2GA879Z3R6 | statement | record (an 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.05771#SLUS |
| 2GC078ZZ2W | 2GC078ZZ2W | 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.21052#WIC3 |
| 2GCDH5VHDX | 2GCDH5VHDX | statement | record (an 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.24465#KW8T |
| 2GCGTFN7AT | 2GCGTFN7AT | statement | record (an 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#57Y5 |
| 2GCQGT37ZP | 2GCQGT37ZP | statement | record (an 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.06319#EFNG |
| 2GCYXJCFJX | 2GCYXJCFJX | statement | record (an 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.28411#LXLW |
| 2GDF4JHZPT | 2GDF4JHZPT | statement | record (an 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.31212#G89U |
| 2GDJN810VM | 2GDJN810VM | statement | record (an 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.29712#CU68 |
| 2GDQ7XX085 | 2GDQ7XX085 | 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 2605.30679#0QWL |
| 2GDSZ270RS | 2GDSZ270RS | example | open | austin_ula src/section2-6.xml#example-1 |
| 2GE04PNV8W | 2GE04PNV8W | statement | record (an 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#220K |
| 2GE6F1T60G | 2GE6F1T60G | statement | record (an 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.5443#O8AG |
| 2GF2A1BJ0F | 2GF2A1BJ0F | statement | record (an 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.19285#OTE6 |
| 2GF8EDHK6V | 2GF8EDHK6V | statement | record (an 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.16962#1TEN |
| 2GFMQ6XCNK | 2GFMQ6XCNK | definition | open | napkin tex/topology/cover-project.tex#definition-1 |
| 2GGRC3JFDA | 2GGRC3JFDA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1808.00180#LVFR |
| 2GHNCWHXD6 | 2GHNCWHXD6 | statement | record (an 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.04434#5KV1 |