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 7701–7800 of 29490.

NameIdKindOutcomeSources
33XP3ZGHP233XP3ZGHP2statementrecord (an 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.35229#UOMI
33YEZ806JT33YEZ806JTstatementrecord (an 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.40189#QP2J
33YMYMBEZJ33YMYMBEZJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.01594#AZAE
33YW3PPXB233YW3PPXB2statementrecord (an 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#QSBL
33Z4YP5KE833Z4YP5KE8statementrecord (an 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.00271#AN3K
33ZE806DAD33ZE806DADstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2508.21045#5VFG
33ZG5NZG2P33ZG5NZG2Pstatementrecord (an 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.21408#2KIP
33ZQP6W91A33ZQP6W91Astatementrecord (an 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.40207#OIDH
33ZRE0DTWQ33ZRE0DTWQstatementrecord (an 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.20466#KJJR
33ZSD9MA7V33ZSD9MA7Vstatementrecord (an 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.39890#T92J
340 (number)8KTGFH3A1QunknownopenWikipedia 300 (number)#4YZJ
3407 (number)HWM99YFQ0AunknownopenWikipedia 3000 (number)#KCOI
340HD6MGK5340HD6MGK5statementrecord (an 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.01753#9HW8
340WY655CG340WY655CGstatementrecord (an 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.11034#TFNO
340Z5V6QZG340Z5V6QZGstatementrecord (an 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.28011#410T
341FCTHR1P341FCTHR1Pdefinitionrecord (an 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.33124#O4WX
341NY727AW341NY727AWdefinitionrecord (an 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.10558#6UZ1
341VDY4KVF341VDY4KVFdefinitionrecord (an 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#3LLR
342 (number)QNH1BJKBRDunknownopenWikipedia 300 (number)#M61S
34204BYTBJ34204BYTBJstatementrecord (an 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.21544#J10N
342DPDK7E1342DPDK7E1statementrecord (an 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.17677#T28A
342DSANBBW342DSANBBWstatementrecord (an 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.15490#9CIZ
342ZJFE0Y6342ZJFE0Y6statementrecord (an 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#OCMV
3436FCCPN73436FCCPN7statementrecord (an 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.16898#TPFN
343DYCJN5P343DYCJN5Pdefinitionrecord (an 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#0IO3
344 (number)ETN7TTPF9VunknownopenWikipedia 300 (number)#QTW9
3441KVJRZF3441KVJRZFstatementrecord (an 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.05048#10F4
34466S3KM134466S3KM1statementrecord (an 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.05708#V2SW
344DXV6D1G344DXV6D1Gproofopenlebl_ra ch-vol1-intro.tex#proof-1
344FQJC5AD344FQJC5ADstatementrecord (an 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#BJ3M
344W3VKSYM344W3VKSYMdefinitionrecord (an 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#F1IT
345 (number)45HA3MBVJPunknownopenWikipedia 300 (number)#EGOP
34536KQKRQ34536KQKRQstatementrecord (an 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.09086#ZNDH
3454QPN42G3454QPN42Gstatementopennapkin tex/homology/cup-product.tex#lemma-1
345NFDY2ZE345NFDY2ZEstatementrecord (an 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#653Y
345SBYJJXD345SBYJJXDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1612.08394#YSNY
345YXXED53345YXXED53examplerecord (an 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.31269#4BKD
346 (number)KFVQGJWV93unknownopenWikipedia 300 (number)#K753
3467HV0ZBG3467HV0ZBGunknownout_of_scope (a person, not an item of mathematics)Wikidata Q25935064, nLab Davesh Maulik
34715ZMHBE34715ZMHBEstatementrecord (an 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.20656#HSEG
347SCJNC70347SCJNC70statementrecord (an 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.12169#7JQO
348 (number)R2Z4JHBJQXunknownopenWikipedia 300 (number)#40YO
3481NMKKEG3481NMKKEGstatementrecord (an 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.12108#6EZH
348JZ85HVV348JZ85HVVstatementrecord (an 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.32650#M915
348VNBE2V0348VNBE2V0statementrecord (an 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.25390#M030
348WCRBMWQ348WCRBMWQstatementrecord (an 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.03715#3SVE
349 (number)V4KBRVNW1YunknownopenWikipedia 300 (number)#Y9PY
3490ZX30KV3490ZX30KVstatementrecord (an 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#RGOE
3499D752XK3499D752XKstatementrecord (an 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.32033#VRGV
34A9Y7WZ2S34A9Y7WZ2Sstatementrecord (an 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.36403#WNWG
34AQC5SXMN34AQC5SXMNdefinitionrecord (an 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.30976#IEJ4
34C7TSNJEG34C7TSNJEGexerciseopenlebl_scv scv.tex#exercise-36
34DG4ZFJ3F34DG4ZFJ3Fstatementrecord (an 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.20001#SS4C
34DYX8B5Y334DYX8B5Y3exerciseopenlevin_dmoi ptx/exercises/logic-proofs.ptx#exercise-16
34E6FAXDDA34E6FAXDDAproblemrecord (an 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.07401#6RSI
34EG0CNJC934EG0CNJC9statementrecord (an 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.24584#1NSP
34EH2SWC0734EH2SWC07statementrecord (an 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.28742#5NMA
34ETNHW2FB34ETNHW2FBexamplerecord (an 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.18302#JNQG
34EWZ8RBD134EWZ8RBD1problemrecord (an 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#CUCY
34FNT2DMW534FNT2DMW5statementrecord (an 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.02642#RJW8
34FT7K4XV134FT7K4XV1statementrecord (an 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.16386#QMOO
34FVYJZ3GB34FVYJZ3GBstatementrecord (an 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.38228#8XY7
34GB11602Q34GB11602Qstatementrecord (an 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.21645#SVZJ
34GD9BY3SR34GD9BY3SRdefinitionopenopen_logic content/proof-theory/propositions-as-types/types.tex#defn-1
34GWG0SPVR34GWG0SPVRstatementrecord (an 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.03715#KD6W
34GX72WFSD34GX72WFSDstatementrecord (an 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.11097#B943
34GXKBT59T34GXKBT59Tstatementrecord (an 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.19357#BFX3
34H6Q4Q24134H6Q4Q241statementrecord (an 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.18101#43B8
34HBVJWFYT34HBVJWFYTdefinitionrecord (an 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#SUK2
34HH2135CT34HH2135CTdefinitionrecord (an 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#I661
34HKAXAZPF34HKAXAZPFstatementrecord (an 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.30262#GN6D
34HX46X45Z34HX46X45Zstatementrecord (an 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.16834#926A
34JCH7T33X34JCH7T33Xstatementrecord (an 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#2EYQ
34MECKMTDQ34MECKMTDQstatementrecord (an 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.13076#NQWE
34MQ7AWFFR34MQ7AWFFRstatementrecord (an 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.21972#R6PT
34N3PECC2534N3PECC25statementopenlebl_scv scv.tex#prop-22
34NBJS57ZJ34NBJS57ZJexerciseopenlebl_ra ch-one-dim-ints-sv.tex#mv:exercise:closedcurveintegral
34NCFVV6YC34NCFVV6YCstatementrecord (an 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.34283#ZCMT
34NCW6KXPF34NCW6KXPFstatementrecord (an 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.35542#98KO
34NM2X9X4Z34NM2X9X4Zstatementrecord (an 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.26162#J29A
34NW0C499034NW0C4990statementrecord (an 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.29022#QROR
34P9NBJ3G134P9NBJ3G1statementrecord (an 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#4EMN
34PBWNT98234PBWNT982statementrecord (an 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.11034#YJA9
34PJX1QTSZ34PJX1QTSZexerciseopenopen_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#prob-3
34PWKR9QNT34PWKR9QNTstatementrecord (an 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.21528#20TJ
34PZV4TWGX34PZV4TWGXstatementrecord (an 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.23847#BBV0
34Q4YAMD5W34Q4YAMD5Wstatementrecord (an 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.18270#2S9V
34QJ2QQ0M234QJ2QQ0M2statementrecord (an 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#81XN
34QVBBCXFR34QVBBCXFRstatementopenlebl_ra ch-contfunc.tex#prop:compositioncont
34R4HNJN2B34R4HNJN2Bexerciseopenernst_ibl MAAPressVersion/Counting.tex#exercise-10
34R9ZSFPK934R9ZSFPK9statementopenopen_logic content/computability/recursive-functions/sequences.tex#prop:subseq
34RFX0B94M34RFX0B94Mstatementrecord (an 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.15887#CE42
34RKDZSCA634RKDZSCA6statementrecord (an 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.12329#W8R8
34RX844SZM34RX844SZMdefinitionrecord (an 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.04502#C5OF
34SQ33RTMF34SQ33RTMFdefinitionrecord (an 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.08714#8HJA
34SS1MT6HP34SS1MT6HPstatementrecord (an 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.34516#4VUJ
34T0J2SNSZ34T0J2SNSZdefinitionrecord (an 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.29759#KVMH
34T7HCSHPT34T7HCSHPTunknownopenarXiv 2205.15365#NLJO
34TV5GN5ZX34TV5GN5ZXstatementrecord (an 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.38436#N2BL
34VDKY25QN34VDKY25QNdefinitionrecord (an 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.06755#3ZPF