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.
- 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 101–200 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| C18HJRP6ZQ | C18HJRP6ZQ | 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.16475#GPLW |
| C194FRQQS2 | C194FRQQS2 | 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.01225#YJFZ |
| C194JKQWP1 | C194JKQWP1 | proof | open | open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#proof-1 |
| C19801ZMKJ | C19801ZMKJ | 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 math/0003117#F2RZ |
| C19BNG2YZE | C19BNG2YZE | 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 2209.07892#VZ2E |
| C19BZ5WKD0 | C19BZ5WKD0 | 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 2303.14022#NCCF |
| C19HXGMG4R | C19HXGMG4R | 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.15812#WOR4 |
| C1A48N3ER5 | C1A48N3ER5 | 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#EGRV |
| C1A6Y54SM1 | C1A6Y54SM1 | 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 2009.11127#MCP3 |
| C1ADH5775Z | C1ADH5775Z | 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 2301.04933#63X4 |
| C1AGNYWXKX | C1AGNYWXKX | 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.27715#OM3U |
| C1AP8ZCEBJ | C1AP8ZCEBJ | 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.08638#T2T2 |
| C1AXTTA3ZH | C1AXTTA3ZH | 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.26713#HAFU |
| C1B87YXYVD | C1B87YXYVD | 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 2509.04068#77V6 |
| C1BR69FA0W | C1BR69FA0W | 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 2507.12309#X2AF |
| C1D2NXDA9D | C1D2NXDA9D | 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#V0HE |
| C1D5G0W9XA | C1D5G0W9XA | 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 2211.16099#H3C5 |
| C1D87G333R | C1D87G333R | 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.18101#0CSJ |
| C1EAH72F04 | C1EAH72F04 | 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.07061#9HMK |
| C1EMKCK4EX | C1EMKCK4EX | 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.21258#Z27Q |
| C1FJNPR41Z | C1FJNPR41Z | 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.35669#V9A6 |
| C1FXDBB8BK | C1FXDBB8BK | 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.08594#KZHM |
| C1G27VYQEB | C1G27VYQEB | 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 2406.07116#4FEG |
| C1G2DYSFBM | C1G2DYSFBM | 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.00109#RXQ2 |
| C1GNHBHTVF | C1GNHBHTVF | 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.31919#SR0V |
| C1H0V8ZN73 | C1H0V8ZN73 | 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.27872#BE0W |
| C1HVD17R32 | C1HVD17R32 | 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.11292#KMYR |
| C1HX5V3FFF | C1HX5V3FFF | 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.08293#EJWF |
| C1HYB1HH4K | C1HYB1HH4K | 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.20558#8NBA |
| C1J9JRYV5T | C1J9JRYV5T | example | open | hott_book logic.tex#thm:type-is-not-a-set |
| C1JHFVQ88H | C1JHFVQ88H | 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.02111#C7B4 |
| C1K0AP6ZEF | C1K0AP6ZEF | 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.21358#28IA |
| C1K42P2DYM | C1K42P2DYM | 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.26922#P8VK |
| C1K6BEF43E | C1K6BEF43E | 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.08370#27PM |
| C1K6RGE40S | C1K6RGE40S | 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 2309.15228#E2V2 |
| C1KKRKQA72 | C1KKRKQA72 | 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.19791#3HFY |
| C1M1GYNDAJ | C1M1GYNDAJ | 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 2407.04161#S1A4 |
| C1MSZ5X2KX | C1MSZ5X2KX | 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 1607.01095#JVHQ |
| C1NANG3SZS | C1NANG3SZS | 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#SLZJ |
| C1NMFZX5CK | C1NMFZX5CK | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-109 |
| C1NYDRNFWS | C1NYDRNFWS | 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.14458#WPM9 |
| C1PCKCJ8TS | C1PCKCJ8TS | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-9 |
| C1Q0D33F6T | C1Q0D33F6T | 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.05696#IQ0G |
| C1QZMT8END | C1QZMT8END | 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 2306.12846#LZFB |
| C1RA44F9XY | C1RA44F9XY | 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.06300#1TQA |
| C1RAWAB562 | C1RAWAB562 | 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.35574#Y6YQ |
| C1RYDPAXWY | C1RYDPAXWY | 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 2509.04068#1Q8Y |
| C1SGJHB3WW | C1SGJHB3WW | 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.33863#U7OB |
| C1SK9CNAHB | C1SK9CNAHB | 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.10233#RWTV |
| C1SZX72F9E | C1SZX72F9E | 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 2501.03704#PQVX |
| C1T8XH6Y92 | C1T8XH6Y92 | 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 1902.04230#UYA3 |
| C1TCKY24B3 | C1TCKY24B3 | 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.39539#EU43 |
| C1TS8RGW3E | C1TS8RGW3E | unknown | open | |
| C1TWZV7SS2 | C1TWZV7SS2 | 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.08935#WX91 |
| C1TYWCNZ7Q | C1TYWCNZ7Q | 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 2408.13548#L907 |
| C1V55F0ENS | C1V55F0ENS | 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.27301#NE1R |
| C1V7RB4MZJ | C1V7RB4MZJ | 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.32207#8TPD |
| C1VC58G3K7 | C1VC58G3K7 | 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.31476#MS8V |
| C1VSQG37J6 | C1VSQG37J6 | 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.04305#FRBF |
| C1VTDT44P9 | C1VTDT44P9 | 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.04323#QIHB |
| C1W2ZK69J0 | C1W2ZK69J0 | 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.14162#U58W |
| C1W7BM2RMR | C1W7BM2RMR | 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.28265#E7MZ |
| C1WMXBQPRY | C1WMXBQPRY | 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.32338#DM47 |
| C1WTC6XS10 | C1WTC6XS10 | definition | open | napkin tex/alg-NT/ramification.tex#definition-2 |
| C1X6B0ZEBD | C1X6B0ZEBD | 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.15217#YN4O |
| C1Y22BC91P | C1Y22BC91P | 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.25703#FXVG |
| C1YEGB8BYR | C1YEGB8BYR | 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.36423#78DG |
| C1YYEGV8KT | C1YYEGV8KT | 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.38118#AZ2J |
| C1ZC54C9P0 | C1ZC54C9P0 | definition | open | napkin tex/linalg/eigenvalues.tex#definition-5 |
| C1ZE3VVB5D | C1ZE3VVB5D | 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.28824#Y3G5 |
| C1ZX40FGGM | C1ZX40FGGM | 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 2308.05066#EQC4 |
| C203TRCE56 | C203TRCE56 | conjecture | 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.40345#E623 |
| C2059YGMQD | C2059YGMQD | 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.15013#0QOP |
| C20KT0ZFRZ | C20KT0ZFRZ | 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.18918#XBUI |
| C221RCY4F5 | C221RCY4F5 | 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.37520#754N |
| C22GPRTJ4Y | C22GPRTJ4Y | 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.34168#A4A9 |
| C22XEP35SN | C22XEP35SN | 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.27800#ZIC1 |
| C230XJA2T8 | C230XJA2T8 | 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 2309.15228#VHH8 |
| C23KC17KHG | C23KC17KHG | 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.19309#UGJ2 |
| C23SJT5QSM | C23SJT5QSM | 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#PXOZ |
| C2415RSTM5 | C2415RSTM5 | 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.01563#LY7U |
| C247X86NQ4 | C247X86NQ4 | 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.18673#YE3O |
| C24EBDSE9T | C24EBDSE9T | 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.22288#OL3I |
| C25JK0FJGJ | C25JK0FJGJ | 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 2604.05177#IYXW |
| C25SV4CN8B | C25SV4CN8B | 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.18464#IFE4 |
| C25XV74R3V | C25XV74R3V | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-70 |
| C266MR6J0N | C266MR6J0N | 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.21960#CSCF |
| C2690C833C | C2690C833C | 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.33018#5VIZ |
| C26JD2T9K7 | C26JD2T9K7 | 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 2303.09207#1UQZ |
| C26MTTA1HZ | C26MTTA1HZ | 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.20758#O9DZ |
| C2709SS8JD | C2709SS8JD | 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.21533#JZZJ |
| C27AZPRMHH | C27AZPRMHH | 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.06152#GP4K |
| C27FJRDE8M | C27FJRDE8M | 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 2203.01511#HLQ5 |
| C27T8V003D | C27T8V003D | 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.38206#ZP2L |
| C27WZQ7W5J | C27WZQ7W5J | 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 0804.2115#J3CZ |
| C27XWH8NBP | C27XWH8NBP | 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 2308.07021#LYB6 |
| C2864BYEM9 | C2864BYEM9 | statement | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#prop:quant-termmodel |
| C28AY0NE78 | C28AY0NE78 | 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.25449#Q68Z |
| C28EJ7FVY6 | C28EJ7FVY6 | 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.09086#A7XX |
| C28X24XDQT | C28X24XDQT | 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/0512416#A810 |