Math 2.0

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.

Rows 12401–12500 of 25924.

NameIdKindOutcomeSources
57SJFME19957SJFME199statementrecord (an 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.40282#KXKG
57SN8K2YBC57SN8K2YBCstatementrecord (an 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#XGEA
57TA17KNN057TA17KNN0statementrecord (an 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.10930#J2VG
57TCW7KQTV57TCW7KQTVstatementrecord (an 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.09171#GO6L
57TKMCC0YX57TKMCC0YXexerciseopennapkin tex/linalg/vector-space.tex#prob:endomorphism_eventual_lemma
57TRK914SS57TRK914SSstatementrecord (an 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.13884#FL5A
57TTHYR84Y57TTHYR84Ystatementrecord (an 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#E7L3
57TX651VXM57TX651VXMdefinitionopenopen_logic content/set-theory/ordinals/iso.tex#defn-1
57V2R80A2F57V2R80A2Fstatementrecord (an 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.05142#VU89
57V7RZBT0H57V7RZBT0Hstatementrecord (an 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.07030#LA52
57W5XGEV7157W5XGEV71statementrecord (an 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.01498#FLNG
57WD75G4N657WD75G4N6statementrecord (an 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.12565#CU3K
57XNNPWTVM57XNNPWTVMstatementrecord (an 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#TPWT
57Y4MFTER257Y4MFTER2statementrecord (an 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.14022#PQZW
57Y7A050WM57Y7A050WMstatementrecord (an 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#DIC0
57YNNVJ1XP57YNNVJ1XPstatementrecord (an 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#V4KV
57YQMZPP7257YQMZPP72statementrecord (an 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.36088#2Q5B
57YS7M4KRB57YS7M4KRBstatementrecord (an 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.18544#30WA
57YY6T41SJ57YY6T41SJdefinitionrecord (an 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.13532#WUNI
57ZMXDKVVV57ZMXDKVVVdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2108.09548#A5AZ
57ZQASQYGY57ZQASQYGYstatementrecord (an 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.39700#RN32
57ZTEHXPEW57ZTEHXPEWstatementrecord (an 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#V45T
5809HZME365809HZME36statementrecord (an 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.01015#1TND
580FCHFWRB580FCHFWRBexampleopenhott_book setmath.tex#thm:nat-wf
580NF6NZ6Z580NF6NZ6Zexerciseopenlebl_scv scv.tex#exercise-197
582JZWB0MY582JZWB0MYdefinitionrecord (an 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#XVTI
582P2AKER0582P2AKER0statementrecord (an 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.25761#Y1BT
583HYCYBEA583HYCYBEAstatementrecord (an 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#1O05
583RAS4099583RAS4099statementrecord (an 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.11301#RFVK
584R7C59D7584R7C59D7exerciseopenlevin_dmoi ptx/exercises/counting-proofs.ptx#exercise-5
5858YB2WZN5858YB2WZNstatementrecord (an 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.17240#QR6G
585PGR4Y63585PGR4Y63exerciseopenopen_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prob-1
585ZC62EWW585ZC62EWWstatementrecord (an 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.06944#N8NP
586EYDQX9C586EYDQX9Cstatementrecord (an 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#XJWA
586MQYA813586MQYA813statementrecord (an 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.03292#6IBZ
586WNZHZ5G586WNZHZ5Gstatementopenopen_logic content/model-theory/basics/reducts-and-expansions.tex#prop:reduct
586XM0X3RD586XM0X3RDstatementrecord (an 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.06872#XXWL
58757CC2AK58757CC2AKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.00162#CJSC
587HPZE6KT587HPZE6KTdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1711.00219#DH4C
587NTP39VT587NTP39VTstatementrecord (an 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#6KOQ
587XFDC6HQ587XFDC6HQstatementrecord (an 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.06488#WMOF
587XR7MHTW587XR7MHTWexerciseopenlebl_diffyqs ch-fourier-and-pde.tex#exercise-55
587ZDXCSR8587ZDXCSR8exerciseopenernst_ibl MAAPressVersion/IndexingSets.tex#problem-6
5881T3ZN735881T3ZN73definitionrecord (an 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.03661#U5GD
5888FB87KF5888FB87KFproblemrecord (an 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#QTK2
588TASHNSC588TASHNSCstatementrecord (an 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.14692#K7XT
588ZW71S4W588ZW71S4Wstatementrecord (an 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.22073#TZAC
589H8G36QG589H8G36QGexampleopenaustin_ula src/section3-1.xml#example-inverse-augment-I
58A5RQRN4Z58A5RQRN4Zstatementrecord (an 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.14154#0MCT
58ADEBTK7G58ADEBTK7Gdefinitionrecord (an 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.05715#DQUM
58ADP28EMQ58ADP28EMQstatementrecord (an 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.04265#GWD7
58AE2KZXNE58AE2KZXNEproblemrecord (an 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.29784#1SHG
58AQNMVRJG58AQNMVRJGstatementrecord (an 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#SAMN
58AZNK062K58AZNK062Kdefinitionrecord (an 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.16606#7YFJ
58AZVATYCF58AZVATYCFstatementrecord (an 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.03384#F8FZ
58B8E1Z65458B8E1Z654statementrecord (an 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.32997#MKTS
58C0BBP60258C0BBP602statementopenhott_book homotopy.tex#cor:pi1s1
58CESY4MJP58CESY4MJPstatementrecord (an 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#7I3G
58CTZDXQPH58CTZDXQPHstatementrecord (an 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.24235#F1SL
58CXHHMPVF58CXHHMPVFexamplerecord (an 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#KYFM
58DAJT23H158DAJT23H1definitionrecord (an 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.12908#BW9S
58DGT67B8058DGT67B80statementrecord (an 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.36423#UTY1
58DTMA9NRF58DTMA9NRFstatementrecord (an 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.40191#C2WK
58EXAMVHNT58EXAMVHNTexerciseopenaustin_ula src/section4-5.xml#activity-5
58GV1QDXF458GV1QDXF4problemrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2203.17055#4WWP
58GY5CCDN958GY5CCDN9statementrecord (an 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#C871
58JAP08AKH58JAP08AKHstatementrecord (an 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.16814#PV7A
58JR1R1T7D58JR1R1T7Dstatementrecord (an 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.18094#DLXO
58JR4WDX1M58JR4WDX1Mstatementrecord (an 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#CFY6
58K2D1EP6C58K2D1EP6Cstatementrecord (an 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.01087#UDQC
58KMAAD5ET58KMAAD5ETstatementrecord (an 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.10828#1GOM
58KXAWKY0N58KXAWKY0Nstatementrecord (an 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.21781#UCX5
58P6RF4T3K58P6RF4T3Kstatementrecord (an 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.04835#X11L
58PCX5ZJE858PCX5ZJE8statementrecord (an 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.15744#WCYC
58QFFDG0Y758QFFDG0Y7exerciseopenlebl_scv scv.tex#exercise-62
58RKFWDEH558RKFWDEH5statementrecord (an 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.05715#7UIC
58SQHGCYNG58SQHGCYNGstatementrecord (an 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.39254#VC25
58SQN9P6NJ58SQN9P6NJstatementrecord (an 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.03555#FA2G
58T4NKNCJV58T4NKNCJVexamplerecord (an 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.24640#M1TH
58TJZVSKJ258TJZVSKJ2statementrecord (an 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.17518#FCJ1
58TX7C8ANX58TX7C8ANXstatementrecord (an 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.03337#LH0D
58TZC3M4YN58TZC3M4YNstatementrecord (an 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.08610#F326
58VXWAKDD958VXWAKDD9statementrecord (an 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.21507#B6SY
58Y6KJFESK58Y6KJFESKstatementrecord (an 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.17411#Z0T2
58Y8QKEEKP58Y8QKEEKPstatementrecord (an 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.15291#XBAV
58Y9PEFR5D58Y9PEFR5Dstatementrecord (an 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.16554#01X7
58Z5AV998G58Z5AV998Gdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.07061#QLUR
58ZA35H7EM58ZA35H7EMstatementrecord (an 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.31343#1327
58ZBPNSWQ458ZBPNSWQ4statementrecord (an 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.02207#4TG6
58ZGYTXK3M58ZGYTXK3Mstatementrecord (an 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.40123#D9AK
59059NPT3M59059NPT3Mdefinitionrecord (an 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.35927#5IBM
590J7NYXW5590J7NYXW5definitionrecord (an 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.35339#H5ZU
590MBTGAPH590MBTGAPHstatementrecord (an 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.17135#4Y1X
590W2FEZ11590W2FEZ11statementrecord (an 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#3H8K
5919XVDHBB5919XVDHBBstatementrecord (an 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.32138#ZET0
592AC5PWGR592AC5PWGRstatementrecord (an 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.01567#HV21
592Z5FA12R592Z5FA12Rstatementrecord (an 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.19590#3UTR
593A494FJG593A494FJGstatementrecord (an 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.39531#SKFS
593AY8EFRW593AY8EFRWstatementrecord (an 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.16768#XGKB
5940RNBHR75940RNBHR7statementopenopen_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prop:sat-all