Math 2.0

Inventory: C

The rows of the inventory whose names start with C. 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 201–300 of 15607.

NameIdKindOutcomeSources
C1GQ30EX72C1GQ30EX72statementrecord (an 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.21047#6OIH
C1H0V8ZN73C1H0V8ZN73definitionrecord (an 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.27872#BE0W
C1HVD17R32C1HVD17R32statementrecord (an 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.11292#KMYR
C1HX5V3FFFC1HX5V3FFFdefinitionrecord (an 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.08293#EJWF
C1HYB1HH4KC1HYB1HH4Kstatementrecord (an 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.20558#8NBA
C1J9JRYV5TC1J9JRYV5Texampleopenhott_book logic.tex#thm:type-is-not-a-set
C1JHFVQ88HC1JHFVQ88Hstatementrecord (an 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.02111#C7B4
C1K0AP6ZEFC1K0AP6ZEFstatementrecord (an 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.21358#28IA
C1K42P2DYMC1K42P2DYMstatementrecord (an 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.26922#P8VK
C1K6BEF43EC1K6BEF43Estatementrecord (an 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#27PM
C1K6RGE40SC1K6RGE40Sexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2309.15228#E2V2
C1KKRKQA72C1KKRKQA72definitionrecord (an 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.19791#3HFY
C1M1GYNDAJC1M1GYNDAJdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.04161#S1A4
C1MSZ5X2KXC1MSZ5X2KXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1607.01095#JVHQ
C1NANG3SZSC1NANG3SZSstatementrecord (an 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#SLZJ
C1NMFZX5CKC1NMFZX5CKexerciseopenlebl_diffyqs ch-first-order-ode.tex#exercise-109
C1NYDRNFWSC1NYDRNFWSstatementrecord (an 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.14458#WPM9
C1PCKCJ8TSC1PCKCJ8TSexerciseopenlevin_dmoi ptx/exercises/intro-functions.ptx#exercise-9
C1Q0D33F6TC1Q0D33F6Tstatementrecord (an 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.05696#IQ0G
C1QZMT8ENDC1QZMT8ENDdefinitionrecord (an 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.12846#LZFB
C1RA44F9XYC1RA44F9XYstatementrecord (an 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.06300#1TQA
C1RAWAB562C1RAWAB562statementrecord (an 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.35574#Y6YQ
C1RRSCNPQFC1RRSCNPQFstatementrecord (an 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.23779#TRM9
C1RYDPAXWYC1RYDPAXWYstatementrecord (an 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.04068#1Q8Y
C1SGJHB3WWC1SGJHB3WWstatementrecord (an 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.33863#U7OB
C1SK9CNAHBC1SK9CNAHBstatementrecord (an 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#RWTV
C1SZX72F9EC1SZX72F9Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2501.03704#PQVX
C1T8XH6Y92C1T8XH6Y92statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1902.04230#UYA3
C1TCKY24B3C1TCKY24B3definitionrecord (an 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.39539#EU43
C1TS8RGW3EC1TS8RGW3Eunknownopen
C1TWZV7SS2C1TWZV7SS2statementrecord (an 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.08935#WX91
C1TYWCNZ7QC1TYWCNZ7Qdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2408.13548#L907
C1V55F0ENSC1V55F0ENSstatementrecord (an 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#NE1R
C1V7RB4MZJC1V7RB4MZJstatementrecord (an 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.32207#8TPD
C1VC58G3K7C1VC58G3K7statementrecord (an 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.31476#MS8V
C1VSQG37J6C1VSQG37J6examplerecord (an 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.04305#FRBF
C1VTDT44P9C1VTDT44P9statementrecord (an 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.04323#QIHB
C1W2ZK69J0C1W2ZK69J0statementrecord (an 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.14162#U58W
C1W7BM2RMRC1W7BM2RMRstatementrecord (an 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.28265#E7MZ
C1WMXBQPRYC1WMXBQPRYstatementrecord (an 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.32338#DM47
C1WTC6XS10C1WTC6XS10definitionopennapkin tex/alg-NT/ramification.tex#definition-2
C1X6B0ZEBDC1X6B0ZEBDdefinitionrecord (an 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.15217#YN4O
C1Y22BC91PC1Y22BC91Pstatementrecord (an 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.25703#FXVG
C1YEGB8BYRC1YEGB8BYRdefinitionrecord (an 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#78DG
C1YYEGV8KTC1YYEGV8KTstatementrecord (an 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.38118#AZ2J
C1ZC54C9P0C1ZC54C9P0definitionopennapkin tex/linalg/eigenvalues.tex#definition-5
C1ZE3VVB5DC1ZE3VVB5Ddefinitionrecord (an 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.28824#Y3G5
C1ZX40FGGMC1ZX40FGGMstatementrecord (an 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#EQC4
C203TRCE56C203TRCE56conjecturerecord (an 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.40345#E623
C2059YGMQDC2059YGMQDstatementrecord (an 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.15013#0QOP
C20KT0ZFRZC20KT0ZFRZstatementrecord (an 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.18918#XBUI
C21BSQNH3DC21BSQNH3Dstatementrecord (an 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.21765#SZRM
C221RCY4F5C221RCY4F5definitionrecord (an 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#754N
C22GPRTJ4YC22GPRTJ4Ystatementrecord (an 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.34168#A4A9
C22XEP35SNC22XEP35SNstatementrecord (an 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#ZIC1
C230XJA2T8C230XJA2T8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2309.15228#VHH8
C23KC17KHGC23KC17KHGstatementrecord (an 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.19309#UGJ2
C23SJT5QSMC23SJT5QSMstatementrecord (an 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#PXOZ
C2415RSTM5C2415RSTM5statementrecord (an 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.01563#LY7U
C247X86NQ4C247X86NQ4definitionrecord (an 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.18673#YE3O
C249QS39KQC249QS39KQdefinitionrecord (an 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.21403#FBJL
C24EBDSE9TC24EBDSE9Tstatementrecord (an 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.22288#OL3I
C25JK0FJGJC25JK0FJGJdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2604.05177#IYXW
C25SV4CN8BC25SV4CN8Bstatementrecord (an 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.18464#IFE4
C25XV74R3VC25XV74R3Vexerciseopenlebl_diffyqs ch-first-order-ode.tex#exercise-70
C266MR6J0NC266MR6J0Ndefinitionrecord (an 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.21960#CSCF
C2690C833CC2690C833Cstatementrecord (an 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.33018#5VIZ
C26JD2T9K7C26JD2T9K7definitionrecord (an 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.09207#1UQZ
C26MTTA1HZC26MTTA1HZstatementrecord (an 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.20758#O9DZ
C2709SS8JDC2709SS8JDstatementrecord (an 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.21533#JZZJ
C27AZPRMHHC27AZPRMHHstatementrecord (an 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.06152#GP4K
C27FJRDE8MC27FJRDE8Mexamplerecord (an 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.01511#HLQ5
C27T8V003DC27T8V003Dstatementrecord (an 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.38206#ZP2L
C27WZQ7W5JC27WZQ7W5Jstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0804.2115#J3CZ
C27XWH8NBPC27XWH8NBPstatementrecord (an 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.07021#LYB6
C2864BYEM9C2864BYEM9statementopenopen_logic content/first-order-logic/completeness/construction-of-model.tex#prop:quant-termmodel
C28AY0NE78C28AY0NE78statementrecord (an 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.25449#Q68Z
C28EJ7FVY6C28EJ7FVY6statementrecord (an 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#A7XX
C28X24XDQTC28X24XDQTstatementrecord (an 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/0512416#A810
C29R1KC66XC29R1KC66Xstatementrecord (an 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.11886#AT0V
C2AGGFS6HPC2AGGFS6HPstatementrecord (an 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.32233#BP9X
C2AGNVVFFRC2AGNVVFFRproofopenopen_logic content/first-order-logic/completeness/downward-ls.tex#proof-1
C2AM2K0KA0C2AM2K0KA0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2307.02473#9ZBE
C2AQGRBTXQC2AQGRBTXQdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2512.16003#BF4R
C2BP6F9YHCC2BP6F9YHCstatementrecord (an 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.27484#WF1O
C2C3GRGZAYC2C3GRGZAYstatementrecord (an 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.00212#H411
C2D55D7CDWC2D55D7CDWstatementrecord (an 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.27360#RUS9
C2FA22W8A3C2FA22W8A3statementrecord (an 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.07546#FL6F
C2FCMT36EHC2FCMT36EHstatementrecord (an 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.03672#GXHL
C2FEHZFAXNC2FEHZFAXNdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2406.07116#0QV5
C2FFG9FZZKC2FFG9FZZKdefinitionrecord (an 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.27078#LBQ8
C2G0G98ENJC2G0G98ENJstatementrecord (an 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.19449#WUR0
C2GAV251PAC2GAV251PAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0709.4546#6TNG
C2H50XZ5D3C2H50XZ5D3statementrecord (an 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#IA2D
C2HGAF37PPC2HGAF37PPexerciseopenlevin_dmoi ptx/exercises/gt-coloring.ptx#exercise-8
C2HNZNHQF2C2HNZNHQF2statementrecord (an 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.21403#J8TN
C2HP8ENAQBC2HP8ENAQBdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1103.1038#HMPV
C2HQPX92TSC2HQPX92TSstatementrecord (an 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.25957#X9G3
C2JJS2VJGGC2JJS2VJGGstatementrecord (an 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.05320#5ZOM
C2JTCW8N46C2JTCW8N46examplerecord (an 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.11433#HP0X