Inventory: P
The rows of the inventory whose names start with P. 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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 101–200 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P017SMXE6E | P017SMXE6E | 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.39726#7P6F |
| P017STHPCC | P017STHPCC | 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.15340#87AJ |
| P01HV6NNE7 | P01HV6NNE7 | 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.02893#B0KY |
| P01SVMTQY4 | P01SVMTQY4 | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#prob:made up |
| P01ZT657XB | P01ZT657XB | 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 2608.24424#0LB3 |
| P023AT1HH8 | P023AT1HH8 | 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 2408.01345#A8R6 |
| P0243SEVGM | P0243SEVGM | 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.13850#92WG |
| P02DAGRY39 | P02DAGRY39 | 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.33771#7NNG |
| P02MYY1P16 | P02MYY1P16 | 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.16606#9NEU |
| P037T4RXF1 | P037T4RXF1 | 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.35030#8IBY |
| P03SQN1NHP | P03SQN1NHP | 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.31127#DH6S |
| P03W2MQSYM | P03W2MQSYM | 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.11545#2X9A |
| P041K910R7 | P041K910R7 | 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.13980#X86N |
| P04DA1QEWK | P04DA1QEWK | 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#2MRY |
| P04DDPH2AN | P04DDPH2AN | 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 2607.01109#S9VO |
| P04PTTJHCR | P04PTTJHCR | 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 2004.12552#2LRK |
| P04YXJXZJ1 | P04YXJXZJ1 | 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.06081#AVUF |
| P052RAEVXT | P052RAEVXT | 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.08714#I0EV |
| P05535TR0C | P05535TR0C | 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.13877#A022 |
| P057B8ZKJD | P057B8ZKJD | 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.20558#TSCA |
| P05G4T7ZWH | P05G4T7ZWH | 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.20588#KA7H |
| P05TCV6MC4 | P05TCV6MC4 | 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.13213#L51C |
| P05YM7AQEM | P05YM7AQEM | 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 2208.05288#TW36 |
| P0655JJDCW | P0655JJDCW | 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.39700#FVGQ |
| P06XM2JZA7 | P06XM2JZA7 | 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.15817#14QL |
| P077BF85SH | P077BF85SH | 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.01802#R1JY |
| P07FHAWVNA | P07FHAWVNA | 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.18016#WSDN |
| P07MVWNT89 | P07MVWNT89 | 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 2212.01916#6XRS |
| P07PH97E9N | P07PH97E9N | 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 0806.0033#DPB5 |
| P07ZF2RKSF | P07ZF2RKSF | statement | open | lebl_ra ch-seq-ser.tex#limandineq:lemma |
| P08EYTGZ0Y | P08EYTGZ0Y | 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.04407#AHS1 |
| P08KYP8FNK | P08KYP8FNK | 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.04140#CZY5 |
| P08VYX1C5P | P08VYX1C5P | 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#02CG |
| P09GRXGZPP | P09GRXGZPP | 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#F67B |
| P09SZ0DK2R | P09SZ0DK2R | 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.36811#YH6F |
| P09Y8QX19E | P09Y8QX19E | 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.30544#CUMJ |
| P0A8BEVBFK | P0A8BEVBFK | 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.36421#JWK3 |
| P0B4EXGG8Z | P0B4EXGG8Z | exercise | open | lebl_scv scv.tex#exercise-92 |
| P0BCQCS7YZ | P0BCQCS7YZ | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-9 |
| P0BQH70PPS | P0BQH70PPS | statement | open | lebl_ra ch-contfunc.tex#cor:continterval |
| P0CFJ4EPVT | P0CFJ4EPVT | 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 0904.2051#IW5S |
| P0CH7BE9H9 | P0CH7BE9H9 | 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.33469#91OP |
| P0CVBA38YN | P0CVBA38YN | 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.03517#C2XA |
| P0D9MYV6XH | P0D9MYV6XH | 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.20242#XDBZ |
| P0DGX4K60X | P0DGX4K60X | 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.18600#WPHP |
| P0DRBKEQY8 | P0DRBKEQY8 | 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.39539#7SJ6 |
| P0DSF052KF | P0DSF052KF | proof | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-5 |
| P0FFY9XJS0 | P0FFY9XJS0 | 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.05403#MTQV |
| P0FQX0D9PK | P0FQX0D9PK | 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.25289#79G6 |
| P0HKAYNY8J | P0HKAYNY8J | 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.18744#MP7H |
| P0HXJPET6P | P0HXJPET6P | exercise | open | ernst_ibl MAAPressVersion/Topology.tex#prob:compact or not |
| P0JFTENXER | P0JFTENXER | 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.32733#0USK |
| P0JMGWR35Z | P0JMGWR35Z | 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.01924#87E5 |
| P0JPH1WVTB | P0JPH1WVTB | 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.39465#RK2M |
| P0JQ91JTF7 | P0JQ91JTF7 | 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.37897#VN0W |
| P0KM4FC6QM | P0KM4FC6QM | 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.22326#TJLC |
| P0KVVVQ9Z8 | P0KVVVQ9Z8 | 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.25289#SOA7 |
| P0MRV3CDQ4 | P0MRV3CDQ4 | exercise | open | open_logic content/first-order-logic/natural-deduction/soundness.tex#prob-2 |
| P0NQ6NACN5 | P0NQ6NACN5 | 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 2404.06445#VLMZ |
| P0P48V6332 | P0P48V6332 | statement | open | open_logic content/set-theory/ordinals/wo.tex#wo:strictorder |
| P0PEK7C60C | P0PEK7C60C | proof | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-2 |
| P0PKWPEP66 | P0PKWPEP66 | 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.06699#IQ7L |
| P0PY9RMNHX | P0PY9RMNHX | 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#NET8 |
| P0QG543YNQ | P0QG543YNQ | 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 2508.21045#2613 |
| P0QJ5B9ZPZ | P0QJ5B9ZPZ | 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.01197#1LXU |
| P0QNYQP6XD | P0QNYQP6XD | 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.23527#CYSZ |
| P0QQEXYTRC | P0QQEXYTRC | 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.23470#3AKW |
| P0SA2RXD66 | P0SA2RXD66 | 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#RGYQ |
| P0SJKAKN01 | P0SJKAKN01 | 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.39430#KIGS |
| P0SMMN9ESV | P0SMMN9ESV | 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 2609.37271#YE10 |
| P0SY34RGYT | P0SY34RGYT | proof | open | hott_book setmath.tex#proof-40 |
| P0TSJCNPXR | P0TSJCNPXR | 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.21972#J1OF |
| P0VNCD5TX3 | P0VNCD5TX3 | 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.20556#JV8G |
| P0VV012P8P | P0VV012P8P | 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.17547#RGR6 |
| P0VXW7G56D | P0VXW7G56D | 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.18847#I7VA |
| P0W88QBG5V | P0W88QBG5V | 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.35683#0IL5 |
| P0WRDGWPZA | P0WRDGWPZA | statement | open | open_logic content/first-order-logic/sequent-calculus/soundness-identity.tex#prop-1 |
| P0X19HYS6J | P0X19HYS6J | 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#GL4G |
| P0Y0P3CENN | P0Y0P3CENN | 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.15111#23FD |
| P0Y6C08TM5 | P0Y6C08TM5 | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-4 |
| P0Y7C9XFG3 | P0Y7C9XFG3 | 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.02379#L8MW |
| P0YC5SNE2A | P0YC5SNE2A | 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.19437#XWYG |
| P0ZA788D3H | P0ZA788D3H | 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 0809.0068#O4CT |
| P0ZBTP5B7V | P0ZBTP5B7V | proof | open | lebl_ra ch-approximate.tex#proof-20 |
| P1 | 8MPDBRXXNH | definition | open | Wikipedia P1 (space group), Wikidata Q138299527 |
| P10FWJ9BNG | P10FWJ9BNG | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-119 |
| P10K7V7Z7V | P10K7V7Z7V | 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#2BHG |
| P126SW6WN6 | P126SW6WN6 | 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.11772#BHSR |
| P12FWCRMDV | P12FWCRMDV | 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.16989#KHX4 |
| P131XEGF58 | P131XEGF58 | 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 0808.1331#4GJJ |
| P13MD7GQ8F | P13MD7GQ8F | 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.20165#IOMK |
| P14ZYJD5ZY | P14ZYJD5ZY | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-2 |
| P154FS5HCT | P154FS5HCT | 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.01915#2DFA |
| P160ZX9W0W | P160ZX9W0W | 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.26114#6VEL |
| P16NHSQP56 | P16NHSQP56 | 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#O0S2 |
| P170J4TKWT | P170J4TKWT | 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.21975#D2RQ |
| P177PJK2WW | P177PJK2WW | 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.03629#WFIZ |
| P17A81F9KV | P17A81F9KV | 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.32524#F07S |
| P17BSP00RZ | P17BSP00RZ | 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.22237#6YUF |
| P17ER331S8 | P17ER331S8 | 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 2503.16884#Q2E4 |