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 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 3601–3700 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PP1J8B6HAX | PP1J8B6HAX | 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#NL8Z |
| PP1PYCZ9ER | PP1PYCZ9ER | 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.11038#OYMF |
| PP1Z5QD7B4 | PP1Z5QD7B4 | 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.08039#904I |
| PP2FXF9WR1 | PP2FXF9WR1 | 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.09483#4993 |
| PP2TVWHZEE | PP2TVWHZEE | 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.25468#U43E |
| PP2WFQMWTE | PP2WFQMWTE | 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.24795#LV0J |
| PP2XXDTPAN | PP2XXDTPAN | 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.39449#L7DC |
| PP30RWG0K2 | PP30RWG0K2 | 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.08323#ZAAR |
| PP31F7BMBH | PP31F7BMBH | 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#6TTD |
| PP3E62JJ4W | PP3E62JJ4W | 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.19852#X5FE |
| PP3MW8V25Z | PP3MW8V25Z | 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.17798#L5I7 |
| PP4W3BBSJM | PP4W3BBSJM | 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#GTVG |
| PP5CM55NYX | PP5CM55NYX | proof | open | lebl_scv scv.tex#proof-24 |
| PP5JAAC6F7 | PP5JAAC6F7 | 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 2502.08738#TCDC |
| PP5Y3GT46T | PP5Y3GT46T | 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/9602216#WRB7 |
| PP6RDX3CQ1 | PP6RDX3CQ1 | 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.38772#VM4E |
| PP7Y6VV3N5 | PP7Y6VV3N5 | example | open | open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-3 |
| PP88PD1VBR | PP88PD1VBR | 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.17677#D7VT |
| PP8Y5DP423 | PP8Y5DP423 | 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 2205.06433#E1BB |
| PP978F4CHE | PP978F4CHE | exercise | open | austin_ula src/section5-2.xml#activity-3 |
| PP98Z75M4Q | PP98Z75M4Q | 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.08837#MQS7 |
| PP9GAGTSJ4 | PP9GAGTSJ4 | 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.07049#S7KM |
| PPA04M1KYV | PPA04M1KYV | 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.36045#FPWG |
| PPB6RG9S4D | PPB6RG9S4D | 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#NIGU |
| PPBP1P5ZBT | PPBP1P5ZBT | 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#4KF2 |
| PPCR1KBTRQ | PPCR1KBTRQ | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-14 |
| PPD8101X5G | PPD8101X5G | example | open | napkin tex/alg-geom/localization.tex#example-10 |
| PPDBQ02A99 | PPDBQ02A99 | 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.07642#X5FG |
| PPE38ERQ2M | PPE38ERQ2M | unknown | open | arXiv 1804.05688#5OWJ |
| PPEA626E71 | PPEA626E71 | 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.33651#SS53 |
| PPF86HNHMN | PPF86HNHMN | 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.14914#3TQQ |
| PPFD4SKRXQ | PPFD4SKRXQ | 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.39307#0OH5 |
| PPFRMD5130 | PPFRMD5130 | 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.05198#H28E |
| PPFTYCC28J | PPFTYCC28J | statement | open | austin_ula src/section2-5.xml#proposition-1 |
| PPGJD1CSW5 | PPGJD1CSW5 | 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#CAZ9 |
| PPGKNP1JS1 | PPGKNP1JS1 | 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.16203#JC7V |
| PPHB1CWCX1 | PPHB1CWCX1 | 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.31798#O25U |
| PPHDW6FCPQ | PPHDW6FCPQ | 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.32599#6PQY |
| PPHPKJ3KN7 | PPHPKJ3KN7 | 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.12481#FMFY |
| PPHT4Z7AC9 | PPHT4Z7AC9 | 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 2304.08149#N2OW |
| PPHZXZ304K | PPHZXZ304K | example | open | applied_combinatorics source/s_strings_combinations.ptx#example-2 |
| PPJ59RG7MR | PPJ59RG7MR | 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.21489#DDRV |
| PPJ7XEAZP8 | PPJ7XEAZP8 | definition | open | open_logic content/methods/induction/relations.tex#defn-1 |
| PPK626CQ79 | PPK626CQ79 | 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#YN77 |
| PPKD949TJ2 | PPKD949TJ2 | 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 2507.05417#4CPR |
| PPKK0W831J | PPKK0W831J | 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.02628#QOGI |
| PPKNQM79BH | PPKNQM79BH | exercise | open | austin_ula src/exercises/exercises4-1.xml#exercise-3 |
| PPM05X9X1W | PPM05X9X1W | 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.24701#9HL8 |
| PPM0K2PC2E | PPM0K2PC2E | 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 2601.15403#JVBK |
| PPM4CSDVRS | PPM4CSDVRS | statement | open | lebl_ra ch-real-nums.tex#prop:intervaldef |
| PPMCGAY6QB | PPMCGAY6QB | 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.40023#69PO |
| PPMRJ5N6G0 | PPMRJ5N6G0 | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prob-3 |
| PPMV4SDVAF | PPMV4SDVAF | 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 2405.09294#GPJ5 |
| PPN1DAENFY | PPN1DAENFY | 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#GKCX |
| PPNG1E0438 | PPNG1E0438 | 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.13142#E70X |
| PPP4VP4BAR | PPP4VP4BAR | 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.03661#72BB |
| PPP8C2GS68 | PPP8C2GS68 | 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 1310.6698#XIN0 |
| PPP9QB2NN9 | PPP9QB2NN9 | example | open | open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#ex-1 |
| PPQ0F4P7C0 | PPQ0F4P7C0 | exercise | open | lebl_scv scv.tex#exercise-55 |
| PPQ2M88506 | PPQ2M88506 | statement | open | lebl_scv scv.tex#cor-9 |
| PPQ6DPQ84S | PPQ6DPQ84S | 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.24545#5LG9 |
| PPQ6JG01HF | PPQ6JG01HF | 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.02961#I9B4 |
| PPQNHHWC9E | PPQNHHWC9E | 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.36377#4HZQ |
| PPQSCPQXJP | PPQSCPQXJP | 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.10773#1WWE |
| PPR9F82VE2 | PPR9F82VE2 | 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.18620#51MO |
| PPRKMXFV8A | PPRKMXFV8A | 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#52LN |
| PPRN7F1D27 | PPRN7F1D27 | 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 2306.00212#TA3X |
| PPRR3K6MNG | PPRR3K6MNG | 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.03423#OP1Q |
| PPRX91XMVP | PPRX91XMVP | 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.39103#3KLP |
| PPS4XEQ7DD | PPS4XEQ7DD | 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 2410.10337#VIDH |
| PPS6T7GEMG | PPS6T7GEMG | 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.12330#B4MP |
| PPSK70WQ0S | PPSK70WQ0S | 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.09319#PL9U |
| PPSKA3QXP7 | PPSKA3QXP7 | 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.36509#G8WJ |
| PPSRJJ17XQ | PPSRJJ17XQ | 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.14318#1RUA |
| PPSSVVMHF7 | PPSSVVMHF7 | 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.22268#PCOI |
| PPSZ7Y997P | PPSZ7Y997P | 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.20010#NNPP |
| PPSZ8EQ4S7 | PPSZ8EQ4S7 | 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.36321#XI2Z |
| PPT00Y83ZR | PPT00Y83ZR | 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/9902147#Q8BB |
| PPT3RW9T28 | PPT3RW9T28 | 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.07190#34KJ |
| PPTJZMRY3E | PPTJZMRY3E | 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.12330#KQE3 |
| PPTNX93025 | PPTNX93025 | 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 2011.08789#FAOL |
| PPVFASPPF9 | PPVFASPPF9 | 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 2608.17785#47TQ |
| PPVH9TDSQ7 | PPVH9TDSQ7 | 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.27125#BN2U |
| PPVHZW9RP3 | PPVHZW9RP3 | 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.24578#3L2P |
| PPWFY0DC82 | PPWFY0DC82 | 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 2205.09049#1PGG |
| PPWK8R3GTY | PPWK8R3GTY | definition | open | napkin tex/set-theory/models.tex#definition-3 |
| PPXEKR47KZ | PPXEKR47KZ | 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.05652#M0NW |
| PPXST6K8GY | PPXST6K8GY | 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.15344#159W |
| PPYFQ5KY6C | PPYFQ5KY6C | 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#G699 |
| PPYV79NX4Y | PPYV79NX4Y | 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.40023#N78G |
| PPZ368SSPE | PPZ368SSPE | 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.13513#FOYX |
| PPZ45GHT6Q | PPZ45GHT6Q | 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.32174#C80X |
| PQ0RZB78QN | PQ0RZB78QN | 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.26019#Z9PX |
| PQ0YRYXRA8 | PQ0YRYXRA8 | 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#P702 |
| PQ13HMHVJX | PQ13HMHVJX | 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.26769#9J34 |
| PQ183X59MK | PQ183X59MK | 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.13556#J6OC |
| PQ1TF4KBVN | PQ1TF4KBVN | 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.03972#KC14 |
| PQ24W0N5J6 | PQ24W0N5J6 | 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 2304.09819#9MMI |
| PQ30FW0JVK | PQ30FW0JVK | exercise | open | lebl_ra ch-contfunc.tex#exercise-54 |
| PQ326ZAWHP | PQ326ZAWHP | 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.29022#W7PT |