Inventory: K
The rows of the inventory whose names start with K. 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 201–300 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K23R2V09M8 | K23R2V09M8 | 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.07164#XDUU |
| K23S486PMX | K23S486PMX | 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.31549#X3W9 |
| K23V0VCBV1 | K23V0VCBV1 | 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.17303#DSPW |
| K25361HZA7 | K25361HZA7 | 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.33697#07TE |
| K25CVH6VWS | K25CVH6VWS | 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.00512#JZJF |
| K25MY90CPT | K25MY90CPT | 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.01087#THSG |
| K26QPMZ9BN | K26QPMZ9BN | 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.00312#BBPL |
| K27FWX7X2N | K27FWX7X2N | 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#73FF |
| K27MBRFMBZ | K27MBRFMBZ | 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.08288#UUP2 |
| K27NJDMKXB | K27NJDMKXB | 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.11693#HJ00 |
| K286BMVEEP | K286BMVEEP | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-4 |
| K289B9WAE0 | K289B9WAE0 | 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#ASYT |
| K28BGA367Q | K28BGA367Q | 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#EHMS |
| K28WRT0SF9 | K28WRT0SF9 | 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.14841#URTO |
| K294B0FFC6 | K294B0FFC6 | 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.08334#2UY8 |
| K2A4FM72Y0 | K2A4FM72Y0 | 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 2207.11097#F3CK |
| K2A7E9XTRH | K2A7E9XTRH | statement | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#thm-1 |
| K2BFCA1N2N | K2BFCA1N2N | 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 1809.06512#GDOS |
| K2BFNTWDYA | K2BFNTWDYA | 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.19076#3U5T |
| K2BGNJ8GCW | K2BGNJ8GCW | 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.09596#AXIN |
| K2BV07AJR8 | K2BV07AJR8 | 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.29478#X3GL |
| K2CB7WC8K3 | K2CB7WC8K3 | 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.06038#7XFZ |
| K2CKS1J1FM | K2CKS1J1FM | 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.30444#UUC1 |
| K2CT9SNX2E | K2CT9SNX2E | 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.19251#TDW3 |
| K2DBPVY0RW | K2DBPVY0RW | 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/0406514#4UL4 |
| K2DJ9QYMHE | K2DJ9QYMHE | 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.27153#CM5T |
| K2DK2BJQC7 | K2DK2BJQC7 | 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.26665#3XN8 |
| K2DR2EF176 | K2DR2EF176 | 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 0907.5545#9I0R |
| K2FS36BV3X | K2FS36BV3X | 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.38556#N5X1 |
| K2GAV0NW9W | K2GAV0NW9W | 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.09324#KW87 |
| K2GFD5SP2V | K2GFD5SP2V | 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.21622#X99R |
| K2GZ2460BD | K2GZ2460BD | 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.21717#LYER |
| K2H1HA9JX7 | K2H1HA9JX7 | 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.17129#RNT5 |
| K2HFNYDQN0 | K2HFNYDQN0 | 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.10840#2FI3 |
| K2HMQN2BRW | K2HMQN2BRW | 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.24399#NC11 |
| K2J0YKJNDE | K2J0YKJNDE | 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.26386#AVJH |
| K2JG11WC6E | K2JG11WC6E | 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.30575#5317 |
| K2JXCSPXQB | K2JXCSPXQB | 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 2312.14319#RZUU |
| K2K0RDKZ52 | K2K0RDKZ52 | proof | open | napkin tex/alg-geom/localization.tex#proof-2 |
| K2KD2NS194 | K2KD2NS194 | 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/0406514#0CLK |
| K2KR4HVKFQ | K2KR4HVKFQ | 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.25409#UWF6 |
| K2M8CF88MY | K2M8CF88MY | 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.15432#MMBO |
| K2MD5XB5AB | K2MD5XB5AB | 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.21921#4LFT |
| K2MQ8VC3FK | K2MQ8VC3FK | exercise | open | napkin tex/alg-geom/bezout.tex#ques-1 |
| K2MRF349X9 | K2MRF349X9 | 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.00596#VKU9 |
| K2N729828P | K2N729828P | definition | open | open_logic content/incompleteness/introduction/definitions.tex#defn-8 |
| K2NMHR80EH | K2NMHR80EH | 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.26386#ZYMT |
| K2NTNKB3MJ | K2NTNKB3MJ | 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.20131#DYLW |
| K2NZEQAK4B | K2NZEQAK4B | 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.21260#QJNI |
| K2P7DHYN06 | K2P7DHYN06 | 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.20991#W9VV |
| K2PRNV58HQ | K2PRNV58HQ | 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.35597#AH58 |
| K2Q3XWW663 | K2Q3XWW663 | 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 2104.04145#XSWQ |
| K2Q4WBY5AA | K2Q4WBY5AA | 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.38865#JIPX |
| K2QJRX4S15 | K2QJRX4S15 | 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 2002.01498#YSYA |
| K2R5CDCTK3 | K2R5CDCTK3 | 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#C0G2 |
| K2SFHX4WFK | K2SFHX4WFK | 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.28664#CI5G |
| K2SGCWXF86 | K2SGCWXF86 | 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.22082#R99R |
| K2SMP7XXKX | K2SMP7XXKX | 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.05018#44AY |
| K2SQ7XVHFW | K2SQ7XVHFW | 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#RUC3 |
| K2TMA9KFZW | K2TMA9KFZW | 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.15992#LOAW |
| K2V0VNJB4W | K2V0VNJB4W | 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.33841#WX5U |
| K2VVWWY455 | K2VVWWY455 | 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.13957#ZP34 |
| K2W24GAH0Z | K2W24GAH0Z | 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.07718#NE3S |
| K2W71QYE59 | K2W71QYE59 | 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.29196#I1AC |
| K2WWF3JF0D | K2WWF3JF0D | 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.35340#W0VR |
| K2WZ6RQR0M | K2WZ6RQR0M | 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.01390#EBR5 |
| K2XQCAAGAB | K2XQCAAGAB | 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 2506.07061#C3D7 |
| K2Y26T6N0H | K2Y26T6N0H | 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.08382#MM7M |
| K2YG4BDAMA | K2YG4BDAMA | 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#64TQ |
| K2YGWPN709 | K2YGWPN709 | 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.17817#NJMB |
| K3 surface | 3VQ311F6SK | concept | open | Wikidata Q1969721, nLab K3 surface |
| K302MT06H8 | K302MT06H8 | 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.19023#Q62L |
| K307K959H9 | K307K959H9 | 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.07164#8MFE |
| K30FGQP1RG | K30FGQP1RG | 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.27078#MV1Z |
| K30MS665FT | K30MS665FT | exercise | open | napkin tex/linalg/dual-trace.tex#problem-2 |
| K312MBG4MG | K312MBG4MG | 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#9D53 |
| K3196FGQ6C | K3196FGQ6C | 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.10745#038A |
| K31QTFK4ZF | K31QTFK4ZF | 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.36412#CEJ2 |
| K31SEK509G | K31SEK509G | definition | open | napkin tex/alg-geom/proj-var.tex#definition-1 |
| K3280QNYFC | K3280QNYFC | 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.37208#FHFS |
| K32PD7B3CA | K32PD7B3CA | exercise | open | lebl_ra ch-der.tex#exercise-26 |
| K334D10CDB | K334D10CDB | 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 2104.12015#U6EV |
| K33E5E5ZSE | K33E5E5ZSE | 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 2110.11143#X92N |
| K345R4YBK5 | K345R4YBK5 | 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#GWAM |
| K347QJT1HD | K347QJT1HD | 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.39531#PTCS |
| K34XY0KK7C | K34XY0KK7C | 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.34570#5B8G |
| K3504YRAPY | K3504YRAPY | 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.27151#YTZM |
| K35CCT64Y1 | K35CCT64Y1 | 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 2111.01197#0UP3 |
| K36BPD69HD | K36BPD69HD | 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.27898#SJPN |
| K36BV39AFB | K36BV39AFB | 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.14143#CHAE |
| K370DH9A7K | K370DH9A7K | 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.33771#7GKB |
| K37RW9W647 | K37RW9W647 | 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.27360#ORK8 |
| K38SJD1MXA | K38SJD1MXA | 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 2512.07470#RYFD |
| K39DJDD75T | K39DJDD75T | 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 2511.06555#HI7F |
| K39S83BDT0 | K39S83BDT0 | exercise | open | napkin tex/alg-geom/spec-zariski.tex#problem-2 |
| K3A097XZHC | K3A097XZHC | exercise | open | lebl_ra ch-contfunc.tex#exercise-15 |
| K3AT6B7BZS | K3AT6B7BZS | definition | open | lebl_scv scv.tex#defn-27 |
| K3BCVERWF4 | K3BCVERWF4 | 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#F1VD |
| K3BRSCCQB4 | K3BRSCCQB4 | 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.35642#1LDL |
| K3C46GR27X | K3C46GR27X | 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.20801#W5VU |