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 6301–6400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3025AX07S6 | 3025AX07S6 | statement | record (an 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.10790#64BS |
| 302641E6Z6 | 302641E6Z6 | statement | record (an 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.28880#D0FC |
| 302N9ZJ051 | 302N9ZJ051 | statement | record (an 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.32088#9UWE |
| 3037P76ABD | 3037P76ABD | statement | record (an 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.20386#T9ER |
| 3037PE5D99 | 3037PE5D99 | statement | record (an 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#VTCS |
| 303TWKMXRQ | 303TWKMXRQ | exercise | open | levin_dmoi ptx/sec_logic-proofs.ptx#investigation-1 |
| 305RS7SQTZ | 305RS7SQTZ | 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.07673#W5GE |
| 306DKYAYAP | 306DKYAYAP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.13129#BCN7 |
| 306NMEFYBG | 306NMEFYBG | definition | open | napkin tex/H113/ring-flavors.tex#definition-3 |
| 306PAVEP95 | 306PAVEP95 | statement | record (an 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.09042#ON3M |
| 306Y599N2J | 306Y599N2J | statement | open | napkin tex/topology/metric-prop.tex#proposition-1 |
| 306ZZ57T6Q | 306ZZ57T6Q | 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.18346#UW33 |
| 3074N7T5E0 | 3074N7T5E0 | 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.14266#7KMW |
| 3084ZXG3WD | 3084ZXG3WD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.27272#UC12 |
| 308GN7W5M1 | 308GN7W5M1 | statement | record (an 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#LFIS |
| 309TC08K4B | 309TC08K4B | statement | record (an 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.05232#NHIH |
| 309ZQNKRKZ | 309ZQNKRKZ | statement | record (an 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#P5BI |
| 30BCY64KD0 | 30BCY64KD0 | 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 2502.08738#KOMT |
| 30BMHY7ZMS | 30BMHY7ZMS | statement | record (an 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.18106#J795 |
| 30C9R595DJ | 30C9R595DJ | statement | record (an 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.20583#SDHV |
| 30CFKTNE5F | 30CFKTNE5F | 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.09809#BOXU |
| 30DF6YRV4K | 30DF6YRV4K | statement | record (an 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.07401#Q5NW |
| 30EFJC9ACA | 30EFJC9ACA | proof | open | hott_book categories.tex#proof-25 |
| 30EQ8RN4EM | 30EQ8RN4EM | 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.06338#LX08 |
| 30ET6CBGNV | 30ET6CBGNV | statement | record (an 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#WYNV |
| 30FA2ABSES | 30FA2ABSES | statement | record (an 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#RP11 |
| 30FGD98FVK | 30FGD98FVK | statement | record (an 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.00562#E65I |
| 30GTQEAEJV | 30GTQEAEJV | statement | record (an 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#S7AU |
| 30J6A1EGQZ | 30J6A1EGQZ | definition | open | lebl_ra ch-multivar-int.tex#defn-3 |
| 30JDDNDRK0 | 30JDDNDRK0 | statement | record (an 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.02244#X5C0 |
| 30K0EC3CFV | 30K0EC3CFV | statement | record (an 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.24739#MOE5 |
| 30K2NEQT71 | 30K2NEQT71 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#MACD |
| 30K6SCAE60 | 30K6SCAE60 | statement | record (an 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.36021#R5TC |
| 30KAD3QTCB | 30KAD3QTCB | statement | record (an 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.11145#OMIP |
| 30KH7PTD8C | 30KH7PTD8C | statement | record (an 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.03520#1W38 |
| 30N2KH566S | 30N2KH566S | statement | record (an 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.10813#KLNA |
| 30N3SJG3X8 | 30N3SJG3X8 | statement | record (an 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#77KX |
| 30N5RDFZQ0 | 30N5RDFZQ0 | statement | record (an 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.26675#YK2D |
| 30NFPXY9FJ | 30NFPXY9FJ | statement | record (an 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.14879#2MO5 |
| 30NG7Q1ND9 | 30NG7Q1ND9 | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:explicit-inc |
| 30NRJCQ665 | 30NRJCQ665 | exercise | open | napkin tex/calculus/differentiate.tex#problem-1 |
| 30PQY8AP7S | 30PQY8AP7S | definition | open | austin_ula src/section7-1.xml#definition-1 |
| 30Q4Z3YA5M | 30Q4Z3YA5M | statement | record (an 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.24790#Z7Z0 |
| 30QD669VJT | 30QD669VJT | statement | record (an 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.01473#RRNL |
| 30QQMTK513 | 30QQMTK513 | statement | record (an 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.01216#E6UP |
| 30QRCWBZFC | 30QRCWBZFC | statement | record (an 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.20899#P6NU |
| 30QRZPTPFN | 30QRZPTPFN | statement | record (an 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.26438#4ITD |
| 30QXZ562D2 | 30QXZ562D2 | statement | record (an 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.04993#6FLN |
| 30RCQHPXTY | 30RCQHPXTY | statement | record (an 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#KJZY |
| 30RRTYJEN0 | 30RRTYJEN0 | statement | record (an 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.37562#44X6 |
| 30S3SQ0WF0 | 30S3SQ0WF0 | statement | record (an 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#Y00R |
| 30S9E5KB0B | 30S9E5KB0B | 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.13585#J7H8 |
| 30SC5YF8VP | 30SC5YF8VP | statement | record (an 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.27823#YZDL |
| 30SCZQ8TD1 | 30SCZQ8TD1 | statement | record (an 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.20911#M14Q |
| 30T0T5VZA1 | 30T0T5VZA1 | statement | record (an 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.05193#16RQ |
| 30T1GKP17M | 30T1GKP17M | statement | record (an 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.15460#ZDXY |
| 30T7D0D87M | 30T7D0D87M | 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.14135#0077 |
| 30TDH9XK2T | 30TDH9XK2T | statement | record (an 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.18016#8M68 |
| 30TQN2TM6C | 30TQN2TM6C | statement | open | lebl_scv scv.tex#lemma:matrixint |
| 30VFTGMW7W | 30VFTGMW7W | 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.10591#Q6IF |
| 30VMMQEMD5 | 30VMMQEMD5 | statement | record (an 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.38323#EUJZ |
| 30VNQ1Y7T5 | 30VNQ1Y7T5 | 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.21365#GJOQ |
| 30W8SPKMVY | 30W8SPKMVY | statement | open | hott_book setmath.tex#card:exp |
| 30WH7Y7QF1 | 30WH7Y7QF1 | proof | open | napkin tex/topology/metric-top.tex#proof-1 |
| 30WNTEVXGM | 30WNTEVXGM | 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.33313#H20F |
| 30WTNQZR8Y | 30WTNQZR8Y | 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#BFRI |
| 30XC3VSHRX | 30XC3VSHRX | 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.26581#8TVH |
| 30XPQS5JSJ | 30XPQS5JSJ | statement | open | Wikidata Q3527194, MathWorld LHuiliersTheorem |
| 30XRE6P088 | 30XRE6P088 | statement | record (an 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.13913#CJBM |
| 30XXJ5ESMT | 30XXJ5ESMT | statement | record (an 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#Q1ON |
| 30XY637QP0 | 30XY637QP0 | 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.13833#ED3W |
| 30Y6SA9SHC | 30Y6SA9SHC | exercise | open | austin_ula src/exercises/exercises2-5.xml#exercise-8 |
| 30YB9NZ8WB | 30YB9NZ8WB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.08018#1KCM |
| 30YFTW827X | 30YFTW827X | statement | record (an 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.26996#NH5A |
| 30YVKY8HT7 | 30YVKY8HT7 | 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.37124#Q8W1 |
| 30ZBHFTPCV | 30ZBHFTPCV | statement | record (an 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#F5S8 |
| 30ZBJA6YS4 | 30ZBJA6YS4 | statement | record (an 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.21501#4XCM |
| 30ZCTJ6R9J | 30ZCTJ6R9J | statement | record (an 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.18246#1FW0 |
| 310D7XT9VC | 310D7XT9VC | statement | record (an 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.38211#EPQZ |
| 310K28G50M | 310K28G50M | statement | record (an 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.14278#TXV3 |
| 311BJH8JQ5 | 311BJH8JQ5 | 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.29943#BW14 |
| 311E2TRP4W | 311E2TRP4W | statement | record (an 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.12263#3PXT |
| 311J5NF36S | 311J5NF36S | statement | record (an 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.17759#IMB7 |
| 31289GAW1S | 31289GAW1S | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-10 |
| 31292ANCSM | 31292ANCSM | statement | record (an 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.11939#PJIS |
| 312G2PX709 | 312G2PX709 | proof | open | open_logic content/proof-theory/normalization/translations.tex#proof-2 |
| 313ARMNCWM | 313ARMNCWM | statement | record (an 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.19358#0L4A |
| 313FDZ6FHD | 313FDZ6FHD | 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.04172#IJLO |
| 314WSW0FS4 | 314WSW0FS4 | proof | open | napkin tex/calculus/differentiate.tex#proof-5 |
| 3151T2RHA1 | 3151T2RHA1 | example | open | lebl_diffyqs ch-laplace.tex#lt:examplebeam |
| 3153Y84Q40 | 3153Y84Q40 | statement | record (an 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.35762#KPQ6 |
| 3159W9K2GT | 3159W9K2GT | statement | record (an 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.24917#A9JR |
| 315QZCYNQC | 315QZCYNQC | statement | record (an 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#C3RL |
| 315ZMRAKRQ | 315ZMRAKRQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#8PHQ |
| 3161CTXH46 | 3161CTXH46 | 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.14278#SAFB |
| 31637D4BNH | 31637D4BNH | statement | record (an 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.25353#DPW0 |
| 317N9C6RXS | 317N9C6RXS | statement | record (an 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.07292#9C91 |
| 318WNM902R | 318WNM902R | 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#57IZ |
| 318ZJZ6YYZ | 318ZJZ6YYZ | statement | record (an 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.18600#40LH |
| 319EWZ4DSS | 319EWZ4DSS | statement | record (an 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.20760#ZING |