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 12301–12400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 56DGDBBA01 | 56DGDBBA01 | statement | record (an 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.04730#B9SF |
| 56EA5PBJMS | 56EA5PBJMS | statement | record (an 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.31858#HA68 |
| 56ED86ZQPE | 56ED86ZQPE | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-8 |
| 56EHCANY6C | 56EHCANY6C | statement | record (an 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.38014#53Q6 |
| 56F2KK6604 | 56F2KK6604 | statement | record (an 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#TX72 |
| 56FDXAZ3W5 | 56FDXAZ3W5 | statement | record (an 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.35102#BPRG |
| 56FNH0MD4W | 56FNH0MD4W | statement | record (an 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.24374#5AYW |
| 56FNSE4YB0 | 56FNSE4YB0 | statement | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#lem:atomic-completeness |
| 56H5PY488X | 56H5PY488X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.11778#70NN |
| 56JC0GDA51 | 56JC0GDA51 | statement | record (an 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.34013#ZCE1 |
| 56JZFMDV7Q | 56JZFMDV7Q | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#thm:n<2^n |
| 56KKH59S2Z | 56KKH59S2Z | statement | record (an 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.13103#RSJI |
| 56M4CK824Y | 56M4CK824Y | statement | record (an 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.17139#SBO1 |
| 56MYQTG3X1 | 56MYQTG3X1 | 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.28297#SKYH |
| 56NSD6WEDB | 56NSD6WEDB | definition | open | napkin tex/linalg/dets.tex#definition-2 |
| 56NX0513Y1 | 56NX0513Y1 | 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.19300#5TWM |
| 56PG9RMDWT | 56PG9RMDWT | statement | record (an 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.12857#JTEU |
| 56PGNQA6ME | 56PGNQA6ME | statement | record (an 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.15700#OV3P |
| 56QHSFY47Z | 56QHSFY47Z | statement | record (an 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.03449#E1TD |
| 56QR1B5BAK | 56QR1B5BAK | statement | open | lebl_ra ch-several-vars-ders.tex#cor-1 |
| 56R4S7Y7V6 | 56R4S7Y7V6 | statement | record (an 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.29838#G80W |
| 56RARC9WK3 | 56RARC9WK3 | statement | open | open_logic content/lambda-calculus/syntax/free-variables.tex#lem:fv |
| 56RZCW7H29 | 56RZCW7H29 | statement | record (an 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#03EN |
| 56SAFVVHAY | 56SAFVVHAY | statement | record (an 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.32300#207X |
| 56SMPGD1FK | 56SMPGD1FK | statement | record (an 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#PIYJ |
| 56SSPEWNQC | 56SSPEWNQC | statement | record (an 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.30086#OV0B |
| 56T7JGG3QC | 56T7JGG3QC | statement | record (an 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.25973#87T2 |
| 56TM4HPC93 | 56TM4HPC93 | 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 2502.08738#8J5A |
| 56TN5TP639 | 56TN5TP639 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#NS05 |
| 56TP3BBACW | 56TP3BBACW | statement | record (an 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.20991#8NK5 |
| 56TP8B6XW8 | 56TP8B6XW8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#3CHB |
| 56TTF2VGEY | 56TTF2VGEY | statement | record (an 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.08858#RESW |
| 56VE777X19 | 56VE777X19 | statement | record (an 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.16267#ZJKD |
| 56VK6YYTKY | 56VK6YYTKY | statement | record (an 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.27699#9DSX |
| 56Y3MF9C8A | 56Y3MF9C8A | statement | record (an 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#6SRF |
| 56YM3XPRDX | 56YM3XPRDX | definition | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#defn-1 |
| 56YYEGGKGM | 56YYEGGKGM | statement | record (an 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#OJXC |
| 56Z9MV7F6V | 56Z9MV7F6V | statement | record (an 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.12740#VRKO |
| 56ZMD407JK | 56ZMD407JK | statement | record (an 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.21655#SXBY |
| 56ZNN6WG3W | 56ZNN6WG3W | 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.03255#PG07 |
| 56ZPGX9VM7 | 56ZPGX9VM7 | definition | open | napkin tex/diffgeo/stokes.tex#definition-3 |
| 57-cell | Z5QSH0JVSY | unknown | open | Wikidata Q4640774, MathWorld 57-Cell |
| 5702P6VXF8 | 5702P6VXF8 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-50 |
| 570Q5C7QJR | 570Q5C7QJR | 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.13833#2UM4 |
| 571BB2YYK8 | 571BB2YYK8 | 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.09341#XA60 |
| 571BKF3ANH | 571BKF3ANH | statement | record (an 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.12481#3WAH |
| 571Q881DFH | 571Q881DFH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.11143#NJBL |
| 571RDJ6NAM | 571RDJ6NAM | 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.06338#ITSV |
| 5720R4VA4D | 5720R4VA4D | 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 math/0406514#9V7E |
| 572K56SVV3 | 572K56SVV3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.11969#I1ML |
| 572RS1F2NM | 572RS1F2NM | statement | record (an 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.28649#R8OI |
| 572V2R8JJD | 572V2R8JJD | 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.03353#MHKG |
| 574HTTJRG9 | 574HTTJRG9 | statement | record (an 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.30203#C1TH |
| 574WPVXY9R | 574WPVXY9R | definition | open | open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#defn-1 |
| 5750ZGMF4P | 5750ZGMF4P | 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.39517#UE1B |
| 5752ZHQJP5 | 5752ZHQJP5 | statement | record (an 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.03814#DI7L |
| 5753JBEB7X | 5753JBEB7X | statement | record (an 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.13850#7WJ4 |
| 575VMKCEXD | 575VMKCEXD | statement | record (an 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.38548#9FK5 |
| 575WEGEF58 | 575WEGEF58 | statement | record (an 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.03909#KEYB |
| 575WGBW3W8 | 575WGBW3W8 | 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.20956#JMBY |
| 5765K4S0KS | 5765K4S0KS | statement | record (an 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.04398#1494 |
| 576CFA5JFN | 576CFA5JFN | 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 2509.21121#FLMM |
| 576TRF2N48 | 576TRF2N48 | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-15 |
| 576ZE2B1DN | 576ZE2B1DN | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-33 |
| 5778 | 4AMDZF9QHY | statement | open | Wikidata Q19247891, ProofWiki 5778 |
| 577PQM88WQ | 577PQM88WQ | statement | record (an 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.05299#NOAO |
| 578KJMFZ86 | 578KJMFZ86 | statement | open | lebl_diffyqs ch-fourier-and-pde.tex#theorem-4 |
| 578KSDD2K9 | 578KSDD2K9 | 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.36068#I2SE |
| 578P5HPE75 | 578P5HPE75 | statement | record (an 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.09483#W84V |
| 57B1K90VEH | 57B1K90VEH | statement | record (an 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.24424#OC6P |
| 57BB6P9SY4 | 57BB6P9SY4 | statement | record (an 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.06909#IZOM |
| 57CE35CMZK | 57CE35CMZK | statement | record (an 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.13908#5NWB |
| 57CEFHADPC | 57CEFHADPC | statement | record (an 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.12014#4BXM |
| 57CKTV5HC1 | 57CKTV5HC1 | statement | record (an 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.28540#G8EE |
| 57CRAM1259 | 57CRAM1259 | statement | record (an 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#WTXJ |
| 57CZ6J845W | 57CZ6J845W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.06338#029M |
| 57CZCGNP71 | 57CZCGNP71 | statement | record (an 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.38014#OPF1 |
| 57DKP88GRW | 57DKP88GRW | statement | record (an 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#63EM |
| 57ECD4QXHT | 57ECD4QXHT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4479#0J01 |
| 57GMCTWTZP | 57GMCTWTZP | statement | record (an 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.12846#13FW |
| 57GPQHDGEJ | 57GPQHDGEJ | 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 2605.24355#J5Y4 |
| 57H0Z93C3C | 57H0Z93C3C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.3331#1FMU |
| 57HXPXPS8F | 57HXPXPS8F | statement | record (an 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#UHW3 |
| 57JHQXQ2GV | 57JHQXQ2GV | statement | record (an 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#39T6 |
| 57JYGJ7V64 | 57JYGJ7V64 | example | open | active_calculus source/sec-2-3-prod-quot.xml#example-2 |
| 57KHKTZ8XM | 57KHKTZ8XM | statement | open | lebl_ra ch-metric.tex#prop-9 |
| 57M8E5PCKX | 57M8E5PCKX | statement | record (an 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.27168#EA1F |
| 57MP2XTCBR | 57MP2XTCBR | statement | record (an 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.11199#KX1B |
| 57MZE7FS0D | 57MZE7FS0D | statement | record (an 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#UJV9 |
| 57NA56S2HJ | 57NA56S2HJ | statement | record (an 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.08226#RCMX |
| 57NSVZY5CV | 57NSVZY5CV | proof | open | hott_book reals.tex#proof-29 |
| 57P5Z19JNE | 57P5Z19JNE | statement | record (an 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.04466#H6PB |
| 57PTHRAPRJ | 57PTHRAPRJ | exercise | open | levin_dmoi ptx/exercises/logic-conc.ptx#exercise-5 |
| 57QK0WAAZM | 57QK0WAAZM | 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.30675#I5YB |
| 57QN64MAZ9 | 57QN64MAZ9 | statement | record (an 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.03255#7O8W |
| 57QQPKR781 | 57QQPKR781 | statement | record (an 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.28597#8OVA |
| 57QVXCTX8W | 57QVXCTX8W | statement | record (an 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.26769#7G5B |
| 57QXJQJFCV | 57QXJQJFCV | statement | record (an 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.24463#RCAP |
| 57RAS8RS0F | 57RAS8RS0F | statement | record (an 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#IS8L |
| 57S4XHFA3Y | 57S4XHFA3Y | statement | record (an 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.35600#NWOI |