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 6801–6900 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CW8DXC9ZFS | CW8DXC9ZFS | 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.37593#DDE9 |
| CW8KQVHWSD | CW8KQVHWSD | 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.27301#A035 |
| CW8ZAJD5KH | CW8ZAJD5KH | exercise | open | open_logic content/normal-modal-logic/tableaux/completeness.tex#prob-1 |
| CW932J3WTA | CW932J3WTA | 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.13241#DA7C |
| CW9SSWWM7Q | CW9SSWWM7Q | 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.12576#ZJ2Y |
| CW9SYSJP72 | CW9SYSJP72 | 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 2505.08839#XE1N |
| CWA91HVD3J | CWA91HVD3J | statement | open | napkin tex/measure/pontryagin.tex#theorem-3 |
| CWAD268V6A | CWAD268V6A | 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 2407.08976#AQ0B |
| CWB96T978Y | CWB96T978Y | 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.11671#F4S0 |
| CWBE98GWVT | CWBE98GWVT | 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.22074#HPO8 |
| CWBH8Q9F5K | CWBH8Q9F5K | 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.13347#3Q5E |
| CWBRKGS7TR | CWBRKGS7TR | 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 2409.03461#WQ2A |
| CWBS1VVJGP | CWBS1VVJGP | 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 2605.24355#M1LQ |
| CWDB1HMZRV | CWDB1HMZRV | proof | open | open_logic content/set-theory/replacement/refproofs.tex#proof-1 |
| CWED36TFDS | CWED36TFDS | 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.26041#8X97 |
| CWEVQQHJFW | CWEVQQHJFW | unknown | open | Wikidata Q136087511, House of Graphs 294 |
| CWF3G5BPPC | CWF3G5BPPC | 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.24553#WK4B |
| CWF7FE9YH8 | CWF7FE9YH8 | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-18 |
| CWFKDS145R | CWFKDS145R | 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.27687#0AEF |
| CWFN0P911E | CWFN0P911E | 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.36811#IO3U |
| CWG6RNR1DK | CWG6RNR1DK | example | open | napkin tex/linalg/dets.tex#example-2 |
| CWHV10KF1M | CWHV10KF1M | example | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#ex:weak-adm |
| CWJ27MY7Y2 | CWJ27MY7Y2 | statement | open | napkin tex/alg-geom/proj-var.tex#theorem-1 |
| CWJ2T28TE8 | CWJ2T28TE8 | 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.40290#JIYX |
| CWJ9DS2Y41 | CWJ9DS2Y41 | 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 1910.05504#0RJJ |
| CWJAKXMR3J | CWJAKXMR3J | 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.16875#VRUA |
| CWJR9BCXGW | CWJR9BCXGW | 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 2206.13822#4POE |
| CWJS93JMRF | CWJS93JMRF | 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 1909.03896#4SEV |
| CWJT8N9NZ2 | CWJT8N9NZ2 | 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.15643#FC19 |
| CWJYTM3D0D | CWJYTM3D0D | 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.20316#STXY |
| CWK79F72RW | CWK79F72RW | 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.01837#HRGT |
| CWK7MDY8Z4 | CWK7MDY8Z4 | 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.19854#OF59 |
| CWKCAQRVTD | CWKCAQRVTD | 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.13817#FWUD |
| CWM0HPF8JZ | CWM0HPF8JZ | 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.09422#J1ZO |
| CWM2FQVGBF | CWM2FQVGBF | exercise | open | lebl_scv scv.tex#exercise-150 |
| CWM68A3AN8 | CWM68A3AN8 | proof | open | open_logic content/lambda-calculus/syntax/alpha.tex#proof-7 |
| CWM73PK8XP | CWM73PK8XP | 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.12203#DIG4 |
| CWMBPNRJGJ | CWMBPNRJGJ | unknown | open | |
| CWN8WM4S43 | CWN8WM4S43 | 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.35339#89RV |
| CWP26JHK17 | CWP26JHK17 | statement | open | lebl_ra ch-approximate.tex#prop-1 |
| CWPN7NQXRA | CWPN7NQXRA | 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.26340#5IO4 |
| CWPPQNN676 | CWPPQNN676 | 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 1512.06981#T0PT |
| CWQ4PGZXY3 | CWQ4PGZXY3 | exercise | open | lebl_scv scv.tex#exercise:morsesingularity |
| CWQ71VRK0N | CWQ71VRK0N | example | open | open_logic content/sets-functions-relations/sets/subsets.tex#ex-2 |
| CWR1QH6JQD | CWR1QH6JQD | 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.10243#QAGI |
| CWR8N57JSG | CWR8N57JSG | 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.07673#S8J2 |
| CWST09Z780 | CWST09Z780 | 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.10329#N9PW |
| CWT51RHEDD | CWT51RHEDD | 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 2107.00792#ZMXW |
| CWV3AKDGNP | CWV3AKDGNP | 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.29759#1I3H |
| CWV4C26J1Q | CWV4C26J1Q | 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.20421#4ZF6 |
| CWVDTCTQ6F | CWVDTCTQ6F | 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#ZFQK |
| CWVEWAJ4KM | CWVEWAJ4KM | 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.18154#BOAQ |
| CWVVJCA0S2 | CWVVJCA0S2 | 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 2207.12181#RT3Q |
| CWW70FGJQV | CWW70FGJQV | 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.27687#KAP1 |
| CWW7ZTRGGH | CWW7ZTRGGH | 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.10660#X8TC |
| CWWY58162Q | CWWY58162Q | 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.07790#GNE4 |
| CWY3667XK8 | CWY3667XK8 | 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 2609.32138#PXLB |
| CWYC1QY3DG | CWYC1QY3DG | 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.12716#BV7W |
| CWYJXTSGAH | CWYJXTSGAH | 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.21866#G5BW |
| CWYY08KSRR | CWYY08KSRR | 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.28742#4BP4 |
| CWZ4B0VSKW | CWZ4B0VSKW | 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.06334#LUKW |
| CX06W1J9B7 | CX06W1J9B7 | proof | open | lebl_scv scv.tex#proof-41 |
| CX0RPREPYZ | CX0RPREPYZ | 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.27114#6PDR |
| CX0ZDJDKZM | CX0ZDJDKZM | 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.18287#CU8D |
| CX1GGVM32D | CX1GGVM32D | 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.17188#38QE |
| CX2A8X4QWR | CX2A8X4QWR | 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#PVMO |
| CX2ASP6AQF | CX2ASP6AQF | 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.26896#MRTQ |
| CX2JWA80E6 | CX2JWA80E6 | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise:strongerleibniz |
| CX3109M7FD | CX3109M7FD | 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.16640#L7B5 |
| CX3KBQVNA5 | CX3KBQVNA5 | 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.38068#IGSD |
| CX3MCXWN70 | CX3MCXWN70 | 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 2504.13516#CTUA |
| CX3MWWVFNB | CX3MWWVFNB | 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.19590#QY5P |
| CX4BGNSPT4 | CX4BGNSPT4 | 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 1009.3308#PUZL |
| CX4D18D5P0 | CX4D18D5P0 | 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 1705.04310#88AO |
| CX4KRNNGJA | CX4KRNNGJA | 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 2303.09207#SY42 |
| CX4M2CBTXM | CX4M2CBTXM | 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 2504.14383#FML1 |
| CX4NXSXG9X | CX4NXSXG9X | 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.15432#6EWC |
| CX4YZG8ZBH | CX4YZG8ZBH | 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.02672#U16D |
| CX522T0Q9R | CX522T0Q9R | 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#TCJ8 |
| CX57P6AZQ5 | CX57P6AZQ5 | 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.09300#7Z9M |
| CX59B57B5T | CX59B57B5T | 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.25168#2IMD |
| CX5ADCBKK1 | CX5ADCBKK1 | exercise | open | lebl_ra ch-metric.tex#exercise-29 |
| CX5WV5XA20 | CX5WV5XA20 | 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.27103#M9RH |
| CX6DPSZSJF | CX6DPSZSJF | 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.21298#B9ZS |
| CX6JXDDDSB | CX6JXDDDSB | 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.16022#T06V |
| CX7BM3AZS0 | CX7BM3AZS0 | 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.20406#CSA8 |
| CX7CDNY6KR | CX7CDNY6KR | 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.09171#L7AP |
| CX7R7T6A7S | CX7R7T6A7S | 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.20077#2B6F |
| CX814GVEZY | CX814GVEZY | 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.15881#61KR |
| CX84GKTAAG | CX84GKTAAG | 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.34382#XUME |
| CX858HZ664 | CX858HZ664 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#proof-1 |
| CX8MEWQ6JN | CX8MEWQ6JN | 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.33957#NPY8 |
| CX8ZDDS0W9 | CX8ZDDS0W9 | 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.37893#9ZYL |
| CX90WPADM0 | CX90WPADM0 | unknown | open | arXiv 2610.13680#TZGO |
| CX9122Z5HB | CX9122Z5HB | 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 2504.14383#TGV5 |
| CX9481AQGR | CX9481AQGR | exercise | open | lebl_scv scv.tex#exercise-301 |
| CX9HP7D866 | CX9HP7D866 | 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.13100#6UEG |
| CX9SBJ3D4X | CX9SBJ3D4X | 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.17240#FBWJ |
| CXA3ZDGSYH | CXA3ZDGSYH | 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.36725#7RSR |
| CXAA7VF84P | CXAA7VF84P | 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 2311.00585#R63I |